17 讲 · 第三章 数列

第17讲:数列求和进阶与递推

处理裂项、放缩夹逼、累加累乘及多类递推数列的通项。

对应讲义第 119–139按课堂重点重排

学习目标

  • 能处理对数型、幂型和交错型裂项,并准确写出相消后的首尾项。
  • 能通过放缩构造可求和的上下界,再用夹逼确定范围或整数部分。
  • 能用累加、累乘、配常数或特征关系处理一阶及二阶递推数列。

前置知识

需要熟悉函数、正整数、代数变形和基本不等式。

核心概念

概念与定义

  • 裂项相消(列项相消):前后两项连续同形,方可拆成「两项之差」抵消
  • 对数型裂项:ln()\ln(商)ln()\ln(差),把商的形式变两项差
  • 幂型(平方分母)裂项:1/n21/(n+1)21/n² − 1/(n+1)² 方向为小分母减大分母
  • 定义优先:SnSₙanaₙ 关系求通项,a1a₁ 必单独验证
  • 放缩(放大 / 缩小):把不可求和式子变成可裂项求和
    • >X> X → 缩小仍 >X> X ⇒ 缩小
    • <X< X → 放大仍 <X< X ⇒ 放大
  • 夹逼(放缩后裂项):造上下界,均裂项相消,锁出整数部分
  • 构造法:先构造好求的、有前后关系的数列,求完再还原 anaₙ
  • 二阶线性递推:an+2=pan+1+qana_{n+2}=p a_{n+1}+q a_n,特征方程 / 构造等比差

老师讲解

方法与解题路线

