常用的半角公式包括以下三个:
半角正弦公式
半角余弦公式
半角正切公式
以上三角函数值的正负由所在的象限决定。[3]
由和角公式可得:
……①
由等式①,整理得:
将代入α,整理得:
开方,得
由等式①整理得:
将2/a代入,整理得: