MathLabs

Problem 4

Let C\mathcal C be a circle tangent to a line LL, and let M∈LM\in L. Find the locus of points PP for which there are distinct points Q,R∈LQ,R\in L equidistant from MM such that C\mathcal C is the incircle of triangle PQRPQR.
Step 2 of 4: Compare the two tangent circles
In plain words

Compare the two tangent circles

QY′Y′O′=OXXQ,RXXO=O′Y′Y′R\dfrac{QY'}{Y'O'}=\dfrac{OX}{XQ},\qquad \dfrac{RX}{XO}=\dfrac{O'Y'}{Y'R}
Detailed analysis

Let C-prime be the circle on the opposite side of QR, tangent to PQ, PR, and QR, with touchpoint Y-prime and center O-prime. The right-triangle similarities at X and Y-prime give the two ratios displayed above.