Переключаем внимание на функцию трёх переменных
, задачи с которой не менее популярны. Принципиальный алгоритм решения остаётся прежним:
Пример 5
Найти условный экстремум функции
относительно уравнения связи 
Решение: представим уравнение связи в виде
и составим функцию Лагранжа:

Найдём частные производные 1-го порядка:

Приравниваем частные производные к нулю и присоединяем к системе уравнение связи:

Из первых трёх уравнений выразим:
– подставим в уравнение связи:
– подставим в выражения для «икс», «игрек», «зет»:

Таким образом, стационарная точка: 
Напоминаю, что в целях проверки будет не лишним подставить её координаты и значение
во все уравнения системы. Здесь это легко сделать устно.
Достаточное условие экстремума. С геометрией дела плохи и поэтому в нашем распоряжении остаются аналитические методы. Составим дифференциал второго порядка функции трёх переменных:

И перед нами не что иное, как квадратичная форма относительно
.
Если в стационарной точке
, то функция достигает в ней максимума, если
– то минимума; если же
окажется знакопеременным, то потребуются дополнительные действия.
Найдём частные производные 2-го порядка:

Надо сказать, большое везение чего я буду мучиться – даже подставлять ничего не пришлось:
, значит, функция
достигает условного минимума в точке
:

Ответ: при условии
:

Тренируемся:
Пример 6
Найти условный экстремум функции
относительно уравнения связи 
Примерный образец чистового оформления задачи в конце урока.
Рассмотренные два примера – это самые что ни есть «заезженные» типовики, но время от времени встречаются и более трудные задания. Первая трудность, состоит, как правило, в решении системы, а вторая – в проверке достаточного условия экстремума. Приглашаю всех ознакомиться с заключительными примерами, которые не только интересны, но и требуют, я бы сказал, творческого подхода:
Пример 7
Найти экстремумы функции
при условии 
Казалось бы, ничто не предвещает сложностей, и решение начинается как обычно:
Запишем функцию Лагранжа
и найдём её частные производные 1-го порядка:

Составим стандартную систему:

Привлекательнее всего выглядит 1-е уравнение, из которого, очевидно, рациональнее выразить «лямбду»:
– подставим во второе уравнение:

Примечание: если
и / или
, то
и уравнение связи фактически перестаёт играть таковую роль, поэтому данные случаи исключаем из рассмотрения.
Теперь подставим
в третье уравнение:

подставим
в уравнение связи:

Таким образом: 
На самом деле ещё не очень сложно, бывают куда более «плохие» системы.
Теперь найдём частные производные 2-го порядка:

и аккуратно, ВНИМАТЕЛЬНО составим соответствующий полный дифференциал:

Вычислим значение дифференциала в точке
:

Используя критерий Сильвестра (да и просто анализируя слагаемые), легко убедиться, что данная квадратичная форма знакопеременна, т.е. знак
зависит от значений
. Поэтому используем уже знакомую схему действий. Найдём дифференциал от уравнения связи, здесь он элементарен:

Теперь нужно выразить какой-нибудь дифференциал, в нашем случае выгоднее
– подставляем его в наше «знакопеременное недоразумение»:
после чего раскрываем скобки и приводим подобные слагаемые:

В результате получена квадратичная форма уже от двух переменных, запишем её матрицу:
и вычислим угловые миноры:

Таким образом, квадратичная форма определена отрицательно:
, а значит, функция
достигает условного максимума в точке
:

Есть ли другой способ проверки достаточного условия? Есть.
Составляем симметрическую матрицу:
где,
– частные производные уравнения связи.
Далее рассчитываем угловые миноры 3-го и 4-го порядка в стационарной точке:

Если окажется, что
, то функция
достигает условного минимума в стационарной точке; если
– то условного максимума.
В нашей задаче:
,

и для точки
получаем следующую матрицу:

Желающие могут провести вычисления, найти
(рациональнее именно в таком порядке) и сделать тот же самый вывод о наличии условного максимума.
Разумеется, матричный способ более громоздкий, но возможно, кому-то придётся по вкусу.
Ответ: при условии
:

Интересно отметить, что в рассмотренном примере нам даже не потребовалось находить значение «лямбда».
Обещанная геометрическая задача:
Пример 8
Определите размеры прямоугольного параллелепипеда (длину, ширину, высоту) максимального объема, если известно, что сумма длин всех его рёбер равна
.
Постарайтесь не только найти решение, но и добросовестно проверить достаточное условие экстремума.
До сих пор нам встречались задания с единственным уравнением связи, но, вообще говоря, условий может быть несколько: два, три и бОльшее количество. И иногда такие примеры не только существуют в «чистой теории», но и реально встречаются на практике:
Пример 9
Исследовать на экстремум функции
при условиях 
Здесь функция Лагранжа принимает вид
и дальнейшие действия будут отличаться мало: находим частные производные 1-го порядка и приравниваем их к нулю, при этом к системе нужно присоединить оба уравнения связи. После нахождения стационарной точки проверяем достаточное условие экстремума, для которого «хватает» дифференциала 2-го порядка.
Решите этот пример самостоятельно – и вы очень удивитесь, как всё легко!
Задача отыскания условных экстремумов реализуема и для функций бОльшего числа переменных, причём условий может быть тоже сколько угодно.