夹逼区间随位数收缩

每增加一位，十进制网格宽度变为原来的十分之一。

aₙ ≤ x < aₙ + 10⁻ⁿ
十进制截断夹逼数轴 显示目标实数、截断小数、上端点以及夹逼区间。

截断小数 aₙ

1.414

上端点 aₙ + 10⁻ⁿ

1.415

误差上界

< 0.001

当前误差说明

为什么要完备性

这些截断值构成越来越密的有理数近似。完备性保证这种由有理夹逼确定的极限确实落在实数系内，否则“越来越接近”未必有一个可承接的数。