MathDB
Lots of Cyclic Quads

Source: 2018 USAMO #5

April 19, 2018
geometrycyclic quadrilateralUSAMOMiquel pointprism lemmaUSA(J)MOHi

Problem Statement

In convex cyclic quadrilateral ABCDABCD, we know that lines ACAC and BDBD intersect at EE, lines ABAB and CDCD intersect at FF, and lines BCBC and DADA intersect at GG. Suppose that the circumcircle of ABE\triangle ABE intersects line CBCB at BB and PP, and the circumcircle of ADE\triangle ADE intersects line CDCD at DD and QQ, where C,B,P,GC,B,P,G and C,Q,D,FC,Q,D,F are collinear in that order. Prove that if lines FPFP and GQGQ intersect at MM, then MAC=90\angle MAC = 90^\circ.
Proposed by Kada Williams