民科吧 关注:336,288贴子:4,793,257
  • 3回复贴,共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回复
    【声明】
    显然,限于本楼的篇幅,要在这里一一反驳与此有联系的各种各样错误观点,是不可能的。
    所以,本楼采用回避其他问题的办法。
    但这并不意味着我承认那些错误观点。
    例如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
      收起回复
        @就叫寒风吧 兄:
        不妨到这里看看这个帖子,其中的“公认事实”部分措辞,或者可以改用7楼的叙述形式,更好懂一些?
        如此,既然(1 -0.999……)之差等于0,那么
        0.999……与1之间,就只能是“等于”,而不是什么“约等于”。


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