MathDB
equal segments starting with the incircle of a right triangle

Source: 2014 Sharygin Geometry Olympiad Final Round 8.1

August 3, 2018
geometryright triangle

Problem Statement

The incircle of a right-angled triangle ABCABC touches its catheti ACAC and BCBC at points B1B_1 and A1A_1, the hypotenuse touches the incircle at point C1C_1. Lines C1A1C_1A_1 and C1B1C_1B_1 meet CACA and CBCB respectively at points B0B_0 and A0A_0. Prove that AB0=BA0AB_0 = BA_0.
(J. Zajtseva, D. Shvetsov )