Problem

Source: Azerbaijan IMO TST 2017, D2 P1

Tags: geometry, circumcircle



Let $ABC$ be an acute angled triangle. Points $E$ and $F$ are chosen on the sides $AC$ and $AB$, respectively, such that \[BC^2=BA\times BF+CE\times CA.\]Prove that for all such $E$ and $F$, circumcircle of the triangle $AEF$ passes through a fixed point different from $A$.