Доказательство. По условию, функция y f (x) имеет в точке x c экстремум. По определению экстремума, это значит, что у точки с существует окрестность, для всех точек которой f c является наибольшим или наименьшим. Применим теорему Ферма к этой окрест-
ности. По условию, так как производная в точке с существует, то f (c) 0.
СПр мер |
|
|
|
|
|
|
|
|
|
|
|
|
|
Функц я y x3 |
экстремумов не имеет, однако ее производная |
бА |
y 3 x2 0 |
равна нулю при x 0. |
|
|
|
|
|
|
|
|
2. Функц я может иметь экстремум и |
|
в точке, в которой произ- |
воднаялине определена равна есконечности. |
Пр мер |
|
|
|
|
|
|
|
|
|
|
|
|
|
Функция y |
x |
имеет локальный минимум при x 0. При этом |
в точке x 0 производная функции не определена. Действительно, |
|
|
|
|
|
|
|
|
|
0 x |
|
|
|
0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
y 0 lim |
|
|
|
|
|
|
|
|
|
1. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Д |
|
|
|
|
|
|
|
x 0 |
|
x |
|
|
|
|
|
|
Точка x c называется критической точкой 1-го рода при вы- |
полнении одного из условий: |
|
|
|
|
|
|
|
|
|
И |
f |
|
(c) 0; |
f |
|
(c) |
|
|
f |
|
(c) |
|
|
или |
|
не существует. |
|
|
|
|
|
Теорема (достаточное условие экстремума). Пусть функция |
y f (x) непрерывна, |
|
дифференцируема во всех точках некоторого |
интервала, содержащего точку x c, |
за исключением, возможно, са- |
мой точки c. |
|
Если при переходе аргумента через критическую точку с |
Замечания:
1. Обратное утверждение неверно. Т. е. производная функции в
некоторой точке может равняться нулю, но эта точка может не быть точкой экстремума.
первая производная меняет знак, то данная критическая точка 1-го рода является точкой экстремума.