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