从函数的微分的表达式

\[\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