<OAH = <LSA wanted, circumcenter, orthocenter, midpoint, perp. bisector
Source: 2nd SAFEST Olympiad 2020 p4 - South AFrica + ESTonia TST
October 4, 2020
geometryequal anglesCircumcenterorthocenter
Problem Statement
Let be the circumcenter and the orthocenter of an acute-triangle . The perpendicular bisector of intersects the line at point . Let be the midpoint of . Prove that .