TSTST 2017 Problem 1
Let be a triangle with circumcircle , circumcenter , and orthocenter . Assume that and . Let and be the midpoints of and , respectively, and let and be the feet of the altitudes from and in , respectively. Let be the intersection point of line with the tangent line to at . Let be the intersection point, other than , of with the circumcircle of . Let be the intersection point of lines and . Prove that .
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.