118 Matematicas I : Calculo diferencial en IR

Anexo 2: Demostraciones
Funciones reales de variable real
Demostracion de: Propiedades del valor absoluto 178 de la pagina 84
Propiedades del valor absoluto 178.-
a) |a| 0, a y |a| = 0 a = 0 b) |ab| = |a| |b| c)

a
1

= |a|
1
d) |a| k k a k e) |a + b| |a| +|b| f)

|a| |b|

|a b|
Demostracion:
a) |a| 0 por la denicion. Para la segunda parte, si |a| = 0, o bien a = |a| = 0, o bien a = |a| = 0,
luego necesariamente a = 0; la otra implicacion es obvia pues |0| = 0.
b) Consideremos los casos: si a 0 y b 0 se tiene |ab| = ab = |a| |b| ; si a 0 y b 0 se tiene
|ab| = ab = (a)(b) = |a| |b| ; y si a 0 y b 0, entonces |ab| = ab = (a)b = |a| |b| .
c) De 1 = |1| =

a
1
a

a
1

|a| , se obtiene el resultado.

d) Si |a| k, o a = |a| k que cumple la segunda desigualdad o a = |a| k, pero entonces k a y se
cumple la primera. Si k a k, se tiene k a k, por lo que k |a| k.
e) Como x, x |x| , o |a + b| = a + b |a| +|b| , o bien |a + b| = a b |a| +|b| = |a| +|b| .
f) |a| = |a b + b| |a b| + |b| , luego |a| |b| |a b| ; y con b se tiene |b| |a| |b a| . Luego
|a b| = |b a| (|b| |a|) = |a| |b| |a b| y por d) se concluye la prueba
Demostracion de: Proposicion 194 de la pagina 90
Proposicion 194.- Sean f, g, h: A IR y x
0
un punto de acumulacion de A.
1.- Si f(x) g(x) h(x) en A y lm
xx
0
f(x) = L = lm
xx
0
h(x), entonces lm
xx
0
g(x) = L
2.- Si g esta acotada en A y lm
xx
0
f(x) = 0, entonces lm
xx
0
g(x) f(x) = 0
Demostracion:
1.- Si lm
xx
0
f(x) = L = lm
xx
0
h(x), entonces para cada > 0:
existe
1
tal que si 0 < |x x
0
| <
1
, entonces L < f(x) < L +
existe
2
tal que si 0 < |x x
0
| <
2
, entonces L < h(x) < L +
luego tomado = mn{
1
,
2
}, si 0 < |x x
0
| < , entonces L < h(x) g(x) f(x) < L + .
2.- Si g esta acotada, existe K > 0 tal que |g(x)| K, para todo x, luego se verica que
0 |g(x)f(x)| K|f(x)| , para todo x
Por el apartado anterior, si probamos que lm
xx
0
K|f(x)| = 0, entonces lm
xx
0
|g(x)f(x)| = 0 y se tiene que
lm
xx
0
g(x)f(x) = 0 (por la proposicion 193).
Prof: Jose Antonio Abia Vian I.T.I. en Electricidad
119 Matematicas I : Calculo diferencial en IR Anexo 2
Como lm
xx
0
f(x) = 0 lm
xx
0
|f(x)| = 0, para cada > 0 existe > 0, tal que si 0 < |x x
0
| < se
verica que |f(x)| <

K
. Entonces, si 0 < |x x
0
| < se tiene que
|K|f(x)| 0| = K|f(x)| < K

K
=
lo que concluye la prueba.
Demostracion de: Propiedades 195 de la pagina 90
Propiedades 195.- Si lm
xx
0
f(x) = L
1
IR y lm
xx
0
g(x) = L
2
IR, entonces:
a) lm
xx
0
[f(x) + g(x)] = lm
xx
0
f(x) + lm
xx
0
g(x) = L
1
+ L
2
.
b) lm
xx
0
[f(x) g(x)] = lm
xx
0
f(x) lm
xx
0
g(x) = L
1
L
2
.
c) lm
xx
0
f(x)
g(x)
=
lm
xx
0
f(x)
lm
xx
0
g(x)
=
L
1
L
2
, siempre que L
2
= 0.
Demostracion:
1.- Por la denicion de lmite, tenemos que
lm
xx
0
f(x) = L
1
para cada > 0,
1
> 0 tal que si 0 < |x x
0
| <
1
= |f(x) L
1
| <

2
lm
xx
0
g(x) = L
2
para cada > 0,
2
> 0 tal que si 0 < |x x
0
| <
2
= |g(x) L
2
| <

2
luego tomando = mn{
1
,
2
}, tenemos que: para cada > 0 existe = mn{
1
,
2
} > 0 tal que si
0 < |x x
0
| < (luego menor que
1
y menor que
2
), entonces
|(f(x) + g(x)) (L
1
+ L
2
)| = |f(x) L
1
+ g(x) L
2
| |f(x) L
1
| +|g(x) L
2
| <

2
+

2
=
2.- Como lm
xx
0
f(x)g(x) = L
1
L
2
lm
xx
0
_
f(x)g(x) L
1
L
2
_
= 0, veamos esto ultimo. Pero
f(x)g(x) L
1
L
2
= f(x)g(x) L
2
f(x) + L
2
f(x) L
1
L
2
= f(x)(g(x) L
2
) + L
2
(f(x) L
1
)
y sabemos que lm
xx
0
(f(x)L
1
) = 0, lm
xx
0
(g(x)L
2
) = 0, f(x) esta acotada en alg un entorno de x
0
(Th
de acotacion) y L
2
es constante. Por el segundo resultado de la Proposicion 194, lm
xx
0
f(x)(g(x)L
2
) = 0
y lm
xx
0
L
2
(f(x) L
1
) = 0, luego lm
xx
0
_
f(x)g(x) L
1
L
2
_
= 0 + 0 = 0.
3.- Por ser
f(x)
g(x)
= f(x)
1
g(x)
, por el apartado anterior, basta probar que lm
xx
0
1
g(x)
=
1
L
2
.
Como
1
g(x)

