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 1 of 4: Encode the midpoint condition
In plain words

Encode the midpoint condition

QX=RYQX=RY
Detailed analysis

Because M is the midpoint of QR and XY, label Q,R so Q and X are on the same side of M. Then QX=RYQX=RY. We compare this with the second touchpoint of an auxiliary circle.