前角公式,也称为辛普森公式,是三角学公式,用于将函数乘积转换为和或差。它们由下式给出
(1)
| |||
(2)
| |||
(3)
| |||
(4)
|
这种形式的三角函数可以在 Wolfram 语言 中使用以下命令获得TrigFactor[expr].
这些可以使用上图(Kung 1996)推导出来。从图中,定义
(5)
| |||
(6)
|
然后我们有恒等式
(7)
| |||
(8)
| |||
(9)
| |||
(10)
|
两个角的余弦和正弦的差的三角积公式可以使用上面所示的类似图形(Kung 1996)推导出来。使用先前定义的 和 ,上图给出
(11)
| |||
(12)
| |||
(13)
| |||
(14)
|