Problem

Source: MDA TST 2016 P11!

Tags: geometry, cyclic quadrilateral



Let $ABCD$ be a cyclic quadrilateral. Circle with diameter $AB$ intersects $CA$, $CB$, $DA$, and $DB$ in $E$, $F$, $G$, and $H$, respectively (all different from $A$ and $B$). The lines $EF$ and $GH$ intersect in $I$. Prove that the bisector of $\angle GIF$ and the line $CD$ are perpendicular.