MathLabs

Problem 1

Let ABCABC be a triangle with incenter II. A point PP in the interior of the triangle satisfies ∠PBA+∠PCA=∠PBC+∠PCB\angle PBA+\angle PCA = \angle PBC+\angle PCB. Show that AP≥AIAP \geq AI, and that equality holds if and only if P=IP=I.
Step 3 of 4: Use the incenter-excenter center MM on ray AIAI
In plain words

By the incenter-excenter lemma, the circumcircle of △BIC\triangle BIC is centered at the midpoint MM of arc BCBC (where ray AIAI meets the circumcircle of △ABC\triangle ABC), so PP and II are at the same distance from MM.

MB=MC=MI=MP,AM=AI+IMMB=MC=MI=MP,\quad AM=AI+IM
Detailed analysis

Let ray AIAI meet the circumcircle of △ABC\triangle ABC again at MM, the midpoint of arc BCBC not containing AA. Because II lies on the segment from AA to MM, we have AM=AI+IMAM=AI+IM. By the incenter-excenter lemma, MM is the circumcenter of △BIC\triangle BIC, so MB=MC=MIMB=MC=MI; since PP also lies on that circle (Step 2), MP=MIMP=MI as well.