三角函数的收缩代换公式