Problem:
Let be the circumcircle of the triangle . The circle is tangent to the sides and , and it is internally tangent to at the point . A line parallel to and intersecting the interior of triangle is tangent to at .
Prove that .
Problem:
Let be the circumcircle of the triangle . The circle is tangent to the sides and , and it is internally tangent to at the point . A line parallel to and intersecting the interior of triangle is tangent to at .
Prove that .
Solution:
Assume that is tangent to and at and , respectively and let meet at , respectively. Let and denote the respective centres of and , and consider the homothety that maps onto . Now is the image of under , and . Hence , and thus is the midpoint of the arc . Similarly, is the midpoint of the arc and is the midpoint of the arc . It follows that arcs and are equal, because
Thus arcs and of are equal, too, where is the intersection of with . Since and are tangents to , this implies that . Further, , and thus triangles and are congruent. In particular, , as required.

A Variant. As above, we show that and of are equal, which implies that is an isoceles trapezoid, and so we have . Together with , this implies that, since and are images of each other under reflection in the angle bisector of , so are the segments and , and, in particular, and . In turn, this yields , as required.
Remark. Let denote the incentre of . By Sawayama's theorem, is the midpoint of , i.e. is a median of . Since is the intersection of the tangents and to the circumcircle of at and , respectively, is a symmedian of . Thus . But, since the arcs and of are equal, . This shows that lies on the line .
Another Variant. We show that and are equal, and then finish as in the main solution. Let meet again at . Consider the homothety that maps onto . Under and , so . (This also follows by considering the common tangent to and , and tangential angles.) Now, by power of a point,
Now implies , and so, dividing the two previous equations by each other, and taking square roots, . Hence bissects angle . Now let . By tangential angles, it follows that . Further, . Let the tangent to through and parallel to meet at . Then , so, since by tangency, . By tangential angles, it follows that and are equal, as claimed.

Solution:
Let and denote the respective centres of and . Observe that is the angle bisector of angle , because is tangent to and . Consider the homothety that maps onto . Let be the image of under . By construction, , so . Thus the diameter of passes through the midpoint of the of , which also lies on the angle bisector . This implies that . We next show that lie on a circle. Notice that
Hence lie on a circle. But , so is the angle bisector of . Since is also the angle bisector of angle , it follows that , as required.

A Variant. We show that is cyclic by chasing angles. Define , and . For convenience, we consider the configuration where and lie one the same side of the angle bisector of . In this configuration,
Now notice that , and therefore , whence . Further, is a diameter of , and therefore . Let and intersect at . Then
But by construction, and thus
Hence , and thus is cyclic. Since , it follows that is the angle bisector of , which completes the proof.
Solution:
Let and denote the respective centres of and . Let be the second point of intersection of with , and let denote the tangent to at , which meets at . Hence . By construction, lie one a line, and hence the isosceles triangles and are similar. In particular, it follows that , so is the midpoint of the arc of defined by the points of intersection of with . It is easy to see that this implies that
Under reflection in the angle bisector of is thus mapped to a tangent to parallel to and intersecting the interior of , since is mapped to itself under this reflection. In particular, is mapped to , and thus , as required.

Remark. Conceptually, this solution is similar to Solution 1, but here, we proceed more directly via the reflectional symmetry. Therefore, this solution links Solution 1 to Solution 4, in which we use an inversion.
Solution:
Let the tangent to at meet and at and , respectively. Then , and thus there is a radius such that . Let denote the circle with centre and radius , and consider the inversion in the circle . Under ,
, the point on the ray satisfying ;
, the point on the ray satisfying ;
the line ;
, the excircle of opposite ;
, the point where touches ;
In particular, , the image of , is a circle tangent to and , so it is either the excircle of opposite , or the incircle of . Let be tangent to at , and let be the image of under . Then . Now , so . Hence cannot be the incircle, so is indeed the excircle of opposite .
Now note that is the excircle of opposite . The reflection about the angle bisector of maps to to . It thus maps the triangle to to and, finally, to . It follows that , as required.

Solution:
Let be the radius such that . Let denote the composition of the inversion in the circle of centre and radius , followed by the reflection in the angle bisector of . Under ,
the line ;
, the excircle of opposite the vertex ;
, the point where touches ;
In particular, note that the image of under is a circle tangent to and , so it is either the incircle of , or the excircle opposite vertex . Observe that , so the image of the points of tangency of must lie outside , and thus cannot be the incircle. Thus is the excircle opposite vertex as claimed. Further, the point of tangency is mapped to .
Now, since the line is mapped to itself under the inversion , and mapped onto under and are images of each other under reflection in the angle bisector of . But lie on a line for there is a homothety with centre that maps onto the excircle . This completes the proof.

Solution:
Assume that is tangent to and at and , respectively. Assume that meets at . Let and denote the respective centres of and . To set up a solution in the complex plane, we take the circle as the unit circle centered at the origin of the complex plane, and let be the real axis with , where we use the convention that lowercase letters denote complex coordinates of corresponding points in the plane denoted by uppercase letters.
Now, a point on the circle satisfies
The triangle is defined by the points and on , the intersection of the corresponding tangents lying on . Thus , and further
and this is the equality defining . The points and are the second intersection points of with the tangents to at and respectively. A point on the tangent through is given by , and thus and satisfy
since . Thus
and similarly
Then
Now let be a point on the tangent to parallel to passing through . Then
for , and thus
It follows that
where we have used (1). In particular,
where the choice of sign is to be justified a posteriori. Further, the point satisfies
using to obtain the final equality.
Now, it suffices to show that (i) and (ii) the midpoint of is on . The desired equality then follows by symmetry with respect to the angle bisector of the angle . Notice that (i) is equivalent with
for and are chords of . But
The last equality is precisely the defining relation for . This proves (i). Further, the midpoint of is , so it remains to check that
where the first equality expresses that is a chord of (obviously) containing its midpoint, the second equality expresses the alignment of the midpoint of and , and the third equality follows from the expression for . But we have just shown that . This proves (ii), justifies the choice of sign for a posteriori, and thus completes the solution of the problem.