Problem

Source: Sharygin GO - 2022 - P2 (grade-8)

Tags: geometry, circumcircle



Let $ABCD$ be a curcumscribed quadrilateral with incenter $I$, and let $O_{1}, O_{2}$ be the circumcenters of triangles $AID$ and $CID$. Prove that the circumcenter of triangle $O_{1}IO_{2}$ lies on the bisector of angle $ABC$