USAMO 2025 Problem 4
- Day 2
Let be the orthocenter of acute triangle , let be the foot of the altitude from to , and let be the reflection of across . Suppose that the circumcircle of triangle intersects line at two distinct points and . Prove that is the midpoint of .
Dataset text AI-MO AoPS. Quoted with source.
Also USAJMO 2025 Problem 5.
Solutions
No solution is on olymmath yet. Official and human solutions come first when they arrive. AI solutions come after them, with a label.