在实数现代定义下，包括完备性，选择公理，连续统假设等等吧，0.9999999999999..... = 1.0就是ok了。定义是为了解决描述物理世界时数学遇到的尴尬，
比如，9个苹果分成9份，1份是1个苹果。
如果把9个苹果中的每一1个苹果分成9份，这样的9个1/9份苹果拼起来，也需要得到一个完整的苹果，
所以，0.99999...=1是必须的。
至于现实世界中怎么把1个苹果平均分成9份，得到0.111111..... , 就成了精度和误差问题，有另外一套数学理论来解决。
如果我们认为世界是无限可分的话，那么前面的实数理论就没有毛病，
如果世界不是无限可分的话，那么我们还有精度理论来保证。
【 在 Zinux 的大作中提到: 】
: 所有分数、无限小数的所谓证明都是不严密的，就不要来摆了。
: 下面是网上找的一个证明，个人觉得还比较靠谱。
: 先从把问题转为严谨的数学表述开始，通过实数稠密性和阿基米德公理，证明两者间不存在任何实数，进而证明两者是同一个数的不同形式。
: ...................
--
FROM 123.112.68.*