MathDB
Hard geometry

Source: Iran TST 2015 ,exam 1, day 2 problem 3

May 11, 2015
geometrycircumcircle

Problem Statement

ABCDABCD is a circumscribed and inscribed quadrilateral. OO is the circumcenter of the quadrilateral. E,FE,F and SS are the intersections of AB,CDAB,CD , AD,BCAD,BC and AC,BDAC,BD respectively. EE' and FF' are points on ADAD and ABAB such that AE^E=EE^DA\hat{E}E'=E'\hat{E}D and AF^F=FF^BA\hat{F}F'=F'\hat{F}B. XX and YY are points on OEOE' and OFOF' such that XAXD=EAED\frac{XA}{XD}=\frac{EA}{ED} and YAYB=FAFB\frac{YA}{YB}=\frac{FA}{FB}. MM is the midpoint of arc BDBD of (O)(O) which contains AA. Prove that the circumcircles of triangles OXYOXY and OAMOAM are coaxal with the circle with diameter OSOS.