Формула дифференциала функции имеет вид
,
где - дифференциал независимой переменной.
Пусть теперь дана сложная (дифференцируемая)
функция , где
,
. Тогда по формуле
производной сложной функции находим
,
так как .
Итак, , т.е. формула дифференциала имеет один и тот же вид для
независимой переменной
и для промежуточного
аргумента
, представляющего собой дифференцируемую функцию от
.
Это свойство принято называть свойством инвариантности формулы или формы дифференциала. Заметим, что
производная этим свойством не обладает.