Problem

Source: MEMO 2023 I3

Tags: geometry, MEMO2023



Let $ABC$ be a triangle with incenter $I$, and the incircle touches $BC$ at $D$. The points $E, F$ are such that $BE \parallel AI \parallel CF$ and $\angle BEI=\angle CFI=90^{\circ}$. If $DE, DF$ meet the incircle at $E', F'$, show that $E'F' \perp AI$.