concyclic wanted, altitudes related
Source: 2013 Saudi Arabia IMO TST II p2
July 23, 2020
geometryConcyclicaltitudes
Problem Statement
Let be an acute triangle, and let , and be its altitudes. Segments and meet at point . The perpendicular bisector of segment intersects sides and at and , respectively. Prove that points , and lie on a circle.