角加法公式表达了角之和的三角函数 用 和 的函数表示。三角学中角加法的基本公式由下式给出
(1)
| |||
(2)
| |||
(3)
| |||
(4)
| |||
(5)
| |||
(6)
|
其中前四个被称为积化和差公式,有时也称为辛普森公式。
正弦和余弦角加法恒等式可以紧凑地概括为矩阵方程
(7)
|
这些公式可以使用复数指数和欧拉公式简单地推导出来,如下所示。
(8)
| |||
(9)
| |||
(10)
| |||
(11)
|
将实部和虚部相等,然后得到 (1) 和 (3),而 (2) 和 (4) 可以通过用 替换 立即得到。
取 (1) 和 (3) 的比率得到正切角加法公式
(12)
| |||
(13)
| |||
(14)
| |||
(15)
|
倍角公式为
(16)
| |||
(17)
| |||
(18)
| |||
(19)
| |||
(20)
|
多倍角公式由下式给出
(21)
| |||
(22)
|
也可以使用递推关系写成
(23)
| |||
(24)
| |||
(25)
|
角加法公式也可以完全用代数方法推导出来,而无需使用复数。考虑上图中的小直角三角形,它给出
(26)
| |||
(27)
|
现在,应用于大直角三角形的常用三角定义给出
(28)
| |||
(29)
| |||
(30)
| |||
(31)
|
同时求解这两个方程中的变量 和 ,然后立即得到
(32)
| |||
(33)
|
借助三角恒等式,可以将这些公式转换成大家熟悉的形式
(34)
|
和
(35)
| |||
(36)
| |||
(37)
| |||
(38)
|
可以通过直接乘法验证。将 (◇) 代入 (◇),并将 (38) 代入 (◇),然后得到
(39)
| |||
(40)
|
与之前相同。
Smiley 和 Smiley 的一个类似证明使用了上面的左图来获得
(41)
|
由此得出
(42)
|
类似地,从右图,
(43)
|
所以
(44)
|
类似的图表可以用来证明角减法公式(Smiley 1999,Smiley 和 Smiley)。在左图中,
(45)
| |||
(46)
| |||
(47)
|
给出
(48)
|
类似地,在右图中,
(49)
| |||
(50)
| |||
(51)
|
给出
(52)
|
一个更复杂的图表可以用来从 恒等式中获得证明 (Ren 1999)。在上图中,设 。那么
(53)
|
一个有趣的恒等式,关联了和与差的正切公式,由下式给出
(54)
| |||
(55)
| |||
(56)
|