Captulo 1

Extremos de varias variables

Problema 1 Encontrar los extremos absolutos de la funcin f(x, y) = xy
2
en el conjunto
A = {(x, y) IR
2
: x
2
+ y
2
4, x 5/3}.

Solucin:
En primer lugar representamos el conjunto A. Para ello hallamos las intersecciones entre las
dos curvas que lo denen

x
2
+ y
2
= 4
x =
5
3
= y =

11
3
.
Luego las curvas se intersecan en los puntos

5
3
,

11
3

.
La curva x
2
+y
2
= 4 es una circunferencia de radio 2 y centro (0, 0) y la curva x = 5/3 es
una recta vrtical.
Ntese que f es una funcin continua (es una funcin polinmica) y A es un conjunto
compacto. Por tanto el Teorema de Weierstrass asegura la existencia de extremos absolutos,
que se encontrarn entre los puntos siguientes:
(i) Vrtices del conjunto A:

5
3
,

11
3

.
(ii) Extremos libre de f en el interior de A:
5
6 ndice general
y
2
0
-2
x
3 2 1 0 -1 -2 -3
Como estamos bajo hiptesis de diferenciabilidad podemos aplicar la condicin necesaria de
extremo libre
f
x
= y
2
= 0
f
y
= 2yx = 0

= (a, 0), para toda a

5
3
, 2

.
(iii) Extremos condicionados en las distintas fronteras.
(iii.1) Frontera descrita por la curva x = 5/3. Como la funcin x es explcita podemos
sustituir en la funcin.
h(y) = f(x = 5/3, y) =
5
3
y
2
= h

(y) =
10
3
y = 0 = y = 0.
Luego el candidato a extremo en esta frontera es:

5
3
, 0

.
(iii.2) Frontera descrita por x
2
+y
2
= 4. Como ninguna de las variables es explcita tenemos
que aplicar la regla de los multiplicadores de Lagrange para buscar los candidatos a extremos.
La funcin de Lagrange es
L(x, y) = xy
2
+ (x
2
+ y
2
4).
La condicin necesaria de extremo condicionado es:
L
x
= y
2
+ 2x = 0
L
y
= 2yx + 2y = 0
x
2
+ y
2
= 4

=
y = 0
o
= x
Si = x, de la primera ecuacin obtenemos que y
2
= 2x
2
y subtituyendo en la ltima
x =
2

3
3
e y =
2

6
3
.
ndice general 7
Si y = 0. Sustituyendo en la condicin tenemos que x = 2. Pero el punto (2, 0) no es del
dominio. Luego los candidatos a extremo son

3
3
,
2

6
3

, (2, 0).
Para nalizar basta valorar la funcin en los puntos obtenidos:
(x, y) f(x, y)

5
3
,

11
3

55
27
(a, 0) 0

5
3
, 0

3
3
,
2

6
3

48

3
27
Mximo absoluto

3
3
,
2

6
3

48

3
27
Mnimo absoluto
(2, 0) 0
Problema 2 Encontrar los extremos absolutos de la funcin f(x, y) = (x 2)
2
+ y
2
en el
conjunto
A = {(x, y) IR
2
: y
2
x 9, 3x 4y + 12 0, 3x + 4y + 12 0}.

Solucin:
En primer lugar representamos el conjunto A. Para ello hallamos las intersecciones entre las
curvas que lo denen

y
2
x = 9
3x 4y + 12 = 0
= (0, 3), (56/9, 5/3).
8 ndice general

y
2
x = 9
3x + 4y + 12 = 0
= (0, 3), (56/9, 5/3).

3x 4y + 12 = 0
3x + 4y + 12 = 0
= (4, 0).
La curva y
2
x = 9 es una parbola y las otras dos curvas son rectas.
y
x
2
0
0
-2
-4 -8
Ntese que f es una funcin continua (es una funcin polinmica) y A es un conjunto
compacto. Por tanto el Teorema de Weierstrass asegura la existencia de extremos absolutos,
que se encontrarn entre los puntos siguientes:
(i) Vrtices del conjunto A:

