
стационарными. Заметим, что если точка стационарна, то отсюда, вообще
говоря, не следует, что в этой точке функция достигает экстремума, т.е. указанное
необходимое условие экстремума функции не является достаточным (для f(x)=x
3
в
точке х=0 экстремума нет, однако
)
030
0
2
==
′
=x
xf ).
Теорема 1. (первое достаточное условие экстремума дифференцируемой
функции).
Пусть функция y=f(x).
1) дифференцируема всюду в некоторой окрестности т. С.
2) т. С - стационарная, т.е.
0)(
′
cf , тогда а) если существует окрестность, в
которой производная
положительна (отрицательна) слева от точки С и
отрицательна (положительна) справа от точки С, то функция f(x) имеет в т. С
локальный максимум (минимум) (рис. 1,2);
)(›f
′
б) если же производная имеет один и тот же знак слева и справа от точки С,
то экстремума в т. С нет (рис.3,4).
)(xf
′
y y y y
макс.
экстр. нет экстр.нет
′
>
fx() 0
′
<
fx() 0
′
<
fx() 0
′
>
fx() 0
′
>
fx() 0
′
<
fx() 0
мин.
′
>
fx() 0
′
<
fx() 0
c x с x c x c x
Рис.1 Рис.2 Рис.3 Рис.4
Доказательство. Докажем теорему для точки максимума. Пусть
положительна в окрестности слева от точки С и отрицательна справа от точки С.
)(›f
′
() ()
CxCxxf >∀
′
<∀>
′
0xf è 0
. Обозначим через х
0
-любое значение аргумента из
окрестности х
0
>С. На сегменте [C,x
0
] функция f(x) дифференцируема,
следовательно, и непрерывна, поэтому по теореме Лагранжа
()
)
)
)
00
xCfxfCf
−
, (1)
где
ξ - некоторое значение аргумента между точками С и х
0
.
Аналогично рассматривается случай х
0
<C.
При х
0
>С
()
0,0
0
<−
′
xCf
, поэтому f(C)>f(x
0
). Это и означает, что в точке С
f(x) имеет локальный максимум.
Теорема 2. (второе достаточное условие экстремума).
Пусть функция y=f(x)
1) имеет производную всюду в некоторой окрестности т. С;
2) т. С - стационарная: f(x)=0;
3) имеет конечную вторую производную в т. С.
Тогда, если
)
0<
′
Cf
, то в т. х=С f(x) имеет локальный максимум, если же
то в точке х= С f(x) имеет локальный минимум.
()
,0>
′′
Cf
Замечание. Теорема 2 не дает ответ о наличии экстремума в том случае, когда
или не существует в т. х= С. В этом случае поведение функции в т. С
следует изучить с помощью первого достаточного условия экстремума.
()
0=
′′
Cf