MathDB
Perpendicular bisector meets the circumcircle of another triangle

Source: 2023 Junior Macedonian Mathematical Olympiad P4

June 10, 2023
geometry

Problem Statement

We are given an acute ABC\triangle ABC with circumcenter OO such that BC<ABBC<AB. The bisector of ACB\angle ACB meets the circumcircle of ABC\triangle ABC at a second point DD. The perpendicular bisector of ACAC meets the circumcircle of BOD\triangle BOD for the second time at EE. The line DEDE meets the circumcircle of ABC\triangle ABC for the second time at FF. Prove that the lines CFCF, OEOE and ABAB are concurrent.
Proposed by Petar Filipovski