数学研发论坛

 找回密码
 欢迎注册
查看: 452|回复: 5

[提问] 如何证明 (1+1/x)^x + (1+x)^(1/x) >1+e

[复制链接]
发表于 2018-9-13 15:38:54 | 显示全部楼层 |阅读模式

马上注册,结交更多好友,享用更多功能,让你轻松玩转社区。

您需要 登录 才可以下载或查看,没有帐号?欢迎注册

x
本论坛已经解决 (1+1/x)^x + (1+x)^(1/x) ≤ 4的证明问题,那如何证明 (1+1/x)^x + (1+x)^(1/x) >1+e 呢?(其中,x>0)
毋因群疑而阻独见  毋任己意而废人言
毋私小惠而伤大体  毋借公论以快私情
 楼主| 发表于 2018-9-16 12:01:21 | 显示全部楼层
可以证明:

1、 f(x)=(1+1/x)^x 是增函数

2、g(x)=(1+x)^(1/x)是减函数
毋因群疑而阻独见  毋任己意而废人言
毋私小惠而伤大体  毋借公论以快私情
 楼主| 发表于 2018-9-16 21:22:24 | 显示全部楼层
shufubisheng 发表于 2018-9-16 12:01
可以证明:

1、 f(x)=(1+1/x)^x 是增函数

在x∈[1/2,1]内,

f(x)+g(x)>f(1/2)+g(1)=√3+2>1+e
毋因群疑而阻独见  毋任己意而废人言
毋私小惠而伤大体  毋借公论以快私情
 楼主| 发表于 2018-9-17 16:25:03 | 显示全部楼层
本帖最后由 shufubisheng 于 2018-9-17 16:33 编辑
shufubisheng 发表于 2018-9-16 12:01
可以证明:

1、 f(x)=(1+1/x)^x 是增函数


在x∈[0,1/2]内,有以下双不等式成立:

       f(x) - 1 ≥ ex/2 ≥ e - g(x)

问题在于如何证明此双不等式成立呢?
毋因群疑而阻独见  毋任己意而废人言
毋私小惠而伤大体  毋借公论以快私情
发表于 2018-9-20 12:53:54 | 显示全部楼层
作图 f(x)-1-ex/2=(1+1/x)^x-1-ex/2: http://www.wolframalpha.com/input/?i=(1%2B1%2Fx)%5Ex-1-e*x%2F2
可以看出我们需要证明f(0)-1=0,f(1/2)-1-e/4>=0, f''(x)<=0
同样作图g(x)+ex/2-e=(1+x)^(1/x)+ex/2-e: http://www.wolframalpha.com/input/?i=(1%2Bx)%5E(1%2Fx)%2Bex%2F2-e
可知我们只需要证明 g(0)-e=0, g'(x)+e/2>0
采用我在另外一个帖子中符号,f(x)=V(x)=exp(v(x)), g(x)=U(x)=exp(u(x)), 于是只要证明v'(x)^2+v''(x)<=0 , u'(x)>-e/2
另外一个帖子中已经给出u'(x)单调增而且u'(0)=-1/2>-e/2,所以u'(x)>-e/2没有任何问题。
而$v'(x)=\ln(1+1/x)-1/(1+x)=-ln(1-1/{1+x})-1/{1+x}>0, v''(x)=-1/{x(x+1)^2}$
所以我们只需要证明$v'(x)<\sqrt{-v''(x)}$,即$\ln(1+1/x)-1/(1+x)<1/{(x+1)\sqrt(x)}$
函数$\ln(1+1/x)-1/(1+x)-1/{(x+1)\sqrt(x)}$的导数是${3x+1-2\sqrt(x)}/{2x\sqrt(x)(x+1)^2}={2x+(\sqrt(x)-1)^2}/{2x\sqrt(x)(x+1)^2}>0$,
而且函数$\ln(1+1/x)-1/(1+x)-1/{(x+1)\sqrt(x)}$在$x->+\infty$时趋向0,所以函数恒大于0,得证
毋因群疑而阻独见  毋任己意而废人言
毋私小惠而伤大体  毋借公论以快私情
 楼主| 发表于 2018-9-20 13:41:08 | 显示全部楼层
mathe 发表于 2018-9-20 12:53
作图 f(x)-1-ex/2=(1+1/x)^x-1-ex/2: http://www.wolframalpha.com/input/?i=(1%2B1%2Fx)%5Ex-1-e*x%2F2
...

感谢管理员提供作图地址和高超证明。
毋因群疑而阻独见  毋任己意而废人言
毋私小惠而伤大体  毋借公论以快私情
您需要登录后才可以回帖 登录 | 欢迎注册

本版积分规则

小黑屋|手机版|数学研发网 ( 苏ICP备07505100号 )

GMT+8, 2018-11-18 09:14 , Processed in 0.052745 second(s), 16 queries .

Powered by Discuz! X3.4

© 2001-2017 Comsenz Inc.

快速回复 返回顶部 返回列表