Разберите задачу: требуется минимизировать периметр прямоугольника при фиксированной площади. Какие методы оптимизации применимы и как доказать, что решение глобально минимально
Пусть стороны прямоугольника x>0x>0x>0 и y>0y>0y>0 и задана площадь xy=S>0xy=S>0xy=S>0. Периметр P=2(x+y)P=2(x+y)P=2(x+y). Приведу несколько методов и короткие доказательства глобального минимума. 1) Метод одной переменной (подстановка). Подставим y=S/xy=S/xy=S/x. Тогда P(x)=2 (x+Sx),x>0.
P(x)=2\!\left(x+\frac{S}{x}\right),\qquad x>0. P(x)=2(x+xS),x>0.
Найдём стационарную точку: P′(x)=2 (1−Sx2)=0⇒x2=S⇒x=S.
P'(x)=2\!\left(1-\frac{S}{x^2}\right)=0\Rightarrow x^2=S\Rightarrow x=\sqrt{S}. P′(x)=2(1−x2S)=0⇒x2=S⇒x=S.
Вторая производная P′′(x)=4Sx3>0
P''(x)=\frac{4S}{x^3}>0 P′′(x)=x34S>0
при всех x>0x>0x>0, значит стационарная точка — минимиум. Поскольку P(x)→∞P(x)\to\inftyP(x)→∞ при x→0+x\to0^+x→0+ или x→∞x\to\inftyx→∞, этот минимум глобальный. Получаем x=y=Sx=y=\sqrt{S}x=y=S и Pmin=4S.
P_{\min}=4\sqrt{S}. Pmin=4S. 2) Метод множителей Лагранжа. Минимизируем f(x,y)=2(x+y)f(x,y)=2(x+y)f(x,y)=2(x+y) при ограничении g(x,y)=xy−S=0g(x,y)=xy-S=0g(x,y)=xy−S=0. Система ∇f=λ∇g⇒(2,2)=λ(y,x).
\nabla f=\lambda\nabla g\Rightarrow (2,2)=\lambda(y,x). ∇f=λ∇g⇒(2,2)=λ(y,x).
Отсюда 2=λy2=\lambda y2=λy и 2=λx2=\lambda x2=λx даёт x=yx=yx=y. По ограничению x2=Sx^2=Sx2=S и тот же результат x=y=Sx=y=\sqrt{S}x=y=S, Pmin=4SP_{\min}=4\sqrt{S}Pmin=4S. Поскольку единственная критическая точка в области x,y>0x,y>0x,y>0 и поведение на границе даёт бесконечность периметра, это глобальный минимум. 3) Неаналитическое доказательство через неравенство средних (AM–GM). По AM–GM для положительных чисел x+Sx≥2x⋅Sx=2S,
x+\frac{S}{x}\ge 2\sqrt{x\cdot\frac{S}{x}}=2\sqrt{S}, x+xS≥2x⋅xS=2S,
откуда P=2 (x+Sx)≥4S,
P=2\!\left(x+\frac{S}{x}\right)\ge 4\sqrt{S}, P=2(x+xS)≥4S,
равенство достигается при x=Sxx=\frac{S}{x}x=xS, т.е. x=y=Sx=y=\sqrt{S}x=y=S. Это даёт немедленное глобальное нижнее оценивание. Вывод: минимальный периметр при фиксированной площади достигается у квадрата со стороной S\sqrt{S}S, и Pmin=4SP_{\min}=4\sqrt{S}Pmin=4S.
1) Метод одной переменной (подстановка).
Подставим y=S/xy=S/xy=S/x. Тогда
P(x)=2 (x+Sx),x>0. P(x)=2\!\left(x+\frac{S}{x}\right),\qquad x>0.
P(x)=2(x+xS ),x>0. Найдём стационарную точку:
P′(x)=2 (1−Sx2)=0⇒x2=S⇒x=S. P'(x)=2\!\left(1-\frac{S}{x^2}\right)=0\Rightarrow x^2=S\Rightarrow x=\sqrt{S}.
P′(x)=2(1−x2S )=0⇒x2=S⇒x=S . Вторая производная
P′′(x)=4Sx3>0 P''(x)=\frac{4S}{x^3}>0
P′′(x)=x34S >0 при всех x>0x>0x>0, значит стационарная точка — минимиум. Поскольку P(x)→∞P(x)\to\inftyP(x)→∞ при x→0+x\to0^+x→0+ или x→∞x\to\inftyx→∞, этот минимум глобальный. Получаем x=y=Sx=y=\sqrt{S}x=y=S и
Pmin=4S. P_{\min}=4\sqrt{S}.
Pmin =4S .
2) Метод множителей Лагранжа.
Минимизируем f(x,y)=2(x+y)f(x,y)=2(x+y)f(x,y)=2(x+y) при ограничении g(x,y)=xy−S=0g(x,y)=xy-S=0g(x,y)=xy−S=0. Система
∇f=λ∇g⇒(2,2)=λ(y,x). \nabla f=\lambda\nabla g\Rightarrow (2,2)=\lambda(y,x).
∇f=λ∇g⇒(2,2)=λ(y,x). Отсюда 2=λy2=\lambda y2=λy и 2=λx2=\lambda x2=λx даёт x=yx=yx=y. По ограничению x2=Sx^2=Sx2=S и тот же результат x=y=Sx=y=\sqrt{S}x=y=S , Pmin=4SP_{\min}=4\sqrt{S}Pmin =4S . Поскольку единственная критическая точка в области x,y>0x,y>0x,y>0 и поведение на границе даёт бесконечность периметра, это глобальный минимум.
3) Неаналитическое доказательство через неравенство средних (AM–GM).
По AM–GM для положительных чисел
x+Sx≥2x⋅Sx=2S, x+\frac{S}{x}\ge 2\sqrt{x\cdot\frac{S}{x}}=2\sqrt{S},
x+xS ≥2x⋅xS =2S , откуда
P=2 (x+Sx)≥4S, P=2\!\left(x+\frac{S}{x}\right)\ge 4\sqrt{S},
P=2(x+xS )≥4S , равенство достигается при x=Sxx=\frac{S}{x}x=xS , т.е. x=y=Sx=y=\sqrt{S}x=y=S . Это даёт немедленное глобальное нижнее оценивание.
Вывод: минимальный периметр при фиксированной площади достигается у квадрата со стороной S\sqrt{S}S , и Pmin=4SP_{\min}=4\sqrt{S}Pmin =4S .