Problem

Source: Indonesia National Math Olympiad 2022 Problem 3 (INAMO 2022/3)

Tags: geometry, rectangle, circumcircle, Indonesia, Indonesia MO



Let $ABCD$ be a rectangle. Points $E$ and $F$ are on diagonal $AC$ such that $F$ lies between $A$ and $E$; and $E$ lies between $C$ and $F$. The circumcircle of triangle $BEF$ intersects $AB$ and $BC$ at $G$ and $H$ respectively, and the circumcircle of triangle $DEF$ intersects $AD$ and $CD$ at $I$ and $J$ respectively. Prove that the lines $GJ, IH$ and $AC$ concur at a point.