Since the angles ∠OXP and ∠OYQ are both right, the circles OXP and OYQ cross again at a point R on PQ, and OR is perpendicular to PQ. Letting A1C1 and A2B2 cross at S, the conclusion then follows at once from the two facts below:
(1) S lies on OR; and
(2) OS is perpendicular to A1A2.
To prove (1), invert from O with power −OB1⋅OB2. Under this inversion, γ1 and γ2 correspond to one another, and so do the points in each of the pairs (A1,Y), (B1,B2), (C1,C2) and (X,A2).
Clearly, B1 lies on the circle OXP, so this latter is mapped to A2B2. Similarly, the circle OYQ (through C2) is mapped to A1C1.
Consequently, R is mapped to S. This establishes (1).
To prove (2), let A1A2 cross B1B2 and C1C2 at D1 and D2, respectively; let O1O2 cross A1C1 and A2B2 at X1 and X2, respectively; and let A1C1 cross O1D1 at Y1, and A2B2 cross O2D2 at Y2. The argument hinges on the following two facts:
(3) X1 and Y1 both lie on the circle ω1 on diameter OD1; similarly, X2 and Y2 both lie on the circle ω2 on diameter OD2; and
(4) X1,X2,Y1,Y2 all lie on a circle ω.
Assume (3) and (4) to establish (2) as follows: X1Y1, i.e., A1C1, is the radical axis of ω and ω1, and X2Y2, i.e., A2B2, is the radical axis of ω and ω2. Hence S is the radical centre of the three circles. As such, S lies on the radical axis of ω1 and ω2. These two circles cross again at the orthogonal projection O′ of O on D1D2, i.e., on A1A2, and OO′ is their radical axis. Consequently, S lies on OO′ and (2) follows.
We now turn to prove (3) and (4).
To prove (3) only X1 and Y1 are dealt with. It is sufficient to show that the angles ∠O1X1D1 and ∠OY1O1 are both right.
To prove that the angle ∠O1X1D1 is right, we show that X1 lies on the circle on diameter O1D1. Clearly, A1 and B1 both lie on this circle, so it is sufficient to show that ∠O1A1X1=∠O1B1X1. Now, ∠O1A1X1=∠O1A1C1=∠O1C1A1=∠O1C1X1, since O1A1=O1C1 (they both are radii of γ1). On the other hand, C1 and B1 are reflexions of one another in OO1, so ∠O1C1X1=∠O1B1X1. Consequently, ∠O1A1X1=∠O1B1X1, as desired.
The proof that the angle ∠OY1O1 is right is quite similar: This time we show that Y1 lies on the circle on diameter OO1. Clearly, B1 and C1 both lie on this circle, so it is sufficient to show that ∠O1B1Y1=∠O1C1Y1. Notice that B1 and A1 are reflexions of one another in O1D1, to write ∠O1B1Y1=∠O1A1Y1. Refer now again to O1A1=O1C1, to write ∠O1A1Y1=∠O1A1C1=∠O1C1A1=∠O1C1Y1 and conclude that O1B1Y1=∠O1C1Y1. This establishes (3).
Finally, proving (4) requires more work. We will show that ∠X1Y1Y2+∠X1X2Y2=180∘. Clearly, ∠X1Y1Y2=180∘−(∠O1Y1X1+∠D1Y1Y2), so it is sufficient to prove that
∠X1X2Y2=∠O1Y1X1+∠D1Y1Y2.(∗)
Deal with each angle in the right-hand member separately. By (3), ∠O1Y1X1=∠O1OD1, and an obvious angle chase yields ∠O1OD1=∠O1OB1=∠O2OB2=∠O2OC2=∠O2OD2. Hence ∠O1Y1X1=∠O2OD2.
To deal with ∠D1Y1Y2, let O1D1 and O2D2 cross at Z. By (3), the angles ∠OY1D1 and ∠OY2D2 are both right, so OY1ZY2 is cyclic, and hence ∠D1Y1Y2=∠ZY1Y2=∠ZOY2.
Thus, (*) now reads
∠X1X2Y2=∠O2OD2+∠ZOY2.(∗∗)
Our purpose now is to replace ∠ZOY2 by a more tractable angle. To this end, notice that O1D1 is the internal angle bisectrix of ∠A1D1B1, and O2D1 is the internal angle bisectrix of ∠A2D1B2, so O1D1 and O2D1 are perpendicular; that is, O2D1 is the O2-altitude of the triangle ZO1O2. Similarly, O1D2 is the O1-altitude of the triangle ZO1O2, so it crosses O2D1 at the orthocentre H of this triangle.
On the other hand, O2D1 and O1D2 are clearly the internal angle bisectrices of the triangle OD1D2 at D1 and D2, respectively. Hence OH is the internal angle bisectrix of ∠D1OD2. As such, it is perpendicular to external bisectrix O1O2 of this angle. Recalling that H is the orthocentre of the triangle ZO1O2, it follows that OH is the Z-altitude of this triangle.
Hence ∠ZOY2=∠HOY2, and (**) now reads
∠X1X2Y2=∠O2OD2+∠HOY2.
To prove this, split ∠X1X2Y2=∠X1X2D2+∠D2X2Y2. The angle ∠X1X2D2=∠OX2D2 is right, by (3). As such, ∠X1X2D2=∠HOX2, since OH is perpendicular to O1O2. Split further ∠HOX2=∠HOY2+∠Y2OX2, to write ∠X1X2D2=∠HOY2+∠Y2OX2. By (3), ∠D2X2Y2=∠D2OY2, so ∠X1X2Y2=∠HOY2+∠Y2OX2+∠D2OY2=∠HOY2+∠D2OX2, as desired. This establishes (4) and completes the proof.