
22
Н е о б х о д и м о е условие экстремума дифференцируемой
функции следует из теоремы Ферма, доказанной в § 17.1: для того
чтобы дифференцируемая функция f(x) имела в точке x
0
локальный
экстремум, необходимо, чтобы в этой точке выполнялось равенство
f ′(x
0
) = 0.
Действительно, так как x
0
– точка экстремума, то существует
интервал, содержащий точку x
0
, на котором значение f(x
0
) является
наибольшим или наименьшим. Тогда по теореме Ферма f ′(x
0
) = 0.
Заметим, что условие f ′(x
0
) = 0 не является достаточным усло-
вием экстремума. Так, функция y = x
3
возрастает на всей числовой
прямой и не имеет экстремумов, но ее производная в точке x
0
= 0
равна нулю: f ′(x
0
) = 3x
2
0
= 0.
Кроме того, функция может иметь экстремум в некоторой точ-
ке, но не быть дифференцируемой в этой точке.
Точки, в которых производная функции обращается в нуль или
не существует, называются критическими (или стационарными).
Очевидно, если в какой-либо точке имеется экстремум
, то эта
точка – критическая.
1.. Первое досТАТочНое условие ЭксТреМуМА
Т е о р е м а 18.2. Пусть функция f(x) непрерывна в некото-
ром интервале, содержащем критическую точку x
0
, и дифферен-
цируема во всех точках этого интервала, кроме, может быть, самой
точки x
0
. Если при переходе через точку x
0
производная меняет
знак с «плюса» на «минус», то в точке x
0
имеется локальный мак-
симум, а если с «минуса» на «плюс», то минимум.
Д
о к а з а т е л ь с т в о. Пусть для определенности производ-
ная меняет знак с «плюса» на «минус»: f ′(x) > 0 при x < x
0
, f ′(x) < 0
при x > x
0
(для всех x, принадлежащих упомянутому интервалу).
Применим теорему Лагранжа к f(x) на отрезке [x, x
0
]:
f(x
0
) - f(x) = f ′(c)(x
0
- x), c ∈ (x, x
0
).
Так как f ′(c) > 0 и x
0
- x > 0, то f(x) < f(x
0
).
Применяя теперь теорему Лагранжа на отрезке [x
0
, x], т.е. при
x > x
0
, получаем
f(x) - f(x
0
) = f ′(c)(x - x
0
), c ∈ (x
0
, x).
Нередко мы говорим просто экстремум (максимум, минимум), имея в
виду локальный экстремум (локальный максимум, локальный мини-
мум).