Algoritmo

Este algoritmo se aplica para hallar una raz de la ecuacin del tipo f(x) = 0, en el
intervalo [a, b], donde se supone que f(a).f(b) < 0. Los parmetros son los extremos
del intervalo a, b, la tolerancia tol, y un nmero mximo de iteraciones itmax. La
variable cont cuenta la cantidad de iteraciones que se realizan

Para optimizar el uso de la memoria, se utiliza una nica variable c que almacena
en cada iteracin el valor c n. Lo mismo para los sucesivos valores f(c n), se utiliza una
nica variable fc, y los extremos de los intervalos a n, bn, se almacenan en a y b
respectivamente.

Anlisis del error

Con el objeto de analizar el mtodo de la biseccin, se llamar [a i;bi], con i = 1,

2, 3, , a los intervalos que surgen en el proceso. Se pueden hacer las siguientes
observaciones sobre estos nmeros:

a1a2...anb1
acotada superiormente.

la sucesin {an} converge porque es creciente y est

 b1b2...bna1 la sucesin {bn} converge porque es decreciente y est

acotada inferiormente.

bn+1-an+1 = (bn-an)/2, n1 (bn-an)= (b1-a1)/2(n-1) n1. (*)

Si se aplica lmite a esta ltima igualdad se obtiene:

Entonces, resulta que los lmites de ambas sucesiones son iguales:

Tomando el lmite en la desigualdad f(an).f(bn) 0, encontramos que [f(r)]2 0,

por lo tanto, debe ser f(r) = 0.
Se llamar [an,bn] al intervalo obtenido en el paso n-1. Si en este momento se
detiene el proceso, la raz se encontrar en ese intervalo. En este paso, la mejor
aproximacin ser el punto medio del intervalo,

El error en el paso n es:

(1) Dado que r (la raz buscada) est en una de las dos mitades del intervalo [a n,
bn], la distancia del punto medio del intervalo a r debe ser menor o igual que la
mitad de la longitud del intervalo.
(2) Por la igualdad demostrada en (*)

Ventajas y desventajas

Una gran ventaja de este mtodo es que siempre converge para funciones
continuas f(x). Adems, proporciona el tamao exacto del intervalo en cada iteracin
(en ausencia de errores de redondeo). Para aclarar esto, se puede observar que en
este mtodo despus de cada iteracin el tamao del intervalo se reduce a la mitad;
despus de n iteraciones, el intervalo original se habr reducido 2n veces. Por lo
anterior, si el intervalo original es de tamao M y el criterio de convergencia aplicado al
valor absoluto de la diferencia de dos aproximaciones sucesivas es , se puede saber
de antemano el nmero de iteraciones que se requieren:

No obstante, una de las grandes desventajas que presenta este mtodo es su

velocidad de convergencia, la cual es bastante baja.

Orden de convergencia

Un algoritmo converge linealmente si existe una constante positiva K<1 tal

que para todo n suficientemente grande. Tal K recibe el nombre de factor de

convergencia.
Como se puede observar, el mtodo de la biseccin es un mtodo lineal debido a
que el error en la iteracin siguiente es la mitad del error de la iteracin previa
solamente.

Aproximacin inicial y criterios de convergencia

El mtodo de la biseccin depende de la determinacin de un intervalo inicial

[a;b] en el que f(a) y f(b) tengan distinto signo. Una vez encontrado este intervalo, no
importa lo grande que sea, se podr empezar a iterar hasta que se encuentre una raz
con la precisin deseada. Por esta razn, se dice que este mtodo es globalmente
convergente.
Sin embargo, si f(x)=0 tiene varias races en [a;b], entonces se debe encontrar
un intervalo de partida distinto para hallar cada raz y no suele ser fcil hallar estos
intervalos ms pequeos en los que el signo de f(x) cambia.
En la seccin Conceptos bsicos se encuentran otros mtodos que requieren,
como garanta de su convergencia, que el punto inicial est cerca de la raz buscada,
por lo que se dice que son localmente convergentes. Estos mtodos suelen converger
ms rpidamente que los mtodos globales, de manera que existen algoritmos hbridos
que empiezan con un mtodo de convergencia global y, cuando las aproximaciones
obtenidas en las distintas iteraciones se hallan cerca de la raz, cambian a un mtodo
de convergencia local.

Comprobacin de la convergencia

Es imprescindible establecer un criterio de parada para que el algoritmo detenga

las iteraciones cuando haya obtenido una aproximacin suficientemente precisa
Como el objetivo es resolver f(x)=0, el valor xn debera verificar que:

As, el proceso iterativo producir puntos P i= (xi; f(xi)) hasta que el ltimo punto
Pn se encuentre en la banda horizontal comprendida entre las rectas de ecuaciones y=
e y=-.

Otro criterio de parada involucra las abscisas. Se trata de determinar si la

sucesin {xn} converge y, para ello, se dibujan dos rectas verticales de ecuaciones
x=P+ y x=P- a cada lado de x=P. De esta manera, el proceso se detendr cuando
Pn est entre ambas rectas.