MathDB
midpoint wanted, telated to 4 orthocenters in ABCD

Source: Sharygin 2005 finals 9.4

August 28, 2019
geometryorthocentermidpoint

Problem Statement

Let PP be the intersection point of the diagonals of the quadrangle ABCDABCD, MM the intersection point of the lines connecting the midpoints of its opposite sides, OO the intersection point of the perpendicular bisectors of the diagonals, HH the intersection point of the lines connecting the orthocenters of the triangles APDAPD and BCPBCP, APBAPB and CPDCPD. Prove that MM is the midpoint of OHOH.