非线性方程 · 区间里的证据
把根留住,再缩小范围
每次保留异号的一段。下面的半宽是“当前中点到区间内根”的条件性误差界;连续性与可信的符号缺一不可。
当前区间 Iₖ
当前中点
当前半宽
函数 f下一检查点 z当前区间端点
这一步该留下哪一段?
区间怎样一层层收紧
所有条都使用初始区间的同一横坐标。很短的条会接近一条细线;没有人为把它放大。超过 9 行时显示 I₀ 与最近 8 行。
| 更新次数 k | aₖ | bₖ | 宽度 | 半宽 | 本次保留比例 |
|---|
带保护的 Newton:从 |f| 较小的端点试算(相等时选右端),候选只有落在中央半区 [a+w/4, b−w/4] 且可求值时才采用,否则检查中点。因此一次保留的宽度至多为原来的 3/4。这是本章定义的规则,并非完整 Brent 算法。
这里使用普通浮点求值。显示 f(z)=0 指的是计算结果恰好为零,不是经过区间算术验证的精确符号证据。达到最大步数或浮点停滞时,不会显示“已达到误差目标”。