Let be a triangle with incenter , and let be a point on line satisfying . Let the excircle of triangle opposite the vertex be tangent to at point . Define points on and on analogously, using the excircles opposite and , respectively.
Prove that if quadrilateral is cyclic, then is tangent to the circumcircle of .
Solutions — 2
Solution 1
First solution using spiral similarity (Ankan Bhattacharya) First, we prove the part of the problem which does not depend on the condition is cyclic.
Lemma
Let be a triangle and define as in the problem. Moreover, let denote the midpoint of . Then is tangent to , and moreover .
Proof. Let and be the tangency points of the incircle. Denote by the Miquel point of , i.e. the second intersection of the circle with diameter and the circumcircle. Note that are collinear, by radical axis on .

Then the spiral similarity gives us
which together with implies that and are (directly) similar. (See IMO Shortlist 2006 G9 for a similar application of spiral similarity.)
Now the remainder of the proof is just angle chasing. First, since
we have is tangent to . Moreover, to see that , write
the last step since is right with hypotenuse , and median .
Now we return to the present problem with the additional condition.

Claim. Given the condition, we actually have .
Proof. Let and be the excenters of . Then the perpendiculars to , , from respectively meet at the so-called Bevan point (which is the circumcenter of ).
Now has circumdiameter . We are given lies on this circle, so if then . But by definition, which would imply , which is absurd.
Claim. Given the condition the points are collinear (hence with ).
Proof. By Pappus theorem on and after the previous claim.
To finish, since was tangent to the circumcircle of , we have , implying the required tangency.
Solution 2
Second solution by inversion and mixtilinears (Anant Mudgal) As in the end of the preceding solution, we have and . Let be the midpoint of minor arc and be the midpoint of arc . Let be the intouch point on . Let be the circumcenter of . Let .

Claim. We have .
Proof. Let lie on with . By radical axis theorem on , and , we conclude that lies on . Let meet again at .
Inversion in maps to and to . Thus, maps to , so are collinear. Since and , we see that is a trapezoid with . Thus, .
It is known that and are isogonal in angle . Since is a circumdiameter in , so . So .
Let be the midpoint of and be the reflection of in . Since is a rectangle, we have , by the previous claim. So coincides with . Now bisects and , so .
Since , we see that and are bisectors of angle . Now , so is tangent to .