三角形山胡P1OP2与三角形AOP全贺颤等,
所以 |P1P2|=|AP|
|P1P2|=根号【(cosa-cosb)^2+(sina+sinb)^2】
|AP|=根号【(1-cos(a+b))^2+(-sin(a+b))^2】
【(cosa-cosb)^2+(sina+sinb)^2】=【逗拍拦(1-cos(a+b))^2+(-sin(a+b))^2】
cos^2a+cos^2b-2cosacosb+sin^2a+2sinasinb+sin^2b=1-2cos(a+b)+cos^2(a+b)+sin^2(a+b)
=2-2(cosacosb-sinasinb)=2-2cos(a+b)
cos(a+b)=cosacosb-sinasinb