Problem

Source: Bulgaria EGMO TST 2019 Day 2 Problem 2

Tags: geometry, cyclic quadrilateral, circumcircle



Let $ABCD$ be a cyclic quadrilateral with circumcircle $\omega$ centered at $O$, whose diagonals intersect at $H$. Let $O_1$ and $O_2$ be the circumcenters of triangles $AHD$ and $BHC$. A line through $H$ intersects $\omega$ at $M_1$ and $M_2$ and intersects the circumcircles of triangles $O_1HO$ and $O_2HO$ at $N_1$ and $N_2$, respectively, so that $N_1$ and $N_2$ lie inside $\omega$. Prove that $M_1N_1 = M_2N_2$.