30. Достаточные условия экстремума.

 Теорема. Пусть функция f (x) непрерывна в некотором интервале, содержащую точку экстремума х₁, и дифференцируема во всех точках этого интервала кроме, быть может самой точки х₁. Если при переходе слева направо через эту точку х₁ производная меняет знак с плюса на минус, то при х = х₁ функция имеет локальный максимум. Если же при переходе слева направо через эту точку х₁ производная меняет знак с минуса на плюс, то функция имеет в этой точке локальный минимум.    Комментарий. Если в достаточно малой окрестности точки х₁ справедливо f ' (x) > 0 при х < x₁, f ' (x) < 0 при х > x₁, то в точке х₁ функция имеет максимум; если f ' (x) < 0 при х < x₁, f ' (x) > 0 при х > x₁, то в точке х₁ функция имеет минимум.    Доказательство. Пусть при переходе слева направо через эту точку х₁ производная меняет знак с плюса на минус, то есть для всех х, достаточно близких к х₁, имеем f ' (x) > 0 при х < x₁, f ' (x) < 0 при х > x₁. Применяя теорему Лагранжа к разности f (x) − f ( x₁), получим

f ( x ) − f ( x₁ ) = f ' ( c )·( x − x₁ ).

где с лежит между точками х и х₁. По условию теоремы

sign f ' ( c ) = − sign ( x − x₁ ),

поэтому в произвольно малой окрестности точки х₁ имеем

f ( x ) < f ( x₁ ).

В этом случае точка х₁ есть точка локального максимума, что и требовалось доказать.