如果不相等,他们就有中间数1>a>0.999…。一定有一个整数k使得1-a在区间【10^k,10*10^k)上。但是1-0.999...9小于1-a(这里写|k|+1个9)。即0.999…>a,矛盾。证毕。也就是说1与0.999…间无法插入另一个数,他们只能相等。(不相等的两个实数一定可以插入中间数,比方他们的平均值;两个不相等的实数中间有无穷多个实数)
在四舍五入的情况下等于1其他情况下0.999999≠1
只是一般0.0099不是等于1的,因为他们不是等式关系。