民科吧 关注:333,107贴子:4,787,230
  • 44回复贴,共1

很容易证明:(1 -0.999……)之差不可能大于0,只可能等于0

只看楼主收藏回复

用反证法很容易证明:(1 -0.999……)之差不可能大于0,只可能等于0
本来,如果直接引用极限的定义,这个证明一句话就行了。但我知道本吧不少朋友不承认极限理论,或者只承认被他们误解歪曲,或偷换概念后的“极限理论”。
所以,为使这些朋友能理解,本帖换一种形式:不引用极限理论,直接用反证法来证明。也很容易。
但在证明时,需要引用若干朋友们公认的事实,作为已知条件。
需要引用的公认事实如下:
【1】无限小数0.999……大于无穷序列{0.9,0.99,0.999,0.9999,……}中的每一项;
【2】所以(1 -0.999……)小于无穷序列{0.1,0.01,0.001,0.0001,……}中的每一项;
【3】后一序列中的第n项等于1/10^n(或写作10^-n)。
设(1 - 0.999……) = δ;下面用反证法来证明δ不可能大于零。
假设δ大于零,则因正数均可取对数,可设M= -lgδ,即δ=10^-M。
再设N=(M取整+1),则N为大于M的一个整数,
故δ=10^-M > 10^-N。
(为照顾不熟悉对数的朋友,对这一段做点解释。这一段要说明的是:只要δ大于零,总有办法找到一个正整数N,使得δ> 10^-N。这里只是给了一种找法,如果换一种别的找法也可以。)
而上述序列{0.1,0.01,0.001,0.0001,……}中的第N项就等于10^-N。
故δ大于该序列中的第N项及以后各项。
这与上述公认的事实【2】相矛盾。
所以δ不可能大于零。
证毕。


IP属地:陕西1楼2024-02-27 01:25回复
    无限小数0.9…就是描述序列0.9,0.99,0.999…


    IP属地:湖北来自Android客户端2楼2024-02-27 06:29
    收起回复
      初等数学证明过程有问题


      IP属地:浙江来自Android客户端3楼2024-02-27 07:34
      回复
        【声明】
        显然,限于本楼的篇幅,要在这里一一反驳与此有联系的各种各样错误观点,是不可能的。
        所以,本楼采用回避其他问题的办法。
        但这并不意味着我承认那些错误观点。
        例如4楼的朋友认为:“既然是无穷序列,里面就包含了无限小数0.999....”,显然是毫无道理的错误。
        我说“退一万步,就算你这话对” ,目的只是减少节外生枝。


        IP属地:陕西6楼2024-02-27 11:12
        收起回复
          为减少节外生枝,可以把上面的“公认事实”措辞改写如下:
          需要引用的公认事实如下:
          【1】
          无限小数0.999……大于有限小数0.9;
          无限小数0.999……大于有限小数0.99;
          无限小数0.999……大于有限小数0.999;
          无限小数0.999……大于有限小数0.9999;
          ………………;
          ………………。
          【2】所以
          (1 -0.999……) < 有限小数 0.1;
          ( 1 -0.999……) < 有限小数 0.01;
          (1 -0.999……) < 有限小数 0.001;
          ( 1 -0.999……) < 有限小数 0.0001;
          ………………;
          ………………。
          【3】上面【2】中的第n行小于号右边等于1/10^n(或写作10^-n)。


          IP属地:陕西7楼2024-02-27 11:23
          收起回复
            避开ε是不可能的,你的证明过程已经蕴含了这一点


            IP属地:北京来自Android客户端8楼2024-02-27 11:39
            回复
              其实你的证明过程就是极限理论的不太规范的描述,当然,肯定不算错


              IP属地:北京来自Android客户端9楼2024-02-27 11:52
              收起回复
                逛了一段时间民科吧,发现这吧主打的就是用一个准确的理论来比谁理解得更傻。


                IP属地:广西来自Android客户端10楼2024-02-27 12:38
                收起回复
                  给你一个图,自己去体会,


                  IP属地:上海11楼2024-02-27 15:05
                  回复
                    趋向于0算等于0吗


                    IP属地:北京来自Android客户端12楼2024-02-27 17:12
                    收起回复
                      其实也可以通过:
                      对任一正的实数1/δ,存在整数N*,使N*>1/δ。
                      又可以归纳证明10^N*>N*对全部整数N*>0成立。
                      即存在正整数N*,使10^N*>1/δ,即
                      δ>10^(-N*)。
                      这样可以避开定义对数的不太初等的过程。


                      IP属地:河北来自Android客户端13楼2024-02-27 18:37
                      回复
                        这其实就是epsilon delta语言的不标准表述吧,只不过碍于吧里有些人一看到希腊字母就说这是伪学,楼主确实不容易


                        IP属地:北京来自iPhone客户端14楼2024-02-28 10:24
                        回复
                          要不直接点:
                          0-到0+之间只有一个实数


                          IP属地:广东来自Android客户端15楼2024-02-28 15:59
                          回复
                            @就叫寒风吧 兄:
                            不妨到这里看看这个帖子,其中的“公认事实”部分措辞,或者可以改用7楼的叙述形式,更好懂一些?
                            如此,既然(1 -0.999……)之差等于0,那么
                            0.999……与1之间,就只能是“等于”,而不是什么“约等于”。


                            IP属地:陕西16楼2024-03-20 12:49
                            回复