318
Глава 27
экстремумы. условные экстремумы
27.1. локальный экстремум
функцИИ несколькИх переменных
Как уже отмечалось, проводим рассуждения для функции двух
аргументов.
Пусть функция z = f(x, y) определена в некоторой окрестности
точки M
0
(x
0
, y
0
).
О п р е д е л е н и е. Точка M
0
(x
0
, y
0
) называется точкой локаль-
ного максимума (минимума) функции z = f(x, y), если существует
такая окрестность точки M
0
, что для всех точек M (x, y) из этой
окрестности выполняется неравенство f(x
0
, y
0
) > f(x, y) (соответ-
ственно f(x
0
, y
0
) < f(x, y)).
Если M
0
(x
0
, y
0
) – точка локального максимума (минимума)
функции f(x, y), то значение f(x
0
, y
0
) называется локальным макси-
мумом (минимумом) функции. Общий термин для локального мак-
симума и минимума – локальный экстремум.
Необходимое условие экстремума
Т е о р е м а 27.1. Если функция z = f(x, y) имеет частные про-
изводные в точке локального экстремума M
0
(x
0
, y
0
), то
f ′
x
(x
0
, y
0
) = f ′
y
(x
0
, y
0
) = 0. (27.1)
Д о к а з а т е л ь с т в о. Зафиксируем y = y
0
. Получим функцию
одной переменной f (x, y
0
). Ее производная совпадает с частной
производной f ′
x
(x, y
0
), а сама функция имеет локальный экстре-
мум в точке x
0
. Согласно теореме Ферма (см. § 17.1) f ′
x
(x
0
, y
0
) = 0.
Аналогично, фиксируя x = x
0
и рассматривая f(x
0
, y), докажем,
что f ′
y
(x
0
, y
0
) = 0.
Следует отметить, что условие (27.1) не является достаточным
условием экстремума. Рассмотрим, например, функцию z = xy.
Ее частные производные равны нулю в точке O(0, 0), однако
в этой точке функция не имеет экстремума. Действительно,