0.999......到底应不应该等于1？

lg_ok

   经典图书

1. 数值比较同样不需要具体差值。
假设咱俩穿越下，来到一个古代，那时人们还没有具体数的概念，但有多少的概念。零侠你是元帅，统领一大群兵，还有一大群马。我是你朋友，跑过来看你，你很高兴，请我喝酒。然后我问你一个问题，零帅，你到底是兵多呢，还是马多呢？你回答不了，因为那时不会数数，但咱们还是想到了一个办法，让每个兵去牵一匹马。最后有兵没牵到马，说明兵多；有马没兵牵，说明马多；以上两种情况都没有，说明兵和马一样多。
另外从历史上看，多少的概念比减法概念出现的要早很多。所以说数值比较不需要具体差值。至于“小差距不能辨识的情况呢”，放大呀，数学最擅长这个了。
2.” 0.99...=0.99吗？0.99...>0.99吗？0.99...<0.99吗？”
零侠后面有0.333...=0+3*(1/10)+...+3*(1/10)^n+0+3*(1/10)+...+3*(1/10)^n，同样可以展开0.99.....啊，很容易就能证明0.99...>0.99。不存在鸡蛋问题。
3. 下面3个算式只是想说明有些无限小数是可以运算的，只要有定义。
    0.1....-0.1.....=0
    1x0.1....=0.1.....
    0.1.....+0=0.1.....
4. “我写的那个式子，希望大侠看全。
1/3+1/3=0.333...+0.333...=0+3*(1/10)+...+3*(1/10)^n+0+3*(1/10)+...+3*(1/10)^n=0+2*3*(1/10)+...+2*3*(1/10)^n=0.6666.....=2/3”
  上面运算的实质是极限，并没有定义/证明无限小数的运算规则。
5. “其实进位并不是问题。”因为咱们讨论的1/3、1/9有点特殊，循环节只有1位。循环节不同的小数怎么加？1/3+π怎么加？

lizylazy

1。呵呵，你的例子很有意思。但是还是那句话，不能作为一个定理来应用于证明。不扯那么远的例子，就说1和0.99..的差值，这么说，我们不四则，也不知道差值究竟有多少，然后我给了一个小实数，0.000....001，在1的前面有n个，或者无限个零。那么你该如何比较这个差值和这个小实数的大小呢？你可以证明，1-0.99..的有限位差值小于0.1,0.01等等，但是推倒无限位的时候，你既不能通过四则运算得到一个实际的差值，又不能通过所谓的观察法得到差值小于另一个差值的结论，那么你该怎么办呢？如果我们把这个推广到那个人和马的例子上。比如人很多，马也很多。前面不断的有人在牵马，后面还有很长的队在等待牵马，而检查的人在检查到一半的时候就已经说不清究竟谁牵过马，谁没有了。那么这种情况，你还有办法比较吗？另外，这个例子其实是在一个参照系下进行的。当你换了参照系呢？比如那个著名的新龟兔赛跑的例子，乌龟和兔子两人从一点出发自东向西跑，裁判是太阳。最后的结果就是乌龟比兔子跑得快。哈哈。这也是为什么我说这样的所谓可比性不能作为证明的依据的原因。
2。呵呵，我希望你再看下我的话。0.99....可以通过级数展开，但是分数展开的本身实际上等价于小数逐位展开的本身。换句或说，220就等价于200+20+0, 等价于2*100+2*10+0*1。同样的，0.3165=0+3*（1/10）+1*(1/10)^2+6*(1/10)^3+5*(1/10)^4也等价于0+3*0.1+1*0.01+6*0.001+5*0.0001。这样的式子恒等价，因为这是实数构成的基本法则，即逐位安置。而逐位安置本身就是在应用四则运算。所以，如果说无限小数不能进行四则运算，那么同样的，0.99...就不能写成0+9*0.1+9*0.01+9*0.001....这种形势。因为你后面的无限位数该如何相加呢？是否会有进位呢？是否在某一位，9*（1/10）^n=0了呢？既然不能这样写，那么还是那个问题，你怎么比较呢？
3。这三个例子其实不是在说无限小数可以运算，而是在说任意实数的一个通性。这个通性本身跟四则运算没有什么关系。
4。那个式子的关键在于逐位安置，然后逐位相加。所以才有2*3*（1/10）的写法。就像我前面说的，逐位安置是实数构成的基本法则。如果你承认这种逐位相加，那么跟你在运算0.33...+0.33..的逐位相加有什么区别呢？只是因为一个是分数的逐位形势一个是小数的逐位形势吗？这才是这个长等式要表述的问题。跟级数也好，跟极限也好，都没有关系。本质是数字构成。
5。我在更早的回复里提到过，进位计算对于无限循环小数不是问题，对于无理数比较麻烦。而实际上，即便不使用小数形势进行计算，你依旧没有办法计算无理数。比如1/3+Pi，他究竟是多少呢？或者说他究竟等于一个什么像的无限不循环小数呢？同样的，如果你不用1/3的小数形势0.33...同Pi的有限小数形势比如3.14159进行四则运算，你有什么办法从1/3+Pi这个式子中得到一个数值解吗？没有！你不仅得不到一个无限右位的解，也得不到一个有限右位的解。不是吗？

雪痕qaz

   经典图书

zero大侠：

1.  故事，而且还是虚拟的故事自然不能当定理用。可是我用的方法是可以当定理用的。

     因为我在2个集合的元素之间建立起了一一对应的关系。一一对应准则是康托尔集合论的基石，集合论与现代数学的关系我   
     就不说了。

2.  “ 0.000....001，在1的前面有n个，或者无限个零”，无限个零说法是不对的，具体见截图--最后一位。

3.  “你可以证明，1-0.99..的有限位差值小于0.1,0.01等等，但是推倒无限位的时候，”
      为什么要推到无限位呢？我只要证明│ 1-0.9...│ <任意给定正数就行了，只要你给定了一个数，这个数就固定下来了，我肯
      定能证明│ 1-0.9...│<这个数，按照实数系的阿基米德性质，就能得到│ 1-0.9...│=0。

4.  “你既不能通过四则运算得到一个实际的差值，又不能通过所谓的观察法得到差值小于另一个差值的结论，”
      怎么不能得到差值小于另一个差值？见截图--实数的比较，来自张筑生的数学分析。

      由比较规则轻松可得0.9....>0.9或0.99或0.999。

5.   实际生活中，如果零侠有个几万兵马，我那个方法确实很难执行；如果零侠只有几十兵马，几分钟结果就出来了。不过从数
      学上看，几十兵马可以用这种方法判别多少？那几万兵马同样可以用这种方法判别多少！

6.  “0.99...就不能写成0+9*0.1+9*0.01+9*0.001....这种形式。因为你后面的无限位数该如何相加呢？”
      为什么要硬加呢？无穷级数和难道是一项一项加出来的？

7.  “那个式子的关键在于逐位安置，然后逐位相加”

      逐位安置我承认，可为什么要逐位相加呢？理由同第6点。

8.  “如果你不用1/3的小数形势0.33...同Pi的有限小数形势比如3.14159进行四则运算，你有什么办法从1/3+Pi这个式子中得到一个
      数值解吗？”

     有一个很用力的近似计算工具，叫逼近。数值解，可以呀，你要精确到几位小数？

     零侠可以回顾下人类认识π的历史，从周三径一开始，虽然人们不知道π具体数值，甚至不知道π是无理数，但已经把π控制在
     3~4了，到刘徽的割圆术，就可以把π控制在很精确的范围了；π可以逼近，π+1/3同样可以逼近。