三角恒等式(半角公式)证明题