半角的正弦、余弦和正切公式 三角函数的降幂公式