Введем функцию
Посчитаем приращение функции в точке
Раскроем скобки
По определению, линейная по часть приращения есть дифференциал, то есть
В программе Mathematica есть встроенная функция Dt вычисления полного дифференциала функции.