$$c_n = \frac{a_n + b_n}{2}, \quad [a_{n+1}, b_{n+1}] = \begin{cases} [a_n, c_n] & f(a_n)\,f(c_n) < 0 \\ [c_n, b_n] & \text{otherwise} \end{cases}$$
二分法の更新則。中点 c_n の符号で根のある側を選び、区間を半分に縮める。
$$f(x) = x^{3} - 2x - 5, \quad f(a_0)\cdot f(b_0) < 0$$
テスト関数(Newton の原例題)と前提条件。実根は x ≈ 2.094551482。
$$|b_n - a_n| < \varepsilon, \qquad N \approx \log_2\!\left(\frac{b_0 - a_0}{\varepsilon}\right)$$
収束判定と必要反復数。許容差 ε=1e^−n に対し N ≈ log₂((b₀−a₀)/ε)。線形収束(誤差が毎反復で 1/2)。