反求参数 · 内层证据决定外层动作
函数值还没分清，不能猜着删一半
q(a)=∫₀¹e^(−at²)dt 随 a 递减。在 [.5,1.5] 里反求 q(a)=b：只有内层区间完全落在 b 的一侧，才有理由删去一半。所有判定采用精确有理数。
函数区间落在哪一侧
q(a) 近似绘图b 与观测带
青色曲线仅辅助观察；当前竖线的两端来自精确 P₂ᵣ₊₁、P₂ᵣ。曲线没有参与删区间。
把当前内层区间单独放大
当前参数区间中点
保留区间半宽
外层 / 内层评估次数
保留与剔除的参数区间
当前能交付什么
端点、报告和界的精确分数
外层每次删掉哪边，凭什么
| 次序 | 中点 c | r | 内层下界 L | 内层上界 U | 决定 | 保留的参数区间 |
|---|