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 5 of 7: MM lies on the circle through Q,D,FQ,D,F
In plain words

The same trick works with the other pair of corresponding points, B↦DB\mapsto D and E↦FE\mapsto F, producing a second circle through MM.

Q=BD∩EF ⟹ M∈(△QDF)Q=BD\cap EF\ \Longrightarrow\ M\in(\triangle QDF)
Detailed analysis

The very same rotation about MM also sends B↦DB\mapsto D and E↦FE\mapsto F. Applying the spiral-similarity lemma to this pair places MM on the circumcircle of the triangle formed by Q=BD∩EFQ=BD\cap EF together with DD and FF, i.e. M∈(△QDF)M\in(\triangle QDF).