|44| CAPTULO 1.

LMITES Y CONTINUIDAD

S ESIN 13

1.9.2. Convergencia del mtodo de la biseccin. Una

demostracin constructiva del teorema de Bolzano
En esta secin vamos a demostrar que i) (mn ) c y que ii) f (c) = 0.

i) La sucesin (an ) es montona creciente y acotada superiormente por b.

La sucesin (bn ) es montona decreciente y acotada inferiormente por
a. Por el teorema de la convergencia montona 1.2.14 ambas sucesiones
son convergentes:
lm an = m1 lm bn = m2 Veamos que m1 = m2 .
n n

bn1 an1 bn2 an2 ba

bn an = = = = n1 (1.33)
2 22 2
Tomando lmites a ambos lados de la identidad (1.33) obtenemos

ba
lm (bn an ) = m2 m1 = lm =0 (1.34)
n n 2n1

Llamemos c al valor comn m1 = m2 . Esto es c = m1 = m2 . Veamos que

(mn ) tambin converge al valor c.

an + bn c+c
lm mn = lm = = c. (1.35)
n n 2 2

ii) Veamos que f (c) = 0.

Por la construccin de los intervalos se tiene

f (an )f (bn ) < 0 n N (1.36)

Por hiptesis f (x) es una funcin continua en c [a, b] y aplicando la

caracterizacin sucesional se tiene:

lm f (an )f (bn ) = f (c)f (c) (1.37)

n

Tomando lmites en la relacin (1.36) y aplicando la identidad (1.37)

lm f (an )f (bn ) = f (c)f (c) 0 f (c)2 0 f (c) = 0 (1.38)

n
1.9. Clculo de races mediante el mtodo de la biseccin |45|

1.9.3. Error en el mtodo de la biseccin

Sea en el error cometido en la iteracin nsima. Veamos como se puede

acotar el errror que se comete:

1 bn1 an1 ba ba
en = |mn s| (bn an ) = = = = n . (1.39)
2 2 2 2.2 n1 2
Si queremos que el error sea menor que un cierto ! > 0, podemos calcular
el n que lo cumpla:
ba
e = |mn s| <!
2n
! "
ba ba ba
< ! < 2 n
log < log2 2n
2n ! 2
!
Por tanto se tiene:
! "
ba
ln
ba !
n > log2 = (1.40)
! ln 2
Ejemplo 1.9.2 Mediante el algoritmo de la biseccin y con un error menor que
105 , calcular una solucin aproximada de f (x) = x 2x = 0

Buscamos un intervalo donde se encuentre la raz, para ello utilizamos el

teorema de Bolzano:

i) La funcin f es continua en todo R por ser resta de un polinomio y una

exponencial.

ii) Veamos si la funcin cambia de signo en el intervalo [0, 1].

#
f (0) = 1
1
f (1) =
2
Luego existe un nmero c (0, 1) cumpliendo f (c) = 0.
Un valor de n que asegure que el error sea menor que 105 , aplicando la
relacin (1.39) en nuestro caso, satisface:
! "
10 ln 105
n > log2 = log2 105 = = 16.68
10 5 ln 2
Luego la iteracin a la que tenemos que llegar como mnimo ser la n = 17.

n an bn mn f (mn )
1 0 1 0.5 -0.207 11
2 0.5 1 0.75 0.155 40
- - - - -
17 0.64117 0.64118 0.64118
|46| CAPTULO 1. LMITES Y CONTINUIDAD

Ejercicios de la seccin 1.9.2

1. Probar que las siguientes ecuaciones tienen al menos una raz real y
aproximarlas mediante el mtodo de la biseccin con un error inferior a
! = 103
133
a) x5 3x3 + 4x2 1 = 0; b) x50 + = 70
1 + + sin2 x
x2
x4 + 2x2 + 5 x6 + 2x4 + 6
c) x2x = 1; d) + =0
x1 x7