MathDB
EF=diameter of circumcircle of AO_1O_2 (2017 Kyiv City MO Round2 10.3)

Source:

September 10, 2020
geometrycircumcirclediametercircles

Problem Statement

Circles w1w_1 and w2w_2 with centers at points O1O_1 and O2O_2 respectively, intersect at points AA and BB. A line passing through point BB, intersects the circles w1w_1 and w2w_2 at points CC and DD other than BB. Tangents to the circles w1w_1 and w2w_2 at points CC and DD intersect at point EE. Line EAEA intersects the circumscribed circle ww of triangle AO1O2AO_1O_2 at point FF. Prove that the length of the segment is EFEF is equal to the diameter of the circle ww.
(Vovchenko V., Plotnikov M.)