Problem

Source: JBMO TST 3 2017 P3

Tags: geometry, incenter, geometric transformation, reflection, angle bisector, circumcircle



Let $I$ be the incenter of the scalene $\Delta ABC$, such, $AB<AC$, and let $I'$ be the reflection of point $I$ in line $BC$. The angle bisector $AI$ meets $BC$ at $D$ and circumcircle of $\Delta ABC$ at $E$. The line $EI'$ meets the circumcircle at $F$. Prove, that, $\text{(i) } \frac{AI}{IE}=\frac{ID}{DE}$ $\text{(ii) } IA=IF$