MathDB
OP circles

Source: EGMO 2022/6

April 9, 2022
EGMOgeometrycirclesEGMO2022

Problem Statement

Let ABCDABCD be a cyclic quadrilateral with circumcenter OO. Let the internal angle bisectors at AA and BB meet at XX, the internal angle bisectors at BB and CC meet at YY, the internal angle bisectors at CC and DD meet at ZZ, and the internal angle bisectors at DD and AA meet at WW. Further, let ACAC and BDBD meet at PP. Suppose that the points XX, YY, ZZ, WW, OO, and PP are distinct. Prove that OO, XX, YY, ZZ, WW lie on the same circle if and only if PP, XX, YY, ZZ, and WW lie on the same circle.