专题地图 › 不等式的证明
2011 年河北预赛 · 第 11 题
F3解答题不等式的证明
求证:当 n≥23 时,总有
2<1+231+331+⋯+n31<3
成立。
作答
这是解答题,请在纸上写出完整过程。写完后对照解答给自己评分。
解析
思路
上下界使用方向相反的相邻倒数根号差,首项一单独保留。
解答
对 k≥2,有 2(1/k−1/k+1)<1/k3/2<2(1/k−1−1/k),可用根号有理化直接比较。上界求和得 Sn<1+2(1−1/n)<3。当 n≥23 时,正项性给 Sn≥S23>1+2(1/2−1/24)=1+2−1/6>2。最后一步由 17>122 可核,因 172>288。所以 2<Sn<3。
复核
下界中 (2−1)2−1/6=(17−122)/6>0,两边待开方的量均正,故常数比较方向正确。两种裂项的末端分别为 n 与24,不能混用。
方法总结
正项和的严格区间可由两套可相消比较给出,阈值下标必须用确切常数而非小数判断。
为什么评为 F3(会透露解法方向)
用相邻根式倒数差严格夹住每项,分别裂项求上界和有限前段下界,并精确核定起始指标。
用到的方法(会透露解法方向)
核心工具:裂项相消、估计余项,确定整数部分
专题卡:循环式、连乘、绝对差:分组、消项或排序后估计