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φ = 2 sin[(θ+φ)/2] cos[(θ-φ)/2]

7、sinθ-sinφ = 2 cos[(θ+φ)/2] sin[(θ-φ)/2]

8、cosθ+cosφ = 2 cos[(θ+φ)/2] cos[(θ-φ)/2]

9、cosθ-cosφ = -2 sin[(θ+φ)/2] sin[(θ-φ)/2]

10、tanA+tanB=sin(A+B)/cosAcosB=tan(A+B)(1-tanAtanB)