Soluciones de los ejercicios del examen de Anlisis Matemtico

Primer curso de Ingeniera Informtica - Febrero de 2005

Ejercicio 1.
Dados los puntos A = (0, 3) y B = (2, 2), calcula el
camino ms corto para ir de A a B pasando por un
punto (x, 0) del eje de abscisas. Debes de justicar
que el mnimo calculado es un mnimo absoluto.
A
B
x
Solucin.
Hay que calcular el mnimo absoluto de la funcin
f (x) =
_
x
2
+9+
_
(x 2)
2
+4
en el intervalo [0, 2].
Como la funcin f es continua y [0, 2] es un intervalo cerrado y acotado, el teorema de valores
mximos y mnimos de Weierstrass nos asegura que tiene que haber algn punto x
0
[0, 2] en el cual la
funcin f tiene un mnimo absoluto en [0, 2], es decir, f (x
0
) f (x) para todo x[0, 2]. Dicho punto x
0
es el que debemos calcular. El punto x
0
puede ser uno de los extremos del intervalo o un punto interior
del intervalo.
Como la funcin f es derivable en todo R y, en particular, es derivable en ]0, 2[ los extremos relativos
de f en ]0, 2[ deben ser ceros de la derivada f

. Tenemos que
f

(x) =
x

x
2
+9
+
x 2
_
(x 2)
2
+4
=
x
_
(x 2)
2
+4+(x 2)

x
2
+9

x
2
+9
_
(x 2)
2
+4
Por tanto, los ceros de la derivada son los puntos que verican la igualdad
x
_
(x 2)
2
+4 = (2x)
_
x
2
+9 = x
2
_
(x 2)
2
+4
_
= (x 2)
2
(x
2
+9) =
x
2
(x 2)
2
+4x
2
= (x 2)
2
x
2
+9(x 2)
2
= 4x
2
= 9(x 2)
2
= 5x
2
36x +36 = 0 =
x =
36

36
2
2036
10
=
36

3616
10
=
3624
10
Obtenemos as que la derivada se anula en el punto x = 6 que queda fuera del intervalo [0, 2] y no nos
interesa, y en el punto x
0
= 6/5[0, 2]. Para ver si en este punto hay un extremo absoluto de f en [0, 2]
estudiaremos la variacin de f

en dicho intervalo.
Como para todo x[0, x
0
[ y para todo x]x
0
, 2] se tiene que f

(x) =0, y f

es continua, el teorema de
Bolzano implica que f

tiene signo constante en cada uno de esos intervalos. Como f

(0) <0 y f

(2) >0
se sigue que
f

(x) < 0 para todo x[0, x

0
[ = f es estrictamente decreciente en [0, x
0
]
f

(x) > 0 para todo x]x

0
, 2] = f es estrictamente creciente en [x
0
, 2]
Departamento de Anlisis Matemtico
Universidad de Granada
1 Anlisis Matemtico
1
o
Ingeniera Informtica
Ejercicios del examen del 4 de febrero de 2005 2
Tenemos por tanto que:
x[0, 2] =
_
x[0, x
0
] f (x) f (x
0
)
x[x
0
, 2] f (x
0
) f (x)
_
= f (x
0
) f (x)
Hemos probado as que la funcin f alcanza un mnimo absoluto en [0, 2] en el punto x
0
= 6/5.
Ejercicio 2. Sea F : R R la funcin denida por F(x) =
x

0
e
t
2
dt .
a) Calcula razonadamente F

(x), para xR.

b) Calcula el lmite lm
x0
F(x) x
x
2
.
c) Calcula una aproximacin de F(1/2) =
1/2

0
e
t
2
dt mediante P
4
(1/2), donde P
4
(x) es el polinomio
de Taylor de orden 4 de F en a = 0.
Solucin.
a) Como la funcin f (t) = e
t
2
es continua en todo R, el Teorema Fundamental del Clculo nos dice
que la funcin F(x) =
x

0
f (t)dt es una primitiva de f , es decir, F

