Problem

Source:

Tags: geometry, circumcircle, trigonometry, vector, angle bisector, Iran



In triangle $ABC$ we havev $\angle A=\frac{\pi}{3}$. Construct $E$ and $F$ on continue of $AB$ and $AC$ respectively such that $BE=CF=BC$. Suppose that $EF$ meets circumcircle of $\triangle ACE$ in $K$. ($K\not \equiv E$). Prove that $K$ is on the bisector of $\angle A$.