设x=cosa+isina,y=cosb+isinb
则x*y=cos(a+b)+isin(a+b)
同时,x*y=(cosa+isina)*(cosb+isinb)=cosacosb-sinasinb+i(略)
所以,cos(a+b)=cosacosb-sinasinb
将b变号即可
cosa+isina (cosa+isina)(cosb-isinb) cosacosb+sinasinb+i(sinacosb-cosasinb)
----------------= ------------------------------ = -------------------------------------------------
cosb+isinb (cosb+isinb)(cosb-isinb) cosbcosb+sinbsinb
所以cos(b-a)=cosacosb+sinasinb