AMKbook.Net Задачи должны иметь решение
Реклама

Задача №1815

Условие

Исследовать функцию \(z=xy\) на экстремум при \(x^2+y^2=2a^2\).

Решение

Сразу отмечу, что при условии \(a=0\) получим \(x=y=0\). При этом \(z=0\cdot{0}=0\). Дальнейшие рассуждения ведём при условии \(a\neq{0}\). Функция Лагранжа:

\[ F=xy+\lambda\cdot\left(x^2+y^2-2a^2\right) \]
\(F_{x}^{'}=y+2\lambda{x}\), \(F_{y}^{'}=x+2\lambda{y}\).
\[ \left\{\begin{aligned} & y+2\lambda{x}=0;\\ & x+2\lambda{y}=0;\\ &x^2+y^2=2a^2. \end{aligned}\right. \]

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

\[ (y-x)\cdot(1-2\lambda)=0. \]

Если \(y=x\), то из третьего уравнения имеем \(x=\pm{a}\), т.е. получаем точки \(M_1(-a;-a)\), \(M_2(a;a)\). При этом \(\lambda=-\frac{1}{2}\).

Если \(\lambda=\frac{1}{2}\), то из первого уравнения имеем \(y=-x\), поэтому из третьего уравнения \(x=\pm{a}\). Получили точки \(M_3(-a;a)\), \(M_4(a;-a)\).

Дифференцируя уравнение связи, получим: \(2xdx+2ydy=0\), откуда \(dy=-\frac{xdx}{y}\). Так как \(F_{xx}^{''}=F_{yy}^{''}=2\lambda\) и \(F_{xy}^{''}=1\), то получим:

\[ d^2F =2\lambda{dx}^2+2dxdy+2\lambda{dy}^2 =2\cdot\left(\lambda-\frac{x}{y}+\frac{\lambda\cdot{x^2}}{y^2}\right)dx^2 \]

В точках \(M_1\) и \(M_2\) получим \(d^2F=-4\lt{0}\), поэтому в данных точках функция \(z(x,y)\) имеет условный максимум, \(z_{\max}=a^2\).

В точках \(M_3\) и \(M_4\) получим \(d^2F=4\gt{0}\), поэтому в данных точках функция \(z(x,y)\) имеет условный минимум, \(z_{\min}=-a^2\).

Отмечу, что характер экстремума в найденных точках можно было выяснить с помощью знака такого определителя (здесь \(\varphi=x^2+y^2-2a^2\)):

\[ H=\left| \begin{array} {ccc} 0 & \varphi_{x}^{'} & \varphi_{y}^{'}\\ \varphi_{x}^{'} & F_{xx}^{''} & F_{xy}^{''} \\ \varphi_{y}^{'} & F_{xy}^{''} & F_{yy}^{''} \end{array} \right|= \left| \begin{array} {ccc} 0 & 2x & 2y\\ 2x & 2\lambda & 1 \\ 2y & 1 & 2\lambda \end{array} \right| =8\cdot\left| \begin{array} {ccc} 0 & x & y\\ x & \lambda & 1 \\ y & 1 & \lambda \end{array} \right| =8\cdot\left(xy-\lambda{x^2}-\lambda{y^2}\right) \]

Если \(H\lt{0}\), то в рассматриваемой точке функция имеет условный минимум, а если \(H\gt{0}\) – условный максимум. Например, в точке \(M_1(-a;-a)\) получим \(H=16a^2\gt{0}\), поэтому \(M_1\) – точка условного максимума функции \(z(x,y)\).

Ответ:
  • Условный минимум \(z_{\min}=-a^2\) достигается в точках \((-a;a)\) и \((a;-a)\).
  • Условный максимум \(z_{\max}=a^2\) достигается в точках \((-a;-a)\) и \((a;a)\).
Задачник №1Берман "Сборник задач по курсу математического анализа"
Глава №11Применения дифференциального исчисления функций нескольких переменных
Параграф №1Формула Тейлора. Экстремумы функций нескольких переменных
Задача №3292