MathLabs

Problem 5

An arbitrary point MM is selected in the interior of segment ABAB. Squares AMCDAMCD and MBEFMBEF are constructed on the same side of ABAB, with circumcenters PP and QQ. Their circumcircles meet again at NN. Let N′N' be the intersection of AFAF and BCBC. (a) Prove N=N′N=N'. (b) Prove that MNMN passes through a fixed point independent of MM. (c) Find the locus of the midpoint of PQPQ as MM varies.
Step 2 of 5: Identify the circle with diameter ABAB
∠AMN=∠BMN=90∘⟹A,M,N,B are concyclic\angle AMN=\angle BMN=90^\circ\quad\Longrightarrow\quad A,M,N,B\text{ are concyclic}
Detailed analysis

Since NN lies on both square circumcircles, the right-angle relations imply ∠ANB=90∘\angle ANB=90^\circ. Hence NN lies on the circle with diameter ABAB. The same conclusion for N′N' follows from ∠AN′B=90∘\angle AN'B=90^\circ.