角加法公式表達了角之和的三角函式 用
和
的函式表示。三角學中角加法的基本公式由下式給出
|
(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)
|