(x) = f (x) = e
x
2
.
b) Usando la regla de LHpital, puesto que se trata de una indeterminacin del tipo 0/0, tenemos que
lm
x0
F(x) x
x
2
= lm
x0
F

(x) 1
2x
=
1
2
lm
x0
e
x
2
1
x
= 0
donde en el ltimo paso hemos tenido en cuenta que el lmite
lm
x0
e
x
2
1
x
es, por denicin, la derivada en a = 0 de la funcin f (x) = e
x
2
y, por tanto, es igual a f

(0) = 0.
Alternativamente, puede aplicarse otra vez la regla de LHpital para calcular dicho lmite porque sigue
siendo una indeterminacin del tipo 0/0.
c) Tenemos que
F

(x) = e
x
2
, F

(x) =2xe
x
2
, F

(x) = (2+4x
2
)e
x
2
, F
(4)
(x) = (12x 8x
3
)e
x
2
Como
P
4
(x) = F(0) +F

(0)x +
F (0)
2
x
2
+
F

(0)
3!
+
F
(4)
(0)
4!
x
4
= x
x
3
3
Obtenemos fcilmente que P
4
(1/2) =
11
24
que es la aproximacin pedida.
Departamento de Anlisis Matemtico
Universidad de Granada
Anlisis Matemtico
1
o
Ingeniera Informtica
Ejercicios del examen del 4 de febrero de 2005 3
Ejercicio 3. Sea la curva interseccin de la esfera x
2
+y
2
+z
2
= 1 y el plano x +y +z = 1. Calcula
los puntos de que estn ms cerca y ms lejos del punto (1, 2, 3). Justica que los resultados obtenidos
son valores mximos y mnimos absolutos.
Solucin. Se trata, claro est, de un problema de extremos condicionados pues nos piden calcular el
mnimo y el mximo absolutos de la funcin
_
(x 1)
2
+(x 2)
2
+(z 3)
2
, que nos da la distancia de
un punto (x, y, z) al punto (1, 2, 3), cuando el punto (x, y, z) est en la circunferencia interseccin de la
esfera x
2
+y
2
+z
2
1 = 0 con el plano x +y+z 1 = 0. A efectos de clculo, podemos ignorar la raz
cuadrada y considerar la funcin
f (x, y, z) = (x 1)
2
+(x 2)
2
+(z 3)
2
Tenemos dos condiciones. Formamos la funcin de Lagrange.
F(x, y, z, , ) = (x 1)
2
+(x 2)
2
+(z 3)
2
+(x
2
+y
2
+z
2
1) +(x +y +z 1)
Calculamos los puntos crticos de la funcin de Lagrange.
F
x
= 2(x 1) +2x + = 0 (1)
F
y
= 2(y 2) +2y + = 0 (2)
F
z
= 2(z 3) +2z + = 0 (3)
F

= x
2
+y
2
+z
2
1 = 0 (4)
F

= x +y +z 1 = 0 (5)
Haciendo la diferencia entre las ecuaciones (1) y (2), y entre las (2) y (3) obtenemos:
(x y)(2+2) +2 = 0
(y z)(2+2) +2 = 0
Estas ecuaciones implican que 2+2 = 0 y tambin que (x y)(2+2) = (y z)(2+2), por lo que
obtenemos que x y = y z, es decir, x = 2y z. Sustituyendo esta igualdad en la ecuacin (5), resulta
3y 1 = 0, por lo que y = 1/3. Por tanto la ecuacin (5) implica que x +z = 2/3, esto es, z = 2/3x.
Sustituyendo en la ecuacin (4) obtenemos que
x
2
+
1
9
+(2/3x)
2
= 0 9x
2
6x 2 = 0 =x =
1

3
3
Conocido el valor de x calculamos z por la igualdad z = 2/3x. Obtenemos as los puntos
A =
_
1+

3
3
,
1
3
,
1

3
3
_
, B =
_
1

3
3
,
1
3
,
1+