1
L
2
=
L
2
g(x)
g(x)L
2
=
1
g(x)L
2
(L
2
g(x)), lm
xx
0
(g(x) L
2
) = 0 y L
2
es constante, si probamos que
la funcion
1
g(x)
esta acotada en un entorno de x
0
, por la Proposicion 194 tendremos que lm
xx
0
1
g(x)L
2
(L
2

g(x)) = lm
xx
0
_
1
g(x)

1
L
2
_
= 0, lo que prueba el resultado.
En efecto, si L
2
= 0, por el teorema del signo, o bien K < g(x) < k < 0 si L
2
< 0, o bien
0 < k < g(x) < K si L
2
> 0. Entonces, 0 < k < |g(x)| < K y, por tanto, 0 <
1
K
<
1
|g(x)|
<
1
k
, luego
1
g(x)
esta acotada.
Demostracion de: Teorema 197 de la pagina 90
Teorema 197.- Sean f: A IR y g: f(A) IR. Si lm
xa
f(x) = b y g es continua en b, entonces
lm
xa
g(f(x)) = g(b) = g
_
lm
xa
f(x)
_
.
Prof: Jose Antonio Abia Vian I.T.I. en Electricidad
120 Matematicas I : Calculo diferencial en IR Anexo 2
Demostracion:
Como lm
xa
f(x) = b,
para cada
1
> 0 existe > 0 tal que si 0 < |x a| < entonces |f(x) b| <
1
.
Por otra parte, si g es continua en b se tiene que:
para cada > 0 existe
1
> 0 tal que si |y b| <
1
entonces |g(y) g(b)| < .
Entonces, haciendo
1
=
1
y reuniendo ambas conclusiones:
para cada > 0 existe > 0 tal que si 0 < |x a| < se tiene |f(x) b| <
1
=
2
y, por tanto,
|g(f(x)) g(b)| < .
En consecuencia, lm
xa
g(f(x)) = g(b) = g
_
lm
xa
f(x)
_
.
Demostracion de: Proposicion 199 de la pagina 91
Proposicion 199 (Convergencia propia).- Sean f: A IR y g: f(A) IR. Si lm
xa
f(x) = b, con f(x) = b
para todos los x de un entorno reducido E

(a,
0
) de a, entonces
lm
xa
(g f)(x) = lm
f(x)b
g(f(x)) = lm
yb
g(y).
Demostracion:
Como lm
xa
f(x) = b, para cada
1
> 0 existe
1
> 0 tal que si 0 < |x a| <
1
entonces |f(x) b| <
1
, y
como f(x) = b en E

(a,
0
), si tomamos = mn{
0
,
1
}, se tiene que:
para cada
1
> 0 existe > 0 tal que si 0 < |x a| < entonces 0 < |f(x) b| <
1
.
Por otra parte, si L = lm
yb
g(y) se tiene que:
para cada > 0 existe
2
> 0 tal que si 0 < |g(y) L| <
2
entonces |g(y) L| < .
Entonces, haciendo
1
=
2
y reuniendo ambas conclusiones:
para cada > 0 existe > 0 tal que si 0 < |x a| < se tiene 0 < |f(x) b| <
1
=
2
y, por
tanto, |g(f(x)) L| < .
En consecuencia, lm
xa
g(f(x)) = L = lm
yb
g(y).
Demostracion de: Proposicion 201 de la pagina 91
Proposicion 201 (Lmites laterales).- Sean a < c < b y f: (a, c) (c, b) IR. Entonces
lm
xc
f(x) = L lm
xc

f(x) = lm
xc
+
f(x) = L
Demostracion:
Si lm
xc
f(x) = L, para cada > 0 existe un > 0 tal que si 0 < |x c| < se tiene que |f(x) L| < . Luego
en particular, si 0 < |x c| < y x < c se cumple por lo que lm
xc

f(x) = L y tambien si x > c, por lo que

lm
xc
+
f(x) = L.
Recprocamente, si lm
xc

f(x) = lm
xc
+
f(x) = L, se tiene que
para cada > 0 existe
1
> 0 tal que si 0 < |x c| <
1
y x < c se tiene |f(x) L| <
para cada > 0 existe
2
> 0 tal que si 0 < |x c| <
2
y x > c se tiene |f(x) L| <
tomando d = mn{
1
,
2
}, para cada x con 0 < |x c| < sea x < c o x > c se cuple la denicion de lmite
en c. Luego lm
xc
f(x) = L.
Prof: Jose Antonio Abia Vian I.T.I. en Electricidad
121 Matematicas I : Calculo diferencial en IR Anexo 2
Demostracion de: Continuidad de algunas funciones elementales 209 de la pagina 93
Continuidad de algunas funciones elementales 209.-
f(x) = e
x
es continua en IR y lm
x
e
x
= 0 y lm
x+
e
x
= +.
f(x) = ln x es continua en (0, +) y lm
x0
+
lnx = y lm
x+
lnx = +.
f(x) = x

continua en (0, ) y lm
x0
+
x

=0 y lm
x+
x

= si >0 (resp. y 0 si <0).

f(x) = sh x es continua en IR y lm
x
shx = y lm
x+
shx = +.
f(x) = chx es continua en IR y lm
x
chx = y lm
x+
chx = +.
f(x) = thx es continua en IR y lm
x
thx = 1 y lm
x+
thx = 1.
f(x) = senx es periodica de periodo 2, continua en IR y lm
x
senx.
f(x) = cos x es de periodo 2, continua en IR y lm
x
cos x.
f(x) = tg x es de periodo , continua en su dominio y lm
x

2
+
tg x = y lm
x

tg x = .
Demostracion:
Ya hemos probado que e
x
es continua en IR y sabemos que lm
x+
e
x
= + (basta recordar que e
x
es creciente,
luego o esta acotada, o no lo esta y su lmite es +, pero como 2
n
+ y 2
n
< e
n
, los valores e
n
no estan
acotados). Veamos lo demas:
lm
x
e
x
= lm
x+
e
x
= lm
x+
1
e
x
= 0
Para cada a (0, ), e
ln a
= a = lm
xa
x = lm
xa
e
ln x
= e
lm
xa
ln x
; y como la exponencial es estrictamente
creciente, debe ser lna = lm
xa
lnx. Luego ln es continua en a.
Como lnx es estrictamente creciente y continua, y + = lm
x+
x = lm
x+
lne
x
= lm
e
x
+
ln(e
x
), no esta
acotada por lo que lm
x+
lnx = +.
Analogamente, = lm
x
x = lm
x
lne
x
= lm
e
x
0
+
ln(e
x
), no esta acotada inferiormente por lo que
lm
x0
+
lnx = .
Como x

