Simulacre d'examen de multiplicadors de Lagrange

Amb Lagrange. Les equacions $2x = \lambda$ i $2y = \lambda$ diuen que el punt òptim és proporcional a $(1,1)$, és a dir que està sobre la perpendicular a la recta per l'origen. Imposant la restricció surt

$(x,y) = \frac{3}{2}(1,1),\qquad x^{2}+y^{2} = \frac{3^{2}}{2} = \frac{9}{2} \approx 4.5000$

Interpretació geomètrica. El resultat és el quadrat de la distància de l'origen a la recta, i la fórmula coincideix amb la distància punt-recta que ja coneixes.

Globalitat. El conjunt factible no és compacte, però la funció és coerciva sobre la recta (creix sense límit en allunyar-se), de manera que el mínim existeix i l'únic candidat és l'òptim global.

Camí ràpid: parametritzar. Amb $x = \cos t$ i $y = 3\sin t$, el producte val

$xy = 3\sin t\cos t = \frac{3}{2}\sin(2t)$

i el seu màxim és $\frac{3}{2}$, assolit quan $\sin(2t) = 1$.

Camí amb Lagrange. Les equacions donen $x^{2}/1 = y^{2}/9$, o sigui que cada terme de la restricció val $1/2$. D'aquí $x = 1/\sqrt2$ i $y = 3/\sqrt2$, i el producte és $\frac{3}{2}$.

Existència garantida. L'el·lipse és compacta i la funció és contínua, de manera que per Weierstrass hi ha màxim i mínim. El mínim val $-\frac{3}{2}$, per simetria.

$\max = \frac{3}{2} \approx 1.5000$

Pas 1 — les equacions. Maximitzant el producte amb la restricció de suma fixada, cada equació de Lagrange diu que el producte de tots els números excepte un val el multiplicador. Com que això val per a tots, tots els números han de coincidir.

Pas 2 — el valor. Amb tots iguals a $10/3 = \frac{10}{3}$,

$\text{producte} = \left(\frac{10}{3}\right)^{3} = \frac{1000}{27} \approx 37.0370$

El resultat clàssic que hi ha al darrere. Aquesta és exactament la desigualtat entre la mitjana geomètrica i l'aritmètica: el producte de números positius mai no supera la seva mitjana elevada al nombre de factors, amb igualtat només quan tots coincideixen.

Existència. El conjunt de números positius que sumen $10$ no és tancat, però quan qualsevol d'ells tendeix a zero el producte també hi tendeix. Per tant el màxim s'assoleix a l'interior i l'únic candidat és l'òptim.

Amb Lagrange. Les equacions $2x = 6\lambda$ i $2y = 8\lambda$ diuen que el punt òptim és proporcional a $(6,8)$, és a dir que està sobre la perpendicular a la recta per l'origen. Imposant la restricció surt

$(x,y) = \frac{20}{100}(6,8),\qquad x^{2}+y^{2} = \frac{20^{2}}{100} = 4$

Interpretació geomètrica. El resultat és el quadrat de la distància de l'origen a la recta, i la fórmula coincideix amb la distància punt-recta que ja coneixes.

Globalitat. El conjunt factible no és compacte, però la funció és coerciva sobre la recta (creix sense límit en allunyar-se), de manera que el mínim existeix i l'únic candidat és l'òptim global.

Camí ràpid: parametritzar. Amb $x = 7\cos t$ i $y = 2\sin t$, el producte val

$xy = 14\sin t\cos t = \frac{14}{2}\sin(2t)$

i el seu màxim és $7$, assolit quan $\sin(2t) = 1$.

Camí amb Lagrange. Les equacions donen $x^{2}/49 = y^{2}/4$, o sigui que cada terme de la restricció val $1/2$. D'aquí $x = 7/\sqrt2$ i $y = 2/\sqrt2$, i el producte és $7$.

Existència garantida. L'el·lipse és compacta i la funció és contínua, de manera que per Weierstrass hi ha màxim i mínim. El mínim val $-7$, per simetria.

$\max = 7$

Pas 1 — les equacions. Maximitzant el producte amb la restricció de suma fixada, cada equació de Lagrange diu que el producte de tots els números excepte un val el multiplicador. Com que això val per a tots, tots els números han de coincidir.

Pas 2 — el valor. Amb tots iguals a $36/3 = 12$,

$\text{producte} = \left(\frac{36}{3}\right)^{3} = 1728$

El resultat clàssic que hi ha al darrere. Aquesta és exactament la desigualtat entre la mitjana geomètrica i l'aritmètica: el producte de números positius mai no supera la seva mitjana elevada al nombre de factors, amb igualtat només quan tots coincideixen.

Existència. El conjunt de números positius que sumen $36$ no és tancat, però quan qualsevol d'ells tendeix a zero el producte també hi tendeix. Per tant el màxim s'assoleix a l'interior i l'únic candidat és l'òptim.

Amb Lagrange. Les equacions $2x = \lambda$ i $2y = 3\lambda$ diuen que el punt òptim és proporcional a $(1,3)$, és a dir que està sobre la perpendicular a la recta per l'origen. Imposant la restricció surt

$(x,y) = \frac{9}{10}(1,3),\qquad x^{2}+y^{2} = \frac{9^{2}}{10} = \frac{81}{10} \approx 8.1000$

Interpretació geomètrica. El resultat és el quadrat de la distància de l'origen a la recta, i la fórmula coincideix amb la distància punt-recta que ja coneixes.

Globalitat. El conjunt factible no és compacte, però la funció és coerciva sobre la recta (creix sense límit en allunyar-se), de manera que el mínim existeix i l'únic candidat és l'òptim global.

Amb Lagrange. Les equacions $2x = 6\lambda$ i $2y = \lambda$ diuen que el punt òptim és proporcional a $(6,1)$, és a dir que està sobre la perpendicular a la recta per l'origen. Imposant la restricció surt

$(x,y) = \frac{12}{37}(6,1),\qquad x^{2}+y^{2} = \frac{12^{2}}{37} = \frac{144}{37} \approx 3.8919$

Interpretació geomètrica. El resultat és el quadrat de la distància de l'origen a la recta, i la fórmula coincideix amb la distància punt-recta que ja coneixes.

Globalitat. El conjunt factible no és compacte, però la funció és coerciva sobre la recta (creix sense límit en allunyar-se), de manera que el mínim existeix i l'únic candidat és l'òptim global.