Let be a right triangle with and circumcircle . The incircle touches at a point . Let be the midpoint of the arc of that does not contain and let be the midpoint of the arc of that does not contain .
a) Prove that .
b) Prove that passes through the points where the incircle touches and .
Solution
a) The midpoint of arc where does not lie, lies on the bisector . Similarly, lies on . It holds that because is a cyclic quadrilateral and because is the tangency point of the inscribed circle with . Therefore, , which implies that is a cyclic quadrilateral. Now, , while also . Thus, . Similarly, . Together, this gives .
b) Let be the intersection of with . In the previous part, we have seen that is the bisector of . Also, is the bisector of . Therefore, by (SAS). This means that . On the other hand, the distances from to the tangency points of the inscribed circle with and are equal, and one of these tangency points is , so the other tangency point must be . Thus, passes through the tangency point of the inscribed circle with . Similarly, it also passes through the tangency point of the inscribed circle with .