Problem:
The incircle of is tangent to the sides and , , at points and , respectively. The excircles to the sides and are tangent to the line at points and . Find if the points and are concyclic.
Problem:
The incircle of is tangent to the sides and , , at points and , respectively. The excircles to the sides and are tangent to the line at points and . Find if the points and are concyclic.
Solution:
The perpendicular bisector of the segment and the bisector of meet at the midpoint of the arc of the circumcircle of which does not contain .

Next we use the standard notation for the elements of . Since , the condition of the problem is equivalent to the equality . The Cosine theorem gives
Subtracting these equalities, we get
On the other hand, we have by Ptolemy's theorem. Since , we get . Now (1) implies that , i.e. .
Remark. The solution above shows that the points and are concyclic if and only if or .