sinX + sinY = -sinZ ==>sinX^2+sinY^2+2sinXsinY=sinZ^2
cosX + cosY = -cosZ ==>cosX^2+cosY^2+2cosXcosY=cosZ^2
两式相加得：
sinXsinY+cosXcosY=-1/2=cos(X-Y)