Demostración del teorema de Bisección (Teorema de Bolzano)

Si F:[a,b]→ R ,continua tal que

f ( a ) . f ( b ) <0 entonces existe un c ∈ ( a ,b ) tal que f ( c )=0

f ( a ) <0 , f ( b ) >0 ó f ( a )> 0 , f ( b ) <0

Para el primer caso: f ( a ) <0 , f ( b ) >0

a 1=a , b1=b ,

Intervalo:

I 1=[a1 , b1 ]

Longitud del intervalo

L ( I 1 ) =b−a

a+ b
a 2=a , b2=
2

a+ b
b 2=b , a2=
2
Intervalo:

I 2=[ a2 , b2 ]

Longitud del intervalo ya sea dependiendo del signo de la imagen ya se tomado de la mitad a la
izquierda o de la mitad a la derecha dará el mismo resultado

b−a
L ( I2 ) =
2
Para el tercer intervalo

b2 +a 2 b2 +a2
a 3=a2∧b3= b3=b2∧a 3=
2 2
Intervalo:

I 3=[a 3 , b3 ]

Longitud del intervalo:

b−a
2 b−a
L ( I3 ) = = 2
2 2
Si repetimos el proceso indefinidamente…

Siendo que el intervalo I 1 contiene al intervalo I 2, de la misma forma que el intervalo I 2

contiene al I 3, sucediendo lo mismo en los demás intervalos observaremos que se repetirá un
patron

Entonces:

El intervalo I n=[a n ,b n ]

La longitud del intervalo será:

b−a b−a
L ( In ) = n−1
, si n → ∞→ n−1 =0
2 2
Teorema de intervalos encajados de cantor:

La intersección de todos los intervalos es un punto, es decir será el conjunto formados por un
valor c

∩ I n= {c } → c=lim an∧c=lim bn
n →∞ n →∞

Para c= n→
lim an
∞

f ( c ) =f lim an = lim f ( an ) ≤ 0
( n→∞ ) n→ ∞

Para c= n→
lim b n
∞

f ( c ) =f lim bn = lim f ( bn ) ≥ 0
( n→∞ ) n→ ∞

f ( c ) =0 ….lqqd