已知n⩾5且n∈N∗,求证:1n2+1(n+1)2+⋯+1(2n)2>12(n−1).
分析与证明 考虑到不等式左边的代数结构,可以尝试利用积分放缩与裂项放缩.
积分放缩 如图.
由于函数y=1x2下凸,因此有矩形面积的和(注意最后一个矩形单独计算)大于曲边梯形的面积与小三角形面积之和,即1n2+1(n+1)2+⋯+1(2n)2>∫2nn1x2dx+1(2n)2+12[1n2−1(2n)2]=(−1x)|2nn+12[1n2+1(2n)2]=1n−12n+12[1n2+1(2n)2]=4n+58n2,
接下来用分析法证明4n+58n2⩾12(n−1),
整理即为n⩾5,这显然成立.
综上所述,原不等式得证.
注 在积分放缩中,利用函数的凹凸性提高积分放缩的精度.
裂项放缩 考虑将1n2裂项放缩为1n2⩾1(n−λ)(n+1−λ)=1n−λ−1n+1−λ,
则不等号成立的条件为n2⩽(n−λ)(n+1−λ),
即 n⩾λ(1−λ)1−2λ,λ<12,
此时有1n2+1(n+1)2+⋯+1(2n)2>1n−λ−12n+1−λ=n+1(n−λ)(2n+1−λ),
我们希望n+1(n−λ)(2n+1−λ)⩾12(n−1),
即n⩾2−λ(1−λ)3λ−1,λ>13,
当n⩾5时,对λ的要求是{λ2−11λ+5⩾0,λ2−16λ+7⩽0,
即8−√57⩽λ⩽11−√1012,
因此取λ=511即可.
事实上,n⩾5是该方法最好的起点,如图是函数y=x(1−x)1−2x与y=2−x(1−x)3x−1的图象:
注 在裂项放缩中,通过引入参数对裂项放缩进行了控制.