Problem 4
Let be a circle tangent to a line , and let . Find the locus of points for which there are distinct points equidistant from such that is the incircle of triangle .
Step 1 of 4: Encode the midpoint condition
In plain words
Encode the midpoint condition
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 . We compare this with the second touchpoint of an auxiliary circle.