实分析 I · 有界集、单调性与完备性的第一批应用

区间套定理交互构造器

闭区间列 In = [an, bn] 若逐层嵌套，且长度 bn - an 趋于 0，则所有区间恰有一个共同点。

数轴上的区间套

首层长度 10.000 末层长度 0.025 锁定点 1.200
当前区间 已收缩到的细区间 候选共同点 ξ

端点表

n aₙ bₙ bₙ-aₙ 是否含 ξ

条件检查与结论

定理条件正在检查

    an+1 = an + λ(ξ - an) + δ
    bn+1 = bn - μ(bn - ξ) + δ