专题地图 › 数列的和
2011 年湖南预赛 · 第 12 题
F3解答题数列的和
设 ak=k21+k2+11+k2+21+⋯+(k+1)2−11,求证:2011∈(a20102,a20112)。
作答
这是解答题,请在纸上写出完整过程。写完后对照解答给自己评分。
解析
思路
对一个平方数区间的倒数和,分别用平均分母与对称分母配对给出双侧界。
解答
固定整数 k>1,记 c=k2+k。这 2k+1 个分母的平均为 c,由柯西不等式得 ak≥(2k+1)/c>2/(k+1)。另一方面,将分母 k2+j 与 k2+2k−j 配对。两者之和固定,乘积不小于 k2(k2+2k),故每对倒数和不大于端点倒数和。全部配对求和得 ak≤(2k+1)(k+1)/[k2(k+2)]<2/k,最后严格性等价于 k>1。因此 a2010>2/2011 且 a2011<2/2011。各数均正,取倒数后得到 2/a2010<2011<2/a2011,即所需区间关系。
复核
配对时每项在所有有序对中出现两次,故总和系数含二分之一;中心项也按同一方式计两次。上界与 2/k 的差为 (k−1)/[k2(k+2)]>0,没有依赖小数近似。
方法总结
同一倒数块的上下界可来自不同的配对方向,取倒数时必须同时改换不等号方向。
为什么评为 F3(会透露解法方向)
平方数间的倒数块需用平均分母和对称分母配对作不同方向的严格界,再在两个指定指标利用正性取倒数并调换不等号方向。
用到的方法(会透露解法方向)
核心工具:柯西不等式与投影、对称配对:和差分离
专题卡:整数夹逼:保留余项,证明严格端点