SHARYGIN 2010 Problem 12
Let be the greatest leg of a right triangle , and be the altitude to its hypotenuse. The circle of radius centered at intersects in point . Let a point be the reflection of with respect to the point . The perpendicular to erected at meets the circle in a point . Prove that: a) ; b) is tangent to the circle.
Official text Sharygin Geometry Olympiad 2010 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.