MathDB
Concurrent perpendicular bisectors from three circles in a triangle

Source: German TST 2022, probably on exam 6-7, again proposed by me

July 19, 2022
geometryperpendicular bisectorTriangle GeometryTST

Problem Statement

Given a triangle ABCABC and three circles xx, yy and zz such that AyzA \in y \cap z, BzxB \in z \cap x and CxyC \in x \cap y.
The circle xx intersects the line ACAC at the points XbX_b and CC, and intersects the line ABAB at the points XcX_c and BB. The circle yy intersects the line BABA at the points YcY_c and AA, and intersects the line BCBC at the points YaY_a and CC. The circle zz intersects the line CBCB at the points ZaZ_a and BB, and intersects the line CACA at the points ZbZ_b and AA. (Yes, these definitions have the symmetries you would expect.)
Prove that the perpendicular bisectors of the segments YaZaY_a Z_a, ZbXbZ_b X_b and XcYcX_c Y_c concur.