Tema 11.–Extremos condicionados. 11.1. Hallar las distancias - dmaii
Tema 11.–Extremos condicionados. 11.1. Hallar las distancias - dmaii
Tema 11.–Extremos condicionados. 11.1. Hallar las distancias - dmaii
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
<strong>Tema</strong> <strong>11.–Extremos</strong> <strong>condicionados</strong>.<br />
<strong>11.1.</strong> <strong>Hallar</strong> <strong>las</strong> <strong>distancias</strong> máxima y mínima del origen a la elipse 5x 2 + 6xy + 5y 2 = 8.<br />
Solución:<br />
La distancia del origen al punto (x, y) es máxima o mínima si y sólo si lo es la función<br />
f(x, y) = x 2 + y 2 . El problema se reduce al de calcular los extremos de f <strong>condicionados</strong><br />
por g(x, y) = 5x 2 + 6xy + 5y 2 − 8 = 0. La lagrangiana del problema es<br />
L(x, y, λ) = f(x, y) − λg(x, y) = x 2 + y 2 − λ 5x 2 + 6xy + 5y 2 − 8 <br />
y los puntos estacionarios son la solución del sistema:<br />
∂L<br />
(x, y, λ) = 2x − λ(10x + 6y) = 0,<br />
∂x<br />
El anterior sistema es equivalente al<br />
∂L<br />
(x, y, λ) = 2y − λ(6x + 10y) = 0,<br />
∂y<br />
∂L<br />
∂λ (x, y, λ) = − 5x 2 + 6xy + 5y 2 − 8 = 0.<br />
(5x + 3y)λ = x, (3x + 5y)λ = y, 5x 2 + 6xy + 5y 2 = 8<br />
y, como λ no puede ser cero, tomando µ = 1/λ, el sistema se transforma en el nuevo<br />
sistema:<br />
5x + 3y = µx, 3x + 5y = µy, 5x 2 + 6xy + 5y 2 = 8,<br />
cuyas dos primeras ecuaciones nos definen los valores y vectores propios de la matriz<br />
A =<br />
<br />
5 3<br />
.<br />
3 5<br />
Como el polinomio característico de A es µ 2 − 10µ + 16, es fácil ver que los valores propios<br />
son µ1 = 2 y µ2 = 8. Al primero corresponden los vectores propios (x, y) dados por la<br />
ecuación x + y = 0 que, con la condición 5x 2 + 6xy + 5y 2 = 8, nos da los puntos estacionarios<br />
± √ 2, − √ 2 . Un cálculo muy parecido nos da los otros dos puntos estacionarios<br />
±(1/ √ 2, 1/ √ 2).<br />
Además sabemos que el conjunto C = {(x, y) ∈ R 2 : 5x 2 + 6xy + 5y 2 = 8} es cerrado<br />
(es la contraimagen del {0} por g) y acotado pues de 2|xy| ≤ x 2 + y 2 , se deduce que<br />
2(x 2 + y 2 ) ≤ 5x 2 + 6xy + 5y 2 = 8 ≤ 8(x 2 + y 2 ).<br />
Es claro entonces que la función continua f alcanza en el compacto C sus extremos globales<br />
<strong>condicionados</strong>. Finalmente como f( √ 2, − √ 2) = 4 y f(1/ √ 2, 1/ √ 2) = 1, es evidente que<br />
<strong>las</strong> <strong>distancias</strong> máxima y mínima del origen a los puntos de C son dM = 2 y dm = 1.<br />
Alternativamente:<br />
1
Si consideramos la forma cuadrática q(x) = 5x 2 1 + 6x1x2 + 5x 2 2 = x ′ Ax, donde A y x<br />
son <strong>las</strong> matrices definidas por:<br />
A =<br />
<br />
5 3<br />
x1<br />
, x = .<br />
3 5<br />
x2<br />
sabemos que existe una matriz ortogonal P ∈ R (2,2) , de determinante 1 tal que P t AP = D,<br />
donde D = diag(λ1, λ2) es una matriz diagonal y λ1 = 2 y λ2 = 8 son los valores propios<br />
de A, de acuerdo con los cálculos anteriores. Llamando ξ = P x, se tiene ξ = x y la<br />
ecuación de C en <strong>las</strong> variables ξ es λ1ξ 2 1 + λ2ξ 2 2 = 8. Las <strong>distancias</strong> máxima y mínima del<br />
origen a los puntos de la elipse<br />
claramente son dM = 2 y dm = 1.<br />
C : ξ2 1<br />
4 + ξ2 2<br />
1<br />
11.2. Calcular los extremos de la función f(x, y) = x 2 + y 2 <strong>condicionados</strong> por y + x 2 = 1.<br />
Estudiar si los puntos estacionarios de la lagrangiana L son extremos libres de L.<br />
Solución:<br />
Considerando la parábola P : y = 1−x 2 y el disco cerrado C : x 2 +y 2 ≤ 1, es claro que<br />
P y la circunferencia frontera ∂C de C se cortan en los puntos (±1, 0) y (0, 1). Por otra<br />
parte es evidente que P está dentro del círculo C si 0 < y < 1 y que P está fuera de C si<br />
y < 0. De aquí se sigue que f restringida a P presenta un máximo local en (0, 1), pero que<br />
este punto no es un máximo global y que f debe alcanzar su valor mínimo condicionado<br />
en un punto del arco compacto<br />
= 1<br />
K = {(x, y) ∈ R 2 : y = 1 − x 2 , −1 ≤ x ≤ 1}.<br />
Ayudados por lo anterior, resolvamos el problema de calcular los extremos de f <strong>condicionados</strong><br />
por g(x, y) = x 2 + y − 1 = 0. La lagrangiana del problema es<br />
L(x, y, λ) = f(x, y) + λg(x, y) = x 2 + y 2 + λ x 2 + y − 1 <br />
y los puntos estacionarios son la solución del sistema:<br />
∂L<br />
(x, y, λ) = 2x+2λx = 0,<br />
∂x<br />
El anterior sistema es equivalente al<br />
∂L<br />
(x, y, λ) = 2y+λ = 0,<br />
∂y<br />
x(1 + λ) = 0, 2y + λ = 0, x 2 + y = 1<br />
y es sencillo calcular los puntos estacionarios, que son<br />
(x, y, λ) = (0, 1; −2) y (x, y, λ) = (±(1/ √ 2), 1/2; −1).<br />
2<br />
∂L<br />
∂λ (x, y, λ) = x2 +y−1 = 0.
Como f(0, 1) = 1 y f(±(1/ √ 2), 1/2) = 3/4, es claro que en los puntos (±(1/ √ 2), 1/2)<br />
la función f restringida a P alcanza el mínimo global, mientras que presenta un máximo<br />
local 1, pero no global, en (0, 1).<br />
Veamos ahora que los puntos estacionarios de la lagrangiana L no son extremos locales<br />
libres de L. La matriz hessiana de L es<br />
L ′′ ⎡<br />
⎤<br />
2 + 2λ 0 2x<br />
(x, y, λ) = ⎣ 0 2 1 ⎦ .<br />
2x 1 0<br />
En el punto (0, 1, −2), se tiene:<br />
L ′′ ⎡<br />
−2<br />
(0, 1 − 2) = ⎣ 0<br />
0<br />
2<br />
⎤<br />
0<br />
1 ⎦<br />
0 1 0<br />
y como ∆1 = −2 < 0, ∆2 = −4 < 0, ∆3 = 2 > 0, la forma cuadrática hessiana es<br />
indefinida por el criterio de Sylvester. Por tanto el punto (0, 1, −2) no es extremo local de<br />
L.<br />
En el punto (±1/ √ 2, 1/2, −1) la hessiana es<br />
L ′′ (±1/ √ 2, 1/2, −1) =<br />
de manera que la forma cuadrática asociada es<br />
⎡<br />
±2 √ 2hl + 2k 2 + 2kl.<br />
⎣ 0 0 ±√ 2<br />
0 2 1<br />
± √ 2 1 0<br />
Esta forma puede escribirse, completando cuadrados, en la forma:<br />
±2 √ 2hl + 2k 2 + 2kl = 4h 2 − 1<br />
<br />
∓2<br />
2<br />
√ <br />
2<br />
2h − l + 2 k + 1<br />
2 l<br />
2 y, por tanto es indefinida. Esto asegura que en ninguno de los puntos (±1/ √ 2, 1/2, −1) la<br />
función L presenta extremo local.<br />
Nota: El definir la lagrangiana como f − λg o como f + λg es indiferente y puede<br />
cambiar de un texto a otro.<br />
Alternativamente:<br />
Si (x, y) cumple x 2 + y = 1, es claro y ≤ 1 y que f(x, y) = x 2 + y 2 = 1 − y + y 2 . Si<br />
definimos entonces ψ(y) = 1 − y + y 2 , donde y ≤ 1, el problema se reduce a encontrar los<br />
extremos de ψ en la semirrecta (−∞, 1].<br />
Poniendo<br />
ψ(y) = 1 − y + y 2 =<br />
3<br />
<br />
y − 1<br />
2 +<br />
2<br />
3<br />
4 ,<br />
⎤<br />
⎦
es claro que ψ alcanza su mínimo global en y = 1/2 y un máximo local en el punto frontera<br />
y = 1. Por tanto la función f restringida a x 2 + y = 1 alcanza el mínimo global 3/4 en los<br />
puntos (±1/ √ 2, 1/2), mientras que presenta un máximo local 1, pero no global, en (0, 1).<br />
11.3. <strong>Hallar</strong> la distancia del punto (1, 0) a la parábola de ecuación y 2 = 4x.<br />
Solución:<br />
Si f(x, y) = (x − 1) 2 + y 2 y si g(x, y) = y 2 − 4x el problema se reduce al de calcular<br />
los extremos de f <strong>condicionados</strong> por g(x, y) = 0. La lagrangiana del problema es<br />
L(x, y, λ) = f(x, y) − λg(x, y) = (x − 1) 2 + y 2 − λ y 2 − 4x <br />
y los puntos estacionarios son la solución del sistema:<br />
∂L<br />
(x, y, λ) = 2(x − 1) + 4λ = 0,<br />
∂x<br />
El anterior sistema es equivalente al<br />
∂L<br />
∂y (x, y, λ) = 2y − 2λy = 0, y2 = 4x.<br />
x + 2λ = 1, y(1 − λ) = 0, y 2 = 4x<br />
y es sencillo ver que el único punto estacionario es:<br />
<br />
(x, y, λ) = 0, 0; 1<br />
<br />
.<br />
2<br />
Es claro entonces que si f restrigida a la parábola P alcanza su valor mínimo, éste<br />
tiene que ser f(0, 0) = 1. Para ver que ésto efectivamente ocurre, tengamos en cuenta <strong>las</strong><br />
consideraciones siguientes, que aparecerán frecuentemente en los problemas de <strong>distancias</strong>.<br />
En R n la distancia de un punto a a un conjunto S = ∅ es por definición<br />
dist(a, S) = inf x − a.<br />
x∈S<br />
Si S es cerrado y no vacío, existe un xm ∈ S, tal que xm − a = dist(a, S). En efecto si c<br />
es un punto de S, si r = c − a y si K es la intersección de S con la bola cerrada de centro<br />
a y radio r ≥ 0, es claro que K es cerrado y acotado. Sea f(x) = x − a. Es conocido que<br />
f es continua y que, restringida al compacto K, alcanza su valor mínimo dm en un punto<br />
xm de K. Además si x pertenece a S pero no a K es x − a > r = c − a ≥ xm − a,<br />
de modo que:<br />
xm − a = inf x − a = inf x − a.<br />
x∈K x∈S<br />
A la vista de lo anterior, la distancia del punto (1, 0) a la parábola y 2 = 4x es dm = 1.<br />
Alternativamente:<br />
En los puntos de la parábola P : y 2 = 4x, la función f(x, y) = (x − 1) 2 + y 2 cumple<br />
f(x, y) = (x − 1) 2 + y 2 = (x − 1) 2 + 4x = (x + 1) 2 ,<br />
4
que alcanza su valor mínimo 1 si x = 0. Es evidente entonces que la mínima distancia de<br />
(1, 0) a y 2 = 4x es dm = 1.<br />
11.4. <strong>Hallar</strong> los puntos estacionarios de la función f(x, y, z) = z 2 − 2xy <strong>condicionados</strong> por<br />
2x 3 + 2y 3 + z 3 = 4 e indicar si son máximos o mínimos locales.<br />
Solución: Si f(x, y, z) = z 2 − 2xy y g(x, y, z) = 2x 3 + 2y 3 + z 3 − 4, la lagrangiana del<br />
problema es<br />
L(x, y, λ) = f(x, y, z) − λg(x, y, z) = z 2 − 2xy − λ 2x 3 + 2y 3 + z 3 − 4 <br />
y los puntos estacionarios de L son la solución del sistema:<br />
∂L<br />
∂x (x, y, z; λ) = −2y − 6λx2 = 0,<br />
∂L<br />
∂y (x, y, z; λ) = −2x − 6λy2 = 0<br />
∂L<br />
∂z (x, y, z; λ) = 2z − 3λz2 , 2x 3 + 2y 3 + z 3 = 4.<br />
El sistema anterior es claramente equivalente al<br />
y = −3λx 2 , x = −3λy 2 , z(2 − 3λz) = 0, 2x 3 + 2y 3 + z 3 = 4.<br />
Eliminando y entre <strong>las</strong> dos primeras ecuaciones se ve fácilmente que o bien x = y = 0, o<br />
bien x = y = −1/(3λ). Mediante sencil<strong>las</strong> sustituciones se ve que los puntos estacionarios<br />
de la lagrangiana son<br />
<br />
0, 0, 3√ 4;<br />
<br />
3√<br />
2<br />
,<br />
3<br />
<br />
1, 1, 0; − 1<br />
<br />
,<br />
3<br />
<br />
−1, −1, 2; 1<br />
<br />
3<br />
y, por tanto, los puntos estacionarios del problema son los<br />
<br />
0, 0, 3√ <br />
4 , (1, 1, 0) , (−1, −1, 2) .<br />
Para estudiar si f condicionado por g = 0 alcanza un extremo en cada uno de ellos,<br />
y de que tipo, consideramos <strong>las</strong> matrices hessiana parcial de L y jacobiana g ′ . Un sencillo<br />
cálculo nos da<br />
L ′′ ⎡<br />
−12λx<br />
(x, y, z; λ) = ⎣ −2<br />
−2<br />
−12λy<br />
0<br />
0<br />
⎤<br />
⎦ g<br />
0 0 2 − 6λz<br />
′ (x, y, z) = 6x 2 , 6y 2 , 3z 2 .<br />
En el punto (0, 0, 3√ 4), se tiene:<br />
L ′′ (0, 0, 3√ 4; 3√ ⎡<br />
0<br />
2/3) = ⎣ −2<br />
−2<br />
0<br />
0<br />
0<br />
⎤<br />
⎦ g<br />
0 0 −2<br />
′ (0, 0, 3√ 4) =<br />
5<br />
<br />
0, 0, 6 3√ <br />
2
y entonces el núcleo de dg en (0, 0, 3√ 4) viene dado por los (h, k, l) que cumplen l = 0, es<br />
decir los (h, k, 0). Pero como la forma cuadrática −4hk es indefinida, el punto (0, 0, 3√ 4)<br />
no es extremo local de f condicionado por g = 0.<br />
De forma análoga en el punto (1, 1, 0) resulta que<br />
L ′′ ⎡<br />
4<br />
(1, 1, 0; −1/3) = ⎣ −2<br />
−2<br />
4<br />
⎤<br />
0<br />
0 ⎦ g<br />
0 0 2<br />
′ (1, 1, 0) = [6, 6, 0]<br />
y, como ∆1 = 4 > 0, ∆2 = 12 > 0 y ∆3 = 24 > 0, la matriz L ′′ (1, 1, 0; 1/3) es definida<br />
positiva en R 3 y en, particular, lo será en el núcleo de dg en (1, 1, 0). Así el punto (1, 1, 0)<br />
es mínimo local de f condicionado por g = 0.<br />
Por último en el punto (−1, −1, 2), se tiene<br />
L ′′ ⎡<br />
4<br />
(−1, −1, 2; 1/3) = ⎣ −2<br />
−2<br />
4<br />
0<br />
0<br />
⎤<br />
⎦ g<br />
0 0 −2<br />
′ (−1, −1, 2) = [ 6 6 12 ]<br />
y, procediendo como en el primer caso, se observa que (−1, −1, 2) es mínimo local de f<br />
condicionado por g = 0.<br />
11.5. Sea f(x, y, z) = x 2 + y 2 + bxy + az, donde a y b son parámetros reales.<br />
a) Obtener una relación entre los parámetros a y b que sea una condición necesaria para que<br />
el punto (1, 1, 1) sea un extremo local de f restringida a la superficie esférica x 2 +y 2 +z 2 = 3.<br />
b) Supuesta verificada la condición anterior, estudiar si en (1, 1, 1) se alcanza un extremo<br />
en los siguientes casos: a = −1, a = 1 y a = 2.<br />
Solución:<br />
a) Si f(x, y, z) = x 2 + y 2 + bxy + az y g(x, y, z) = x 2 + y 2 + z 2 − 3, la lagrangiana del<br />
problema es<br />
L(x, y, z, λ) = f(x, y, z) − λg(x, y, z) = x 2 + y 2 + bxy + az − λ x 2 + y 2 + z 2 − 3 <br />
y los puntos estacionarios de L son la solución del sistema:<br />
2x + by − 2λx = 0, 2y + bx − 2λy = 0, a − 2λz = 0, x 2 + y 2 + z 2 = 3.<br />
Como el punto (x, y, z) = (1, 1, 1) tiene que satisfacer a este sistema, se ha de cumplir que<br />
2 + b − 2λ = 0, a − 2λ = 0.<br />
Eliminando λ entre estas dos ecuaciones, se tiene la relación pedida a − b = 2<br />
dan<br />
b) Sea Q la hessiana parcial L ′′<br />
x,y,z de la lagrangiana L. Unos cálculos sencillos nos<br />
⎡<br />
2(1 − λ)<br />
Q(x, y, z, λ) = ⎣ b<br />
b<br />
2(1 − λ)<br />
0<br />
0<br />
⎤<br />
⎦ ; y g<br />
0 0 −2λ<br />
′ (1, 1, 1) = [ 2 2 2 ] .<br />
6
Los vectores (h, k, l) pertenecientes al núcleo de dg en (1, 1, 1) cumplen h + k + l = 0, es<br />
decir son de la forma (h, k, −h − k).<br />
En el caso a = −1, se obtiene b = −3, λ = −1/2 y<br />
⎡<br />
3<br />
Q(1, 1, 1; −1/2) = ⎣ −3<br />
−3<br />
3<br />
⎤<br />
0<br />
0 ⎦ .<br />
0 0 1<br />
La forma cuadrática hessiana restrigida al núcleo de dg es entonces<br />
3h 2 − 6hk + 3k 2 + (h + k) 2 = 3(h − k) 2 + (h + k) 2<br />
y, como es definida positiva, el punto (1, 1, 1) es un mínimo local condicionado.<br />
En el caso a = 1, se obtiene b = −1, λ = 1/2 y<br />
⎡<br />
1<br />
Q(1, 1, 1; 1/2) = ⎣ −1<br />
−1<br />
1<br />
0<br />
0<br />
⎤<br />
⎦ .<br />
0 0 −1<br />
La forma cuadrática hessiana restrigida al núcleo de dg es entonces<br />
h 2 − 2hk + k 2 − (h + k) 2 = (h − k) 2 − (h + k) 2<br />
y, como es indefinida , el punto (1, 1, 1) no es extremo local condicionado.<br />
Finalmente si a = 2, se obtiene b = 0, λ = 1 y<br />
⎡<br />
0<br />
Q(1, 1, 1; 1) = ⎣ 0<br />
0<br />
0<br />
0<br />
0<br />
⎤<br />
⎦ .<br />
0 0 −2<br />
La forma cudrática hessiana restrigida al núcleo de dg es entonces<br />
−2(h + k) 2<br />
que es semidefinida negativa, lo cual no basta para asegurar que f tenga en (1, 1, 1) un<br />
máximo local condicionado.<br />
Pero como en este caso f(x, y, z) = x 2 +y 2 +2z, en la supeficie esférica x 2 +y 2 +z 2 = 3<br />
f coincide con ϕ(z) = 3 − z 2 + 2z = 4 − (z − 1) 2 . Es claro entonces que si x 2 + y 2 + z 2 = 3,<br />
se tiene f(x, y, z) ≤ 4. Pero como f(1, 1, 1) = 4, es obvio que f alcanza en el punto (1, 1, 1)<br />
un máximo global condicionado.<br />
7
11.6. <strong>Hallar</strong> los puntos estacionarios de la restricción de f(x, y) = x+y 2 a 2x 2 +y 2 = 1<br />
y estudiar si son máximos o mínimos y, en cada caso, si son extremos locales o globales.<br />
Solución:<br />
La lagrangiana del problema es<br />
L(x, y, λ) = x + y 2 − λ 2x 2 + y 2 − 1 <br />
y los puntos estacionarios de L son la solución del sistema:<br />
∂L<br />
(x, y, λ) = 1 − 4λx = 0,<br />
∂x<br />
∂L<br />
∂y (x, y, λ) = 2y(1 − λ) = 0, 2x2 + y 2 = 1.<br />
Partiendo de la segunda ecuación es sencillo ver que los cuatro puntos estacionarios son:<br />
√ √ <br />
2 2<br />
, 0; ,<br />
2 4<br />
√ √ <br />
2 2<br />
− , 0; − ,<br />
2 4<br />
<br />
1<br />
4 ,<br />
<br />
7<br />
; 1 ,<br />
8<br />
<br />
1 7<br />
, − ; 1 .<br />
4 8<br />
Como f es una función continua y E = {(x, y) ∈ R 2 : 2x 2 + y 2 = 1} es una elipse, y<br />
por tanto un conjunto compacto, es claro que f restringida a E alcanza en E sus extremos<br />
globales. Además, como se tiene que<br />
√ √ √ √ <br />
2 2<br />
2 2 1 7<br />
f − , 0 = − , f , 0 = , f , ±<br />
2 2 2 2 4 8<br />
= 9<br />
8 ,<br />
es inmediato comprobar que f restringida a E alcanza en (− √ 2/2, 0) su mínimo global<br />
− √ 2/2 y en los puntos (1/4, ± 7/8) su máximo global 9/8.<br />
En el punto ( √ 2/2, 0) no hay extremo global condicionado. Para ver si hay extremo<br />
local, veamos si la hessiana parcial es una forma cuadrática definida, en el núcleo de la<br />
diferencial de la restricción. Un cálculo sencillo nos da la hessiana parcial y la jacobiana<br />
citadas:<br />
y que<br />
L ′′<br />
<br />
−4λ 0<br />
x,y(x, y, λ) =<br />
, L<br />
0 2(1 − λ)<br />
′′<br />
x,y<br />
g ′ (x, y) = [4x, 2y], g ′<br />
√ √ <br />
2 2<br />
, 0; =<br />
2 4<br />
√ <br />
2<br />
, 0 = [2<br />
2 √ 2, 0].<br />
√<br />
− 2 0<br />
0 (4 − √ <br />
2)/2<br />
El núcleo de la diferencial de g está formado por los vectores (h, k) tales que 2 √ 2h = 0 es<br />
decir por los (0, k). Pero como<br />
4 − √ 2<br />
k<br />
2<br />
2 > 0, si k = 0,<br />
8
es claro que la restricción de f a E alcanza en ( √ 2/2, 0) un mínimo local estricto.<br />
Alternativamente:<br />
En los puntos de E : 2x 2 + y 2 = 1 es y 2 = 1 − 2x 2 y entonces la restricción de f a E<br />
vale<br />
f(x, y) = x + y 2 = x + 1 − 2x 2 = 9<br />
<br />
− 2 x −<br />
8 1<br />
2 .<br />
4<br />
Es claro entonces que f restringida a E alcanza en los puntos (1/4, ± 7/8) su máximo<br />
global 9/8, en el (− √ 2/2, 0) su mínimo global − √ 2/2 y en √ 2/2 un mínimo local.<br />
11.7. <strong>Hallar</strong> los extremos locales de la función f(x, y, z) = log x + log y + 3 log z, x > 0,<br />
y > 0, z > 0, sobre el octante de superficie esférica x 2 + y 2 + z 2 = 5r 2 .<br />
Solución:<br />
El enunciado corresponde al problema de calcular los extremos de f <strong>condicionados</strong><br />
por x 2 + y 2 + z 2 = 5r 2 . La lagrangiana del problema es<br />
L(x, y, z; λ) = log x + log y + 3 log z − λ x 2 + y 2 + z 2 − 5r 2<br />
y el sistema de los puntos estacionarios viene dado por<br />
∂L<br />
∂x<br />
1<br />
= − 2λx = 0,<br />
x<br />
∂L<br />
∂y<br />
= 1<br />
y<br />
− 2λy = 0,<br />
∂L<br />
∂z<br />
= 3<br />
z − 2λz = 0, x2 + y 2 + z 2 = 5r 2 .<br />
Suponiendo que r > 0, la única solución del problema anterior es el punto (r, r, √ 3r; 1/2r2 ),<br />
que cumple x > 0, y > 0, z > 0.<br />
Las matrices hessianas parciales de L en los puntos (x, y, z; λ) y (r, r, √ 3r; 1/2r2 ) son<br />
L ′′<br />
<br />
x,y,z(x, y, z; λ) = diag − 1<br />
<br />
1 3<br />
− 2λ, − − 2λ, − − 2λ<br />
x2 y2 z2 L ′′<br />
x,y,z(r, r, √ 3r; 1/2r 2 <br />
) = diag − 2 2 2<br />
, − , −<br />
r2 r2 r2 .<br />
Pero como la última es definida negativa, es también definida negativa en el núcleo de la<br />
diferencial de la condición. Es claro entonces que f, condicionada por x 2 + y 2 + z 2 = 5r 2<br />
alcanza en (r, r, √ 3r; 1/2r 2 ) un máximo local.<br />
Alternativamente:<br />
Como la f restrigida no está acotada inferiormente, entre los extremos globales, sólo<br />
puede exsistir el máximo. Teniendo en cuenta que la función exponencial es creciente y<br />
que exp (f(x, y, z)) = xyz 3 , tomando coordenadas cilíndricas, el problema se reduce al de<br />
hallar los extremos de<br />
h(ρ, θ, z) = ρ 2 cos θ sen θ z 3 = 1<br />
<strong>condicionados</strong> por ρ 2 + z 2 = 5r 2 .<br />
2 ρ2z 3 sen 2θ, 0 < ρ, 0 < θ < π<br />
, 0 < z,<br />
2<br />
9
Como ρ2 = 5r2 − z2 y sen 2θ ≤ 1, reducimos de nuevo el problema al de hallar los<br />
extremos de<br />
ψ(z) = 1<br />
2 (5r2 − z 2 )z 3 = 5<br />
2 r2z 3 − 1<br />
2 z5 , 0 < z < √ 5r.<br />
La derivada de ψ es<br />
ψ ′ (z) = 1<br />
2 [15r2 z 2 − 5z 4 ] = 5z2<br />
2 [3r2 − z 2 ]<br />
y entonces es claro que zM = √ 3r es un máximo global de ψ en (0, √ 5r).<br />
Unas sencil<strong>las</strong> operaciones nos aseguran que el punto (r, r, √ 3r) es el máximo global<br />
condicionado de f.<br />
11.8. Calcular los puntos donde la función f(x, y, z) = x 2 + y 2 + z 2 + x + y + z alcanza<br />
sus valores extremos sobre el conjunto M = {(x, y, z) ∈ R 3 : x 2 + y 2 + z 2 ≤ 4, z ≤ 1}.<br />
Solución:<br />
El conjunto M es la intersección de dos conjuntos cerrados y está acotado, de manera<br />
que es compacto. Entonces, como la función f es claramente continua, es claro que f<br />
alcanza en M su valor máximo y su valor mínimo.<br />
Si algún extremo se alcanza en el abierto V = {(x, y, z) ∈ R 3 : x 2 +y 2 +z 2 < 4, z < 1},<br />
dicho extremo será un punto estacionario de f. Cumplirá entonces el sistema:<br />
cuya única solución es el punto<br />
2x + 1 = 2y + 1 = 2z + 1 = 0,<br />
p = (−1/2, −1/2, −1/2).<br />
Este punto pertenece al abierto V y se tiene f(p) = −3/4.<br />
En segundo lugar sea Z la zona Z = {(x, y, z) ∈ R 3 : x 2 + y 2 + z 2 = 4, z < 1}. Si<br />
algún extremo se alcanza en Z dicho extremo será un punto estacionario de f condicionado<br />
por x 2 + y 2 + z 2 = 4. La lagrangiana del problema es<br />
L(x, y, z; λ) = x 2 + y 2 + z 2 + x + y + z − λ(x 2 + y 2 + z 2 − 4)<br />
y el sistema que da los puntos estacionarios<br />
2x + 1 − 2λx = 0, 2y + 1 − 2λy = 0, = 2z + 1 − 2λz = 0, x 2 + y 2 + z 2 = 4.<br />
El sistema anterior tiene como soluciones los puntos (±2/ √ 3, ±2/ √ 3, ±2/ √ 3), pero como<br />
2/ √ 3 > 1, sólo pertenece a la zona el<br />
En este punto se tiene f(q) = 4 − 2 √ 3.<br />
q = (−2/ √ 3, −2/ √ 3, −2/ √ 3).<br />
10
En tercer lugar sea D el disco D = {(x, y, z) ∈ R 3 : x 2 + y 2 + z 2 < 4, z = 1}. Si algún<br />
extremo se alcanza en D dicho extremo será un punto estacionario de f condicionado por<br />
z = 1. La lagrangiana del problema es<br />
L(x, y, z; µ) = x 2 + y 2 + z 2 + x + y + z − µ(z − 1)<br />
y el sistema que da los puntos estacionarios<br />
El único punto estacionario es el<br />
2x + 1 = 0, 2y + 1 = 0, 2z + 1 − µ = 0, z = 1.<br />
r = (−1/2, −1/2, 1).<br />
Este punto pertenece a D y el valor correspondiente de la función es f(r) = 3/2.<br />
Finalmente sea C la circunferencia C = {(x, y, z) ∈ R 3 : x 2 + y 2 + z 2 = 4, z = 1}. Si<br />
algún extremo se alcanza en C dicho extremo será un punto estacionario de f condicionado<br />
por x 2 + y 2 + z 2 = 4 y por z = 1. La lagrangiana del problema es<br />
L(x, y, z; λ, µ) = x 2 + y 2 + z 2 + x + y + z − λ(x 2 + y 2 + z 2 − 4) − µ(z − 1)<br />
y el sistema que da los puntos estacionarios<br />
2x + 1 − 2λx = 0, 2y + 1 − 2λy = 0, 2z + 1 − 2λz − µ = 0, x 2 + y 2 + z 2 = 4, z = 1.<br />
El sistema anterior tiene como soluciones los puntos<br />
s = ( 3/2, 3/2, 1) y t = (− 3/2, − 3/2, 1).<br />
Los valores de f en estos puntos son f(s) = 5 + √ 6 y f(t) = 5 − √ 6.<br />
Considerando los valores anteriormente hallados<br />
f(p) = −3/4, f(q) = 4 − 2 √ 3, f(r) = 3/2, f(s) = 5 + √ 6, f(t) = 5 − √ 6,<br />
−3/4 es el menor y 5 + √ 6 el mayor. Es claro entonces que la función f alcanza su mínimo<br />
global −3/4 en M en el punto (−1/2, −1/2, −1/2) y su máximo global 5 + √ 6, en el<br />
( 3/2, 3/2, 1).<br />
Alternativamente:<br />
El procedimiento anteriormente empleado tiene la ventaja de su generalidad, pero no<br />
tiene en cuenta la simetría de los datos del problema. Como M tiene simetría cilíndrica,<br />
parece razonable utilizar coordenadas cilíndricas. El enunciado del problema se cambia<br />
entonces en el de hallar los extremos de ϕ(ρ, θ, z) = ρ 2 + z 2 + ρ(cos θ + sen θ) + z en los<br />
puntos del conjunto<br />
S = {(ρ, θ, z) ∈ R 3 : ρ ≥ 0, 0 ≤ θ ≤ 2π, z ≤ 1, ρ 2 + z 2 ≤ 4}.<br />
11
Teniendo en cuenta que<br />
g(θ) = cos θ + sen θ = √ 2<br />
<br />
1<br />
√2 cos θ + 1<br />
<br />
√ sen θ =<br />
2 √ <br />
2 sen<br />
θ + π<br />
4<br />
es claro que g alcanza su valor mínimo − √ 2 en θm = π/4 + π y su valor máximo √ 2 en<br />
θM = π/4. La función ϕ cumple pues <strong>las</strong> acotaciones<br />
ρ 2 + z 2 − √ 2ρ + z ≤ ϕ(ρ, θ, z) ≤ ρ 2 + z 2 + √ 2ρ + z.<br />
Para hallar el mínimo de ϕ en S basta calcular el de<br />
χ(ρ, z) = ρ 2 + z 2 − √ <br />
2ρ + z = ρ − 1<br />
2 √ +<br />
2<br />
<br />
z + 1<br />
2 −<br />
2<br />
3<br />
4<br />
condicionado por ρ ≥ 0, z ≤ 1, ρ 2 + z 2 ≤ 4. Este mínimo se alcanza en el punto<br />
(ρm, zm) = (1/ √ 2, −1/2), que cumple <strong>las</strong> condiciones expresadas. Retornando a <strong>las</strong> coordenadas<br />
cartesianas se obtiene que la función f alcanza su mínimo global −3/4 en M, en<br />
el punto p = (−1/2, −1/2, −1/2).<br />
Análogamente, para hallar el máximo de ϕ en S basta calcular el de<br />
ψ(ρ, z) = ρ 2 + z 2 + √ 2ρ + z,<br />
condicionado por ρ ≥ 0, z ≤ 1, ρ 2 + z 2 ≤ 4. En el conjunto T definido por <strong>las</strong> condiciones<br />
se tiene<br />
ψ(ρ, z) = ρ 2 + z 2 + √ 2ρ + z = √ 2ρ + z + 4<br />
y, unas consideraciones geométricas nos muestran que el máximo 5+ √ 6, se obtiene cuando<br />
(ρM , zM ) = (2 √ 2/3, √ 2/3). En coordenadas cartesianas, se obtiene que f alcanza su<br />
máximo global 5 + √ 6 en M, en el punto s = ( 3/2, 3/2, 1).<br />
11.9. Calcular la distancia del origen a la curva de ecuaciones y 2 = x − 1 y z 2 = x + 1.<br />
Solución:<br />
Si f(x, y, z) = x 2 + y 2 + z 2 , g(x, y, z) = y 2 − x + 1 y h(x, y, z) = z 2 − x − 1, el<br />
problema se reduce al de hallar el valor mínimo de f restringida a la curva C de ecuaciones<br />
g(x, y, z) = 0, h(x, y, z) = 0.<br />
La lagrangiana del problema es<br />
L(x, y, z; λ, µ) = x 2 + y 2 + z 2 + λ y 2 − x + 1 + µ z 2 − x − 1 <br />
y el sistema de los puntos estacionarios viene dado por<br />
⎧<br />
∂L<br />
≡ 2x − λ − µ = 0<br />
∂x<br />
∂L<br />
≡ 2y + 2λy = 0<br />
⎪⎨<br />
∂y<br />
∂L<br />
≡ 2z + 2µz = 0<br />
∂z<br />
∂L<br />
∂λ<br />
⎪⎩<br />
≡ y2 − x − 1 = 0<br />
∂L<br />
∂µ ≡ z2 − x − 1 = 0<br />
12<br />
<br />
,
El sistema anterior equivale al<br />
y(1 + λ) = 0, z(1 + µ) = 0, 2x = λ + µ, x = 1 + y 2 = z 2 − 1,<br />
de donde los únicos puntos estacionarios son (1, 0, ± √ 2; 3, −1).<br />
Como f(1, 0, √ 2) = f(1, 0, − √ 2) = 3, es claro que, de alcanzarse, la distancia mínima<br />
del origen a los puntos de C es √ 3.<br />
Veamos que esta distancia se alcanza. Consideremos un punto p arbitrario de C y la<br />
superficie esférica S de centro el origen que pasa por p. Si K es la intersección de la esfera<br />
cerrada E de frontera S y la curva C, es claro que K es cerrado y acotado. Además f<br />
es continua en el compacto K, de manera que f restringida a K alcanza en K su valor<br />
mínimo. Pero, por construcción, este mínimo es el valor mínimo global de f restrigida a<br />
la curva C.<br />
Alternativamente:<br />
Los puntos de la curva cumplen <strong>las</strong> ecuaciones x = 1 + y 2 = z 2 − 1 y, por tanto, x ≥ 1.<br />
Además en dichos puntos se tiene:<br />
f(x, y, z) = x 2 + y 2 + z 2 = x 2 + (x − 1) + (x + 1) = x 2 + 2x = (x + 1) 2 − 1,<br />
de manera que el mínimo global de f restringida a C se alcanza en los puntos (1, 0, ± √ 2)<br />
y la distancia del origen a la curva C es √ 3.<br />
Alternativa segunda:<br />
Cosideremos el haz de superficies esféricas x 2 + y 2 + z 2 = r 2 , con r > 0. Los puntos<br />
de corte de cada superficie esférica con la curva C vienen dados por el sistema:<br />
x − y 2 = 1, x − z 2 = 1, x 2 + y 2 + z 2 = r 2<br />
y, para que sus coordenadas sean reales, debe cumplir, además, la inecuación x ≥ 1.<br />
Eliminando y y z entre <strong>las</strong> anteriores ecuaciones, la coordenada x tiene que cumplir<br />
x 2 + 2x − r 2 = (x + 1) 2 − 1 − r 2 = 0, x ≥ 1,<br />
de donde r = (x + 1) 2 − 1 y entonces la distancia mínima es √ 3 que se obtiene cuando<br />
x = 1.<br />
11.10. Dada la elipse de ecuación x2<br />
= 1, hallar el segmento de tangente a la misma<br />
a b2 que, limitado por los ejes, tenga longitud mínima.<br />
2 + y2<br />
Solución:<br />
Sea (x, y) un punto de la elipse y (ξ, η) un punto genérico de la tangente a ésta en<br />
(x, y). Por <strong>las</strong> simetrías de la elipse, podemos suponer sin limitación que x > 0, y > 0<br />
excluyendo así los vértices que dan tangentes parale<strong>las</strong> a los ejes.<br />
La ecuación de la tangente en (x, y) a la elipse es<br />
xξ yη<br />
+ = 1<br />
a2 b2 13
que, puesta en forma canónica, suponiendo que x > 0 y que y > 0, adopta la forma<br />
ξ<br />
a2 η<br />
+<br />
/x b2 /y<br />
de manera que la tangente corta a los ejes en los puntos (a 2 /x, 0) y (0, b 2 /y). El problema<br />
se reduce al problema de extremos <strong>condicionados</strong>:<br />
4 a b4<br />
min +<br />
x2 y2 <br />
restringida a x2<br />
a<br />
= 1<br />
2 + y2<br />
= 1, x > 0, y > 0.<br />
b2 Si tomamos como nuevas variables u = x 2 /a 2 y v = y 2 /b 2 el nuevo problema de<br />
extremos <strong>condicionados</strong> es el de hallar el valor mínimo de<br />
f(u, v) = a2<br />
u<br />
La lagrangiana de este problema es<br />
b2<br />
+ , restringido a u + v = 1, u > 0, v > 0.<br />
v<br />
L(u, v; λ) = a2<br />
u<br />
y el sistema que da los puntos estacionarios<br />
+ b2<br />
v<br />
− λ (u + v − 1)<br />
− a2<br />
b2<br />
− λ = 0, − − λ = 0, u + v = 1.<br />
u2 v2 Eliminando λ entre <strong>las</strong> dos primeras, se obtiene b 2 u 2 − a 2 v 2 = (bu − av)(bu + av) = 0, pero<br />
como a > 0, b > 0, u > 0 y v > 0, es bu + av > 0 de modo que bu − av = 0. Esta ecuación,<br />
con la condición u + v = 1, nos da el único punto estacionario del problema<br />
(u, v) =<br />
al cual corresponde una longitud lm que cumple<br />
l 2 m = a4 b4 a2<br />
+ =<br />
x2 y2 u<br />
+ b2<br />
v<br />
<br />
a<br />
a + b ,<br />
<br />
b<br />
a + b<br />
= a(a + b) + b(a + b) = (a + b)2<br />
y por tanto lm = a + b.<br />
Falta por estudiar si lm = a + b es la longitud mínima. Es intuitivamente claro que la<br />
longitud de los segmentos de tangente varían con continuidad al variar el punto de contacto<br />
y, por tanto, es una función continua l de la abscisa en el intervalo (0, a). Pero como se<br />
tiene que l(0+) = l(a−) = +∞ y l > 0, es claro que l alcanza el valor mínimo global que<br />
necesariamente ha de ser lm = a + b.<br />
Alternativamente:<br />
14
Si consideramos <strong>las</strong> ecuaciones paramétricas de la elipse x = a cos θ, y = b sen θ, es<br />
claro que la tangente en el punto (a cos θ, b sen θ) tiene por ecuación<br />
x cos θ<br />
a<br />
+ y sen θ<br />
b<br />
Si nos limitamos al primer cuadrante 0 < θ < π/2, los puntos de corte de la tangente con<br />
los ejes son (a/ cos θ, 0) y (0, b/ sen θ). El problema se reduce al de hallar el mínimo de la<br />
función<br />
ϕ(θ) = a2<br />
cos2 b2<br />
+<br />
θ sen2 θ<br />
= 1.<br />
en el intervalo<br />
<br />
0, π<br />
2<br />
La derivada de ϕ es<br />
ϕ ′ (θ) = 2a2 sen θ<br />
cos3 θ − 2b2 cos θ<br />
sen3 θ = 2a2 cos θ<br />
sen3 <br />
tg<br />
θ<br />
4 θ − b2<br />
a2 <br />
.<br />
De la anterior expresión se deduce que si tg 2 θm = b/a, la función ϕ alcanza en θm su<br />
mínimo global que, después de algunas sustituciones, es<br />
ϕ(θm) =<br />
a2<br />
cos 2 θm<br />
+<br />
b2<br />
sen 2 θm<br />
La longitud mínima pedida es entonces lm = a + b.<br />
= (a + b) 2 .<br />
11.11. Calcular la altura y el radio de la base de una lata cilíndrica de un litro de volumen<br />
y que tenga superficie total mínima.<br />
Solución:<br />
Sean, en un cierto sistema coherente de unidades, x el radio de la base, y la altura, V<br />
el volumen y A la superficie total. Si el cilindro no es degenerado, se sabe que:<br />
V = πx 2 y, A = 2πx 2 + 2πxy, x > 0, y y > 0.<br />
Es claro entonces que xy = V/(πx) y que si definimos<br />
<br />
ϕ(x) = 2π x 2 + V<br />
<br />
,<br />
πx<br />
el problema se reduce al de hallar el mínimo global de ϕ en la semirrecta (0, +∞).<br />
Derivando la función ϕ se tiene<br />
ϕ ′ <br />
(x) = 2π 2x − V<br />
πx2 <br />
= 4π<br />
x2 <br />
x 3 − V<br />
<br />
.<br />
2π<br />
Definiendo ahora a 3 = V<br />
, es claro que ϕ decrece en (0, a) y crece en (a, +∞). La función<br />
2π<br />
ϕ presenta entonces un mínimo global en a.<br />
15<br />
<br />
.
Finalmente si R es el radio, H la altura y A el área total de la lata de peso mínimo,<br />
mediante sencil<strong>las</strong> sustituciones, se tiene<br />
R = 10<br />
3√ 2π cm ≈ 5, 419cm, H = 20<br />
3√ 2π cm ≈ 10, 839cm, A = 300 3√ 2π ≈ 553, 581cm 2 .<br />
Alternativamente:<br />
Si definimos f(x, y) = x 2 +xy y g(x, y) = x 2 y−V/π, el problema se reduce al de hallar<br />
el mínimo de f restringida a la parte de curva g(x, y) = 0 situada en el primer cuadrante<br />
x > 0, y > 0. La lagrangiana del problema es<br />
L(x, y, λ) = f(x, y) − λg(x, y) = x 2 <br />
+ xy − λ x 2 y − V<br />
<br />
π<br />
y los puntos estacionarios son la solución del sistema:<br />
∂L<br />
(x, y, λ) = 2x + y − 2λxy = 0,<br />
∂x<br />
∂L<br />
∂y (x, y, λ) = x(1 − λx) = 0, πx2 y = V.<br />
Como x > 0, la segunda ecuación da λx = 1. A partir de este resultado y de <strong>las</strong><br />
restantes ecuaciones, se obtiene fácilmente el único punto estacionario de L, que es:<br />
xm = 3<br />
<br />
V<br />
2π , ym = 3<br />
<br />
V<br />
2π , λm = 3<br />
<br />
2π<br />
V .<br />
Si el problema tiene solución, como parece plausible, <strong>las</strong> dimensiones de la lata de área<br />
mínima tienen que ser <strong>las</strong> halladas. Ahora bien, como se requiere que x e y sean mayores<br />
que 0, si observamos que cuando x e y son mayores que 0 y x 2 y = V/π, entonces<br />
f(x, y) = x 2 + xy = x 2 + V<br />
πx<br />
= ψ(x),<br />
basta ver que ψ, continua en (0, +∞), tiene mínimo absoluto. Puesto que lim<br />
x→0 ψ(x) = +∞<br />
y lim<br />
x→+∞<br />
ψ(x) = +∞, puede asegurarse que ψ, y por tanto f, alcanza mínimo absoluto.<br />
Por consiguiente, hemos demostrado que f restringida al conjunto de los (x, y) tales que<br />
x e y son positivos y g(x, y) presenta mínimo absoluto en (xm, ym).<br />
11.12. <strong>Hallar</strong> el triángulo de perímetro 2p dado que tenga área máxima.<br />
Sugerencia: Utilizar la fórmula de Herón A = p(p − a)(p − b)(p − c) del área del triángulo<br />
de lados a, b y c.<br />
Solución:<br />
Si a, b y c son los lados de un triángulo no degenerado se tiene que cumplir:<br />
0 < a < b + c, 0 < b < c + a, 0 < c < a + b.<br />
16
Si definimos x = p − a, y = p − b y z = p − c, es claro que 2p − 2a = b + c − a > 0 y<br />
expresiones análogas para p − b y p − c. Como además se tiene que x + y + z = 3p − 2p = p,<br />
se cumple que<br />
0 < x < p, 0 < y < p, 0 < z < p, x + y + z = p<br />
para todo triángulo no degenerado y recíprocamente.<br />
Si f(x, y, z) = xyz y si g(x, y, z) = x + y + z − p el problema se reduce al de calcular<br />
los extremos de f <strong>condicionados</strong> por g(x, y, z) = 0, situados en el primer octante. La<br />
lagrangiana del problema es<br />
L(x, y, z, λ) = f(x, y, z) − λg(x, y, z) = xyz − λ (x + y + z − p)<br />
y el sistema que da los puntos estacionarios es:<br />
yz − λx = 0, zx − λy = 0, xy − λz = 0, x + y + z = p.<br />
De este sistema se deduce con facilidad que xyz = λx 2 = λy 2 = λz 2 , que con la condición<br />
x + y + z = p nos dan que el único punto estacionario es<br />
Si consideramos el simplex<br />
(x, y, z, λ) = ( p<br />
3<br />
, p<br />
3<br />
p p<br />
, ,<br />
3 3 ).<br />
S = {(x, y, z) ∈ R 3 : 0 ≤ x ≤ p, 0 ≤ x ≤ p, 0 ≤ x ≤ p, x + y + z = p},<br />
es claro que K es cerrado y acotado. Por otra parte f es continua en el compacto K y<br />
por tanto su restricción alcanza en K sus valores extremos. El valor mínimo se alcanza<br />
cuando xyz = 0, es decir para los triángulos degenerados. El valor máximo es entonces<br />
positivo y se tiene que alcanzar en el único punto estacionario del problema de máximos<br />
condicionado planteado. El triángulo de perímetro 2p dado que tiene área máxima es pues<br />
el equilátero a = b = c = 2p/3.<br />
Alternativamente:<br />
Con <strong>las</strong> notaciones anteriores tienen que cumplirse <strong>las</strong> condiciones<br />
0 < x < p, 0 < y < p, 0 < z < p, x + y + z = p<br />
de manera que si z = p − x − y y ϕ(x, y) = xy(p − x − y), el problema se reduce al de<br />
calcular los extremos de ϕ restringida al triángulo T definido por 0 ≤ x, 0 ≤ y, x + y ≤ p,<br />
donde se han incluído los triángulos degenerados de perímetro 2p.<br />
Como ϕ es continua en el compacto T alcanza en T su mínimo global 0, precisamente<br />
en los puntos de la frontera ∂T . También alcanza su máximo global en algún punto interior<br />
de T que ha de anular al gradiente de la función ϕ.<br />
El sistema de los puntos estacionarios de ϕ es:<br />
∂ϕ<br />
(x, y) = y(p − x − y) = 0,<br />
x<br />
17<br />
∂ϕ<br />
(x, y) = x(p − x − y) = 0.<br />
y
Es fácil ver que la única solución de este sistema es x = y = p/3 y entonces ha de ser<br />
z = p/3. Como antes tenemos que el triángulo de perímetro dado y área máxima es el<br />
equilatero.<br />
Alternativa segunda:<br />
Admitiendo que existe un triángulo de área máxima entre los que tienen perímetro<br />
dado, es fácil ver geométricamente que este triángulo ha de ser equilátero.<br />
En efecto, supongamos que el triángulo ABC de lados a, b, c y perímetro 2p tiene<br />
área máxima. En particular este triángulo ha de tener área mayor o igual que todos los<br />
triángulos P BC tales que P B + P C = b + c. Pero entonces los puntos P describen una<br />
elipse de focos B y C y eje mayor b + c. Como los triángulos P BC tienen la misma base,<br />
el de área máxima será el de máxima altura. Pero esto ocurre si y sólo si P B = P C, de<br />
modo que necesariamente AB = AC. Por la misma razón se ha de cumplir que BA = BC,<br />
de manera que el triángulo de área máxima, de existir, ha de ser el equilátero.<br />
11.13. Encontrar el rectángulo de perímetro máximo inscrito en la elipse:<br />
x 2<br />
a<br />
2 + y2<br />
= 1 con a, b constantes positivas.<br />
b2 Solución:<br />
Sea (x, y) el vértice del rectángulo correspondiente al primer cuadrante. El perímetro<br />
del rectángulo viene dado por P = 2x + 2y y se trata de encontrar el punto (x, y) que<br />
hace máxima la función f(x, y) = x + y sobre la porción de la elipse que se indica en el<br />
enunciado. En virtud del teorema de los multiplicadores de Lagrange, los puntos (x, y)<br />
en los que se presentan los extremos <strong>condicionados</strong> de f son tales que para algún λ ∈ R<br />
(x, y, λ) es solución de la ecuación ∇L(x, y, λ) = 0, donde<br />
2 x<br />
L(x, y, λ) = x + y + λ<br />
a<br />
Por tanto se tiene que resolver el sistema:<br />
b<br />
2 + y2<br />
<br />
− 1 .<br />
2<br />
∂L<br />
2λx<br />
(x, y, λ) = 1 + = 0<br />
∂x a2 ∂L<br />
2λy<br />
(x, y, λ) = 1 + = 0<br />
∂y b2 ∂L x2 y2<br />
(x, y, λ) = + − 1 = 0.<br />
∂λ a2 b2 Los puntos (x, y) en los que alguna componente sea cero corresponderán a puntos de<br />
mínimo y por tanto consideraremos x > 0 e y > 0. Despejando λ de <strong>las</strong> dos primeras<br />
ecuaciones se obtiene que:<br />
a 2<br />
x<br />
= b2<br />
y<br />
b2<br />
o bien y = x.<br />
a2 18
y sustituyendo en la última:<br />
de donde, por ser x > 0, resulta:<br />
x2 a2 + b4x2 x =<br />
Por tanto el perímetro máximo es:<br />
a4b2 = 1 ⇐⇒ a2 + b2 a4 x 2 = 1,<br />
a 2<br />
√ a 2 + b 2<br />
e y =<br />
b 2<br />
√ a 2 + b 2 .<br />
P = 2 a2 + b 2<br />
√ a 2 + b 2 = 2 a 2 + b 2 .<br />
Observación: Como f es continua en un compacto alcanza valores máximo y mínimo en<br />
el compacto. Los posibles puntos en donde f puede alcanzar un extremo son los puntos<br />
de intersección de la elipse con los ejes coordenados (mínimos) y en el punto obtenido<br />
(máximo).<br />
11.14. Calcular el valor máximo de f(x, y, z) = x + 2y − z en la circunferencia:<br />
Solución:<br />
Sea G la función definida por<br />
x 2 + y 2 + z 2 = 1 x + y + z = 0.<br />
G(x, y, z) = (x 2 + y 2 + z 2 − 1, x + y + z),<br />
que obviamente es de c<strong>las</strong>e C 1 (R 3 , R 2 ); la circunferencia M es el conjunto:<br />
M = {(x, y, z) ∈ R 3 : G(x, y, z) = (0, 0)} = G −1 [{(0, 0)}].<br />
Se trata de calcular el valor máximo de f(x, y, z) cuando (x, y, z) ∈ M y para ello se utiliza<br />
el método de los multiplicadores de Lagrange. Tal método puede utilizarse puesto que f<br />
es también de c<strong>las</strong>e C 1 (R 3 , R) y la matriz<br />
G ′ (x, y, z) =<br />
2x 2y 2z<br />
1 1 1<br />
es de rango 2 en cualquier punto de M. La lagrangiana del problema es:<br />
L(x, y, z, λ, µ) = f(x, y, z) + λ(x 2 + y 2 + z 2 − 1) + µ(x + y + z)<br />
y los posibles puntos (x, y, z) en los que fM —léase f restringida a M— puede presentar<br />
extremos son los constituidos por <strong>las</strong> tres primeras coordenadas de los puntos estacionarios<br />
19
de L, es decir, de <strong>las</strong> soluciones de la ecuación ∇L(x, y, z, λ, µ) = 0. Por tanto hay que<br />
resolver el sistema:<br />
D1L(x, y, z, λ, µ) = 1 + 2xλ + µ = 0<br />
D2L(x, y, z, λ, µ) = 2 + 2yλ + µ = 0<br />
D3L(x, y, z, λ, µ) = −1 + 2zλ + µ = 0<br />
D4L(x, y, z, λ, µ) = x 2 + y 2 + z 2 − 1 = 0<br />
D5L(x, y, z, λ, µ) = x + y + z = 0.<br />
Para que el sistema constituido por <strong>las</strong> 3 primeras ecuaciones tenga solución en λ y µ es<br />
necesario que se cumpla que:<br />
<br />
<br />
<br />
2x 1 −1 <br />
<br />
<br />
2y 1 −2 <br />
= 0, es decir, 3x − 2y − z = 0.<br />
2z 1 1 <br />
De esta última ecuación y de x + y + z = 0 se obtiene sin dificultad que y = 4x, z = −5x,<br />
y del sistema constituido por:<br />
se llega también fácilmente a que:<br />
y = 4x, z = −5x, x 2 + y 2 + z 2 − 1 = 0<br />
x 2 = 1<br />
42 , y2 = 16<br />
42 , z2 = 25<br />
42 .<br />
Al ser f continua y M compacto, existen max f[M] y min f[M]. Según acabamos de ver<br />
los puntos de M en los que fM puede presentar valor máximo o mínimo son los puntos<br />
que cumplen simultáneamente:<br />
es decir, los puntos:<br />
y = 4x, z = −5x, x 2 = 1<br />
42 , y2 = 16<br />
42 , z2 = 25<br />
42 ,<br />
√ √<br />
42<br />
42<br />
a = (1, 4, −5) y b = (−1, −4, 5).<br />
42 42<br />
Como f(a) = √ 42/3 y f(b) = − √ 42/3, podemos afirmar que el valor máximo de f sobre<br />
M es √ 42/3.<br />
20