<OHC = 90^o wanted, XP + Y Q = AB + XY ,orthocenter, circumcenter
Source: 2019 Grand Duchy of Lithuania, Mathematical Contest p3 (Baltic Way TST)
October 3, 2020
geometryright angleperpendicularorthocentercircumcircle
Problem Statement
Let be an acute triangle with orthocenter and circumcenter . The perpendicular bisector of segment intersects the sides and in points and , respectively. The lines and intersect the side in points and , respectively. Prove that if then .