Инвариантность формы дифференциала

Формула дифференциала функции имеет вид

,

где - дифференциал независимой переменной.

Пусть теперь дана сложная (дифференцируемая) функция , где , . Тогда по формуле производной сложной функции находим

,

так как .

Итак, , т.е. формула дифференциала имеет один и тот же вид для независимой переменной и для промежуточного аргумента , представляющего собой дифференцируемую функцию от .

Это свойство принято называть свойством инвариантности формулы или формы дифференциала. Заметим, что производная этим свойством не обладает.