与复合函数的求导法则相应的复合函数微分法则可推导如下：

设y = f(u)及u = g(x)都可导，则复合函数y = f[g(x)]的微分为

由于g'(x)dx = du, 所以复合函数y = f[g(x)]的微分公式也可以写成

由此可见，无论u是自变量还是中间变量，微分形式dy = f'(u)du保持不变。

这一性质成为微分形式不变性。

这性质表示，当变换自变量时，微分形式dy = f'(u)du并不改变。