Problem

Source: Saudi Arabia JTST -2015,P4

Tags: geometry



Let $ABC$ be a right triangle with the hypotenus $BC.$ Let $BE$ be the bisector of the angle $\angle ABC.$ The circumcircle of the triangle $BCE$ cuts the segment $AB$ again at $F.$ Let $K$ be the projection of $A$ on $BC.$ The point $L$ lies on the segment $AB$ such that $BL=BK.$ Prove that $\frac{AL}{AF}=\sqrt{\frac{BK}{BC}}.$