正旋余旋的公式和定理

a^2 = b^2 c^2 - 2·b·c·cosA 　　b^2 = a^2 c^2 - 2·a·c·cosB 　　c^2 = a^2 b^2 - 2·a·b·cosC 　　cosC = (a^2 b^2 - c^2) / (2·a·b) 　　cosB = (a^2 c^2 -b^2) / (2·a·c) 　　cosA = (c^2 b^2 - a^2) / (2·b·c) 以上是余弦定理 cos2a=cosa^2-sina^2=1-2sina^2=2cosa^2-1这是余弦的升幂公式Cos2a=1-2Sina^2Cos2a=2Cosa^2-1余弦的二倍角公式★诱导公式★　　常用的诱导公式有以下几组：　　公式一：　　设α为任意角，终边相同的角的同一三角函数的值相等：　　sin（2kπ＋α）＝sinα　　cos（2kπ＋α）＝cosα　　tan（2kπ＋α）＝tanα　　cot（2kπ＋α）＝cotα　　公式二：　　设α为任意角，π α的三角函数值与α的三角函数值之间的关系：　　sin（π＋α）＝－sinα　　cos（π＋α）＝－cosα　　tan（π＋α）＝tanα　　cot（π＋α）＝cotα　　公式三：　　任意角α与 -α的三角函数值之间的关系：　　sin（－α）＝－sinα　　cos（－α）＝cosα　　tan（－α）＝－tanα　　cot（－α）＝－cotα　　公式四：　　利用公式二和公式三可以得到π-α与α的三角函数值之间的关系：　　sin（π－α）＝sinα　　cos（π－α）＝－cosα　　tan（π－α）＝－tanα　　cot（π－α）＝－cotα　　公式五：　　利用公式一和公式三可以得到2π-α与α的三角函数值之间的关系：　　sin（2π－α）＝－sinα　　cos（2π－α）＝cosα　　tan（2π－α）＝－tanα　　cot（2π－α）＝－cotα　　公式六：　　π/2±α及3π/2±α与α的三角函数值之间的关系：　　sin（π/2＋α）＝cosα　　cos（π/2＋α）＝－sinα　　tan（π/2＋α）＝－cotα　　cot（π/2＋α）＝－tanα　　sin（π/2－α）＝cosα　　cos（π/2－α）＝sinα　　tan（π/2－α）＝cotα　　cot（π/2－α）＝tanα　　sin（3π/2＋α）＝