logX < X 对所有 X > 0 成立? - V2EX
V2EX = way to explore
V2EX 是一个关于分享和探索的地方
现在注册
已注册用户请  登录
jinhan13789991
V2EX    数学

logX < X 对所有 X > 0 成立?

  •  
  •   jinhan13789991 2016-07-22 15:58:40 +08:00 6444 次点击
    这是一个创建于 3400 天前的主题,其中的信息可能已经有所发展或是发生改变。

    (注意:计算机科学中,若无特别说明,所有对数都是以 2 为底的) 在《数据结构与算法分析》这本书里看到的,但是我无论如何都无法证明,网上的证明也看过了 http://www.cnblogs.com/xpjiang/p/4133975.html ,抱歉这个归纳法我没看懂 但是在对数函数图像上, logX<x x="">0 在 X = 1/2 时明显不成立。希望V2EX上的大牛能指点下。

    16 条回复    2021-08-15 22:32:04 +08:00
    est
        1
    est  
       2016-07-22 16:02:33 +08:00   1


    肉眼证明。
    47jm9ozp
        2
    47jm9ozp  
       2016-07-22 16:03:50 +08:00
    我觉得原文漏了一条 x 为整数,否则用什么数学归纳法……
    virusdefender
        3
    virusdefender  
       2016-07-22 16:04:32 +08:00
    x = 1/2 的时候 log2 x = -1 啊
    jinhan13789991
        4
    jinhan13789991  
    OP
       2016-07-22 16:11:48 +08:00
    @ooxxcc 我也感觉是书的翻译问题
    @est
    @virusdefender
    看错了,我看成以 x 为底的对数了(捂脸)。差点以为自己在数学上有了重大发现,但是那个归纳法还是看不太明白
    wowpanda
        5
    wowpanda  
       2016-07-22 16:39:14 +08:00 via Android
    求导数,看单调性,你就知道了
    aristotll
        6
    aristotll  
       2016-07-22 16:39:46 +08:00
    用导数容易证明
    logx<x-1(x>1)

    估计是算法里默认为正整数的缘故吧....
    cfans1993
        7
    cfans1993  
       2016-07-22 17:03:14 +08:00
    不知道证明的对不对, 一些限制条件自己加一下
    https://ooo.0o0.ooo/2016/07/22/5791e360020de.jpg
    wzxjohn
        8
    wzxjohn  
       2016-07-22 17:17:31 +08:00
    看到标题吓得我以为我对数白学了。。。
    rrfeng
        9
    rrfeng  
       2016-07-22 17:17:56 +08:00
    这个不是高中数学的内容吗?

    敢问楼主哪里的……
    SuperFashi
        10
    SuperFashi  
       2016-07-22 19:18:50 +08:00 via Android
    wait ,第一句话,“计算机科学中,对数都是以 2 为底的”,据我所知, log 默认都是以 e 为底的啊……
    blacktulip
        11
    blacktulip  
       2016-07-22 19:25:08 +08:00
    @SuperFashi e 底一般写成 ln
    SuperFashi
        12
    SuperFashi  
       2016-07-22 19:42:03 +08:00 via Android
    @blacktulip 这是数学表达,数学表达中 log 是 2 底, ln 是 e 底, lg 是 10 底
    yhylord
        13
    yhylord  
       2016-07-22 20:32:30 +08:00
    @SuperFashi 一般内置的数学函数是以 e 为底,但是在 CS 教材里面写 log 都是以 2 为底的。
    ga6840
        14
    ga6840  
       2016-09-26 10:37:45 +08:00
    A1B2C3D4
        15
    A1B2C3D4  
       2021-08-15 22:26:32 +08:00 via Android
    令 x = 2( n∈R ),
    即证明 n<2在 n∈R 时恒成立,
    令 m ( n )= 2- n ( n∈R),
    因为(2- n)'= 2ln2 - 1,
    而 p ( m )= 2ln2 - 1 在 n∈R 上,
    且 n = log ( loge )时,2- n = 0,
    所以 m(n)在(-∞,log(loge)],在[ log(loge),+∞),有最小值 m[log ( loge )],
    所以只需证明最小值> 0 即可,因为
    2^[log ( loge )]-log(loge)= loge-log(loge)
    A1B2C3D4
        16
    A1B2C3D4  
       2021-08-15 22:32:04 +08:00 via Android
    @A1B2C3D4 = log ( e/loge )= log ( log2^e/loge )
    而 2^e/e > 2/e = 4/e > 1
    推出 log ( 4/e )> 0
    所以 log ( 2^e/e )> log ( 4/e )> 0
    所以假设成立
    关于     帮助文档     自助推广系统     博客     API     FAQ     Solana     5032 人在线   最高记录 6679       Select Language
    创意工作者们的社区
    World is powered by solitude
    VERSION: 3.9.8.5 25ms UTC 09:39 PVG 17:39 LAX 01:39 JFK 04:39
    Do have faith in what you're doing.
    ubao msn 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