MathDB
rectangle wanted, starting with a cyclic ABCD and angle bisectors

Source: 2012 Balkan Shortlist G7 BMO

April 3, 2020
geometryrectangleangle bisectorcyclic quadrilateralCyclic

Problem Statement

ABCDABCD is a cyclic quadrilateral. The lines ADAD and BCBC meet at X, and the lines ABAB and CDCD meet at YY . The line joining the midpoints MM and NN of the diagonals ACAC and BDBD, respectively, meets the internal bisector of angle AXBAXB at PP and the external bisector of angle BYCBYC at QQ. Prove that PXQYPXQY is a rectangle