Problem

Source: Indonesia TST 2016 Round 3

Tags: geometry, incenter, gergonne



In a non-isosceles triangle $ABC$, let $I$ be its incenter. The incircle of $ABC$ touches $BC$, $CA$, and $AB$ at $D$, $E$, and $F$, respectively. A line passing through $D$ and perpendicular to $AD$ intersects $IB$ and $IC$ at $A_b$ and $A_c$, respectively. Define the points $B_c$, $B_a$, $C_a$, and $C_b$ similarly. Let $G$ be the intersection of the cevians $AD$, $BE$, and $CF$. The points $O_1$ and $O_2$ are the circumcenter of the triangles $A_bB_cC_a$ and $A_cB_aC_b$, respectively. Prove that $IG$ is the perpendicular bisector of $O_1O_2$.