MathDB
A, B, and two excircles cyc

Source: 2004 Korea Junior Math Olympiad

June 28, 2024
geometryrectangleexcirclecyclic quadrilateral

Problem Statement

ABCDABCD is a cyclic quadrilateral inscribed in circle OO. Let O1O_1 be the AA-excenter of ABCABC and O2O_2 the AA-excenter of ABDABD. Show that A,B,O1,O2A, B, O_1, O_2 is concyclic, and OO passes through the center of (ABO1O2)(ABO_1O_2).
Recall that for concyclic X,Y,Z,WX, Y, Z, W, the notation (XYZW)(XYZW) denotes the circumcircle of XYZWXYZW.