Lots of Cyclic Quads
Source: 2018 USAMO #5
April 19, 2018
geometrycyclic quadrilateralUSAMOMiquel pointprism lemmaUSA(J)MOHi
Problem Statement
In convex cyclic quadrilateral , we know that lines and intersect at , lines and intersect at , and lines and intersect at . Suppose that the circumcircle of intersects line at and , and the circumcircle of intersects line at and , where and are collinear in that order. Prove that if lines and intersect at , then .Proposed by Kada Williams