数学研发论坛

 找回密码
 欢迎注册
楼主: mathematica

[提问] 如何证明 (1+1/x)^x + (1+x)^(1/x) ≤ 4

[复制链接]
发表于 2018-8-31 22:37:44 来自手机 | 显示全部楼层
shufubisheng 发表于 2018-8-31 16:38
数值解不是证明。否则的话,黎曼猜想早就成为黎曼定理了。


合理的数值计算方案是可以用来做证明的。
比如我们需要证明某个函数f在某个区间大于0,
如果能够事先证明在区间中导函数f'的绝对值有一个很粗糙的上界M,而且能够从图像中观察到f实际不小于正数a,那么我们只要让计算机在区间中采样密度不小于a/M,计算证明所有采样点的值不小于a,就证明了结论。
当然,这对于极值点还不够,这时在极值点领域需要证明二阶导数的符号,所以需要估计三阶导数的粗糙的界,然后由此证明二阶导数在邻域不变号
毋因群疑而阻独见  毋任己意而废人言
毋私小惠而伤大体  毋借公论以快私情
发表于 2018-9-1 09:31:26 | 显示全部楼层
mathe 发表于 2018-8-31 22:37
合理的数值计算方案是可以用来做证明的。
比如我们需要证明某个函数f在某个区间大于0,
如果能够事先 ...

1、你说的“合理”————也是需要证明的。没有证明“合理”的合理数值计算方案是不可以用来做证明的。
2、以 sin(1/x) 为例,x在区间(-1,1)内,能找出无穷多个点,使 sin(1/x) >0,但不能用来证明在区间(-1,1)内的所有点x,使 sin(1/x) >0,因为此结论不成立。
毋因群疑而阻独见  毋任己意而废人言
毋私小惠而伤大体  毋借公论以快私情
发表于 2018-9-1 10:12:08 来自手机 | 显示全部楼层
这是导函数的问题,所以我们需要分析出导函数有界才行。
毋因群疑而阻独见  毋任己意而废人言
毋私小惠而伤大体  毋借公论以快私情
发表于 2018-9-1 10:18:26 来自手机 | 显示全部楼层
比如16楼分析出$\frac{1}{x(1+x)}-\frac{\ln(1+x)}{x^2}$单调,由此可以得出其取值在-1/2和0之间,可以由此证明题目中函数导数的绝对值在[1/2,2]区间不超过40
于是在这个区间,扣掉1邻域中取值和4差值小于0.01的区间,其余部分采样密度不大于1/4000就可以通过数值计算证明在这个区域函数值都不大于4.但是在x=1的领域,我们就需要通过数值计算证明在这个领域中函数二阶导数恒小于某个负数了,同样我们先需要给三阶导数估计一个上界判断需要的采样密度,而对于[1/2,2]以外部分,由于导函数会无解,10楼的数值计算方法更好
毋因群疑而阻独见  毋任己意而废人言
毋私小惠而伤大体  毋借公论以快私情
发表于 2018-9-1 14:58:36 来自手机 | 显示全部楼层
好像函数$\frac{\ln(1+x)}{x}$的各阶导数均是恒正或恒负的函数,而且在x趋向无穷时趋向0
毋因群疑而阻独见  毋任己意而废人言
毋私小惠而伤大体  毋借公论以快私情
发表于 2018-9-1 16:03:51 | 显示全部楼层
$u(x)=\frac{\ln(1+x)}{x}$的确是一个很特殊的函数
我们有u的n阶导函数$u^{(n)}(x)=C_n^0(-1)^n \frac{n!\ln(1+x)}{x^{n+1}}+\sum_{h=1}^n C_n^h \frac{(-1)^{n-1}(n-h)!(h-1)!}{x^{n-h+1}(1+x)^h}$
所以
$u^{(n)}(x)=\frac{n!(-1)^n}{x^{n+1}} (\ln(1+x)-\sum_{h=1}^n \frac{x^h}{h(x+1)^h})$

$\ln(1+x)=-\ln(\frac1{1+x})=-\ln(1-\frac x{1+x})=\sum_{h=1}^{+\infty}\frac{x^h}{h(1+x)^h}$
所以我们得出$u^{(n)}(x)=\frac{n!(-1)^n}{x^{n+1}} \sum_{h=n+1}^{+\infty} \frac{x^h}{h(x+1)^h}$
由此证明了$u(x)$各阶导函数是恒正或恒负的函数,其中偶数阶恒正,奇数阶恒负
所以其各阶导函数都是单调函数,偶数阶单调减,奇数阶单调增
又因为$u(x)=\sum_{h=1}^{+\infty} (-1)^{h-1}\frac{x^{h-1}}{h}$
所以$u^{(n)}(0)=\frac{(-1)^{n-1}n!}{n+1}$,也就是$|u^{(n)}(x)|<=\frac{n!}{n+1}$
毋因群疑而阻独见  毋任己意而废人言
毋私小惠而伤大体  毋借公论以快私情
发表于 2018-9-1 17:08:19 | 显示全部楼层
本题中函数为$e^{u(x)}+e^{u(1/x)}$,计算然后利用上面一楼的结果可以放缩得到其三阶导数的绝对值不超过
${21e}/8+{21e}/{8x^6}+{17e}/{6x^5}+{3e}/{x^4}$
于是在区间$[1/2,2]$中$e^{u(x)}+e^{u(1/x)}$的三阶导数绝对值不超过841
由于在x=1附近二阶导数应该约等于-0.078,所以我们只要枚举x=1附近二阶导数,相邻点间距离不超过$9*10^-5$即可证明二阶导数在x=1附近恒小于0,也就是在x=1附近函数值恒不超过4
毋因群疑而阻独见  毋任己意而废人言
毋私小惠而伤大体  毋借公论以快私情
发表于 2018-9-1 17:56:53 | 显示全部楼层
mathe 发表于 2018-9-1 10:18
比如16楼分析出$\frac{1}{x(1+x)}-\frac{\ln(1+x)}{x^2}$单调,由此可以得出其取值在-1/2和0之间,可以由此 ...

你是如何证明此函数是单调的呢?难道是数值计算证明的?
毋因群疑而阻独见  毋任己意而废人言
毋私小惠而伤大体  毋借公论以快私情
发表于 2018-9-1 17:59:07 来自手机 | 显示全部楼层
函数在x=0取0,而导函数形式直接看出大于0,所以对于x>0,函数大于0
毋因群疑而阻独见  毋任己意而废人言
毋私小惠而伤大体  毋借公论以快私情
发表于 2018-9-2 08:47:03 | 显示全部楼层
mathe 发表于 2018-9-1 14:58
好像函数$\frac{\ln(1+x)}{x}$的各阶导数均是恒正或恒负的函数,而且在x趋向无穷时趋向0

这是因为:x的无限极点是一阶极点。ln(1+x)的无限极点是零阶极点。
毋因群疑而阻独见  毋任己意而废人言
毋私小惠而伤大体  毋借公论以快私情
您需要登录后才可以回帖 登录 | 欢迎注册

本版积分规则

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

GMT+8, 2019-11-22 05:17 , Processed in 0.057100 second(s), 16 queries .

Powered by Discuz! X3.4

© 2001-2017 Comsenz Inc.

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