Problem

Source: RMO Hyderabad 2016 , P1.

Tags: geometry, incenter



Let $ABC$ be a right angled triangle with $\angle B=90^{\circ}$. Let $I$ be the incentre of triangle $ABC$. Suppose $AI$ is extended to meet $BC$ at $F$ . The perpendicular on $AI$ at $I$ is extended to meet $AC$ at $E$ . Prove that $IE = IF$.