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 3 of 4: Locate the midpoint on the base
In plain words

The base tangency points are arranged symmetrically around the incircle's tangency point.

XP=PY=r1,XY=r2+r3=2r1XP=PY=r_1,\qquad XY=r_2+r_3=2r_1
Detailed analysis

Using AD=b2/cAD=b^2/c and the tangent-length formula, one obtains XP=r1XP=r_1; symmetrically PY=r1PY=r_1. The previous step gives XY=2r1XY=2r_1, so PP is the midpoint of XYXY.