关于 的三角公式可以使用多倍角公式推导得出
(1)
|
设 且
则得到
(2)
|
提取公因式 后得到
(3)
|
求解关于 的二次方程得到
(4)
|
但是 必须小于
(5)
|
因此取负号并化简得到
(6)
|
补全剩余的三角函数则得到
(7)
| |||
(8)
| |||
(9)
| |||
(10)
| |||
(11)
| |||
(12)
|
和
(13)
| |||
(14)
| |||
(15)
| |||
(16)
| |||
(17)
| |||
(18)
|