本题导读

本题是一道关于数列与不等式综合的压轴大题。第一问通过 与 的递推关系求出等比数列通项;第二问利用精准的指数放缩法配合等比材料证得不等式;第三问利用递推项的趋向性,结合极限思想确定恒成立问题的最值边界。

📌【题干】

Question

(2009年四川卷(理)) 设数列 的前 项和为 ,对任意密的正整数 ,都有 成立,记 ().

(1) 求数列 的通项公式;

(2) 记 (),设数列 的前 项和为 ,求证:对任意正整数 都有 ;

(3) 设数列 的前 项和为 . 已知正实数 满足:对任意正整数 , 恒成立,求 的最小值.

🔍【思路分析】

破题导航

  1. 第一问:利用 与 () 相减,得到 的公比,再求出首项即可得到 ,代入化简 。
  2. 第二问:写出 的具体表达式并进行通分化简。由于直接求和困难,需对 的项进行合理的等比放缩,将其转化为可求和的等比数列,再与首项 相加求上界。
  3. 第三问:将 转化为 。分析 当 时的极限值,推导 的渐近线,并结合各项的符号特征确定其单调上界。

点击查看答案

的最小值为 4

✍【详细解析】

Abstract

(1) 当 时, 。 当 时,由 及 相减得: 所以数列 是以 为首项, 为公比的等比数列。 则 。

代入 的表达式中:

(2) 证明:由 (1) 可知, 当 为偶数时, ; 当 为奇数时, 。

因此, 通分整理得:

当 时, 。 当 时,因为 ,所以分母 。 从而可放缩为:

应用等比数列求和公式,对于任意 : 因为 , 所以对任意正整数 都有 成立。

(3) 解:由题意,正实数 满足对任意 恒有 。 下面考查 的结构特征: 因为 在 下恒成立, 所以 ,从而有 。

  • 当 为偶数(设 )时: 即 。
  • 当 为奇数(设 )时: 因为 ,且 , 所以 ,即 。

综上可知,对任意正整数 ,总有 成立。

另一方面,由于 ,由通项公式可知 。 根据施托尔茨(Stolz)定理或极限的平均值性质可知:

若 ,由于 的极限为 4,必然存在某个足够大的正整数 使得 ,这与 恒成立矛盾。 因此,必须有 。

综上所述, 的最小值为 4。

💡【考点归纳与避坑指南】

Danger

  1. 核心考点:数列递推公式求通项,利用公比特征进行不等式放大缩小,恒成立问题中的极限边界确定。
  2. 核心方法:等比放缩法(保留前项,对后项从分母切除常数构造标准等比数列),极限夹逼法。
  3. 避坑指南:第二问进行放缩时,切忌从 开始盲目放大,因为 的分母较小,若从 统一放缩会导致上界直接穿透 ,必须采用“保留首项,从第二项起放缩”的精细化处理策略。

📖【试题探源与推广】

Tip

  1. 试题探源:本题为 2009 年四川理科压轴题,其原型源自高等数学中级数的收敛性判定与有界性估计。设计者通过交错型数列 制造摆动,考查学生在高强度代数变形下的逻辑耐力。
  2. 结论推广:对于通项形如 的数列,其前 项和的平均值 的极限值恒为常数项 。若摆动项的衰减速度快于几何级数,其有界性的最值往往由极限边界或前几项的特殊组合所决定。

🔗【关联脉络】

Multi column