IMO 2008 Problem 1
- Day 1
Let be the orthocenter of an acute-angled triangle . The circle centered at the midpoint of and passing through intersects the sideline at points and . Similarly, define the points , , and .
Prove that the six points , , , , and are concyclic.
Author: Andrey Gavrilyuk, Russia
Dataset text AI-MO AoPS. 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.