SHARYGIN 2013 Problem 4
Let be a nonisosceles triangle. Point is its circumcenter, and point is the center of the circumcircle of triangle . The altitude of from meets at a point . The line intersects the circumcircle of at points and . Prove that one of the segments and is equal to the segment .
Official text Sharygin Geometry Olympiad 2013 official paper, page 2. Quoted with source.
A model read this text from the scan of the paper by OCR, with vision/local (GLM-OCR-8bit). No person has checked it against the paper yet.
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.