该证明公式是验证两边对x的导数相等,若换元函数x=x(t),证明中要用到dt/dx即1/x'(t),故要求x'(t)不为零.

　　d(∫f(x(t))x'(t)dt)/dx(对x的导数)

　　=f(x(t))x'(t)dt/dx就是这里用到