EF=diameter of circumcircle of AO_1O_2 (2017 Kyiv City MO Round2 10.3)
Source:
September 10, 2020
geometrycircumcirclediametercircles
Problem Statement
Circles and with centers at points and respectively, intersect at points and . A line passing through point , intersects the circles and at points and other than . Tangents to the circles and at points and intersect at point . Line intersects the circumscribed circle of triangle at point . Prove that the length of the segment is is equal to the diameter of the circle .(Vovchenko V., Plotnikov M.)