ELMO 2017 Problem 2
Let be a triangle with orthocenter and let be the midpoint of Suppose that and are distinct points on the circle with diameter different from such that lies on line Prove that the orthocenter of lies on the circumcircle of Proposed by Michael Ren
Dataset text AI-MO AoPS. Quoted with source.
Official text: ELMO 2017 official paper, page 1.
Solutions
No solution is on olymmath yet. Official and human solutions come first when they arrive. AI solutions come after them, with a label.
Similar problems
These problems have the most words in common with this statement.