MathDB
prove that quadrilaterals are cyclic and their circumcenters coincide

Source: BMO Shortlist 2018 G5

May 5, 2019
circumcirclegeometrycyclic quadrilateralCircumcenterIMO Shortlist

Problem Statement

Let ABCABC be an acute triangle with AB<AC<BCAB<AC<BC and let DD be a point on it's extension of BCBC towards CC. Circle c1c_1, with center AA and radius ADAD, intersects lines AC,ABAC,AB and CBCB at points E,FE,F, and GG respectively. Circumscribed circle c2c_2 of triangle AFGAFG intersects again lines FE,BC,GEFE,BC,GE and DFDF at points J,H,HJ,H,H' and JJ' respectively. Circumscribed circle c3c_3 of triangle ADEADE intersects again lines FE,BC,GEFE,BC,GE and DFDF at points I,K,KI,K,K' and II' respectively. Prove that the quadrilaterals HIJKHIJK and HIJKH'I'J'K ' are cyclic and the centers of their circumscribed circles coincide.
by Evangelos Psychas, Greece