56
9
,
5
3

y (4, 0).
(ii) Extremos libre de f en el interior de A:
Como estamos bajo hiptesis de diferenciabilidad podemos aplicar la condicin necesaria de
extremo libre
f
x
= 2(x 2) = 0
f
y
= 2y = 0

= (2, 0) /

A .
(iii) Extremos condicionados en las distintas fronteras.
(iii.1) Frontera descrita por la curva 3x4y+12 = 0. Como la funcin y es explcita podemos
sustituir en la funcin.
h(x) = f(x, y =
3x 12
4
) = (x2)
2
+
9
16
(x4)
2
= h

(x) = 2(x2)+
9
8
(x4) = 0 = x =
68
25
.
Luego no hay candidato a extremo en esta frontera ya que x =
68
25
> 4.
ndice general 9
(iii.2) Frontera descrita por la curva 3x+4y+12 = 0. Como la funcin y es explcita podemos
sustituir en la funcin.
h(x) = f(x, y =
3x + 12
4
) = (x2)
2
+
9
16
(x+4)
2
= h

(x) = 2(x2)+
9
8
(x+4) = 0 = x =
4
25
.
Luego no hay candidato a extremo en esta frontera ya que x =
4
25
> 4.
(iii.3) Frontera descrita por y
2
x = 9. Como la funcin x es explcita podemos sustituir en
la funcin.
k(y) = f(x = y
2
9, y) = (y
2
11)
2
+y
2
= k

(y) = 4y(y
2
11)+2y = 0 = y = 0, y =

21
2
.
Si y =

21
2
, entonces x =
3
2
. Luego el nico candidato a extremo en esta frontera es (9, 0).
Para nalizar basta valorar la funcin en los puntos obtenidos:
(x, y) f(x, y)

56
9
,
5
3

5071
81
mximo absoluto
(4, 0) 4 mnimo absoluto
(9, 0) 49
Problema 3 Encontrar los extremos absolutos de la funcin f(x, y) = (x + 1)
2
+ y
2
en el
conjunto
A = {(x, y) IR
2
: (x + 3)
2
+ y
2
16, y
2
2x + 14}.

Solucin:
En primer lugar representamos el conjunto A. Para ello hallamos las intersecciones entre las
dos curvas que lo denen

(x + 3)
2
+ y
2
= 16
y
2
= 2x + 14
= (x + 3)
2
+ 2x + 14 = 16 = x
2
+ 8x + 7 = 0 = x =

1
7
Luego las curvas se intersecan en los puntos (1, 2

3), (7, 0).

10 ndice general
x
8 4 0 -4 -8
y
5
0
-5
La curva (x + 3)
2
+ y
2
= 16 es una circunferencia de radio 4 y centro (3, 0) y la curva
y
2
= 2x + 14 es una parbola con vrtice en (7, 0).
Ntese que f es una funcin continua (es una funcin polinmica) y A es un conjunto
compacto. Por tanto el Teorema de Weierstrass asegura la existencia de extremos absolutos,
que se encontrarn entre los puntos siguientes:
(i) Vrtices del conjunto A: (1, 2

3), (7, 0)
(ii) Extremos libre de f en el interior de A:
Como estamos bajo hiptesis de diferenciabilidad podemos aplicar la condicin necesaria de
extremo libre
f
x
= 2(x + 1) = 0
f
y
= 2y = 0

= (1, 0) A.
(iii) Extremos condicionados en las distintas fronteras.
(iii.1) Frontera descrita por la curva x = y
2
/2 7. Como la funcin x es explcita podemos
sustituir en la funcin.
h(y) = f(x = y
2
/2 7, y) = (y
2
/2 6)
2
+ y
2
= h

(y) = 2(y
2
/2 6)y + 2y = 0
=

y = 0 = (7, 0)
y
2
10 = 0 = y =

