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 2 of 4: PP lies on the circumcircle of △BIC\triangle BIC
∠BPC=∠BIC ⟹ B,P,I,C are concyclic\angle BPC=\angle BIC\ \Longrightarrow\ B,P,I,C\ \text{are concyclic}
Detailed analysis

Both PP and II lie on the same side of line BCBC (inside △ABC\triangle ABC), and by Step 1 they subtend segment BCBC at equal angles ∠BPC=∠BIC\angle BPC=\angle BIC. Therefore PP lies on the circumcircle of △BIC\triangle BIC.