Solución del ejercicio 6 de extremos condicionados.

De entre todos las cajas de área lateral a > 0, encontrar las dimensiones de la de mayor
volumen.

En este ejercicio no son difı́ciles los cálculos relativos al teorema de los multiplicadores de
Lagrange. Sin embargo, es un poco más delicado probar que existe el máximo.

Sean x, y, z las dimensiones de la caja. Se nos pide que consideremos los números x, y, z ≥ 0
tales que
xy + xz + yz = a/2.
De entre todas las ternas posibles que cumplen esas condiciones, tenemos que determinar aque-
lla o aquellas (si es que existen) que hacen que el volumen xyz sea máximo.

Por tanto, se nos pide que determinemos el valor máximo (si existe) de la función
f : R3 → R, f (x, y, z) = xyz
sobre el conjunto
M = {(x, y, z) ∈ R3 : x, y, z ≥ 0, xy + xz + yz = b}, donde b = a/2.
En primer lugar observamos que f es continua. Si M fuera compacto, tendrı́amos asegurada
la existencia del valor máximo de f en M . Se puede ver que M es cerrado (demuéstrese).
Sin embargo, M no es acotado y, en consecuencia, M no es compacto. Por consiguiente, para
demostrar la existencia del máximo tendremos que argumentar de otra foma. Antes de probar
que existe, veremos que, como hemos dicho, M no es acotado .

Observación: M no es acotado. Si (x, y, z) ∈ M entonces

x(y + z) = b − yz.
Sea z > 0 arbitrario y elijamos y de manera que b − yz = b/2, esto es,
b
y= .
2z
Para que (x, y, z) pertenezca a M debe cumplirse que x(y + z) = b − yz. Puesto que ya
hemos elegido y, resulta que x debe ser
b − yz b/2 bz
x= = b = .
y+z 2z
+z b + 2z 2
Por lo tanto,  
bz b
, , z ∈ M para todo z > 0.
b + 2z 2 2z
bz b
Puesto que ||( b+z 2 , 2z , z)|| ≥ z y z es cualquier número positivo, se concluye que M no es

acotado.
1
2

En lo que sigue, probaremos que existe el valor máximo de f en M . Por claridad en la

exposición, enunciaremos un lema que nos permitirá asegurar la existencia.

Lema El lı́mite de f |M cuando ||(x, y, z)|| → +∞ es cero, es decir, para todo ε > 0
existe N > 0 tal que si (x, y, z) ∈ M y |x| ≥ N o |y| ≥ N o |z| ≥ N entonces
|f (x, y, z)| = f (x, y, z) < ε.

Demostración Dado ε > 0, elegimos N > 0 tal que

b2
< ε.
4N
Supongamos que (x, y, z) ∈ M y que |z| ≥ N (se harı́a de forma análoga si |x| ≥ N
o |z| ≥ N ). Recuérdese que las coordenadas de (x, y, z) son no negativas. Puesto que
(x, y, z) ∈ M , sabemos que 0 ≤ yz ≤ b y que
b − yz
x= .
y+z
Entonces
b − yz (b − yz)yz
f (x, y, z) = xyz = yz = .
y+z y+z
Puesto que la función h(t) = (b − t)t tiene un valor máximo en t = b/2 igual a (b/2)2
obtenemos que
(b − yz)yz (b/2)2 b2 b2
f (x, y, z) = xyz = ≤ ≤ ≤ < ε.
y+z y+z 4z 4N

Ahora, para probar que f tiene máximo en M basta aplicar el siguiente teorema:

Teorema 1. Sea C un subconjunto cerrado y no acotado de Rn y sea f : C → R una

