Теорема Лагранжа позволяет перейти от знака производной к поведению функции на целом промежутке.
Почему это связано с Лагранжем? Возьмём любые \(x_1,x_2\in[a,b]\), где \(x_1<x_2\). Функция непрерывна на \([x_1,x_2]\) и дифференцируема на \((x_1,x_2)\), поэтому по теореме Лагранжа найдётся точка \(\xi\in(x_1,x_2)\), для которой
\[f(x_2)-f(x_1)=f'(\xi)(x_2-x_1)\]
Множитель \(x_2-x_1\) положителен, поэтому знак разности значений функции определяется знаком производной в найденной точке. Так рассуждение охватывает и случаи, когда \(x_1=a\) или \(x_2=b\).
Отсюда получается практический признак локального экстремума. Под проколотой окрестностью точки \(x_0\) ниже понимаются достаточно близкие к \(x_0\) точки, кроме самой точки \(x_0\).
Простыми словами: знак \(f'>0\) означает, что функция возрастает, а \(f'<0\) — что убывает. Поэтому переход
\[+\longrightarrow-\]
означает «поднимались, затем начали спускаться» — получается максимум. Переход
\[-\longrightarrow+\]
означает «спускались, затем начали подниматься» — получается минимум.
Знак производной показывает, как функция проходит через критическую точку
Для глобальных экстремумов на отрезке нужно дополнительно проверить концы отрезка.