0.999999999.... 与 1 相比,谁更大 - V2EX
V2EX = way to explore
V2EX 是一个关于分享和探索的地方
现在注册
已注册用户请  登录
xoxo
V2EX    分享发现

0.999999999.... 与 1 相比,谁更大

  •  
  •   xoxo 2014-01-04 14:21:32 +08:00 5236 次点击
    这是一个创建于 4301 天前的主题,其中的信息可能已经有所发展或是发生改变。
    0.999999999.... =
    0.333333333.... * 3 =
    1/3 * 3 =
    1
    20 条回复    1970-01-01 08:00:00 +08:00
    xatest
        1
    xatest  
       2014-01-04 14:23:11 +08:00 via iPad
    学过数学极限就知道,相等。
    RIcter
        2
    RIcter  
       2014-01-04 14:24:37 +08:00
    0 0 lz你好..有..趣..
    chairuosen
        3
    chairuosen  
       2014-01-04 14:26:23 +08:00
    0.9循环真实不存在,只是一个标记
    xoxo
        4
    xoxo  
    OP
       2014-01-04 14:26:51 +08:00
    @xatest transfinite number?
    Mutoo
        5
    Mutoo  
       2014-01-04 14:27:02 +08:00
    关于0.9999....=1的证明 http://www.matrix67.com/blog/archives/1301
    acalarolo
        6
    acalarolo  
       2014-01-04 14:34:00 +08:00
    微积分是通向新世界的门槛……
    lehui99
        7
    lehui99  
       2014-01-04 14:37:05 +08:00 via Android
    无限级数之和证明相等
    Ultratude
      &bsp; 8
    Ultratude  
       2014-01-04 15:15:36 +08:00 via iPhone
    一样大。
    wuyexiong
        9
    wuyexiong  
       2014-01-04 15:22:42 +08:00
    疯了吧..赶紧吃饭
    lsj5031
        10
    lsj5031  
       2014-01-04 15:43:33 +08:00
    @Mutoo

    虽然应该是相等的,但是Matrix67博客那里的评论区贴出来的包括楼主的证明方式好像基本上都不能称之为严谨的。
    楼主的0.333333……=1/3 和直接说0.99999……=1没有本质区别……
    并没有说清楚为什么前面能放等号……
    同理那些两边同时乘以10的也说不清楚为什么另一边乘以10是那个结果……
    我想过的最简单但是又是纯正地从公理和定理推导的应该就是利用0.99999……的定义把这个数按照定义展开然后把9提出来然后无穷级数求和公式证明的……
    jybox
        11
    jybox  
       2014-01-04 16:15:36 +08:00
    因为无限循环小数是有理数,有理数可以表示为两个整数之比 ,而0.99999无法表示为两个整数之比,所以0.99999根本不是个数
    dreampuf
        12
    dreampuf  
       2014-01-04 16:18:18 +08:00
    一个是过程,一个是结果。没有可比性
    zorceta
        13
    zorceta  
       2014-01-04 16:20:11 +08:00 via Android
    set x to 0.9999......
    10x is 9.9999......
    9x is 9
    x is 1
    done
    Tink
        14
    Tink  
    PRO
       2014-01-04 16:23:05 +08:00
    一样大
    123123
        15
    123123  
       2014-01-04 19:22:32 +08:00
    momo5269
        16
    momo5269  
       2014-01-04 19:46:42 +08:00


    你们是说这个么? 某些地方经常有说,可惜我始终看不懂。
    xiaket
        17
    xiaket  
       2014-01-04 21:27:13 +08:00
    @momo5269 第一个等号和第三个等号应该是不言自明的? 第二个等号就是一个带参数的无穷级数的求和啊.
    tigertooth4
        18
    tigertooth4  
       2014-01-05 14:36:40 +08:00
    换个角度思考:一个实数为什么不能有两种记法?比如 1 和 0.999...


    类似的例子有无穷多(可数多个),事实上每个有理数都有两种10进制表示,比如 0.48 = 0.47999... 等等
    xoxo
        19
    xoxo  
    OP
       2014-01-05 16:04:19 +08:00
    @tigertooth4 十进抽的数的无穷记法能不带9嘛
    tigertooth4
        20
    tigertooth4  
       2014-01-05 16:20:11 +08:00
    @xoxo 哦对,感谢!我说错了,任何有限小数都有两种不同的表示方法
    关于     帮助文档     自助推广系统     博客     API     FAQ     Solana     903 人在线   最高记录 6679       Select Language
    创意工作者们的社区
    World is powered by solitude
    VERSION: 3.9.8.5 24ms UTC 21:58 PVG 05:58 LAX 14:58 JFK 17:58
    Do have faith in what you're doing.
    ubao snddm index pchome yahoo rakuten mypaper meadowduck bidyahoo youbao zxmzxm asda bnvcg cvbfg dfscv mmhjk xxddc yybgb zznbn ccubao uaitu acv GXCV ET GDG YH FG BCVB FJFH CBRE CBC GDG ET54 WRWR RWER WREW WRWER RWER SDG EW SF DSFSF fbbs ubao fhd dfg ewr dg df ewwr ewwr et ruyut utut dfg fgd gdfgt etg dfgt dfgd ert4 gd fgg wr 235 wer3 we vsdf sdf gdf ert xcv sdf rwer hfd dfg cvb rwf afb dfh jgh bmn lgh rty gfds cxv xcv xcs vdas fdf fgd cv sdf tert sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf shasha9178 shasha9178 shasha9178 shasha9178 shasha9178 liflif2 liflif2 liflif2 liflif2 liflif2 liblib3 liblib3 liblib3 liblib3 liblib3 zhazha444 zhazha444 zhazha444 zhazha444 zhazha444 dende5 dende denden denden2 denden21 fenfen9 fenf619 fen619 fenfe9 fe619 sdf sdf sdf sdf sdf zhazh90 zhazh0 zhaa50 zha90 zh590 zho zhoz zhozh zhozho zhozho2 lislis lls95 lili95 lils5 liss9 sdf0ty987 sdft876 sdft9876 sdf09876 sd0t9876 sdf0ty98 sdf0976 sdf0ty986 sdf0ty96 sdf0t76 sdf0876 df0ty98 sf0t876 sd0ty76 sdy76 sdf76 sdf0t76 sdf0ty9 sdf0ty98 sdf0ty987 sdf0ty98 sdf6676 sdf876 sd876 sd876 sdf6 sdf6 sdf9876 sdf0t sdf06 sdf0ty9776 sdf0ty9776 sdf0ty76 sdf8876 sdf0t sd6 sdf06 s688876 sd688 sdf86