Problem

Source: Indonesia INAMO Shortlist 2010 G11

Tags: geometry, perpendicular bisector, ratio



Given triangle $ABC$ and point $P$ on the circumcircle of triangle $ABC$. Suppose the line $CP$ intersects line $AB$ at point $E$ and line $BP$ intersect line $AC$ at point $F$. Suppose also the perpendicular bisector of $AB$ intersects $AC$ at point $K$ and the perpendicular bisector of $AC$ intersects $AB$ at point $J$. Prove that $$\left( \frac{CE}{BF}\right)^2= \frac{AJ \cdot JE }{ AK \cdot KF}$$