Está en la página 1de 2

Geom�tricamente, el teorema establece que si dos puntos (a,f(a)) y (b,f(b)) de la

gr�fica de una funci�n continua est�n situados en diferentes lados del eje x,
entonces la gr�fica intersecta al eje en al menos un punto entre a y b.
Teorema de bolzano.gif

El teorema como tal no especifica el n�mero de puntos, solo afirma que como m�nimo
existe uno.
Demostraci�n

Supongamos que f(a)<0 y f(b)>0. (La demostraci�n ser�a an�loga si supusi�ramos


f(a)>0 y f(b)<0.)
Consideremos el punto medio de [a,b]: (a+b)/2.
Si f((a+b)/2)=0 queda demostrado el teorema. Sino, f ser� positiva o negativa en
(a+b)/2.
Tomemos una de las mitades del intervalo [a,b] donde la funci�n sea negativa en un
extremo y positiva en el otro. Llamemos a1 y b1 a los extremos de este intervalo.
Ahora dividamos [a1,b1] a la mitad. Si f no vale cero en el punto medio, ser�
positiva o negativa. Tomemos la mitad donde f tiene distinto signo en cada extremo,
y llamemos a estos puntos a2 y b2.
Si continuamos de esta manera, obtenemos una sucesi�n de intervalos
[a,b], [a1,b1], [a2,b2], etc., tales que a <= a1 <= a2 <= ... <= an y b >= b1 >= b2
>= ... >= bn.
Demostracion del teorema de balzano.gif
Es decir, 1) Los ai forman una sucesi�n creciente y los bi forman una sucesi�n
decreciente.
2) Los ai son siempre menores que los bi.
Veamos cu�l 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 [a1,b1]
que es (b - a)/2.
Y siguiendo de esta manera, la longitud del intervalo [an,bn] es (b - a)/2n.
De modo que,
3) limn->+inf bn - an = limn->+inf (b - a)/2n = 0.
1), 2) y 3) son las condiciones de la definici�n de PSMC:
an es creciente, bn es decreciente
Para todo n natural an < bn
Para todo e>0 existe h natural / bh - ah < e (que es lo mismo que limn->+inf bn -
an = 0.)
Todo PSMC tiene la propiedad de definir un n�mero frontera entre ambas sucesiones.
((an),(bn)) es un PSMC => existe c / para todo n an <= c <= bn, lim an = c- y lim
bn = c+.
lim an = c- significa que para todo d>0 existe n1 / para todo n>=n1 c - d < an < c.
lim bn = c+ significa que para todo d>0 existe n2 / para todo n>=n2 c < bn < c + d.
O sea que tomando el mayor entre n1 y n2, llam�mosle n3, se cumplen ambas cosas.
Es decir, para todo d>0 existe n3 / para todo n >= n3 c-d < [an,bn] < c+d.
Esto significa que, para cualquier entorno de c que consideremos, existe un
intervalo [an,bn] contenido en dicho entorno.
Demostracion del teorema de balzano1.gif
Por otro lado, f es continua en [a,b] por hip�tesis. Por lo tanto es continua en c.
Por definici�n de continuidad, limx->c f(x)=f(c).
Si f(c)<0, por teo. de conservaci�n del signo existe un entorno de c donde f(x) es
negativa.
Demostracion del teorema de balzano2.gif
Dentro de este entorno, existe un intervalo [an,bn], donde f(an) es de distinto
signo que f(bn). Esto es una contradicci�n, por lo tanto f(c) no puede ser
negativo.
Si f(c)>0, por teorema de conservaci�n del signo existe un entorno de c donde f(x)
es positiva.
Pero, otra vez, dentro de ese entorno existe un intervalo [an,bn] tal que f(an) es
de distinto signo que f(bn).
Por lo tanto, no existe otra posibilidad: f(c)=0.
Aplicaci�n

El teorema de Bolzano permite la localizaci�n de las ra�ces de una funci�n continua


aplicando el m�todo bisecci�n, el cual es un m�todo de b�squeda incremental que
divide el intervalo siempre en 2.

Si la funci�n cambia de signo sobre un intervalo, se eval�a el valor de la funci�n


en el punto medio c=(a+b)/2.Si si �c�igual a cero, es la ra�z buscada. En caso
contrario, se analiza el signo de f(c) para ver si es opuesto con f(a) o con f(b) .
Se toma el intervalo [a, c] � [c, b] en el que ocurre un cambio de signo. Se repite
el proceso sucesivamente para intervalo cada vez m�s peque�o, hasta encontrar o
aproximarse el valor deseado.
Ejemplo

Comprobar que la ecuaci�n x3 + x - 1 = 0 tiene al menos una soluci�n real en el


intervalo [0,1].

Consideramos la funci�n f(x) = x3 + x - 1, que es continua en [0,1] por ser


polin�mica. Estudiamos el signo en los extremos del intervalo:

f(0) = -1 < 0

f(1) = 1 > 0

Como los signos son distintos se cumple el teorema de Bolzano, por tanto existe un
c (0. 1) tal que f(c) = 0. Lo que demuestra que tiene una soluci�n en ese
intervalo.