12.4.8 半角的三角函数公式