Problem

Source: China Northern MO 2012 p1 CNMO

Tags: geometry, perpendicular, right triangle



As shown in figure, given right $\vartriangle ABC$ with $\angle C=90^o$. $I$ is the incenter. The line $BI$ intersects segment $AC$ at the point $D$ . The line passing through $D$ parallel to $AI$ intersects $BC$ at point $E$. The line $EI$ intersects segment $AB$ at point $F$. Prove that $DF \perp AI$.