1.5. ІІ означення диференційованості. Зв'язок з неперервністю.

ІІ означення диференційованості. Функція y  f x  називається

диференційованою в точці x0 , якщо приріст y у цій точці можна подати у
вигляді
y  Ax   x x , (1.6)

де A − деяке число, що не залежить від x , а  x  − функція аргументу x ,

нескінченно мала при x  0 , тобто lim  x   0 .
x 0

Зв'язок між І та ІІ означеннями диференційованості встановлює наступна

теорема.
Теорема 1. Для того, щоб функція y  f x  була диференційованою в
точці x0 (вимога (1.6)), необхідно і достатньо, щоб вона мала в цій точці
скінченну похідну.
Доведення. Необхідність. Нехай приріст функції y  f x  у точці x0
можна подати у вигляді (1.6). Розділимо цю рівність на x  0
y
 Ax   x 
x
та перейдемо до границі при x  0 :
y
lim  lim  A   x   A .
x  0 x x  0

Звідси випливає, що похідна в точці x0 існує і дорівнює : f x0   A , а

формула (1.6) набуває вигляду:
y  f  x0  x   x x , (1.7)
y
Достатність. Нехай існує скінченна похідна f x0  , тобто lim  f  x0  .
x 0 x
Нехай f x0   A . Тоді, за теоремою про структуру збіжної в точці функції,
функція
y
 x   А (1.8)
x
є нескінченно малою при x  0 .
За рівністю (1.8) маємо

y  Ax   x  x ,
де lim  x   0 .
x 0

Отже, маємо рівність (1.6). Достатність доведено.

Теорема 2. Якщо функція y  f x  є диференційованою в точці x0 , то вона
буде і неперервною в цій точці.
Доведення. Оскільки функція y  f x  є диференційованою у точці x0 , то
її приріст y у цій точці можна подати у вигляді (1.6). Перейшовши до границі
у рівності (1.6) при x  0 , одержимо

lim y  A lim x  lim  x  lim x  0 .

x  0 x 0 x  0 x  0
Останнє й означає неперервність функції в точці.
Зауваження. Обернене твердження до цієї теореми не виконується.
Функція може бути неперервною в точці, але не є диференційованою у цій
точці. Це, наприклад, функція y  x , що є неперервною у точці x  0 , але не має
скінченної похідної в цій точці.