Problem 1
Let be a triangle with incenter . A point in the interior of the triangle satisfies . Show that , and that equality holds if and only if .
Step 3 of 4: Use the incenter-excenter center on ray
In plain words
By the incenter-excenter lemma, the circumcircle of is centered at the midpoint of arc (where ray meets the circumcircle of ), so and are at the same distance from .
Detailed analysis
Let ray meet the circumcircle of again at , the midpoint of arc not containing . Because lies on the segment from to , we have . By the incenter-excenter lemma, is the circumcenter of , so ; since also lies on that circle (Step 2), as well.