高中数学——一个三角函数恒等式的证明