Problem 4
A semicircular arc has diameter . Let be a point of the arc other than , and let be the foot of the perpendicular from to . Three circles are tangent to line ; is inscribed in triangle , while and are tangent to and to , on opposite sides of . 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.
Detailed analysis
Using and the tangent-length formula, one obtains ; symmetrically . The previous step gives , so is the midpoint of .