MathDB
Geometry Mathley 10.1 right angle wanted

Source:

June 7, 2020
geometryright angleincirclecircumcircletangent circles

Problem Statement

Let ABCABC be a triangle with two angles B,CB,C not having the same measure, II be its incircle, (O)(O) its circumcircle. Circle (Ob)(O_b) touches BA,BCBA,BC and is internally tangent to (O)(O) at B1B_1. Circle (Oc)(O_c) touches CA,CBCA,CB and is internally tangent to (O)(O) at C1C_1. Let SS be the intersection of BCBC and B1C1B_1C_1. Prove that AIS=90o\angle AIS = 90^o.
Nguyễn Minh Hà