三角恒等变换公式及其证明