Skip to article frontmatterSkip to article content
Site not loading correctly?

This may be due to an incorrect BASE_URL configuration. See the MyST Documentation for reference.

The Intermediate Value Theorem

Remark 1 (Application to Root Finding)

Setting ϕ=0\phi = 0: if ff is continuous and f(a)f(b)<0f(a)f(b) < 0 (i.e., ff changes sign), then a root exists in (a,b)(a, b).

This gives us an existence guarantee—something bisection exploits at every step.

The Algorithm

The bisection method is a divide and conquer algorithm.

At each step, the interval width is halved. This geometric reduction is why bisection always converges.

Convergence Analysis

Proof 1

At each step, the interval width halves. The midpoint xnx_n is at most half the interval width away from any point in the interval, including the root \ell:

xn12bnan122bn1an1ba2n+1|\ell - x_n| \leq \frac{1}{2}|b_n - a_n| \leq \frac{1}{2^2}|b_{n-1} - a_{n-1}| \leq \cdots \leq \frac{b - a}{2^{n+1}}

Since 2n+12^{n+1} \to \infty, we have xnx_n \to \ell.

Proof 2

We want ba2n+1<ε\frac{b-a}{2^{n+1}} < \varepsilon, which gives:

2n+1>baε    n+1>log2(baε)2^{n+1} > \frac{b-a}{\varepsilon} \implies n+1 > \log_2\left(\frac{b-a}{\varepsilon}\right)

Rearranging and taking the ceiling gives the result.

Example 1 (How Many Iterations?)

To find 2\sqrt{2} (root of x22=0x^2 - 2 = 0) on [1,2][1, 2] with accuracy 10-10:

nlog2(12×1010)=log2(5×109)32.2n \geq \log_2\left(\frac{1}{2 \times 10^{-10}}\right) = \log_2(5 \times 10^9) \approx 32.2

So 33 iterations suffice—regardless of the function’s complexity!

Demonstrations

Advantages and Disadvantages

Advantages:

Disadvantages:

Practical wisdom: Use bisection to get close, then switch to Newton for speed.