El método de la bisección se basa en el teorema del valor intermedio, que en una de sus versiones establece:

Partiendo del supuesto que f(a) y f(b) tienen signos opuestos, es decir f(a)·f(b) < 0, entonces por el teorema del valor intermedio se conoce que existe al menos una solución de la ecuación f(x) = 0 y es posible aplicar el siguiente procedimiento, denominado método de la bisección, para determinar dicha solución.

1. Definir a₀ = a y b₀ = b.

2. Calcular el punto medio del intervalo (por esto se llama método de bisección) [a₀, b₀], c₀.

3. a. Si f(c₀) = 0 , entonces c₀ es un cero de la función y por lo tanto una solución del problema.

b. Si f(a₀)· f(c₀) > 0 quiere decir que existe un cero de la función en el intervalo (c₀, b₀), entonces seleccionar este intervalo y definir a₁ = c y b₁ = b₀.

c. Si f(a₀)· f(c₀) < 0 quiere decir que existe un cero de la función en el intervalo (a₀, c₀ ), entonces seleccionar este intervalo y definir a₁ = a y b₁ = b₀.

4. Si f(c₀) =/ 0, repetir los pasos 2, 3 y 4 para el nuevo intervalo [a₁, b₁]

Si se cumplen las hipótesis del teorema de valor intermedio, entonces el método de bisección converge a un cero de f(x) en el intervalo [a, b].

Se puede observar que en cada iteracción la medida del intervalo se divide a la mitad. Así, en la primera iteración la medida del intervalo [a₁, b₁] es la mitad del intevalo inicial; en la segunda iteración la medida del intervalo [a₂, b₂] es la mitad de la medida del intervalo [a₁, b₁] y así sucesivamente n veces.

Dado que en cada intervalo [a_n, b_n] existe un punto c tal que f(c) = 0, entonces, para c_n se tiene: 

Esto nos permite determinar el número de iteraciones necesarias para obtener una aproximación de un cero de la función con una precisión deseada.

El método de la bisección en Excel

El método de la bisección en Python