MathDB
circumcenter of BDF lies on circumcircle of AEO, ABC isosceles

Source: 2022 Grand Duchy of Lithuania, MC p3 (Baltic Way TST) https://artofproblemsolving.com/community/c1321893_grand

November 17, 2022
geometryConcyclicisosceles

Problem Statement

The center OO of the circle ω\omega passing through the vertex CC of the isosceles triangle ABCABC (AB=ACAB = AC) is the interior point of the triangle ABCABC. This circle intersects segments BCBC and ACAC at points DCD \ne C and ECE \ne C, respectively, and the circumscribed circle Ω\Omega of the triangle AEOAEO at the point FEF \ne E. Prove that the center of the circumcircle of the triangle BDFBDF lies on the circle Ω\Omega.