求证:12ln2+23ln3+⋯+n−1nlnn>2√n+1−3.
证明过程 利用lnn<√n−1√n,可得n−1nlnn>1√n>2(√n+1−√n).
对n=2,3,⋯,n累加得12ln2+23ln3+⋯+n−1nlnn>2(√n+1−√2)>2√n+1−3.
不等式得证.
证明过程很简洁,思路是怎么来得呢?
思路分析 要证不等式的左边是级数求和,可以分析通项:要证n∑k=1ak>f(n),
可以尝试证明ak>f(k)−f(k−1),再通过累加及分析开始几项,可得结果.
在本题中,分析通项得:只需要证明n−1nlnn>2(√n+1−√n),
也即证lnn<n−1n⋅√n+1+√n2,
我们可以证明更强的命题lnn<n−1n⋅√n=√n−1√n.
于是得到上面的书写过程.
注 与lnx相关的常见不等式:
最平凡的:∀x>0,lnx⩽x−1;
一个下界:x∈(0,1),lnx>1−1x;
一个更精确的界:∀x∈(0,1),x−1√x<lnx<2(x−1)x+1;∀x∈(1,+∞),2(x−1)x+1<lnx<x−1√x.
上述不等式的证明见http://lanqi.org/skills/18618/,这里略去.