Nice problem
Source: IMO Shortlist 2000, G6
November 2, 2005
geometrycircumcircleperpendicular bisectorconvex quadrilateralIMO Shortlist
Problem Statement
Let be a convex quadrilateral. The perpendicular bisectors of its sides and meet at . Denote by a point inside the quadrilateral such that \measuredangle ADX \equal{} \measuredangle BCX < 90^{\circ} and \measuredangle DAX \equal{} \measuredangle CBX < 90^{\circ}. Show that \measuredangle AYB \equal{} 2\cdot\measuredangle ADX.