10 = (2,

10)
Luego los candidatos a extremo en esta frontera son: (2,

10).
(iii.2) Frontera descrita por (x + 3)
2
+ y
2
= 16. Como ninguna de las variables es explcita
tenemos que aplicar la regla de los multiplicadores de Lagrange para buscar los candidatos a
extremos. La funcin de Lagrange es
L(x, y) = (x + 1)
2
+ y
2
+ ((x + 3)
2
+ y
2
16).
ndice general 11
La condicin necesaria de extremo condicionado es:
L
x
= 2(x + 1) + 2(x + 3) = 0
L
y
= 2y + 2y = 0
(x + 3)
2
+ y
2
= 16

=
y = 0
o
= 1
Si = 1 llegamos a una contradiccin en la primera ecuacin de la izquierda. Por tanto, y = 0.
Sustituyendo en la condicin tenemos que x = 7 o x = 1. Luego el candidato a extremo es
(1, 0).
Para nalizar basta valorar la funcin en los puntos obtenidos:
(x, y) f(x, y)
(7, 0) 36 Mximo absoluto
(2,

10) 11
(1, 2

3) 12
(1, 0) 0 Mnimo absoluto
(1, 0) 4
Problema 4 Encontrar los extremos locales de la funcin implcita z = z(x, y) denida por la
ecuacin
f(x, y, z) = x
2
4x + y
2
2y + 6z z
2
= 0

Solucin: En primer lugar hallamos los valores de (x, y, z) para los que se verica que z =
z(x, y). Para ello aplicamos el Teorema de la Funcin Implcita a la ecuacin f(x, y, z) =
x
2
4x + y
2
2y + 6z z
2
= 0.
(i) Tenemos que considerar puntos (x, y, z) IR
3
tales que x
2
4x +y
2
2y +6z z
2
= 0,
esto nos permitir encontrar z cuando hallemos x e y.
(ii) Las parciales de la funcin f existen y son continuas
f
x
= 2x 4,
f
y
= 2y 2,
f
z
= 6 2z
12 ndice general
(iii) Debe vericarse que
f
z
= 6 2z = 0,
Por tanto z = z(x, y) para todo (x, y, z) IR
3
tales que x
2
4x + y
2
2y + 6z z
2
= 0 y
z = 3.
Procedemos a calcular los extremos locales de la funcin z = z(x, y) para los puntos anteri-
ores, utilizando las derivadas de z que nos proporciona el Teorema de la Funcin Implcita:
(a) Condicin necesaria de extremo:
0 =
z
x
=
f
x
f
z
=
x 2
z 3
0 =
z
y
=
f
y
f
z
=
y 1
z 3

= (x, y) = (2, 1)
=
T.F.I.
48+12+6zz
2
= 0 = z =

5
1
Por tanto tenemos dos posibles funciones de z. Para z
1
= z
1
(x, y) el punto estacionario es (2, 1)
con z
1
= 5 y Para z
2
= z
2
(x, y) el punto estacionario es (2, 1) con z
1
= 1. Para clasicar estos
puntos debemos calcular las derivadas parciales de segundo orden, derivando implcitamente en
las de primer orden.

2
z
x
2
=
z 3 (x 2)
z
x
(z 3)
2

2
z
xy
=
(x 2)
z
y
(z 3)
2

2
z
y
2
=
z 3 (y 1)
z
y
(z 3)
2
Con las derivadas parciales segundas construimos el Hessiano de z
Hz(x, y) =

2
z
x
2

2
z
xy

2
z
xy

2
z
y
2

que debemos valorar en los puntos estacionarios teniendo en cuenta que en estos puntos las
parciales primeras de z son nulas (C.N. de extremo).
( b) Condiciones sucientes de extremo:
Para (2, 1, 5)
ndice general 13
Hz
1
=

1/2 0
0 1/2

1
= 1/2 > 0

2
= 1/4 > 0
= (2, 1, 5) es un mnimo local de z
1
.
Para (2, 1, 1)
Hz
2
=

1/2 0
0 1/2

1
= 1/2 < 0