= e
ln x
es continua por ser composicion de continuas y si > 0:
lm
x0
+
x

= lm
x0
+
e
ln x
= lm
ln x
e
ln x
= 0 y lm
x
x

= lm
x
e
ln x
= lm
ln x
e
ln x
= +
<0: lm
x0
+
x

= lm
x0
+
e
ln x
= lm
ln x+
e
ln x
=+ y lm
x
x

= lm
x
e
ln x
= lm
ln x
e
ln x
=0
shx=
e
x
e
x
2
, luego continua y lm
x
e
x
e
x
2
=(
0
2
)= y lm
x+
e
x
e
x
2
=(
0
2
)= +.
chx=
e
x
+e
x
2
, luego continua y lm
x
e
x
+e
x
2
=(
0+
2
)= + y lm
x+
e
x
+e
x
2
=(
+0
2
)= +.
thx=
sh x
ch x
=
e
x
e
x
e
x
+e
x
, luego continua y como th x =
e
x
e
x
e
x
+e
x
=
e
2x
1
e
2x
+1
= 1
2
e
2x
+1
:
lm
x
thx = lm
x
1
2
e
2x
+1
= 1
2
0+1
= 1 y lm
x+
thx = lm
x+
1
2
e
2x
+1
= (1
2
+1
)= 1
Para las funciones senx, cos x y tg x =
sen x
cos x
, asumiremos los resultados propuestos, ya que sus expresiones
como funcion real
_
senx =
e
ix
e
ix
2i
y cos x =
e
ix
+e
ix
2
_
se basan en la funcion compleja e
ix
, que es
continua y periodica.
Prof: Jose Antonio Abia Vian I.T.I. en Electricidad
122 Matematicas I : Calculo diferencial en IR Anexo 2
Demostracion de: Algunos innitos e innitesimos conocidos 213 de la pagina 94
Algunos innitos e innitesimos conocidos 213.- Usaremos la notacion f g para indicar que f y g son
innitos o innitesimos equivalentes:
a
n
x
n
+ + a
1
x + a
0
a
n
x
n
cuando x a
n
x
n
+ + a
1
x a
1
x cuando x 0
sen(x) x cuando x 0 tg(x) x cuando x 0
sen
1
x

1
x
cuando x 1 cos(x)
x
2
2
cuando x 0
ln(1 + x) x cuando x 0 e
x
1 x cuando x 0
sh(x) x cuando x 0 ch(x) 1
x
2
2
cuando x 0
Demostracion:
lm
x
a
n
x
n
+a
n1
x
n1
++a
1
x+a
0
a
n
x
n
= lm
x
1 +
a
n1
a
n
1
x
+ +
a
1
a
n
1
x
n1
+
a
0
a
n
1
x
n
= 1 + 0 + + 0 + 0 = 1
lm
x0
a
n
x
n
+a
n1
x
n1
++a
2
x
2
+a
1
x
a
1
x
= lm
x0
a
n
a
1
x
n1
+
a
n1
a
1
x
n2
+ +
a
2
a
1
x + 1 = 0 + 0 + + 0 + 1 = 1
Veamos que lm
x0
sen x
x
= 1, con una peque na argucia geometrica (ver la
gura de la derecha):
En una circunferencia de radio 1, la longitud del arco recorrido coincide
con la amplitud del angulo (en radianes), luego si x (0,

2
), se tiene
que 0 < sen(x) < x < tg(x) de donde, dividiendo por sen(x), se tiene
1<
x
sen(x)
<
1
cos(x)
y tomando lmites: 1 lm
x0
+
x
sen(x)
lm
x0
+
1
cos(x)
= 1.
Luego lm
x0
+
x
sen(x)
= 1.
Si x (

2
, 0), se tiene que 0 > sen(x) > x > tg(x) de donde, divi-
diendo por sen(x) (que es negativo), se tiene 1 <
x
sen(x)
<
1
cos(x)
como
antes. Luego lm
x0

x
sen(x)
= 1.
sen x
tg x
x
x > 0
sen x
tg x
x x < 0
lm
x0
tg x
x
= lm
x0
sen x
x
1
cos x
= 1 1 = 1.
Considerando y = g(x) =
1
x
, lm
x+
g(x) = 0
+
con g(x) = 0 para todo x, luego por la proposicion 199
de convergencia propia, se tiene: lm
x+
sen
1
x
1
x
= lm
x+
sen g(x)
g(x)
= lm
y0
+
sen y
y
= 1. (Idem si x )
lm
x0
1cos x
x
2
2
= lm
x0
2 sen
2
(
x
2
)
x
2
2
= lm
x0
sen
2
(
x
2
)
(
x
2
)
2
=
_
lm
x0
sen(
x
2
)
x
2
_
2
(1)
=
_
lm
y0
sen y
y
_
2
= 1. (1) Con y = g(x) =
x
2
.
lm
x0
+
ln(1+x)
x
= lm
x0
+
1
x
ln(1+x) = lm
x0
+
ln(1+x)
1
x
= ln
_
lm
x0
+
(1+x)
1
x
_
(1)
= ln
_
lm
y+
(1+
1
y
)
y
_
= ln(e) = 1
Considerando en (1) y = g(x) =
1
x
y luego el ejemplo 208. Analogamente, para x 0

:
lm
x0

ln(1+x)
x
= ln
_
lm
x0

