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 3 of 4: Identify the auxiliary touchpoint
In plain words

Identify the auxiliary touchpoint

QY′ XQ=OX O′Y′=RX Y′R⟹QX=RY′QY'\,XQ=OX\,O'Y'=RX\,Y'R\quad\Longrightarrow\quad QX=RY'
Detailed analysis

Multiplying the two ratios gives QY′⋅XQ=RX⋅Y′RQY'\cdot XQ=RX\cdot Y'R. Since the two decompositions of QR agree, this yields QX=RY′QX=RY'. Together with QX=RYQX=RY, we get Y=Y′Y=Y'. Hence P lies on line YZ, and the incircle condition selects the open ray from Z away from Y.