función continua tal que f (x) ≥ 0 para todo x ∈ C. Si limkxk→∞ f (x) = 0, entonces f tiene
máximo absoluto.
Demostración.- Si f (x) = 0 para todo x ∈ C, no hay nada que probar. Supongamos,
por tanto, que existe x0 ∈ C tal que f (x0 ) > 0. Como limkxk→∞ f (x) = 0, existe N > 0
tal que si x ∈ C y kxk > N se verifica que f (x) < f (x2 0 ) . Sea r = máx{kx0 k, N } y
consideremos el compacto C ∩ B ∗ (0, r), que es no vacı́o porque contiene a x0 . Como f es
continua, f tiene máximo absoluto en C ∩ B ∗ (0, r), es decir, existe y0 ∈ C ∩ B ∗ (0, r) tal
que f (y0 ) ≥ f (x) para todo x ∈ C ∩ B ∗ (0, r). Veamos que y0 es máximo absoluto de f ,
es decir, que f (y0 ) ≥ f (x) para todo x ∈ C. Para ello, tenemos que ver que f (y0 ) ≥ f (x)
para todo x ∈ C con kxk > r. En efecto, si x ∈ C con kxk > r, entonces kxk > N y se
verifica que f (x) < f (x2 0 ) < f (x0 ) ≤ f (y0 ), siendo la última desigualdad cierta debido a que
x0 ∈ C ∩ B ∗ (0, r).

Por tanto, f tiene máximo en M .

Por otra parte, es claro que el máximo de f en M coincide con el máximo de f en S, donde
S = {(x, y, z) ∈ M : x > 0, y > 0, z > 0},
 3

y que dicho máximo es el valor que queremos determinar. Ahora calcularemos el máximo de f
en S, el cual existe, como hemos visto.

Estamos en las condiciones del teorema de los multiplicadores de Lagrange con G = (0, ∞)×
(0, ∞) × (0, ∞), f (x, y, z) = xyz y F (x, y, z) = xy + xz + yz − b (f es diferenciable y F es
de clase uno). Por lo tanto, si (x, y, z) es un máximo de f en S tenemos dos posibilidades:
(a) (x, y, z) es un punto de S en el que la matriz jacobiana de F no es de rango máximo,
es decir, no es de rango 1 (en nuestro caso, un punto en el que el gradiente de F en
(x, y, z) no es 0).
(b) (x, y, z) es un punto de S en el que el gradiente de F en x no es 0 y es solución de
(
∇f (x, y, z) = λ∇F (x, y, z)
(x, y, z) ∈ S
para algún λ.
Determinemos los puntos comprendidos en cada caso.

Para encontrar los puntos de (a) calculamos el gradientes de F :

∇F (x, y, z) = (y + z, x + z, x + y).
Es evidente que ∇F (x, y, z) = 0 si y solo si x = y = z = 0. Es claro que (0, 0, 0) 6∈ S y, en
consecuencia, no hay ningún punto que esté en las condiciones del apartado (a).
Pasamos ahora a determinar los puntos del apartado (b). Como hemos visto, ∇F (x, y, z) 6= 0
para todo (x, y, z) ∈ S.

Comenzamos calculando el gradiente de f :

∇f (x, y, z) = (yz, xz, xy).
Entonces el sistema que aparece en (b) es el siguiente:


 yz = λ(y + z)




 xz = λ(x + z)

xy = λ(x + y)


(A) : xy + xz + yz = b




 x>0



 y>0

z>0


Despejando de las tres primeras ecuaciones, nos queda

yz xz xy
λ= = =
y+z x+z x+y
4

y, en consecuencia,
y x z y
= y = .
y+z x+z x+z x+y
Resolviendo, obtenemos que x = y = z. Sustituyendo en xy + xz + yz = b, obtenemos
p
x = y = z = b/3
(la otra solución no está en G). p p p
En resumen, la solución del sistema
p (A) es ( b/3, b/3, b/3) y el valor máximo (el
volumen máximo) de f en S es b/3 b/3. Luego la caja con volumen máximo es un cubo

Solución del ejercicio:

p la cajapde mayor volumen de entre aquellas con área lateral a = 2b
es el cubo de arista b/3 = a/6.