(1 + x)
1
x
_
= ln
_
lm
y
(1 +
1
y
)
y
_
= ln(e) = 1.
Para calcular lm
x0
e
x
1
x
, consideramos y = g(x) = e
x
1, est. creciente y con lm
x0
g(x) = 0. Ademas
1 + y = e
x
y ln(1 + y) = x. Luego: lm
x0
e
x
1
x
= lm
y0
y
ln(1+y)
= 1.
lm
x0
sh x
x
= lm
x0
e
x
e
x
2x
= lm
x0
e
2x
1
e
x
2x
=
_
lm
x0
1
e
x
__
lm
x0
e
2x
1
2x
_
(1)
= 1 lm
y0
e
y
1
y
= 1. (1) y = g(x) = 2x.
lm
x0
ch(x)1
x
2
2
= lm
x0
e
x
+e
x
2
1
x
2
2
= lm
x0
e
x
+e
x
2
2
x
2
2
= lm
x0
e
2x
+12e
x
e
x
x
2
= lm
x0
(e
x
1)
2
e
x
x
2
=
_
lm
x0
1
e
x
__
lm
x0
e
x
1
x
_
2
= 1.
Demostracion de: Teorema de Bolzano 216 de la pagina 95
Teorema de Bolzano 216.- Sea f una funcion continua en el intervalo [a, b] y que toma valores de signo
opuesto en a y b (es decir, f(a)f(b) < 0) entonces c (a, b) tal que f(c) = 0.
Prof: Jose Antonio Abia Vian I.T.I. en Electricidad
123 Matematicas I : Calculo diferencial en IR Anexo 2
Demostracion:
Podemos suponer que f(a) < 0 y f(b) > 0. Tomemos c
0
=
a+b
2
el punto medio entre a y b:
Si f(c
0
) = 0, como c = c
0
(a, b), es el punto buscado. Si f(c
0
) = 0 pueden darse dos casos:
si f(c
0
) > 0, como f(a) < 0 y f continua en [a, c
0
] , el teorema se reduce al intervalo [a, c
0
] ;
si f(c
0
) < 0, como f(b) > 0 y f continua en [c
0
, b] , el teorema se reduce al intervalo [c
0
, b] .
En un caso u otro el teorema queda probado si lo hacemos en el intervalo [a
1
, b
1
] [a, b] (bien [a, c
0
] o bien
[c
0
, b] ) de longitud b
1
a
1
=
ba
2
, en el cual f es continua, f(a
1
) < 0 y f(b
1
) > 0.
En este intervalo, tomamos su punto medio c
1
=
a
1
+b
1
2
. Si f(c
1
) = 0 es el punto buscado; si f(c
1
) = 0 se
puede, como hicimos antes, reducir el teorema al intervalo [a
2
, b
2
] [a
1
, b
1
] de longitud b
2
a
2
=
b
1
a
1
2
=
ba
2
2
en el cual f es continua, f(a
2
) < 0 y f(b
2
) > 0.
Repitiendo sucesivamente el proceso anterior, y si ninguno de los puntos medios, c
n
, verica que f(c
n
) = 0,
entonces hemos construido una sucesion de intervalos cerrados encajados
[a
n
, b
n
] [a
2
, b
2
] [a
1
, b
1
] [a, b]
con b
n
a
n
=
ba
2
n
, f(a
n
) < 0 y f(b
n
) > 0.
Ademas, los puntos a
n
extremos inferiores verican que a a
1
a
2
a
n
b,
luego el conjunto A = {a
n
: n IN} esta acotado superiormente (por b) y, por tanto, existe c = sup A;
como a a
n
b se cumple a c b luego c [a, b] . Por ser c = sup A, para cada > 0 existe a
n
0
A con
c < a
n
0
c, y como a
n
crece con n, para cada n n
0
se tiene a
n
0
a
n
c. Luego
c < a
n
0
a
n
c < c + , n n
0
|a
n
c| < , n n
0
lm
n
a
n
= c
Como lm
n
(b
n
a
n
) = lm
n
ba
2
n
= 0 y lm
n
a
n
= c, entonces lm
n
b
n
= c y, por ser f continua en [a, b] ,
se tiene que 0 lm
n
f(a
n
) = f(c) = lm
n
f(b
n
) 0, luego f(c) = 0. En consecuencia, existe c [a, b] con
f(c) = 0 y, como f(a) < 0 y f(b) > 0, c = a y c = b, luego c (a, b).
Demostracion de: Corolario 218 de la pagina 95
Corolario 218.- Sea I un intervalo de IR y f: I IR continua en I , entonces f(I) es tambien un intervalo
de IR.
Demostracion:
Supongamos primero que f(I) no esta acotado ni superior ni inferiormente. Entonces, para cada y IR, existe
alg un valor mayor que el en f(I), y < f(b) f(I), y existe alg un valor de f(I) menor que el, y > f(a) f(I),
luego f(a) < y < f(b). Como a y b son del intervalo I , el intervalo [a, b] I (o [b, a] I ), luego por el
teorema de los valores intermedios 217 existe c entre a y b tal que f(c) = y, luego y f(I) y f(I) = IR.
Supongamos ahora que f(I) no esta acotado inferiormente pero s superiormente, y sea = supf(I).
Entonces, por ser extremo superior, para cada y < , existe un punto f(b) f(I) tal que y < f(b) y, por
no estar f(I) acotado inferiormente, existe a I , tal que f(a) < y < f(b). Luego por el teorema 217 existe
c entre a y b tal que f(c) = y, luego y f(I) de donde (, ) f(I). Pero como es el superior del
conjunto, f(I) = (, ) o f(I) = (, ] (seg un que el superior sea maximo o no lo sea).
La prueba, para los dos casos que restan, son enteramente analogas.
Demostracion de: Teorema de acotacion 219 de la pagina 95
Teorema de acotacion 219.- Sea f una funcion continua en el intervalo cerrado [a, b] , entonces f esta acotada
en dicho intervalo. Es decir, existe M > 0 tal que |f(x)| M , para todo x [a, b] .
La prueba de este resultado se incluye en la prueba del siguiente; el Teorema de Weierstrass 220.
Prof: Jose Antonio Abia Vian I.T.I. en Electricidad
124 Matematicas I : Calculo diferencial en IR Anexo 2
Demostracion de: Teorema de Weierstrass 220 de la pagina 95
Teorema de Weierstrass 220.- Si f es una funcion continua en el intervalo [a, b] , entonces f alcanza un
maximo y un mnimo en [a, b] . Es decir, [a, b] tal que f() f(x), x [a, b] y [a, b] tal que
f(x) f(), x [a, b] .
Demostracion:
La demostracion de este resultado y del Teorema de acotacion 219 anterior, que vamos a exponer aqu no son
todo lo rigurosas que sera de desear, por dos razones: la primera, que se hace uso del Teorema de Bolzano-
Weierstrass (Un subconjunto innito y acotado de IR, tiene al menos un punto de acumulacion) que no se incluye
en estos apuntes y, en segundo lugar, haremos una simplicacion del proceso (con una muy breve explicacion)
en aras de entender el sentido de la prueba.
Por el Corolario 218, como J = [a, b] es un intervalo, su imagen f(J) es un intervalo de IR.
Veamos primero, que el intervalo f(J) esta acotado. Supngamos que es un intervalo no acotado superiormente,
en cuyo caso, el conjunto {n IN} f(J) y existen puntos x
n
[a, b] tales que f(x
n
) = n. Los puntos son
distintos, pues tienen imagenes distintas por la aplicacion f y son innitos, luego el conjunto T = {x
n
: n
IN} [a, b] es innito y acotado por lo que tiene al menos un punto de acumulacion l (Teorema de Bolzano-
Weierstrass enunciado arriba). En aras de no complicar el proceso supondremos que es punto de acumulacion
de todo el conjunto T , es decir, que lm
n
x
n
= l (ser punto de acumulacion, signica que nos podemos acercar
tanto como queramos al punto l con puntos del conjunto T ; luego que l es el lmite de los puntos de un
subconjunto innito de T , por lo que tiene un funcionamiento similar a si fuera todo T en cualquier estudio
sobre sucesiones de n umeros reales puede consultarse con mas detalle esta simplicacion).
Como a x
n
b se tiene que a lm
n
x
n
b, luego que l [a, b] . Entonces, por ser f continua en [a, b] ,
lm
n
f(x
n
) = f
_
lm
n
x
n
_
= f(l) IR; pero por su construccion, lm
n
f(x
n
) = lm
n
n = / IR, lo que es
absurdo. En consecuencia, f(J) tiene que estar acotado superiormente.
Analogamente, se probara que f(J) tiene que estar acotado inferiormente. Luego hemos probado el Teorema
de acotacion 219.
De lo anterior, f(J) es un intervalo acotado de IR, luego de la forma [c, d] o [c, d) o (c, d] o (c, d).
Veamos si d esta o no en el conjunto. Por ser d = supf(J), para cada n IN, existe x
n
[a, b] tal que
f(x
n
) = d
1
n
< d, como las imagenes de los x
n
son distintas, tenemos un conjunto T = {x
n
: n IN}
innito y acotado que tiene un punto de acumulacion l . Con un razonamiento similar al de la parte anterior,
sea lm
n
x
n
= l [a, b] y se verica que lm
n
f(x
n
) = f
_
lm
n
x
n
_
= f(l) IR por ser f continua y por otro
lado, lm
n
f(x
n
) = lm
n
d
1
n
= d, luego d = f(l) y d f(J), por lo que d = max f(J).
Analogamente, se prueba que c = mnf(J). Lo que concluye la prueba.
Demostracion de: Corolario 221 de la pagina 95
Corolario 221.- Si f es continua en (a, b) y lm
xa
+
f(x) = l
1
IR y lm
xb

