因为CD=AB,
CD={cos (a+p)-1}^2+{sin(a+p)-0}^2
=2-2*cos (a+p)
AB={cosa-cosp}^2+{sina+sinp}^2
=2-2*{ cosa*cosp-sina*sinp}
所以有cos (a+p)= cosa*cosp-sina*sinp,
这里采用诱导公式:
sin (a+p)= cos {pi/2- (a+p)}
= cos {{pi/2-a} -p }
= cos{pi/2-a}*cos(-p)-sin{pi/2-a}*sin(-p)
= sina*cosp+cosa*sinp