IGO 2017 A3
- Advanced
Let be the circumcenter of triangle . Line intersects the altitude from at point . Let be the midpoints of , respectively. If intersects at , and the circumcircle of triangle meets at , prove that is cyclic.
Proposed by Ali Daeinabi - Hamid Pardazi
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.
Similar problems
These problems have the most words in common with this statement.