слева от с и отрицательна (положительна) справа от с. Требуется доказать, что значение является наибольшим (наименьшим) среди всех значений в рассматриваемой окрестности. Обозначим через любое значение аргумента из рассматриваемой окрестности, отличное от с. Достаточно доказать, что
Так как функция дифференцируема всюду в рассматриваемой окрестности точки с, то на сегменте, ограниченном точками с и для функции выполнены все условия теоремы 6.4 Лагранжа. В силу этой теоремы
где — некоторое значение аргумента между с и Поскольку производная положительна (отрицательна) при и отрицательна (положительна) при правая часть (7.1) положительна (отрицательна).
2) Пусть теперь производная имеет один и тот же знак слева и справа от с. Обозначая, как и выше, через любое значение аргумента, отличное от с, и повторяя проведенные выше рассуждения, мы теперь докажем, что правая часть (7.1) имеет разные знаки при и при Это доказывает отсутствие экстремума в точке с.
Вытекающее из теоремы 7.1 правило можно кратко сформулировать так: 1) если при переходе через данную стационарную точку с производная меняет знак с плюса на минус (с минуса на плюс), то функция имеет в точке с локальный максимум (минимум); 2) если же при переходе через данную стационарную точку с производная не меняет знака, то экстремума в точке с нет.
Примеры. 1) Найти точки экстремума функции Поскольку то функция имеет две стацйонарные точки: При переходе через точку производная меняет знак с плюса на минус, а при переходе через точку с минуса на плюс. Следовательно, — точка локального максимума, а — точка локального минимума (см. рис. 7.1).
2) Найти точки экстремума функции Производная обращается в нуль в единственной точке Так как положительна как слева, так и справа от этой точки, то функция не имеет точек экстремума. График функции изображен на рис. 7.2.
Иногда вызывает затруднение исследование знака первой производной слева и справа от стационарной точки. На этот случай мы укажем другое достаточное условие экстремума в данной стационарной точке с, не требующее исследования знака
в окрестности с, но зато предполагающее существование в точке с отличной от нуля конечной второй производной