MathDB
Again a geometry in RMO

Source: RMO 2018 P1

October 28, 2018
geometrycircumcircleangle bisector

Problem Statement

Let ABCABC be an acute angled triangle and let DD be an interior point of the segment BCBC. Let the circumcircle of ACDACD intersect ABAB at EE (EE between AA and BB) and let circumcircle of ABDABD intersect ACAC at FF (FF between AA and CC). Let OO be the circumcenter of AEFAEF. Prove that ODOD bisects EDF\angle EDF.