Problem

Source: 2014 Romania JBMO TST 2.3

Tags: fixed, Line, circumcircle, Circumcenter, geometry



Let $ABC$ be an acute triangle and $D \in (BC) , E \in (AD)$ be mobile points. The circumcircle of triangle $CDE$ meets the median from $C$ of the triangle $ABC$ at $F$ Prove that the circumcenter of triangle $AEF$ lies on a fixed line.