Problem:
A circle is tangent to the continuations of sides and of the triangle , and is also tangent to the side at point . Prove that the radius of the circle tangent to , and the circle circumscribed around is equal to the radius of the circle inscribed in .
Solution
Solution:
Let and be the tangency points of the circle with and respectively, the point where it touches the circumscribed circle of , the middle of the arc of the circumscribed circle, the center of the inscribed circle of .
The tangent to the circle at is parallel to the line . So the similarity transformation ("stretching") centered at taking the circle to the circle takes to this tangent, and hence to . So , and are collinear. We now prove that points , and are collinear. Let be the point of intersection of the line with the circle . We want to show .
First, let's note that the quadrilateral can be inscribed into a circle. In fact, is equal to the half-sum of the and , which is equal to . But is the angle formed by the tangent and the chord of the circle , and is therefore equal to , subtended by this chord. Hence and the quadrilateral can be inscribed in a circle. Therefore .
Further, . Hence the triangles and are similar, and so . Also . Therefore is an equilateral triangle, and so , which implies that the triangles and are similar, and so . Hence , so the angle subtended by the chord is equal to the angle between this chord and , so is a tangent, and so .
It is time to use the definition of the point . Draw a tangent to the inscribed circle of parallel to . Let it be tangent to this circle at point . The circle tangent to the continuations of , and to at can be obtained from the inscribed circle of by a similarity transformation centered at . This transformation would take to . Hence , and are collinear. Let be the midpoint of , where is the tangency point of with the inscribed circle of . As ( connects the midpoints of the sides of ), is similar to , and so . Hence .
Now let be the center of the circle . As , the triangles and are similar. Hence , and so , and so , as wanted.