2
= 1/4 > 0
= (2, 1, 1) es un mximo local de z
2
.
Problema 5 Encontrar los extremos absolutos de la funcin f(x, y) = x
2
+(y1)
2
en la regin
A = {(x, y) IR
2
: y 1, y x
2
1, x
2
y
2
1}.

Solucin: Determinamos en primer lugar como es el conjunto A donde debemos calcular los
extremos. Para ello buscamos los puntos de corte de las diferentes curvas que denen el dominio.
(a)

y = x
2
1
y = 1
= x
2
= 2.
Luego los puntos de corte son (

2, 1) y (

2, 1).
(b)

y = 1
x
2
y
2
= 1
= x
2
= 2.
Luego los puntos de corte son los mismos que antes.
(c)

y = x
2
1
x
2
y
2
= 1
= y + 1 y
2
= 1 = y = 0, y = 1.
Luego los puntos de corte son (1, 0), (1, 0), (

2, 1) y (

2, 1).
Ntese que f es una funcin continua (es una funcin polinmica) y A es un conjunto
compacto. Por tanto el Teorema de Weierstrass asegura la existencia de extremos absolutos,
que se encontrarn entre los puntos siguientes:
(i) Vrtices del conjunto A: (1, 0), (1, 0), (

2, 1) y (

2, 1).
(ii) Extremos libre de f en el interior de A:
14 ndice general
x
y
1
1
0
0
-1
-1
Como estamos bajo hiptesis de diferenciabilidad podemos aplicar la condicin necesaria de
extremo libre
f
x
= 2x = 0
f
y
= 2(y 1) = 0

=
x = 0
y = 1
= (0, 1)

A .
(iii) Extremos condicionados en las distintas fronteras.
(iii.1) Frontera descrita por la curva y = x
2
1 con x (

2, 1) (1,

2). Como la
funcin es explcita podemos sustituir en la funcin.
h(x) = f(x, y = x
2
1) = x
2
+(x
2
2)
2
= h

(x) = 2x+4(x
2
2)x = 0 = x = 0, x =

3
2
.
Como x = 0 no pertenece al intervalo que estamos estudiando lo descartamos. Luego los can-
didatos a extremo en esta frontera son:

3
2
,
1
2

.
(iii.2) Frontera descrita por x
2
y
2
= 1 con x (

2, 1) (1,

2). Como ninguna de

las variables es explcita tenemos que aplicar la regla de los multiplicadores de Lagrange para
buscar los candidatos a extremos. La funcin de Lagrange es
L(x, y) = x
2
+ (y 1)
2
+ (x
2
y
2
1).
La condicin necesaria de extremo condicionado es:
L
x
= 2x + 2x = 0
L
y
= 2(y 1) 2y = 0
x
2
y
2
= 1

=
x = 0
o
= 1
Si x = 0 llegamos a una contradiccin en la tercera ecuacin de la izquierda. Por tanto, = 1.
Sustituyendo en la segunda ecuacin tenemos que y = 1/2 y de la consicin tenemos que
ndice general 15
x =

5
2
. Luego los candidatos a extremo en esta frontera son:

5
2
, 1/2

Para nalizar basta valorar la funcin en los puntos obtenidos:

(x, y) f(x, y)
(1, 0) 2 Mximos absolutos

2, 1

2 Mximos absolutos

5
2
, 1/2

3/2

3
2
, 1/2

5/4 Mnimo absoluto

Problema 6 Hallar los extremos absolutos de f(x, y) = (x 1)
2
+ y
2
sobre el conjunto T =
{(x, y) IR
2
: y x, y
2
2x, (x 2)
2
+ y
2
4}.

Solucin: Determinamos en primer lugar como es el conjunto T donde debemos calcular los
extremos. Para ello buscamos los puntos de corte de las diferentes curvas que denen el dominio.
(a)

y
2
= 2x
y = x
= x
2
= 2x = x = 0, x = 2.
Luego los puntos de corte son (0, 0) y (2, 2).
(b)

