MathDB
R is incenter of CST wanted, right triangle, point symmetric wrt side

Source: Champions Tournament (Ukraine) - Турнір чемпіонів - 2008 Seniors p2

September 7, 2020
geometryincenterright triangleChampions Tournament

Problem Statement

Given a right triangle ABCABC with C=90o \angle C=90^o. On its hypotenuse ABAB is arbitrary mark the pointP P. The point QQ is symmetric to the point PP wrt ACAC. Let the lines PQPQ and BQBQ intersect ACAC at points OO and RR respectively. Denote by SS the foot of the perpendicular from the point RR on the line ABAB (SPS \ne P), and let TT be the intersection point of lines OSOS and BRBR. Prove that RR is the center of the circle inscribed in the triangle CSTCST.