Problem

Source: MEMO 2024 T5

Tags: geometry, circumcircle, geometry proposed



Let $ABC$ be a triangle with $\angle BAC=60^\circ$. Let $D$ be a point on the line $AC$ such that $AB = AD$ and $A$ lies between $C$ and $D$. Suppose that there are two points $E \ne F$ on the circumcircle of the triangle $DBC$ such that $AE = AF = BC$. Prove that the line $EF$ passes through the circumcenter of $ABC$.