设函数及都可导,则复合函数的微分为
.
由于,故复合函数的微分公式为
或 .
由此可见,无论是自变量还是中间变量,函数的微分形式总是
微分形式不变性表明:当变换自变量时(即设为另一变量的任一可微函数时),微分形式
保持不变.