这会导致0.999…等于0.(n位个9)(9-a)(9-b)..... 这步不直观。我给你改成这样呢：

假设0.999…不等于1
那么1-0.999…等于一个不为零的数a
不管a多小，这个数必然存在非0位，假设从左到右第一个非零位是第n位，其数字为m，可以把后面的数位全置0，得到数b
b = 0.00…0m <= a，所以0.99… = 1-a <= 1-b = 0.999…（10-m）
矛盾出现

【 在 mp2018 的大作中提到: 】
: 再改进一下：
: 假设0.999…不等于1
: 那么1-0.999…等于一个不为零的数
: ...................
--
FROM 114.64.236.*