我们来看看微分的数式