数列题先写清下标范围。由前 n 项和求通项必须单独验证 n=1,等比求和必须先判断 q=1。

  • 对数裂项:ln(n+1)2n2=2[ln(n+1)lnn]\ln\frac{(n+1)^2}{n^2} = 2[\ln(n+1)-\ln n]
  • 幂型裂项:(4n+2)/[n2(n+1)2]=2[1/n21/(n+1)2](4n+2)/[n²(n+1)²] = 2[1/n² − 1/(n+1)²]
  • 定义优先(两式相减):
    • nnn1n−1 两式相减消「带系数和」
    • an=SnSn1aₙ = Sₙ − Sₙ₋₁nnnN,n2n ∈ {n | n ∈ N*, n ≥ 2}a1=S1a₁ = S₁ 必验
  • 交错裂项:(1)n[1/(2n1)+1/(2n+1)](-1)ⁿ[1/(2n−1)+1/(2n+1)] 正负抵消留首尾
  • 放缩夹逼(根式整数部):
    • 下界:1/((2k1)+(2k))>1/2((2k+1)(2k1))1/(√(2k−1)+√(2k)) > 1/2(√(2k+1)−√(2k−1))
    • 上界:1/((2k1)+(2k))<1/2((2k)(2k2))1/(√(2k−1)+√(2k)) < 1/2(√(2k)−√(2k−2))(取 0=0√0=0
  • 构造法五型:
    • 型1 an+1=pan+qaₙ₊₁=p aₙ+q:配 an+1+t=p(an+t)aₙ₊₁+t=p(aₙ+t)t=q/(p1)t=q/(p−1)
    • 型2 an+1=pan+qnaₙ₊₁=p aₙ+qⁿ:同除 pn+1pⁿ⁺¹ 化相邻差
    • 型3 an+1=pan+an+baₙ₊₁=p aₙ+an+b:配 an+1+k(n+1)+b0=p(an+kn+b0)aₙ₊₁+k(n+1)+b₀=p(aₙ+kn+b₀)
    • 型4 分式型:取倒数转线性
    • 型5 二阶:an+2αan+1=β(an+1αan)aₙ₊₂−αaₙ₊₁=β(aₙ₊₁−αaₙ),特征方程 r2prq=0r²−pr−q=0
  • 累加法 / 累乘法:相邻差累加、相邻比累乘
  • 取值范围强制集合 / 区间形式(沿用项目规矩)

数学公式

公式与适用条件

an=a1+k=1n1(ak+1ak).\displaystyle a_n=a_1+\sum_{k=1}^{n-1}(a_{k+1}-a_k).

  • 对数裂项:ln(n+1)2n2=2[ln(n+1)lnn]\ln\frac{(n+1)^2}{n^2}=2[\ln(n+1)-\ln n]Sn=2ln(n+1)Sₙ=2\ln(n+1)
  • 幂型裂项:(4n+2)/[n2(n+1)2]=2[1/n21/(n+1)2](4n+2)/[n²(n+1)²]=2[1/n²−1/(n+1)²]Tn=22/(n+1)2Tₙ=2−2/(n+1)²
  • Sn/anSₙ/aₙan=SnSn1(n2)aₙ=Sₙ−Sₙ₋₁ (n≥2)a1=S1a₁=S₁ 必验
  • 例题一:3a1+5a2++(2n+1)an=n3a₁+5a₂+…+(2n+1)aₙ=nan=1/(2n+1)aₙ=1/(2n+1)
  • 交错裂项:bn=(1)n4n/[(2n1)(2n+1)]bₙ=(−1)ⁿ·4n/[(2n−1)(2n+1)]Tn=1+(1)n/(2n+1)Tₙ=−1+(−1)ⁿ/(2n+1)
  • 根式夹逼:1/((2k1)+(2k))=(2k)(2k1)1/(√(2k−1)+√(2k))=√(2k)−√(2k−1)
    • 下界和:(1011)/24.52(√101−1)/2 ≈ 4.52
    • 上界和:55
  • 构造型1:an+1+t=p(an+t)aₙ₊₁+t=p(aₙ+t)t=q/(p1)t=q/(p−1)
  • 构造型2:an+1/pn+1an/pn=(1/p)(q/p)naₙ₊₁/pⁿ⁺¹ − aₙ/pⁿ = (1/p)(q/p)ⁿ
  • 构造型3:an+1+k(n+1)+b0=p(an+kn+b0)aₙ₊₁+k(n+1)+b₀=p(aₙ+kn+b₀)
  • 二阶:an+2=4an+13anaₙ₊₂=4aₙ₊₁−3aₙan+2an+1=3(an+1an)aₙ₊₂−aₙ₊₁=3(aₙ₊₁−aₙ)

典型例题

课堂例题结论

  • 对数型:an=n2aₙ=n²bn=ln(an+1/an)bₙ=\ln(aₙ₊₁/aₙ),则 Sn=2ln(n+1)Sₙ=2\ln(n+1)
  • 幂型:bn=(4n+2)/[n2(n+1)2]bₙ=(4n+2)/[n²(n+1)²]Tn=22/(n+1)2Tₙ=2−2/(n+1)²
  • 例题一(定义优先):an=1/(2n+1)aₙ=1/(2n+1)n=1n=1 满足通式,合并
  • 例题二(交错):Tn=1+(1)n/(2n+1)Tₙ=−1+(−1)ⁿ/(2n+1)
  • 放缩夹逼题:S=Σ1/((2k1)+(2k))S = Σ 1/(√(2k−1)+√(2k))S(4,5)S ∈ (4,5)[S]=4[S]=4
  • 135页 2–7:含 an=2n2aₙ=2n²an=4n1aₙ=4n−1an=23n1+2aₙ=2·3ⁿ⁻¹+2(验 a₁)、 1/Sn+11/Sn=11/Sₙ₊₁−1/Sₙ=11/Sn{1/Sₙ} 等差、Sn=3n1Sₙ=3ⁿ⁻¹a5+a6+a7=S7S4=72927=702a₅+a₆+a₇=S₇−S₄=729−27=702
  • 递推构造:4Sn+28Sn+1+4Sn4Sₙ₊₂−8Sₙ₊₁+4Sₙ 化出 an+2an+1=(1/2)(an+1an)aₙ₊₂−aₙ₊₁=(1/2)(aₙ₊₁−aₙ)
  • 高考格局:数列大题属较易大题;本讲覆盖第15–17题、第18题前两问,第19题难预测;次日进导数

常见错误

易错边界

不要把适用于 n≥2 的递推关系直接代入 n=1,也不要忘记等比数列不能含零项。

方法总结

本讲速查表

学习时先明确对象、条件和范围,再从下表选择公式;做完后回到原题检查特殊情形与答案格式。

项目 内容
对数裂项 ln(n+1)2n2=2[ln(n+1)lnn]\ln\frac{(n+1)^2}{n^2}=2[\ln(n+1)-\ln n]Sn=2ln(n+1)Sₙ=2\ln(n+1)
幂型裂项 (4n+2)/[n2(n+1)2]=2[1/n21/(n+1)2](4n+2)/[n²(n+1)²]=2[1/n²−1/(n+1)²]Tn=22/(n+1)2Tₙ=2−2/(n+1)²
定义优先 an=SnSn1(n2)aₙ=Sₙ−Sₙ₋₁ (n≥2)a1=S1a₁=S₁ 必单独验证
例题一 3a1+5a2++(2n+1)an=n3a₁+5a₂+…+(2n+1)aₙ=nan=1/(2n+1)aₙ=1/(2n+1)
交错裂项 Tn=1+(1)n/(2n+1)Tₙ=−1+(−1)ⁿ/(2n+1)
根式夹逼 下界 (1011)/2(√101−1)/2,上界 55S(4,5)S∈(4,5)[S]=4[S]=4
构造型1 an+1+t=p(an+t)aₙ₊₁+t=p(aₙ+t)t=q/(p1)t=q/(p−1)
构造型2 an+1/pn+1an/pn=(1/p)(q/p)naₙ₊₁/pⁿ⁺¹−aₙ/pⁿ=(1/p)(q/p)ⁿ
构造型3 an+1+k(n+1)+b0=p(an+kn+b0)aₙ₊₁+k(n+1)+b₀=p(aₙ+kn+b₀)
二阶递推 an+2αan+1=β(an+1αan)aₙ₊₂−αaₙ₊₁=β(aₙ₊₁−αaₙ),特征方程 r2prq=0r²−pr−q=0
示例二阶 an+2=4an+13anaₙ₊₂=4aₙ₊₁−3aₙan+2an+1=3(an+1an)aₙ₊₂−aₙ₊₁=3(aₙ₊₁−aₙ)
135页结论 a5+a6+a7=S7S4=72927=702a₅+a₆+a₇=S₇−S₄=729−27=702
取值范围格式 区间 / 集合,如 $n ∈ {n

自我检查

完成后请确认

  1. 我能完成对数型、幂型或交错型裂项中的至少两类。
  2. 我能根据证明方向选择放大还是缩小。
  3. 我能构造可求和的上下界并用夹逼确定范围。
  4. 我能用累加、累乘或特征关系处理递推数列。