从函数的微分的表达式
$$mathrm { d } y = f ^ { prime } ( x ) mathrm { d } x$$
可以看出，要计算函数的微分，只要计算函数的导数，再乘以自变量的微分.因此，可得如下的微分公式和微分运算法则.
1.基本初等函数的微分公式
由基本初等函数的导数公式，可以直接写出基本初等函数的微分公式.为了便于对照，列表于下：
2.函数和、差、积、商的微分法则
由函数和、差、积、商的求导法则，可推得相应的微分法则.为了便于对照，列成下表（表中u=u（x），v=v（x）都可导）.
再根据乘积的求导法则，有
$$( u v ) ^ { prime } = u ^ { prime } v + u v ^ { prime }$$
现在我们以乘积的微分法则为例加以证明.
根据函数微分的表达式，有
$$mathrm { d } ( u v ) = ( u v ) ^ { prime } mathrm { d } x$$
于是: $mathrm { d } ( u v ) = left( u ^ { prime } v + u v ^ { prime } right) mathrm { d } x = u ^ 大专栏 基本初等函数的微分公式与微分运算法则 { prime } v mathrm { d } x + u v ^ { prime } mathrm { d } x$
由于: $u ^ { prime } mathrm { d } x = mathrm { d } u , quad v ^ { prime } mathrm { d } x = mathrm { d } v$
所以: $mathrm { d } ( u v ) = v mathrm { d } u + u mathrm { d } v$
其他法则都可以用类似方法证明。
3.复合函数的微分法则
与复合函数的求导法则相应的复合函数的微分法则可推导如下：
设 $y=f(u)$及$u=g(x)$都可导，则复合函数$y = f [ g ( x ) ]$的微分为
$$mathrm { d } y = y _ { x } ^ { prime } mathrm { d } x = f ^ { prime } ( u ) g ^ { prime } ( x ) mathrm { d } x$$
由于$g’(x)dx=du$，所以，复合函数$y=f[g(x)]$微分公式也可以写成
$mathrm { d } y = f ^ { prime } ( u ) mathrm { d } u$ 或 $mathrm { d } y = y ^ { prime } _ { u } mathrm { d } u$
由此可见，无论$u$是自变量还是中间变量，微分形式$dy=f’(u)du$保持不变.这一性质称为微分形式不变性.这性质表示，当变换自变量时，微分形式$dy=f’(u)du$并不改变.
参考：
《高等数学》同济六版 -> P116