f(x) = l
2
IR, la funcion f esta
acotada en (a, b). (Tambien es cierto cuando a es y cuando b es +.)
Demostracion:
Para que el resultado sea cierto no es necesario que exista el lmite en los extremos del intervalo, basta con que
la funcion este acotada en alg un entorno de ellos. La razon de poner el enunciado con lmites esta en que es
una manera comoda de asegurar la acotacion y suciente en la mayora de los casos.
Si lm
xa
+
f(x) = l
1
IR y lm
xb

f(x) = l
2
IR, por el Teorema de acotacion para lmites 214, existe E(a,
1
)
y M
1
> 0 tal que |f(x)| M
1
para todo x (a, a +
1
) y existe E(b,
2
) y M
2
> 0 tal que |f(x)| M
2
para todo x (b
2
, b). Entonces, (a, b) = (a, a +
1
) [a +
1
, b
2
] (b
2
, b) y al ser f continua en
el intervalo [a +
1
, b
2
] esta acotada en el (Th 219), luego existe M
3
> 0, tal que |f(x)| M
3
para todo
x [a +
1
, b
2
] . En consecuencia, f esta acotada en cada uno de los tres trozos en que hemos dividido el
intervalo, por lo que esta acotada; es decir, tomando M = max{M
1
, M
2
, M
3
}, para todo x (a, b), |f(x)| M .
Si a = o b = +, la prueba es identica, tomando entornos de o +.
Prof: Jose Antonio Abia Vian I.T.I. en Electricidad
125 Matematicas I : Calculo diferencial en IR Anexo 2
Derivada de una funcion
Demostracion de: Propiedades 224 de la pagina 99
Propiedades 224.- Sean f y g funciones derivables en un punto x
0
, entonces:
a) f + g es derivable en el punto x
0
y (f + g)

(x
0
) = f

(x
0
) + g

(x
0
).
b) fg es derivable en el punto x
0
y (fg)

(x
0
) = f

(x
0
)g(x
0
) + f(x
0
)g

(x
0
).
c) f/g es derivable en el punto x
0
, si g(x
0
) = 0, y (f/g)

(x
0
) =
f

(x
0
)g(x
0
) f(x
0
)g

(x
0
)
_
g(x
0
)
_
2
.
Demostracion:
a) Es cierta, pues
(f + g)

(x
0
) = lm
xx
0
(f + g)(x) (f + g)(x
0
)
x x
0
= lm
xx
0
f(x) + g(x) f(x
0
) g(x
0
)
x x
0
= lm
xx
0
f(x) f(x
0
)
x x
0
+ lm
xx
0
g(x) g(x
0
)
x x
0
= f

(x
0
) + g

(x
0
).
b) Basta tomar lmites, cuando x x
0
, en la expresion
f(x)g(x) f(x
0
)g(x
0
)
x x
0
=
f(x)g(x) f(x
0
)g(x) + f(x
0
)g(x) f(x
0
)g(x
0
)
x x
0
=
f(x) f(x
0
)
x x
0
g(x) + f(x
0
)
g(x) g(x
0
)
x x
0
.
c) Teniendo en cuenta que la expresion
f(x)
g(x)

