MathLabs

Problem 4

A semicircular arc γ\gamma has diameter ABAB. Let CC be a point of the arc other than A,BA,B, and let DD be the foot of the perpendicular from CC to ABAB. Three circles γ1,γ2,γ3\gamma_1,\gamma_2,\gamma_3 are tangent to line ABAB; γ1\gamma_1 is inscribed in triangle ABCABC, while γ2\gamma_2 and γ3\gamma_3 are tangent to CDCD and to γ\gamma, on opposite sides of CDCD. Prove that the three circles have a second common tangent.
Step 4 of 4: Reflect the known tangent
In plain words

A line through the midpoint of two circle centers exchanges the two circles under reflection and fixes the middle circle, producing the second tangent automatically.

O1∈O2O3,O1P=r1,O2X=r2,O3Y=r3,O1 is the midpoint of O2O3O_1\in O_2O_3,\qquad O_1P=r_1,\qquad O_2X=r_2,\qquad O_3Y=r_3,\qquad O_1\text{ is the midpoint of }O_2O_3
Detailed analysis

All three centers lie on perpendiculars to ABAB through their base contact points. Since PP is the midpoint of XYXY and r2+r3=2r1r_2+r_3=2r_1, the center O1O_1 is the midpoint of O2O3O_2O_3. Reflect the common tangent ABAB in the line O2O3O_2O_3: a reflection preserves tangency, so the reflected line is a second common tangent to all three circles.