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