悠闲数学娱乐论坛(第2版) » 初等数学讨论 » 数列不等式的奇怪结论

力工 发表于 2018-2-11 20:00

数列不等式的奇怪结论

[i=s] 本帖最后由 力工 于 2018-2-12 20:10 编辑 [/i]

数列${a_n}$满足$a_1=1,a_{n+1}=\dfrac{n^2+n+1}{n^2+n}a_n+\dfrac{1}{2^n}$，求证：$a_n<\dfrac{43\sqrt{e}}{12}-1$.
这个题显然迭加，有$a_{n+1}=\dfrac{a_1}{1\cdot 2}+\dfrac{a_2}{2\cdot 3}+\cdots +\dfrac{a_n}{n(n+1)}+2-2^{-n}$.
但不知结论中怎么与$e(伊)$勾搭上的。大咖们请讲讲吧。{:sad:}

kuing 发表于 2018-2-12 16:37

跟《撸题集》第 111 页题目 1.4.7 有点像，那题也有 e(伊) {:lol:}

kuing 发表于 2018-2-12 17:07

而且我怀疑你打错了题，按你后面的叠加式来看，递推应该和书上的那个一样才对啊。
如果真是这样的话，那这题的结论还是弱于我证出的结果。

力工 发表于 2018-2-12 20:04

[b]回复 [url=http://kuing.orzweb.net/redirect.php?goto=findpost&pid=25298&ptid=5187]3#[/url] [i]kuing[/i] [/b]

kuing和坛里的各位大神新年快乐！

力工 发表于 2018-2-12 20:11

{:mad:}{:sweat:}无言中。可以还加强？

realnumber 发表于 2018-2-12 22:17

全然没印象了--看了luti集发现也参与过，
[url]http://kuing.orzweb.net/viewthread.php?tid=2376[/url]

就按kuing的方法，多计算几项，数值上还可以更精确吧，就是不晓得极限能否解出来。

realnumber 发表于 2018-2-12 23:12

[i=s] 本帖最后由 realnumber 于 2018-2-12 23:23 编辑 [/i]

记$a_{n+1}=f(n)a_n+g(n)$
那么得
\[a_2=f(1)+g(1)\]
\[a_3=f(2)f(1)+f(2)g(1)+g(2)\]
.......
\[a_n=f(n-1)\cdots f(1)+f(n-1)\cdots f(2)g(1)+f(n-1)\cdots f(3)g(2)+\cdots +f(n-1)g(n-2)+g(n-1)\]
模仿kk的取对数后放缩得
\[a_n<e^{1-\frac{1}{n}}+\frac{1}{2}e^{\frac{1}{2}-\frac{1}{n}}+\cdots +\frac{1}{2^{n-1}}e^{\frac{1}{n}-\frac{1}{n}}\]
右边小于
\[e+\sqrt{e}(\frac{1}{2}+\frac{1}{4}+...)<e+\sqrt{e}\]

realnumber 发表于 2018-2-13 08:56

用程序试了下$a_{12000}=3.8928874$左右

查看完整版本: 数列不等式的奇怪结论