设P是正三角形ABC外接圆的劣弧BC上任意一点,求证:PB+PC=PA,PB*PC=PA^2-PB^2