MathDB
RS tangent to mixtilinear incircle wanted, isosceles ABC

Source: 2021 Cono Sur Shortlist G7 https://artofproblemsolving.com/community/c1088686_cono_sur_shortlist__geometry

October 31, 2022
geometrymixtilinear incircletangentisosceles

Problem Statement

Given an triangle ABCABC isosceles at the vertex AA, let PP and QQ be the touchpoints with ABAB and ACAC, respectively with the circle TT, which is tangent to both and is internally tangent to the circumcircle of ABCABC. Let RR and SS be the points of the circumscribed circle of ABCABC such that AP=AR=ASAP = AR = AS . Prove that RSRS is tangent to TT .