f(x
0
)
g(x
0
)
x x
0
=
f(x)g(x
0
) f(x
0
)g(x)
g(x)g(x
0
)(x x
0
)
=
1
g(x)g(x
0
)

f(x)g(x
0
) f(x
0
)g(x
0
) + f(x
0
)g(x
0
) f(x
0
)g(x)
x x
0
=
1
g(x)g(x
0
)
_
f(x) f(x
0
)
x x
0
g(x
0
) f(x
0
)
g(x) g(x
0
)
x x
0
_
es valida en los valores de x proximos a x
0
, y tomando lmites se obtiene el resultado.
Demostracion de: Regla de la cadena 225 de la pagina 99
Regla de la cadena 225.- Sea f derivable en x
0
y g derivable en f(x
0
), entonces la funcion compuesta g f
es derivable en x
0
y ademas:
(g f)

(x
0
) = g

_
f(x
0
)
_
f

(x
0
).
Demostracion:
Si f(x) = f(x
0
) en un entorno de x
0
, tambien se verica que g(f(x)) = g(f(x
0
)) y, por tanto, f y g f son
constantes en dicho entorno, luego g f es derivable en x
0
y (g f)

(x
0
) = 0. Ademas, como f es constante,
se tiene g

(f(x
0
))f

(x
0
) = g

(f(x
0
)) 0 = 0 obteniendose la igualdad propuesta.
Si f(x) f(x
0
) = 0 en un entorno de x
0
, podemos escribir
g(f(x)) g(f(x
0
))
x x
0
=
g(f(x)) g(f(x
0
))
x x
0

f(x) f(x
0
)
f(x) f(x
0
)
=
g(f(x)) g(f(x
0
))
f(x) f(x
0
)

f(x) f(x
0
)
x x
0
.
Como y = f(x) = f(x
0
) = y
0
y lm
xx
0
f(x) = f(x
0
), por la proposicion 199, se tiene
(g f)

(x
0
) = lm
xx
0
g(f(x)) g(f(x
0
))
x x
0
= lm
xx
0
g(f(x)) g(f(x
0
))
f(x) f(x
0
)
lm
xx
0
f(x) f(x
0
)
x x
0
= lm
yy
0
g(y) g(y
0
)
y y
0
lm
xx
0
f(x) f(x
0
)
x x
0
= g

(y
0
)f

(x
0
) = g

_
f(x
0
)
_
f

(x
0
).
Prof: Jose Antonio Abia Vian I.T.I. en Electricidad
126 Matematicas I : Calculo diferencial en IR Anexo 2
Demostracion de: Teorema del valor medio de Cauchy 234 de la pagina 103
Teorema del valor medio de Cauchy 234.- Sean f y g funciones continuas en [a, b] y derivables en (a, b). Si
g

(x) = 0, x (a, b), entonces c (a, b) tal que:

f(b) f(a)
g(b) g(a)
=
f

(c)
g

(c)
Demostracion:
Como en la demostracion del teorema del valor medio de Lagrage 233, construyamos una funcion para aplicar
el teorema de Rolle. Sea h: [a, b] IR dada por h(x) =
_
f(b) f(a)
_
g(x)
_
g(b) g(a)
_
f(x).
Entonces, h es continua en [a, b] y derivable en (a, b) por ser suma de funcines continuas y derivables, y
h(a) =
_
f(b) f(a)
_
g(a)
_
g(b) g(a)
_
f(a) = f(b)g(a) g(b)f(a)
h(b) =
_
f(b) f(a)
_
g(b)
_
g(b) g(a)
_
f(b) = f(a)g(b) + g(a)f(b).
Luego tambien se cumple que h(a) = h(b) y por el teorema de Rolle, existe c (a, b) tal que h

(c) = 0; es
decir, 0 =
_
f(b) f(a)
_
g

(c)
_
g(b) g(a)
_
f

(c) de donde se obtiene el resultado

f(b)f(a)
g(b)g(a)
=
f

(c)
g

(c)
.
Notar, que al ser g

(x) = 0 para cada x (a, b), se tiene que g

(c) = 0 y g(b) = g(a).

Demostracion de: Regla General de LHopital 236 de la pagina 103
Regla General de LHopital 236.- Sean f y g funciones derivables en un entorno reducido de x
0
, E

(x
0
, ),
con g(x) = 0 y g

(x) = 0, x E

(x
0
, ) y lm
xx
0
f(x) = 0 = lm
xx
0
g(x). Entonces,
si existe lm
xx
0
f

(x)
g

(x)
se cumple que lm
xx
0
f(x)
g(x)
= lm
xx
0
f

(x)
g

(x)
.
Demostracion:
Por comodidad, denotaremos por E

= E

(x
0
, ) y por E = E(x
0
, ).
Como lm
xx
0
f(x) = 0 = lm
xx
0
g(x), podemos ampliar estas funciones hasta E, con continuidad. En efecto,
sean F(x) =
_
f(x), si x = x
0
0, si x = x
0
y G(x) =
_
g(x), si x = x
0
0, si x = x
0
; que son continuas en E

por serlo f y g y
continuas en x
0
por su contruccion ( lm
xx
0
F(x) = lm
xx
0
f(x) = 0 = F(x
0
) y lo mismo para G).
Para cada x E

con x < x
0
, el intervalo [x, x
0
] E, luego F y G son continuas en el y derivables
en (x, x
0
), donde se cumple que F

= f

y G

= g

. Entonces, por el teorema de Cauchy 234, existe

x
con
x <
x
< x
0
tal que
F(x) F(x
0
)
G(x) G(x
0
)
=
F

(
x
)
G

