前角公式,也稱為辛普森公式,是三角學公式,用於將函式乘積轉換為和或差。它們由下式給出
|
(1)
| |||
|
(2)
| |||
|
(3)
| |||
|
(4)
|
這種形式的三角函式可以在 Wolfram 語言 中使用以下命令獲得TrigFactor[expr].
這些可以使用上圖(Kung 1996)推匯出來。從圖中,定義
|
(5)
| |||
|
(6)
|
然後我們有恆等式
|
(7)
| |||
|
(8)
| |||
|
(9)
| |||
|
(10)
|
兩個角的餘弦和正弦的差的三角積公式可以使用上面所示的類似圖形(Kung 1996)推匯出來。使用先前定義的 和
,上圖給出
|
(11)
| |||
|
(12)
| |||
|
(13)
| |||
|
(14)
|