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