ISL 2017 G3
Let be the circumcenter of an acute scalene triangle . Line intersects the altitudes of through and at and , respectively. The altitudes meet at . Prove that the circumcenter of triangle lies on a median of triangle . (Ukraine)
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.