如何用和角公式(或其他三角函数公式)推出半角公式?