prove that PA is angle bisector of ∠BPC.