MathDB
Median perpendicular to a line

Source: XVII Sharygin Correspondence Round P4

March 2, 2021
geometrycircumcircle

Problem Statement

Let ABCDABCD be a square with center OO , and PP be a point on the minor arc CDCD of its circumcircle. The tangents from PP to the incircle of the square meet CDCD at points MM and NN. The lines PMPM and PNPN meet segments BCBC and ADAD respectively at points QQ and RR. Prove that the median of triangle OMNOMN from OO is perpendicular to the segment QRQR and equals to its half.