Problem

Source: BMO Shortlist 2017 G2

Tags: IMO Shortlist, geometry, circumcircle



Let $ABC$ be an acute triangle and $D$ a variable point on side $AC$ . Point $E$ is on $BD$ such that $BE =\frac{BC^2-CD\cdot CA}{BD}$ . As $D$ varies on side $AC$ prove that the circumcircle of $ADE$ passes through a fixed point other than $A$ .