Problem

Source: 2015 JBMO TST - Macedonia, Problem 4

Tags: geometry, circumcircle, angle bisector



Let $\triangle ABC$ be an acute angled triangle and let $k$ be its circumscribed circle. A point $O$ is given in the interior of the triangle, such that $CE=CF$, where $E$ and $F$ are on $k$ and $E$ lies on $AO$ while $F$ lies on $BO$. Prove that $O$ is on the angle bisector of $\angle ACB$ if and only if $AC=BC$.