求微分是不是就是按求导数的算法算,最后乘上dx?