Problem

Source:

Tags: geometry, incenter, circumcircle, INMO 2022



Let $D$ be an interior point on the side $BC$ of an acute-angled triangle $ABC$. Let the circumcircle of triangle $ADB$ intersect $AC$ again at $E(\ne A)$ and the circumcircle of triangle $ADC$ intersect $AB$ again at $F(\ne A)$. Let $AD$, $BE$, and $CF$ intersect the circumcircle of triangle $ABC$ again at $D_1(\ne A)$, $E_1(\ne B)$ and $F_1(\ne C)$, respectively. Let $I$ and $I_1$ be the incentres of triangles $DEF$ and $D_1E_1F_1$, respectively. Prove that $E,F, I, I_1$ are concyclic.