MathDB
Bisector passes through circumcenter

Source: Benelux MO 2019 P3

April 28, 2019
geometrycircumcircle

Problem Statement

Two circles Γ1\Gamma_1 and Γ2\Gamma_2 intersect at points AA and ZZ (with AZA\neq Z). Let BB be the centre of Γ1\Gamma_1 and let CC be the centre of Γ2\Gamma_2. The exterior angle bisector of BAC\angle{BAC} intersects Γ1\Gamma_1 again at XX and Γ2\Gamma_2 again at YY. Prove that the interior angle bisector of BZC\angle{BZC} passes through the circumcenter of XYZ\triangle{XYZ}.
For points P,Q,RP,Q,R that lie on a line \ell in that order, and a point SS not on \ell, the interior angle bisector of PQS\angle{PQS} is the line that divides PQS\angle{PQS} into two equal angles, while the exterior angle bisector of PQS\angle{PQS} is the line that divides RQS\angle{RQS} into two equal angles.