SHARYGIN 2017 Problem 2
A circle cuts off four right-angled triangles from rectangle ABCD. Let and be the midpoints of the correspondent hypotenuses. Prove that .
Official text Sharygin Geometry Olympiad 2017 official paper, page 1. 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.