3
3
_
Como la funcin f es continua y la curva es un conjunto cerrado (coincide con su frontera) y acotado
(est contenido en la esfera unidad), es decir, es un compacto en R
3
, el teorema de Weierstrass de
Departamento de Anlisis Matemtico
Universidad de Granada
Anlisis Matemtico
1
o
Ingeniera Informtica
Ejercicios del examen del 4 de febrero de 2005 4
valores mximos y mnimos asegura que tiene que haber puntos en donde la funcin f alcance un m-
ximo y un mnimo absolutos. Sabemos tambin, por el teorema de Lagrange para el clculo de extremos
condicionados, que dichos extremos deben ser puntos crticos de la funcin de Lagrange. Concluimos
que los puntos buscados tiene que ser necesariamente los puntos A y B. Para saber cul de ellos es el
mximo y cul es el mnimo absolutos evaluamos la funcin an ambos puntos y obtenemos
f (A) = 11+
4

3
, f (B) = 11
4

3
Concluimos que en el punto A es el punto de que est ms lejos del punto (1, 2, 3) y el punto B es el
punto de que est ms cerca del punto (1, 2, 3).
Ejercicio 4. Calcula el volumen de la regin de R
3
situada sobre el plano XY, que queda bajo la grca
de la funcin z =
4x
2
y
2
(x
2
+y
2
)
3/2
, es interior al cilindro (x 1)
2
+y
2
= 1 y exterior al cilindro x
2
+y
2
= 1.
Solucin. Representemos con la letra la regin de R
3
que se describe en el enunciado. Dicha regin
es un conjunto de tipo I en R
3
pues, representando por A el conjunto de R
2
dado por
A =
_
(x, y)R
2
: (x 1)
2
+y
2
1, x
2
+y
2
1
_
(proyeccin de sobre el plano XY)
tenemos que
=
_
(x, y, z)R
3
: (x, y)A, 0 z
4x
2
y
2
(x
2
+y
2
)
3/2
_
Por tanto el volumen de viene dado por la integral
I =

A
4x
2
y
2
(x
2
+y
2
)
3/2
d(x, y)
la cual se calcula fcilmente. Pasando a coordenadas polares tenemos que
I =

B
4
2

3
d(, ) =

B
_
4

1
_
d(, )
Departamento de Anlisis Matemtico
Universidad de Granada
Anlisis Matemtico
1
o
Ingeniera Informtica
Ejercicios del examen del 4 de febrero de 2005 5
Figura 1: El conjunto A
donde B es el conjunto dado por
B =
_
(, )R
+
] , [: (cos, sen)A
_
=
_
(, )R
+
] , [: 1 2cos
_
=
=
_
(, )R
+
] , [: 1 2cos, cos 1/2
_
=
={(, ) : 1 2cos, /3 /3}
Por tanto

B
_
4

1
_
d(, ) =
/3

/3
_
2cos

1
_
4

1
_
d
_
d =
/3

/3
_
12cos
4

_
=2cos
=1
d =
=
/3

/3
_
52cos
2
cos
_
d =
10
3
2

32
/3

/3
1
cos
d
Todo lo que queda es calcular la integral ltima. Se trata de una tpica y sencilla integral racional trigo-
nomtrica que es impar en coseno. Sabemos que el cambio de variable sen = t la racionaliza. Aprove-
chamos tambin que la funcin coseno es par.
/3

/3
1
cos
d = 2
/3

0
cos
cos
2
()
d = 2
/3

0
cos
1sen
2
()
d =
= [sen =t] = 2

3/2

0
1
1u
2
du =

3/2

0
_
1
1+u
+
1
1u
_
du =
=
_
log
_
1+u
1u
__
u=

3/2
u=0
= log
_
2+

3
2

3
_
Finalmente obtenemos
I =
10
3
2

32log
_
2+

3
2

3
_
Departamento de Anlisis Matemtico
Universidad de Granada
Anlisis Matemtico
1
o
Ingeniera Informtica