y = x
(x 2)
2
+ y
2
= 4
= 2x
2
4x = 0 = x = 0, x = 2.
Luego los puntos de corte son los mismos que antes.
(c)

y
2
= 2x
(x 2)
2
+ y
2
= 4
= x
2
2x = 0 = x = 0, x = 2.
16 ndice general
x
4 2
y
0
2
0
-2
Luego los puntos de corte son (0, 0), (2, 2).
Ntese que f es una funcin continua (es una funcin polinmica) y T es un conjunto
compacto. Por tanto el Teorema de Weierstrass asegura la existencia de extremos absolutos,
que se encontrarn entre los puntos siguientes:
(i) Vrtices del conjunto T: (0, 0), (2, 2) y (2, 2).
(ii) Extremos libre de f en el interior de T: Como estamos bajo hiptesis de diferenciabilidad
podemos aplicar la condicin necesaria de extremo libre
f
x
= 2(x 1) = 0
f
y
= 2y = 0

=
x = 1
y = 0
= (0, 1)

T
(iii) Extremos condicionados en las distintas fronteras.
(iii.1) Frontera descrita por la curva y = x con x (0, 2). Como la funcin es explcita
podemos sustituir en la funcin.
h(x) = f(x, y = x) = (x 1)
2
+ x
2
= 2x
2
2x + 1 = h

(x) = 4x 2 = 0 = x = 1/2.
Luego el candidato a extremo en esta frontera es: (1/2, 1/2).
(iii.2) Frontera descrita por la curva y
2
= 2x con y (0, 2). Como la funcin es explcita
podemos sustituir en la funcin.
k(y) = f(x = y
2
/2, y) = (
y
2
2
1)
2
+y
2
= k

(y) = 2(y
2
/2 1)y +2y = y
3
= 0 = y = 0.
Luego el candidato a extremo en esta frontera es: (0, 0), pero ya lo tenemos como vrtice.
(iii.3) Frontera descrita por (x 2)
2
+y
2
= 4 con x (2, 4). Como ninguna de las variables
es explcita tenemos que aplicar la regla de los multiplicadores de Lagrange para buscar los
candidatos a extremos. La condicin necesaria de extremo condicionado es:
f
x
=
g
x
f
y
=
g
y
g(x, y) = (x 2)
2
+ y
2
= 4

=
x 1 = (x 2)
y = y
(x 2)
2
+ y
2
= 4

=
y = 0 = x = 0, 4
o
= 1 = no existen puntos
ndice general 17
Luego los candidatos a extremos en esta frontera son:(0, 4) y (0, 0), pero el (0, 0) ya lo hemos
considerado.
Para nalizar basta valorar la funcin en los puntos obtenidos:
(x, y) f(x, y)
(1, 0) 0 Mnimo absoluto
(1/2, 1/2) 1/2
(4, 0) 9 Mximo absoluto
(0, 0) 1
(2, 2) 5
(2, 2) 5
Problema 7 Hallar los extremos absolutos de f(x, y) = x
2
2y
2
sobre el conjunto T =
{(x, y) IR
2
: y
x
2
4
, x
2
y
2
3, x
2
+ y
2
12}.

Solucin: Determinamos en primer lugar como es el conjunto T donde debemos calcular los
extremos. Para ello buscamos los puntos de corte de las diferentes curvas que denen el dominio.
(a)

4y = x
2
x
2
y
2
= 3
= y
2
4y + 3 = 0 = y = 1, y = 3.
Luego los puntos de corte son (2, 1) y (2

3, 3), pero en (2

3, 3), x
2
+ y
2
> 12 =
(2

3, 3) / T.
(b)

4y = x
2
x
2
+ y
2
= 12
= y
2
+ 4y 12 = 0 = y = 2, y = 6.
Luego los puntos de corte son (2

2, 2).
(c)

x
2
y
2
= 3
x
2
+ y
2
= 12
= 2x
2
= 15 = x =

