求证n为正整数，1+1/2+1/3+。。。+1/n>1/2ln(n+1)(n+1)/2 可用定积分做吗，可用数学归纳法做吗
还有f（x）=x-1-lnx怎么命x可证明该命题，怎么想的讲个技巧
第1个回答 2012-07-21
构造函数法证明。
注意到ln(n+1)=ln[(n+1)/n]+ln[n/(n-1)]+...+ln(3/2)+ln(2/1),
而n/(n+1)=1-1/(n+1)=(1-1/2)+(1/2-1/3)+...+[1/n-1/(n+1)].
于是我们根据要证明的表达式，两边取通项(x-->1/n)构造函数
f(x)=x-ln(1+x)-(1/2)[x-x/(x+1)],x>0,
求导易得f'(x)=x^2/[2(x+1)^2]>0,x>0.
于是f(x)在x>0上单调递增，又f(x)可在x=0处连续，则f(x)>f(0)=0,x>0得x-ln(1+x)-(1/2)[x-x/(x+1)]>0即x>ln(1+x)+(1/2)[x-x/(x+1)],x>0
.再取1/n(>0)替换x有
1/n>ln[(n+1)/n]+(1/2)[1/n-1/(n+1)]
将此不等式式中的n依次从1取到n，累加得
1+1/2+1/3+...+1/n>{ln[(n+1)/n]+ln[n/(n-1)]+...+ln(3/2)+ln(2/1)}+(1/2){(1-1/2)+(1/2-1/3)+...+[1/n-1/(n+1)]}=ln(n+1)+(1/2)[1-1/(n+1)]=ln(n+1)+n/[2(n+1)]，
即1+1/2+1/3+...+1/n>ln(n+1)+n/2(n+1) n≥1 (n属于N+)命题得证。追问
注意到ln(n+1)=ln[(n+1)/n]+ln[n/(n-1)]+...+ln(3/2)+ln(2/1),
而n/(n+1)=1-1/(n+1)=(1-1/2)+(1/2-1/3)+...+[1/n-1/(n+1)].
于是我们根据要证明的表达式，两边取通项(x-->1/n)构造函数
f(x)=x-ln(1+x)-(1/2)[x-x/(x+1)],x>0,
求导易得f'(x)=x^2/[2(x+1)^2]>0,x>0.
于是f(x)在x>0上单调递增，又f(x)可在x=0处连续，则f(x)>f(0)=0,x>0得x-ln(1+x)-(1/2)[x-x/(x+1)]>0即x>ln(1+x)+(1/2)[x-x/(x+1)],x>0
.再取1/n(>0)替换x有
1/n>ln[(n+1)/n]+(1/2)[1/n-1/(n+1)]
将此不等式式中的n依次从1取到n，累加得
1+1/2+1/3+...+1/n>{ln[(n+1)/n]+ln[n/(n-1)]+...+ln(3/2)+ln(2/1)}+(1/2){(1-1/2)+(1/2-1/3)+...+[1/n-1/(n+1)]}=ln(n+1)+(1/2)[1-1/(n+1)]=ln(n+1)+n/[2(n+1)]，
即1+1/2+1/3+...+1/n>ln(n+1)+n/2(n+1) n≥1 (n属于N+)命题得证。追问
我问的是1+1/2+1/3+。。。+1/n>1/2*ln((n+1)(n+2)/2)函数证法不用数学归纳，转化做差的方法
你写的不错，但目标错了
相似回答
