左边:
(CosA)^2-CosA*CosB+(SinA)^2-SinA*SinB
=1-Cos(A-B)
=2[Sin(A-B)/2]^2
cos(α-β)=cosαcosβ+sinαsinβ
sin^2(a/2)=(1-cos(a))/2