有趣的求极限题:随心所欲的放缩
By 苏剑林 | 2015-03-28 | 43243位读者 |昨天一好友问我以下题目,求证:
$$\lim_{n\to\infty} \frac{1^n + 2^n +\dots + n^n}{n^n}=\frac{e}{e-1}$$
将解答过程简单记录一下。
求解 #
首先可以注意到,当$n$充分大时,
$$\frac{1^n + 2^n +\dots + n^n}{n^n}=\left(\frac{1}{n}\right)^n+\left(\frac{2}{n}\right)^n+\dots+\left(\frac{n}{n}\right)^n$$
的主要项都集中在最后面那几项,因此,可以把它倒过来计算
$$\begin{aligned}\frac{1^n + 2^n +\dots + n^n}{n^n}=&\left(\frac{1}{n}\right)^n+\left(\frac{2}{n}\right)^n+\dots+\left(\frac{n}{n}\right)^n\\
=&\left(\frac{n}{n}\right)^n+\dots+\left(\frac{2}{n}\right)^n+\left(\frac{1}{n}\right)^n\end{aligned}$$
而我们有
$$\left(\frac{n-i}{n}\right)^n=\left(1-\frac{i}{n}\right)^n$$
是关于$n$的增函数,因此有
$$\left(\frac{n-i}{n}\right)^n \leq \lim_{n\to\infty} \left(1-\frac{i}{n}\right)^n =e^{-i}$$
从而
$$\left(\frac{n}{n}\right)^n+\dots+\left(\frac{2}{n}\right)^n+\left(\frac{1}{n}\right)^n \leq e^0 + e^{-1}+e^{-2}+\dots=\frac{e}{e-1}$$
恒成立。
另一边,主要是找到$\left(\frac{n-i}{n}\right)^n$的下界估计。我们有
$$\begin{aligned}&\ln\left[\left(\frac{n-i}{n}\right)^n\right]\\
=&n\ln\left(1-\frac{i}{n}\right)\\
=&n\left[-\frac{i}{n}-\frac{1}{2}\left(\frac{i}{n}\right)^2-\frac{1}{3}\left(\frac{i}{n}\right)^3-\dots\right]\end{aligned}$$
注意到我们有不等式$\ln(1-x) = -x -\frac{1}{2}x^2-\frac{1}{3}x^3-\dots > -x-x^2$,当然,这个不等式不是恒成立的,但是它在$x$较小时成立,可以粗略地估计,它在$0\leq x \leq \frac{1}{2}$时成立,因此,当$i \leq \frac{n}{2}$时,就有
$$\ln\left[\left(\frac{n-i}{n}\right)^n\right]\geq n\left[-\frac{i}{n}-\left(\frac{i}{n}\right)^2\right]=-i-\frac{i^2}{n}$$
或者
$$\left(\frac{n-i}{n}\right)^n \geq e^{-i-i^2/n}\geq e^{-i} \left(1-\frac{i^2}{n}\right)\geq e^{-i} -\frac{i^2}{n}$$
好了,我们已经知道$\sum_{i=0}^m i^2 \sim m^3$,故我们只取$i < n^{1/4}$的部分,也就是说
$$\begin{aligned}&\left(\frac{n}{n}\right)^n+\dots+\left(\frac{2}{n}\right)^n+\left(\frac{1}{n}\right)^n\\
\geq &\sum_{i=0}^{\left\lfloor n^{1/4} \right\rfloor}\left(1-\frac{i}{n}\right)^n\\
\geq &\sum_{i=0}^{\left\lfloor n^{1/4} \right\rfloor} \left(e^{-i} -\frac{i^2}{n}\right)\\
=&\frac{1-e^{-\left\lfloor n^{1/4} \right\rfloor-1}}{1-e^{-1}}-\lambda \frac{\left\lfloor n^{1/4} \right\rfloor ^3}{n}\end{aligned}$$
$\lambda$是一个常数,我们不需要知道它的具体值。取极限,后一项就为0了,得
$$\lim_{n\to\infty}\left(\frac{1}{n}\right)^n+\left(\frac{2}{n}\right)^n+\dots+\left(\frac{n}{n}\right)^n \geq\frac{e}{e-1}$$
结合另一端的不等式,就有
$$\lim_{n\to\infty}\left(\frac{1}{n}\right)^n+\left(\frac{2}{n}\right)^n+\dots+\left(\frac{n}{n}\right)^n = \frac{e}{e-1}$$
整个过程主要就是放缩,而且根据我们的需要随心所欲的放缩——当然,这与题目本身比较弱有关。文中的过程不是最简洁漂亮的,却是相当实用的!
转载到请包括本文地址:https://kexue.fm/archives/3256
更详细的转载事宜请参考:《科学空间FAQ》
如果您还有什么疑惑或建议,欢迎在下方评论区继续讨论。
如果您觉得本文还不错,欢迎分享/打赏本文。打赏并非要从中获得收益,而是希望知道科学空间获得了多少读者的真心关注。当然,如果你无视它,也不会影响你的阅读。再次表示欢迎和感谢!
如果您需要引用本文,请参考:
苏剑林. (Mar. 28, 2015). 《有趣的求极限题:随心所欲的放缩 》[Blog post]. Retrieved from https://kexue.fm/archives/3256
@online{kexuefm-3256,
title={有趣的求极限题:随心所欲的放缩},
author={苏剑林},
year={2015},
month={Mar},
url={\url{https://kexue.fm/archives/3256}},
}
April 26th, 2015
运用伯努利多项式(B_1=1/2)
和式可以写为[(B+n)^(n+1)-B_(n+1)]/(n+1)(n^n)
稍加整理便是(1+B/n)^n的极限
显然是e^B
因为e^Bx=xe^x/e^x-1
所以e^B=e/e-1,也就是极限
很抱歉,看得不是很懂,有些符号好像乱了。
能写清晰一点吗?
取伯努利数B_1=1/2
我们有
1:
1^n+2^n+...+n^n=[(B+n)^(n+1)-B_(n+1)]/(n+1)
2:
(1^n+2^n+...+n^n)/(n^n)=[(B+n)^(n+1)-B_(n+1)]/(n+1)(n^n)
3:
取n趋向无穷大,整理上式,得极限为
[(B+n)^(n+1))]/[n^(n+1)]的极限
4:
继续整理有
(1+B/n)^(n+1)的极限
即e^B
5:
由于e^Bx=(xe^x)/(e^x -1)
所以e^B=e/(e-1)
请问B是什么呢?
July 16th, 2015
当初没做出