Теорема. (первый достаточный признак существования экстремума функции). Пусть
— критическая точка непрерывной функции
. Если
при переходе через точку
меняет знак с «+» на «—», то
— точка локального максимума; если
при переходе через точку
меняет знак с «—» на «+», то
— точка локального минимума; если
при переходе через точку
не меняет знак, то
не является точкой локального экстремума.
Доказательство. Пусть
— точка возможного экстремума, причем
>0
и
<0
.
Тогда по теореме о достаточном признаке возрастания и убывания функции функция возрастает при
(т.е.
>
) и убывает при
(т.е.
<
),
т. е. точка
является точкой локального максимума.
Аналогично доказывается и существование точки локального
минимума.
Если
сохраняет знак в окрестности точки
, то в этой окрестности функция монотонна, т. е. точка
не является точкой локального экстремума.
⊠
На рисунке дана геометрическая интерпретация точки локального максимума.

Теорема (второй достаточный признак существования экстремума функции). Стационарная точка
функции
, дважды дифференцируемой в
, является точкой локального минимума
, если
> 0, и точкой локального максимума, если
< 0.
Доказательство. Пусть выполнены условия теоремы и
> 0. Тогда
в
возрастает, но
= 0, следовательно, в
при переходе через точку
меняет знак с «—» на «+». Согласно первому достаточному признаку существования экстремума функции, точка
является точкой локального минимума функции
.
Если
<0, то
в
'(х) убывает, но
= 0, следовательно, в
при переходе через точку
производная функции
меняет знак с «+» на «—» Тогда, согласно первому достаточному признаку существования экстремума функции, точка
является точкой локального максимума функции
.
⊠