(
x
, es decir, tal que
f(x) 0
g(x) 0
=
f

(
x
)
g

(
x
)
Luego, como x <
x
< x
0
, si x x

0
tambien
x
x

0
y entonces,
lm
xx

0
f(x)
g(x)
= lm
xx

0
f

(
x
)
g

(
x
)
= lm

x
x

0
f

(
x
)
g

(
x
)
= lm
xx

0
f

(x)
g

(x)
siempre que este ultimo lmite exista. Analogamente, para los x > x
0
, se tiene lm
xx
+
0
f(x)
g(x)
= lm
xx
+
0
f

(x)
g

(x)
.
En consecuencia, si lm
xx
0
f

(x)
g

(x)
existe se tiene que lm
xx
0
f

(x)
g

(x)
= lm
xx

0
f

(x)
g

(x)
= lm
xx
+
0
f

(x)
g

(x)
por lo que existe el
lmite lm
xx
0
f(x)
g(x)
y coincide con el anterior.
Para la justicacion del funcionamiento de la Regla de LHopital en los demas casos, en que decimos que
tambien funciona, solo indicamos como se obtendra esta o en que se basa:
Para el caso x
0
= , con el cambio x =
1
t
se tiene que las funciones F(t) = f(
1
t
) y G(t) = g(
1
t
) verican
que lm
x
f(x)
g(x)
existe si y solo si lm
t0

F(t)
G(t)
existe, y si ocurre son iguales. Aplicando el caso anterior a estas
funciones se obtiene el resultado.
Prof: Jose Antonio Abia Vian I.T.I. en Electricidad
127 Matematicas I : Calculo diferencial en IR Anexo 2
Para la indeterminacion lm
xx
0
f(x)
g(x)
=

, se toma un punto y jo y sucientemente cercano a x

0
y entonces, el
cociente puede escribirse en la forma
f(x)
g(x)
=
f(y)f(x)
g(y)g(x)

g(y)
g(x)
1
f(y)
f(x)
1
. Aplicando el Teorema de Cauchy 234 al primer
factor
f(y)f(x)
g(y)g(x)
=
f

(
x
)
g

(
x
)
y teniendo en cuenta, que al ser y jo, lm
xx
0
g(y)
g(x)
1
f(y)
f(x)
1
= 1, se observa que el resultado
sera cierto (la prueba exaustiva no es tan inmediata).
Demostracion de: Teorema de la funcion inversa 238 de la pagina 104
Teorema de la funcion inversa 238.- Sea f: [a, b] IR continua en [a, b] y derivable en (a, b), con f

> 0 o
f

< 0 en (a, b). Entonces f admite funcion inversa derivable en (a, b) y (f

1
)

_
f(x)
_
=
1
f

(x)
.
Demostracion:
Por ser f

> 0 en (a, b) (resp. f

< 0 en (a, b)) la funcion f es estrictamente creciente (resp. estrictamente

decreciente) en [a, b] , luego es inyectiva y existe f
1
: f([a, b]) [a, b] tal que f
1
(f(x)) = x para cada
x [a, b] (recordar la denicion 188 y ver los ejemplos siguientes). De hecho, si f es estrictamente creciente,
f([a, b]) = [f(a), f(b)] y si es estrictamente decreciente, f([a, b]) = [f(b), f(a)] .
Veamos primero, que si f es continua en x
0
, entonces f
1
es continua en y
0
= f(x
0
). Supongamos
que f es estrictamente creciente y sea y
0

_
f(a), f(b)
_
. Tomemos un > 0 de manera que el intervalo
_
f
1
(y
0
) , f
1
(y
0
) +
_
= (x
0
, x
0
+ ) (a, b); entonces f(x
0
) < f(x
0
) < f(x
0
+ ) y existen y
1
e
y
2
tales que y
1
= f(x
0
) < y
0
< f(x
0
+ ) = y
2
. Sea > 0, tal que E(y
0
, ) (y
1
, y
2
), entonces, para cada
y E(y
0
, ), se cumple que y
1
y
0
< y < y
0
+ y
2
y se tiene que cumplir que f
1
(y
1
) < f
1
(y) < f
1
(y
2
)
pues de no ser as, si f
1
(y
1
) f
1
(y) o f
1
(y) f
1
(y
2
) por ser f estr. creciente sera y
1
y o y y
2
lo
que es absurdo
()
. Por consiguiente, f
1
(y
1
) < f
1
(y) < f
1
(y
2
), es decir x
0
< f
1
(y) < x
0
+ , es decir
f
1
(y
0
) < f
1
(y) < f
1
(y
0
) + y f
1
es continua en y
0
. Si el punto es un extremo del intervalo o para f
estrictamente decreciente, basta adaptar la prueba.
Veamos ahora que si f es derivable en x
0
(a, b), entonces f
1
es derivable en y
0
= f(x
0
), pero esto es
sencillo, pues si y = y
0
,
f
1
(y) f
1
(y
0
)
y y
0
=
f
1
(f(x)) f
1
(f(x
0
))
f(x) f(x
0
)
=
x x
0
f(x) f(x
0
)
=
_
f(x) f(x
0
)
x x
0
_
1
Si y y
0
, x = f
1
(y) tendera hacia x
0
= f
1
(y
0
) con x = x
0
por ser f
1
inyectiva, en consecuencia,
f(x)f(x
0
)
xx
0
f

(x
0
) con lo que f
1
es derivable en y
0
y su derivada es (f

(x
0
))
1
.
Nota: Durante la demostracion, se ha probado
()
que: si f es estrictamente creciente (o decreciente), f
1
tambien lo es.
Polinomios de Taylor
Demostracion de: Formula de Taylor 248 de la pagina 112
Formula de Taylor 248.- Sea una funcion f existen f

, f

, . . . , f
(n)
y f
(n+1)
sobre el intervalo [a, x] . En-
tonces,
f(x) P
n,a
(x) =
f
(n+1)
(c)
(n + 1)!
(x a)
n+1
para un cierto c (a, x),
llamado resto de Lagrange, o tambien
f(x) P
n,a
(x) =
f
(n+1)
(c)
n!
(x c)
n
(x a) para un cierto c (a, x),
que se denomina resto de Cauchy.

Demostracion:
Consideremos la funcion G: [a, x] IR, denida por
G(t) = f(x)
_
f(t) + f
(1)
(t)
(x t)
1
1!
+ f
(2)
(t)
(x t)
2
2!
+ f
(3)
(t)
(x t)
3
3!
+ + f
(n1)
(t)
(x t)
n1
(n 1)!
+ f
(n)
(t)
(x t)
n
n!
_
Prof: Jose Antonio Abia Vian I.T.I. en Electricidad
128 Matematicas I : Calculo diferencial en IR Anexo 2
La funcion G verica que G(x) = 0 y G(a) = f(x) P
n,a
(x) y es derivable en [a, x] , por ser suma y producto
de derivables. Y su derivada es
G

(t) =
_
f
(1)
(t) +
_
f
(2)
(t)
(x t)
1
1!
+ f
(1)
(t)
1(x t)
0
(1)
1!
_
+
_
f
(3)
(t)
(x t)
2
2!
+ f
(2)
(t)
2(x t)
1
(1)
2!
_
+
_
f
(4)
(t)
(x t)
3
3!
+ f
(3)
(t)
3(x t)
2
(1)
3!
_
+ +
_
f
(n)
(t)
(x t)
n1
(n 1)!
+ f
(n1)
(t)
(n 1)(x t)
n2
(1)
(n 2)!
_
+
_
f
(n+1)
(t)
(x t)
n
n!
+ f
(n)
(t)
n(x t)
n1
(1)
(n 1)!
_
_
=
_
f
(1)
(t) +
_
f
(2)
(t)
(x t)
1
1!
f
(1)
(t)
_
+
_
f
(3)
(t)
(x t)
2
2!
f
(2)
(t)
(x t)
1
1!
_
+
_
f
(4)
(t)
(x t)
3
3!
f
(3)
(t)
(x t)
2
2!
_
+ +
_
f
(n)
(t)
(x t)
n1
(n 1)!
f
(n1)
(t)
(x t)
n2
(n 2)!
_
+
_
f
(n+1)
(t)
(x t)
n
n!
f
(n)
(t)
(x t)
n1
(n 1)!
_
_
quitando los parentesis internos y cambiando el orden de los sustraendos, se tiene:
=
_
f
(1)
(t) f
(1)
(t) + f
(2)
(t)
(x t)
1
1!
f
(2)
(t)
(x t)
1
1!
+ f
(3)
(t)
(x t)
2
2!
f
(3)
(t)
(x t)
2
2!
+ f
(4)
(t)
(x t)
3
3!
+ f
(n1)
(t)
(x t)
n2
(n 2)!
+ f
(n)
(t)
(x t)
n1
(n 1)!
f
(n)
(t)
(x t)
n1
(n 1)!
+ f
(n+1)
(t)
(x t)
n
n!
_
y cada termino que resta se anula con el anterior, luego solo queda el ultimo termino:
=f
(n+1)
(t)
(x t)
n
n!
.
Entonces:
Por el teorema del valor medio de Lagrange, G(x) G(a) = G

(c)(x a), para alg un c (a, x). Luego

G(x) G(a) = G(a) = f
(n+1)
(c)
(x c)
n
n!
(x a) = f(x) P
n,a
(x) =
f
(n+1)
(c)
n!
(x c)
n
(x a)
Tomando la funcion g(t) = (x t)
n+1
, continua en [a, x] y derivable en (a, x), por el teorema del valor
medio de Cauchy G(x) G(a) =
G

(c)
g

c)
_
g(x) g(a)
_
, para alg un c (a, x). Luego
G(a) =
f
(n+1)
(c)(xc)
n
n!
(n + 1)(x c)
n
(1)
_
(x a)
n+1
_
= f(x) P
n,a
(x) =
f
(n+1)
(c)
(n + 1)!
(x a)
n+1
y hemos obtenido el resto de Cauchy, en el primer caso, y el de Lagrange en el segundo.
Demostracion de: Proposicion 250 de la pagina 113
Proposicion 250.- Sea f una funcion de clase C
n1
en un entorno del punto a, para la que se cumple que
f

