MathDB
Midpoints connected to center are perpendicular

Source: China 2016 TST Day 2 Q5

March 16, 2016
geometrycyclic quadrilateral

Problem Statement

Refer to the diagram below. Let ABCDABCD be a cyclic quadrilateral with center OO. Let the internal angle bisectors of A\angle A and C\angle C intersect at II and let those of B\angle B and D\angle D intersect at JJ. Now extend ABAB and CDCD to intersect IJIJ and PP and RR respectively and let IJIJ intersect BCBC and DADA at QQ and SS respectively. Let the midpoints of PRPR and QSQS be MM and NN respectively. Given that OO does not lie on the line IJIJ, show that OMOM and ONON are perpendicular.