Teorema de Rolle

Sea f(x) continua en [a,b], derivable en (a,b) y f(a) = f(b). Entonces c

(a,b) / f(c) = 0.
Interpretado geomtricamente, significa que si una curva alcanza el mismo
valor en dos puntos, entonces debe poseer una tangente horizontal en
algn punto intermedio.

Demostracin:
Como f(x) es continua en [a,b], por el teorema de Weierstrass tiene un
mximo absoluto M y un mnimo absoluto m en [a,b]. Es decir:
x [a,b], m f(x) M

x1 [a,b] / f(x1)=M
x2 [a,b] / f(x2)=m
Hay dos opciones:
1) Si m = M, x [a,b], f(x) = m = M, luego f'(x) = 0
2) m < M, por lo menos uno de los puntos, x 1 o x2, pertenece a (a,b).
Para la demostracin, tomamos por ejemplo x2, por lo que (a,b) se comporta
como un entorno de x2. Por ser x2
donde se alcanza el mnimo absoluto,
se cumple que x [a,b], f(x2) f(x). Por definicin de mnimo relativo, x2
tambin es un mnimo relativo de f(x) en (a,b), y como f(x) es derivable por
hiptesis, este mnimo relativo existe y prueba que f(x 2) = 0.

Teoremas y definiciones utilizados en la

demostracin
Lema de Weierstrass: Una funcin continua en un intervalo cerrado est
acotada, es decir:
Si f es continua en [a,b], f est acotada en [a,b]
Demostracin:
La demostracin se realiza por el absurdo. Esto es, se supone falsa la tesis y
se llega a una contradiccin.
Suponemos entonces que f(x) no est acotada en [a,b]. Dividimos el
intervalo [a,b] a la mitad. Si f est acotada en una de las mitades, entonces
no lo est en la otra.
Tomemos esta mitad. Llamemos a1 y b1 a los extremos de este nuevo
intervalo. f no est acotada en [a1,b1]. Dividamos [a1,b1] en dos intervalos
iguales. Si f est acotada en uno de ellos, tomemos el otro, si no, tomemos
cualquiera.
Llamemos a sus extremos a2 y b2. Continuando de esta manera, tenemos
una sucesin de intervalos [a,b], [a1,b1], [a2,b2], etc., tales que a a1
a2 ... an y b b1 b2 ... bn.

Es decir:
1) Los ai forman una sucesin creciente y los bi forman una
sucesin decreciente.
2) Los ai son siempre menores que los bi.
Veamos cul es el limn->+inf bn - an.
bn - an es la longitud del intervalo [an,bn].
La longitud del intervalo [a1,b1] es (b - a)/2, la mitad de la longitud de [a,b]
que es b - a.
La longitud del intervalo [a2,b2] es (b - a)/22, la mitad de la longitud de [a 1,b1]
que es (b - a)/2.
Y siguiendo de esta manera, la longitud del intervalo [a n,bn] es (b - a)/2n.
De modo que:

3) limn->+inf bn - an = limn->+inf (b - a)/2n = 0.

Estas tres condiciones son las condiciones de la definicin de PSMC:
1 an es creciente, bn es decreciente
2 n , an < bn
3 > 0 h / bh - ah < (que es lo mismo que limn->+inf bn - an = 0.)
Todo PSMC tiene la propiedad de definir un nmero frontera entre ambas
sucesiones.
Si ((an), (bn)) es un PSMC, c / n, an c bn, lim an = c- , lim bn = c+.
lim an = c- significa que > 0 existe n1 / n n1 , c - < an < c.
lim bn = c+ significa que > 0 existe n2 / n n2 , c < bn < c + .
O sea que tomando el mayor entre n1 y n2, llammosle n3, se cumplen
ambas cosas.
> 0 existe n3 / n n3 , c- < [an,bn] < c+.

Esto significa que, para cualquier entorno de c que consideremos, (c-,

c+), existe un intervalo [an,bn] contenido en dicho entorno.

Por otro lado, f es continua en [a,b] por hiptesis. Por lo tanto es continua en
c. Por definicin de continuidad, limx->c f(x)=f(c), es decir, que > 0, >
0 / x E*c,, f(c) < f(x) < f(c) + .
Pero antes dijimos que f no estaba acotada en ninguno de los intervalos
[an,bn].

Tenemos pues aqu una contradiccin: decimos que f est acotada en (c - ,

c + ), pero no en [an,bn] que est contenido dentro, lo cual es absurdo.
Este absurdo proviene de suponer que f no est acotada en [a,b], luego
queda demostrado que s est acotada en el intervalo [a,b].

Teorema de Weierstrass: Una funcin continua en un intervalo cerrado,

tiene mximo y mnimo absoluto en dicho intervalo, es decir:

Si f es continua en [a,b], entonces f tiene un mximo y un mnimo absoluto

en [a,b].
Demostracin:
Si f es continua en [a,b], por el lema de Weierstrass f est acotada en [a,b],
es decir:
x [a,b], M,m / m f(x) M

La demostracin se realiza por reduccin al absurdo. Primero

demostraremos que f tiene mximo absoluto en [a,b]. Queremos probar que
existe x1 perteneciente a [a,b] / f(x1) = M.
Supongamos lo contrario de lo que queremos demostrar, es decir:
x [a,b], f(x) M, f(x) < M

Sea g una funcin auxiliar: g(x)= 1 / (M - f(x))

g es continua en [a,b] por ser diferencia y cociente de funciones continuas
y M - f(x) 0. Por el lema de Weierstrass, g est acotada, es decir:
x [a,b], s g(x) t

As que desarrollando:
g(x) t
1 / (M f(x)) t
1 / t M f(x)
f(x) M 1/t
Es decir, M 1/t es una cota superior de f(x) en el intervalo [a,b] (1)
Por otro lado, como g(x) > 0, entonces t > 0, lo que implica que 1/t > 0. As
que M - 1/t < M (2)
De (1) y (2) se deduce que existe una cota superior de f menor que M, que
es el extremo superior, lo cual es absurdo, pues el extremo superior es la
menor de las cotas superiores. El absurdo surge de suponer que no existe x
tal que f(x)= M, por lo tanto existe x1 perteneciente a [a,b] / f(x1)=M.
La demostracin de la existencia del mnimo absoluto es idntica pero
cambiando la funcin auxiliar, que en este caso sera: h(x) = 1/( f(x) m)

Definicin: Par de sucesiones montonas convergentes (PSMC)

((an),(bn)) es un PSMC si:
1. (an) es creciente
(bn) es decreciente

2. Para todo n natural an < bn

3. Para todo > 0 existe h natural / bh - ah <
Propiedad: Todo PSMC tiene frontera
Si ((an), (bn)) es un PSMC, c / n, an c bn, lim an = c- , lim bn = c+.

Definicin: Funcin continua en un punto

Una funcin f(x) es continua en un punto a si se cumplen las siguientes
condiciones:
1)
2)
3)
4)

Existe
Existe
Existe
Existe

f(a).
limx->a+ f(x) = f(a)
limx->a- f(x) = f(a)
limx->a f(x) = f(a) y limx->a+ f(x) = limx->a- f(x) = limx->a f(x) = f(a).