Теорема 1. Если функция дифференцируема в некоторой точке, то в этой
точке она имеет дифференциал.
Доказательство. Функция - дифференцируема в
точке х0,
.
По теореме о связи
предела и б.м. функции:
,
где - б.м. функция при
.
Умножим обе части на Dх:
,
- б.м. функция более
высокого порядка, чем Dх.
.
Следовательно, функция имеет дифференциал и .
Теорема 2. Если функция имеет
дифференциал в некоторой точке, то она имеет производную в этой точке.
Доказательство. Пусть функция имеет дифференциал . Тогда
.
Разделим обе части на Dх:
.
Переходя к пределу при , получим
.
Таким образом, функция имеет производную и .
Из этих теорем следует, что .