定理 51:三角不等式对任意 ,
因为
且
所以
由绝对值的刻画即得结论。
小数展开对 ,用数字序列 表示
意指
每个 都有按讲义约定选定的唯一数字序列,满足
需要固定尾随 9 或尾随 0 的表示约定,以避免 造成的双重
2026-04-11