5. Let P1 be the point on the side BC such that ∠BFP1=β/2. Then ∠BP1F=180∘−3β/2, and the sine law gives us BP1BF=sin(β/2)sin(3β/2)= 3−4sin2(β/2)=1+2cosβ. Now we calculate BPBF. We have ∠BIF=120∘−β/2,∠BFI=60∘ and ∠BIC=120∘,∠BCI=γ/2=60∘−β/2. By the sine law,
BF=BIsin60∘sin(120∘−β/2),BP=31BC=BI3sin(60∘−β/2)sin120∘.
It follows that BPBF=sin260∘3sin(60∘−β/2)sin(60∘+β/2)=4sin(60∘−β/2)sin(60∘+ β/2)=2(cosβ−cos120∘)=2cosβ+1=BP1BF. Therefore P≡P1.