三角函数中的万能代换的条件是什么?