30.06.2013 Views

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

SHOW MORE
SHOW LESS

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

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!