MathLabs

Problem 5

Let ABCDABCD be a fixed convex quadrilateral with BC=DABC = DA and BC∦DABC \nparallel DA. Let two variable points EE and FF lie on the sides BCBC and DADA, respectively, and satisfy BE=DFBE = DF. The lines ACAC and BDBD meet at PP, the lines BDBD and EFEF meet at QQ, the lines EFEF and ACAC meet at RR. Prove that the circumcircles of the triangles PQRPQR, as EE and FF vary, have a common point other than PP.
Step 4 of 7: MM lies on the circle through R,A,FR,A,F
In plain words

Applying the spiral-similarity lemma again, now to the pair C↦AC\mapsto A, E↦FE\mapsto F under the very same rotation, plants MM on a new circle through the point where lines CACA and EFEF cross.

R=EF∩AC ⟹ M∈(△RAF)R=EF\cap AC\ \Longrightarrow\ M\in(\triangle RAF)
Detailed analysis

Since the fixed rotation about MM sends C↦AC\mapsto A and E↦FE\mapsto F, the spiral-similarity lemma (applied to this pair) places MM on the circumcircle of the triangle formed by R=CA∩EFR=CA\cap EF together with AA and FF. So M∈(△RAF)M\in(\triangle RAF).