微分换元公式可以把dx换成复杂的du,u=f(x),如何把du换回dx呢?