(a) = f

(a) = = f
(n1)
(a) = 0, y ademas existe f
(n)
(a) = 0. Entonces:
a) Si n es par y f
(n)
(a) > 0, f presenta un mnimo local en a.
b) Si n es par y f
(n)
(a) < 0, f presenta un maximo local en a.
c) Si n es impar y f
(n)
(a) > 0, f es estrictamente creciente en a.
d) Si n es impar y f
(n)
(a) < 0, f es estrictamente decreciente en a.
Prof: Jose Antonio Abia Vian I.T.I. en Electricidad
129 Matematicas I : Calculo diferencial en IR Anexo 2
Demostracion:
Si f

(a) = f

(a) = = f
(n1)
(a) = 0, el polinomio de Taylor de grado n de f en a se reduce al primer y
ultimo termino, P
n,a
(x) = f(a) +
f
(n)
(a)
n!
(x a)
n
.
Por la proposicion 247 anterior, lm
xa
f(x)P
n,a
(x)
(xa)
n
= 0, luego
0 = lm
xa
f(x)
_
f(a) +
f
(n)
(a)
n!
(x a)
n
_
(x a)
n
= lm
xa
f(x) f(a)
(x a)
n

f
(n)
(a)
n!
= lm
xa
f(x) f(a)
(x a)
n
=
f
(n)
(a)
n!
luego
si f
(n)
(a) > 0, debe ser
f(x)f(a)
(xa)
n
> 0 para los x de un entorno de a, y
si n es par, (x a)
n
> 0 de donde f(x) f(a) > 0 y f(x) f(a), por lo que f(a) es mnimo local.
si n es impar, para los x < a se tiene que (x a)
n
< 0 de donde f(x) f(a) < 0 y f(x) < f(a); y
para los x > a se tiene que (xa)
n
> 0 de donde f(x) f(a) > 0 y f(x) > f(a). En consecuencia,
f es estrictamente creciente en a.
Y se cumplen (a) y (c).
si f
(n)
(a) < 0, debe ser
f(x)f(a)
(xa)
n
< 0 para los x de un entorno de a, y
si n es par, (xa)
n
> 0 de donde f(x) f(a) < 0 y f(x) f(a), por lo que f(a) es maximo local.
si n es impar, para los x < a se tiene que (x a)
n
< 0 de donde f(x) f(a) > 0 y f(x) > f(a); y
para los x > a se tiene que (xa)
n
> 0 de donde f(x) f(a) < 0 y f(x) < f(a). En consecuencia,
f es estrictamente decreciente en a.
Y se cumplen (b) y (d).
Prof: Jose Antonio Abia Vian I.T.I. en Electricidad