Let be a triangle with incenter . Points and are chosen on segment such that the incircles of and are tangent at , and the incircles of and are tangent at . Prove that .
Solutions — 2
Solution 1
Let be the incenters of , , , respectively.

We begin with the following claim which does not depend on the existence of tangency points and .
Claim — Lines , , meet at a point (possibly at infinity).
Proof. Note that
Similarly
Thus the cross ratios are equal. Therefore, the concurrence follows from the so-called prism lemma on and .
Claim — Line also passes through .
Proof. Note , so the conclusion again follows by prism lemma.
Solution 2
As above, the lines , , meet at some point (possibly at infinity). Let be the incircles of , , , and .
Claim — There exists an inversion at swapping and .
Proof. Consider the inversion at swapping and . Since and are tangent, the image of is tangent to and is also tangent to . The circle is on the correct side of to be this image.
Claim — Circles share a common radical center.
Proof. Let be the circle with center fixed under , and let be the circle through centered at the radical center of , .
Then is actually orthogonal to , , so is fixed under and is also orthogonal to and . Thus the center of is the desired radical center.
The desired statement immediately follows. Indeed, letting be the radical center, it follows that and are the common internal tangents to and .
Since is the radical center, . In light of , it follows that , as desired.