15
2
.
18 ndice general
Luego los puntos de corte son (

15
2
,
3

2
), pero en (

15
2
,
3

2
), y > x
2
/4 = (

15
2
,
3

2
) /
T.
x
4 3 2 1 0 -1 -2 -3 -4
y
4
2
0
-2
-4
Ntese que f es una funcin continua (es una funcin polinmica) y T es un conjunto
compacto. Por tanto el Teorema de Weierstrass asegura la existencia de extremos absolutos,
que se encontrarn entre los puntos siguientes:
(i) Vrtices del conjunto T: (2, 1), (2

2, 2) y (

15
2
,
3

2
).
(ii) Extremos libre de f en el interior de T: Como estamos bajo hiptesis de diferenciabilidad
podemos aplicar la condicin necesaria de extremo libre
f
x
= 2x = 0
f
y
= 4y = 0

=
x = 0
y = 0
= (0, 0) /

T
(iii) Extremos condicionados en las distintas fronteras.
(iii.1) Frontera descrita por la curva y = x
2
/4. Como la funcin es explcita sustituimos en la
funcin.
h(x) = f(x, y = x
2
/4) = x
2

x
4
8
= h

(x) = 2x
x
3
2
= 0 = x = 0 / T, x = 2.
Luego no hay candidatos a extremos en esta frontera ya que (2, 1) son vrtices.
(iii.2) Frontera descrita por la curva x
2
+ y
2
= 12. Como ninguna de las variables es explcita
tenemos que aplicar la regla de los multiplicadores de Lagrange para buscar los candidatos a
extremos. La condicin necesaria de extremo condicionado es:
f
x
=
g
x
f
y
=
g
y
g(x, y) = x
2
+ y
2
= 12

=
2x = 2x
4y = 2y
x
2
+ y
2
= 12

=
x = 0 = y =

12 / T
o
= 1 = y = 0, x =

12
Luego el candidato a extremo en esta frontera es: (

12, 0).
ndice general 19
(iii.3) Frontera descrita por x
2
y
2
= 3. Procedemos como en el apartado anterior
2x = 2x
4y = 2y
x
2
y
2
= 3

=
x = 0 = y
o
= 1 = y = 0, x =

3
Luego los candidatos a extremos en esta frontera son: (

3, 0).
(x, y) f(x, y)
(2, 1) 2
(2

2, 2) 0 Mnimos absolutos
(

15
2
,
3

5
) 39/10
(

12, 0) 12 Mximos absolutos

(

3, 0) 3
Problema 8 Calcular la distancia mnima y mxima del punto (1, 0) al conjunto
A = {(x, y) IR
2
: (x 2)
2
+ y
2
4, 2y 6 x, x 3}.

Solucin: La funcin que debemos optimizar es d((x, y), (1, 0)) = ((x1)
2
+y
2
)
1/2
. Pero para
simplicar los calculos podemos considerar
f(x, y) = (x 1)
2
+ y
2
,
ya que los puntos extremos de ambas funciones son los mismos.
Determinamos en primer lugar como es el conjunto A donde debemos calcular los extremos.
Para ello buscamos los puntos de corte de las diferentes curvas que denen el dominio.
(a)

(x 2)
2
+ y
2
= 4
2y = 6 x
= (x 2)
2
+
(6 x)
2
4
= 4 = 5x
2
28x + 36 = 0.
20 ndice general
Luego los puntos de corte son (2, 2) y

18
5
,
6
5

.
(b)

(x 2)
2
+ y
2
= 4
x = 3
= y
2
= 3.
Luego los puntos de corte son (3,

3) y (3,

3).
(c)

x = 3
2y = 6 x
.
Luego el punto de corte es

3,
3
2

.
y
2
0
x
-2
4 2 0
Notese que f es una funcin continua (es una funcin polinmica) y A es un conjunto
compacto. Por tanto el Teorema de Weierstrass asegura la existencia de extremos absolutos,
que se encontrarn entre los puntos siguientes:
(i) Vrtices del conjunto A:
(2, 2), (3, 3/2) y (3,

3)
(ii) Extremos libre de f en el interior de A:
Como estamos bajo hiptesis de diferenciabilidad podemos aplicar la condicin necesaria de
extremo libre
f
x
= 2(x 1) = 0
f
y
= 2y = 0

