SHARYGIN 2012 Problem 8
Let be the median of right-angled triangle (). The incircle of triangle touches sides in points ; points are defined similarly. Prove that lines and meet on the bisector of angle .
Official text Sharygin Geometry Olympiad 2012 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.