Исследуй задачу оптимизации: найти максимум у функции f(x,y)=xy при условии x^2 + y^2 = 1; приведи несколько методов (замена, Лагранжевы множители, геометрическая интерпретация) и обсуди преимущества каждого метода для студентов разных уровней
Задача: максимум функции f(x,y)=xyf(x,y)=xyf(x,y)=xy при ограничении x2+y2=1x^2+y^2=1x2+y2=1. Ответ: максимальное значение 1/21/21/2 достигается при x=y=1/2x=y=1/\sqrt{2}x=y=1/2. Ниже три метода с краткими объяснениями и преимуществами. 1) Замена (параметризация) - Подставим круг в тригонометрию: x=cost, y=sintx=\cos t,\; y=\sin tx=cost,y=sint. Тогда f(t)=costsint=12sin(2t).
f(t)=\cos t\sin t=\tfrac{1}{2}\sin(2t). f(t)=costsint=21sin(2t).
- Максимум 12\tfrac{1}{2}21 при sin(2t)=1⇒2t=π2+2πk⇒t=π4+πk\sin(2t)=1\Rightarrow 2t=\tfrac{\pi}{2}+2\pi k\Rightarrow t=\tfrac{\pi}{4}+ \pi ksin(2t)=1⇒2t=2π+2πk⇒t=4π+πk. Отсюда x=y=±12x=y=\pm\tfrac{1}{\sqrt{2}}x=y=±21, положительный максимум при x=y=12x=y=\tfrac{1}{\sqrt{2}}x=y=21. Плюсы: быстро, минимальные вычисления, хорош для начинающих, использующих тригонометрию. 2) Классическая подстановка (одна переменная) - Из ограничения y=±1−x2y=\pm\sqrt{1-x^2}y=±1−x2. Рассмотрим y=+1−x2y=+\sqrt{1-x^2}y=+1−x2 (для положительного максимума): g(x)=x1−x2,x∈[−1,1].
g(x)=x\sqrt{1-x^2},\quad x\in[-1,1]. g(x)=x1−x2,x∈[−1,1].
- Производная: g′(x)=1−x2−x21−x2=1−2x21−x2g'(x)=\sqrt{1-x^2}-\dfrac{x^2}{\sqrt{1-x^2}}=\dfrac{1-2x^2}{\sqrt{1-x^2}}g′(x)=1−x2−1−x2x2=1−x21−2x2. Критические точки при 1−2x2=0⇒x=±121-2x^2=0\Rightarrow x=\pm\tfrac{1}{\sqrt{2}}1−2x2=0⇒x=±21. Подстановка даёт g=±12g=\pm\tfrac{1}{2}g=±21 соответственно. Плюсы: показывает редукцию к одной переменной, полезно для практики дифференцирования и работы с краями отрезка. 3) Метод Лагранжа - Функция Лагранжа L(x,y,λ)=xy+λ(1−x2−y2)\mathcal{L}(x,y,\lambda)=xy+\lambda(1-x^2-y^2)L(x,y,λ)=xy+λ(1−x2−y2). Система уравнений градиента: ∂L∂x=y−2λx=0,∂L∂y=x−2λy=0,x2+y2=1.
\frac{\partial\mathcal{L}}{\partial x}=y-2\lambda x=0,\quad \frac{\partial\mathcal{L}}{\partial y}=x-2\lambda y=0,\quad x^2+y^2=1. ∂x∂L=y−2λx=0,∂y∂L=x−2λy=0,x2+y2=1.
- Из первых двух: y=2λxy=2\lambda xy=2λx и x=2λyx=2\lambda yx=2λy. Если умножить, получаем xy=(2λ)2xyxy=(2\lambda)^2 xyxy=(2λ)2xy. Либо xy=0xy=0xy=0 (даёт меньшие значения), либо (2λ)2=1⇒2λ=±1(2\lambda)^2=1\Rightarrow 2\lambda=\pm1(2λ)2=1⇒2λ=±1. Для 2λ=12\lambda=12λ=1 из y=xy=xy=x и x2+y2=1⇒x=y=±12x^2+y^2=1\Rightarrow x=y=\pm\tfrac{1}{\sqrt{2}}x2+y2=1⇒x=y=±21. Оценка даёт максимум 12\tfrac{1}{2}21, минимум −12-\tfrac{1}{2}−21. Плюсы: общий метод для ограничений, формализует условие касания уровнях функции и множителей; полезен для студентов, знакомых с многопеременной дифференциальностью и линейной алгеброй. 4) Геометрическая интерпретация - Левел‑кривые xy=cxy=cxy=c — гиперболы; при росте ccc гипербола сдвигается так, что сильней прикасается к единичному кругу. Точка касания соответствует максимальному ccc. На круге параметризация даёт xy=12sin(2t)xy=\tfrac{1}{2}\sin(2t)xy=21sin(2t), откуда максимум 12\tfrac{1}{2}21 при t=π4t=\tfrac{\pi}{4}t=4π. Плюсы: даёт интуицию (касание гиперболы и круга, симметрия), полезно для визуализации и глубокого понимания структуры задачи. Короткое сравнение для студентов - Начальный уровень: параметризация x=cost, y=sintx=\cos t,\;y=\sin tx=cost,y=sint — самый простой и наглядный путь. - Средний уровень: подстановка y=1−x2y=\sqrt{1-x^2}y=1−x2 — хороша для практики производных и работы с граничными значениями. - Продвинутый уровень: метод Лагранжа — универсален для сложных ограничений; геометрия — для интуиции и визуализации. Итог: максимум fmax=12f_{\max}=\tfrac{1}{2}fmax=21 при x=y=12x=y=\tfrac{1}{\sqrt{2}}x=y=21; минимум fmin=−12f_{\min}=-\tfrac{1}{2}fmin=−21 при x=−y=±12x=-y=\pm\tfrac{1}{\sqrt{2}}x=−y=±21.
1) Замена (параметризация)
- Подставим круг в тригонометрию: x=cost, y=sintx=\cos t,\; y=\sin tx=cost,y=sint. Тогда
f(t)=costsint=12sin(2t). f(t)=\cos t\sin t=\tfrac{1}{2}\sin(2t).
f(t)=costsint=21 sin(2t). - Максимум 12\tfrac{1}{2}21 при sin(2t)=1⇒2t=π2+2πk⇒t=π4+πk\sin(2t)=1\Rightarrow 2t=\tfrac{\pi}{2}+2\pi k\Rightarrow t=\tfrac{\pi}{4}+ \pi ksin(2t)=1⇒2t=2π +2πk⇒t=4π +πk. Отсюда x=y=±12x=y=\pm\tfrac{1}{\sqrt{2}}x=y=±2 1 , положительный максимум при x=y=12x=y=\tfrac{1}{\sqrt{2}}x=y=2 1 .
Плюсы: быстро, минимальные вычисления, хорош для начинающих, использующих тригонометрию.
2) Классическая подстановка (одна переменная)
- Из ограничения y=±1−x2y=\pm\sqrt{1-x^2}y=±1−x2 . Рассмотрим y=+1−x2y=+\sqrt{1-x^2}y=+1−x2 (для положительного максимума):
g(x)=x1−x2,x∈[−1,1]. g(x)=x\sqrt{1-x^2},\quad x\in[-1,1].
g(x)=x1−x2 ,x∈[−1,1]. - Производная: g′(x)=1−x2−x21−x2=1−2x21−x2g'(x)=\sqrt{1-x^2}-\dfrac{x^2}{\sqrt{1-x^2}}=\dfrac{1-2x^2}{\sqrt{1-x^2}}g′(x)=1−x2 −1−x2 x2 =1−x2 1−2x2 . Критические точки при 1−2x2=0⇒x=±121-2x^2=0\Rightarrow x=\pm\tfrac{1}{\sqrt{2}}1−2x2=0⇒x=±2 1 . Подстановка даёт g=±12g=\pm\tfrac{1}{2}g=±21 соответственно.
Плюсы: показывает редукцию к одной переменной, полезно для практики дифференцирования и работы с краями отрезка.
3) Метод Лагранжа
- Функция Лагранжа L(x,y,λ)=xy+λ(1−x2−y2)\mathcal{L}(x,y,\lambda)=xy+\lambda(1-x^2-y^2)L(x,y,λ)=xy+λ(1−x2−y2). Система уравнений градиента:
∂L∂x=y−2λx=0,∂L∂y=x−2λy=0,x2+y2=1. \frac{\partial\mathcal{L}}{\partial x}=y-2\lambda x=0,\quad
\frac{\partial\mathcal{L}}{\partial y}=x-2\lambda y=0,\quad
x^2+y^2=1.
∂x∂L =y−2λx=0,∂y∂L =x−2λy=0,x2+y2=1. - Из первых двух: y=2λxy=2\lambda xy=2λx и x=2λyx=2\lambda yx=2λy. Если умножить, получаем xy=(2λ)2xyxy=(2\lambda)^2 xyxy=(2λ)2xy. Либо xy=0xy=0xy=0 (даёт меньшие значения), либо (2λ)2=1⇒2λ=±1(2\lambda)^2=1\Rightarrow 2\lambda=\pm1(2λ)2=1⇒2λ=±1. Для 2λ=12\lambda=12λ=1 из y=xy=xy=x и x2+y2=1⇒x=y=±12x^2+y^2=1\Rightarrow x=y=\pm\tfrac{1}{\sqrt{2}}x2+y2=1⇒x=y=±2 1 . Оценка даёт максимум 12\tfrac{1}{2}21 , минимум −12-\tfrac{1}{2}−21 .
Плюсы: общий метод для ограничений, формализует условие касания уровнях функции и множителей; полезен для студентов, знакомых с многопеременной дифференциальностью и линейной алгеброй.
4) Геометрическая интерпретация
- Левел‑кривые xy=cxy=cxy=c — гиперболы; при росте ccc гипербола сдвигается так, что сильней прикасается к единичному кругу. Точка касания соответствует максимальному ccc. На круге параметризация даёт xy=12sin(2t)xy=\tfrac{1}{2}\sin(2t)xy=21 sin(2t), откуда максимум 12\tfrac{1}{2}21 при t=π4t=\tfrac{\pi}{4}t=4π .
Плюсы: даёт интуицию (касание гиперболы и круга, симметрия), полезно для визуализации и глубокого понимания структуры задачи.
Короткое сравнение для студентов
- Начальный уровень: параметризация x=cost, y=sintx=\cos t,\;y=\sin tx=cost,y=sint — самый простой и наглядный путь.
- Средний уровень: подстановка y=1−x2y=\sqrt{1-x^2}y=1−x2 — хороша для практики производных и работы с граничными значениями.
- Продвинутый уровень: метод Лагранжа — универсален для сложных ограничений; геометрия — для интуиции и визуализации.
Итог: максимум fmax=12f_{\max}=\tfrac{1}{2}fmax =21 при x=y=12x=y=\tfrac{1}{\sqrt{2}}x=y=2 1 ; минимум fmin=−12f_{\min}=-\tfrac{1}{2}fmin =−21 при x=−y=±12x=-y=\pm\tfrac{1}{\sqrt{2}}x=−y=±2 1 .