= (1, 0) A.
(iii) Extremos condicionados en las distintas fronteras.
ndice general 21
(iii.1) Frontera descrita por la curva x = 3 con y [

3, 3/2]. Como la funcin es explcita

podemos sustituir en la funcin.
h(y) = f(3, y) = 4 + y
2
= h

(y) = 2y = 0 = y = 0.
Luego el candidato a extrmo en esta frontera es: (3, 0)
(iii.2) Frontera descrita por la curva 2y = 6 x con x [2, 3]. De nueva podemos sustituir
la condicin en la funcin.
k(x) = (x 1)
2
+
(6 x)
2
4
= k

(x) = 2(x 1)
1
2
(6 x) = 0 = x = 2.
Pero este punto es un vrtice del conjunto y ya est considerado en (i).
(iii.3) Frontera descrita por (x 2)
2
+ y
2
= 4 con x [2, 3]. Como ninguna de las variables
es explcita tenemos que aplicar la regla de los multiplicadores de Lagrange para buscar los
candidatos a extremos. La funcin de Lagrange es
L(x, y) = (x 1)
2
+ y
2
+ ((x 2)
2
+ y
2
).
La condicin necesaria de extremo condicionado es:
L
x
= 2(x 1) + 2(x 2) = 0
L
y
= 2y + 2y = 0
(x 2)
2
+ y
2
= 4

=
y = 0
o
= 1
Si = 1 llegamos a una contradiccin en la primera ecuacin de la izquierda. Por tanto,
y = 0. Sustituyendo en la condicin tenemos que x = 4 o x = 0. Pero el punto (4, 0) no est en
la frontera que estamos considerando. Luego el candidato a extremo es (0, 0).
Para nalizar basta valorar la funcin en los puntos obtenidos:
La distancia mxima es

7 y la mnima 0.
Problema 9 Sea f : IR
2
IR la funcin denida por:
f(x, y) = 4y 2x x
2
y.
(i) Calcular los extremos de f en IR
2
.
(ii) Calcular los extremos de f sobre el conjunto {(x, y) IR
2
: 4y + x = 0}.

Solucin:
22 ndice general
(x, y) f(x, y)
(2, 2) 5
(3, 3/2) 6, 25
(3,

3) 7 Mximo absoluto
(1, 0) 0 Mnimo absoluto
(3, 0) 4
(0, 0) 1
(i) Como la funcin f es polinmica es diferenciable de cualquier orden y podemos aplicar
las condiciones necesaria y suciente para el clculo de extremos libre.
(a) Condicin necesaria:
f
x
= 2 2xy = 0
f
y
= 4 x
2
= 0

2,
1
2

2,
1
2

.
(a) Condicin suciente:
Hf(x, y) =

2
f
x
2

2
f
xy

2
f
xy

2
f
y
2

2y 2x
2x 0

Valoramos el hessiano en cada una de los candidatos a extremos.

Hf

2,
1
2

1 4
4 0

.
Como el determinante es 16 < 0, el punto es un punto de silla de la funcin.
ndice general 23
Hf

2,
1
2

1 4
4 0

.
Como el determinante es 16 < 0, el punto es un punto de silla de la funcin.
(ii) En este caso se trata de un problema de extremos condicionados, pero como la condicin
es explcita podemos sustituirla directamente en la funcin.
h(y) = f(x = 4y, y) = 12y 16y
3
= h

(y) = 12 48y
2
= 0 = y =
1
2
.
Para estudiar el carcter del punto estacionario calculamos la derivada segunda.
h

(y) = 96y = h

1
2

= 48.
Por tanto, el punto

2,
1
2

es un mximo relativo de f sobre la recta 4y + x = 0.

h

(y) = 96y = h

1
2

= 48.
Por tanto, el punto

2,
1
2

es un mnimo relativo de f sobre la recta 4y + x = 0.