三角函数的化简与证明