cos(a-b)=cosacosb+sinasinb，这是三角恒等变换的公式。三角恒等变换是数学的一类公式，用于三角函数等价代换，基本可以从三角函数图像中推出诱导公式，也能从诱导公式中延展出其他的公式，其中包括倍角公式，和差化积，万能公式等。
cos(a-b)推导公式
取直角坐标系，作单位圆
取一点A，连接OA，与回X轴的夹角为A
取一点B，连接OB，与X轴的夹角为B
OA与OB的夹角即为A-B
A(cosA，sinA)，B(cosB，sinB)
OA(->)=(cosA，sinA)
OB(->)=(cosB，sinB)
OA(->)*OB(->)
=|OA||OB|cos(A-B)
=cosAcosB+sinAsinB
|OA|=|OB|=1
cos(A-B)=cosAcosB+sinAsinB
常用三角函数
1、cos(α+β)=cosα·cosβ-sinα·sinβ
2、cos(α-β)=cosα·cosβ+sinα·sinβ
3、sin(α±β)=sinα·cosβ±cosα·sinβ
4、4tan(α+β)=(tanα+tanβ)/(1-tanα·tanβ)
5、tan(α-β)=(tanα-tanβ)/(1+tanα·tanβ)
6、sinθ+sinφ=2sin[(θ+φ)/2]cos[(θ-φ)/2]
7、sinθ-sinφ=2cos[(θ+φ)/2]sin[(θ-φ)/2]
8、cosθ+cosφ=2cos[(θ+φ)/2]cos[(θ-φ)/2]
9、cosθ-cosφ=-2sin[(θ+φ)/2]sin[(θ-φ)/2]
10、tanA+tanB=sin(A+B)/cosAcosB=tan(A+B)(1-tanAtanB)