函数换元法中,为什么将含t的x代数式代入解析式,然后f(t)和f(x)等价?