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 1 of 4: Compute ∠BPC\angle BPC from the angle condition
In plain words

The two angle sums (∠PBA+∠PCA)(\angle PBA+\angle PCA) and (∠PBC+∠PCB)(\angle PBC+\angle PCB) together make ∠B+∠C\angle B+\angle C; being equal, each is half of ∠B+∠C\angle B+\angle C, which is also what the angle bisectors cut off for II.

∠PBC+∠PCB=∠B+∠C2 ⟹ ∠BPC=180∘−∠B+∠C2=90∘+∠A2=∠BIC\angle PBC+\angle PCB=\frac{\angle B+\angle C}{2}\ \Longrightarrow\ \angle BPC=180^\circ-\frac{\angle B+\angle C}{2}=90^\circ+\frac{\angle A}{2}=\angle BIC
Detailed analysis

Since PP is inside △ABC\triangle ABC, ∠B=∠PBA+∠PBC\angle B=\angle PBA+\angle PBC and ∠C=∠PCA+∠PCB\angle C=\angle PCA+\angle PCB. Adding these and using ∠PBA+∠PCA=∠PBC+∠PCB\angle PBA+\angle PCA=\angle PBC+\angle PCB gives 2(∠PBC+∠PCB)=∠B+∠C2(\angle PBC+\angle PCB)=\angle B+\angle C, so ∠PBC+∠PCB=12(∠B+∠C)\angle PBC+\angle PCB=\frac12(\angle B+\angle C). In △BPC\triangle BPC this leaves ∠BPC=180∘−12(∠B+∠C)=90∘+12∠A\angle BPC=180^\circ-\frac12(\angle B+\angle C)=90^\circ+\frac12\angle A, which is the standard value of ∠BIC\angle BIC.