US-TST 2023 Problem 2
Let be an acute triangle. Let be the midpoint of side , and let and be the feet of the altitudes from and , respectively. Suppose that the common external tangents to the circumcircles of triangles and intersect at a point , and that lies on the circumcircle of . Prove that line is perpendicular to line .
Dataset text NuminaMath olympiads. Quoted with source.
Solutions
No solution is on olymmath yet. Official and human solutions come first when they arrive. AI solutions come after them, with a label.