非线性方程 · 区间里的证据

把根留住,再缩小范围

每次保留异号的一段。下面的半宽是“当前中点到区间内根”的条件性误差界;连续性与可信的符号缺一不可。

当前区间 Iₖ
当前中点
当前半宽

函数 f下一检查点 z当前区间端点

这一步该留下哪一段?

区间怎样一层层收紧

所有条都使用初始区间的同一横坐标。很短的条会接近一条细线;没有人为把它放大。超过 9 行时显示 I₀ 与最近 8 行。

更新次数 kaₖbₖ宽度半宽本次保留比例

带保护的 Newton:从 |f| 较小的端点试算(相等时选右端),候选只有落在中央半区 [a+w/4, b−w/4] 且可求值时才采用,否则检查中点。因此一次保留的宽度至多为原来的 3/4。这是本章定义的规则,并非完整 Brent 算法。

这里使用普通浮点求值。显示 f(z)=0 指的是计算结果恰好为零,不是经过区间算术验证的精确符号证据。达到最大步数或浮点停滞时,不会显示“已达到误差目标”。