Локальный экстремум и теорема Ферма.
Пусть существует число >0 такое, что функция f(x) определена в -окрестности точки , то есть на множестве()=( -,+), и пусть для всех выполняется неравенство f(x) f() (1). Тогда говорят, что функция f(x) имеет в точке локальный минимум .
Аналогично, если существует число >0 такое, что функция f(x) определена в -окрестности точки , то есть на множестве()=( -,+), и пусть для всех выполняется неравенство f(x) f() (2). Тогда говорят, что функция f(x) имеет в точке локальный максимум.
Локальный минимум и локальный максимум объединяются общим термином локальный экстремум.
Теорема Ферма. Если функция f(x) имеет локальный экстремум в точке и дифференцируема в этой точке, то f ’()=0. (3)
Пусть, например, функция f(x) имеет локальный минимум в точке , тогда в силу (1) для всех выполняется неравенство
f(x)f() (4)
Если , то х-<0, и из условия (4) следует, что
(5)
А если , то выполняется неравенство
(6)
Так как функция f дифференцируема в точке , то существует предел х в левой части неравенства (5), равный f ’_()=f ’(). По свойствам пределов из (5) следует, что
f ’()0 (7)
Аналогично, переходя к пределу в неравенстве (6), получаем
f ’()(8)
Из неравенств (7) и (8) следует, что f ’()=0.