第16讲 · 数列求和方法综合：构造法求通项与裂项相消法

本讲约定：凡涉及"取值范围"，一律用区间或集合（如 {x | …}、(a,b)、[a,b]）表示，不单独写成 x > a 之类。文中首次出现取值范围处即以此格式给出。

一、课前小测与等差/等比基础回顾

（当堂 10 道选择题小测，对答案略；签到、点名、闲聊按规范删除。以下为口述中可还原的关键方法提示。）

Sₙ 与 aₙ 混合的递推：当递推式同时出现 Sₙ 与 aₙ 时，写 n 与 n−1 两式相减，消去 Sₙ（原口述"SNAN 混合你就要去做差分减" → 作差相减）。
等比数列求公比 q：若已知 a₂、a₃、a₆ 等成等比，或已知 a₄+a₅ 与 a₂+a₃ 的关系，可用分组求和约去 a₂： a₄ + a₅ = q²(a₂ + a₃)，从而解出 q（本例 q² = 4 ⟹ q = 2）。
小测第 16、17 页题含"求通项、求最值项"等，典型题见下文第二、五节。

二、构造法求通项公式（aₙ = p·aₙ₋₁ + q 型）

原理：对 aₙ = p·aₙ₋₁ + q（p ≠ 1），配常数 c 使 aₙ + c = p(aₙ₋₁ + c)，解得 c = q/(1−p)；则 {aₙ + c} 是公比为 p 的等比数列。

例（小测第4题）

已知 Sₙ + 3 = 2aₙ + n。

n = 1：a₁ + 3 = 2a₁ + 1 ⟹ a₁ = 2；
n ≥ 2：Sₙ₋₁ + 3 = 2aₙ₋₁ + (n−1)；
两式相减：aₙ = 2aₙ − 2aₙ₋₁ + 1 ⟹ aₙ = 2aₙ₋₁ − 1；
构造：aₙ − 1 = 2(aₙ₋₁ − 1)，故 {aₙ − 1} 是首项 1、公比 2 的等比数列；
aₙ − 1 = 2ⁿ⁻¹ ⟹ aₙ = 2ⁿ⁻¹ + 1（选 C）。

例（小测第9题·指数型）

已知 3aₙ − 2Sₙ = 2n。

n = 1：3a₁ − 2a₁ = 2 ⟹ a₁ = 2；
n ≥ 2：3aₙ₋₁ − 2Sₙ₋₁ = 2(n−1)；
两式相减：3aₙ − 3aₙ₋₁ − 2aₙ = 2 ⟹ aₙ = 3aₙ₋₁ + 2；
构造：aₙ + 1 = 3(aₙ₋₁ + 1)，故 {aₙ + 1} 是首项 3、公比 3 的等比数列；
aₙ + 1 = 3ⁿ ⟹ aₙ = 3ⁿ − 1；
进一步令 bₙ = 3ⁿ/[(3ⁿ−1)(3ⁿ⁺¹−1)]，裂项得 bₙ = (1/2)[1/(3ⁿ−1) − 1/(3ⁿ⁺¹−1)]，求和 Tₙ = 1/4 − 1/[2(3ⁿ⁺¹−1)] < 1/4（证明成立）。

三、猜证法求通项（不会严格推导时的取巧办法）

思路：当不知如何严格求通项时，先写出前几项找规律猜出 aₙ；再把猜出的式子代回原递推式验证。因为"首项 + 前后项关系"唯一确定数列，只要代回成立，该通项即正确（无需另证）。

例（条件型大题）

已知 aₙ − aₙ₊₁ = aₙ·aₙ₊₁，并给出条件一。

两边同除以 aₙ·aₙ₊₁ 得 1/aₙ₊₁ − 1/aₙ = 1，故 {1/aₙ} 是首项 1/a₁、公差 1 的等差数列；
写前几项猜想 aₙ = 1/n（对应 1/aₙ = n）；代回验证成立；
严谨法：由 1/aₙ₊₁ − 1/aₙ = 1 直接求 {1/aₙ} 通项再取倒数即可。

四、裂项相消法（本讲核心）

（思想）反向操作

我们习惯把结果化成最简形式（通分、展开）；裂项相消 = 把最简结果"反向"拆成两项之差，从而求和时中间项全部抵消，只剩首尾。

判定信号：分母出现"连续两项的乘积"（如 n(n+1)、n(n+2)、(2n−1)(2n+1)），且分子为常数或配合系数——这往往是"通分"的逆操作，可往裂项方向想。

（类型1）最基础裂项

1/[n(n+1)] = 1/n − 1/(n+1)

例：1/(1·2) + 1/(2·3) + … + 1/(99·100) = (1 − 1/2) + (1/2 − 1/3) + … + (1/99 − 1/100) = 1 − 1/100 = 99/100。

（类型2）奇数间隔（差 2 的分母）

1/[(2n−1)(2n+1)] = (1/2)[1/(2n−1) − 1/(2n+1)]

例：1/(1·3) + 1/(3·5) + 1/(5·7) + …，系数为 1/2（由分子差"2"决定）。

（类型3）间隔 k 项（剩前两项、后两项）

1/[n(n+2)] = (1/2)[1/n − 1/(n+2)]

例：1/(1·3) + 1/(2·4) + 1/(3·5) + 1/(4·6) = (1/2)[(1 − 1/3) + (1/2 − 1/4) + (1/3 − 1/5) + (1/4 − 1/6)] = (1/2)(1 + 1/2 − 1/5 − 1/6) = (1/2)(3/2 − 1/5 − 1/6) = 17/30。

规律：相隔一项时，前两项、后两项无人可抵，求和后剩前两项与后两项。

（类型4）等差分母一般式

若 {aₙ} 为等差数列、公差 d，则

1/[aₙ·aₙ₊ₖ] = [1/(k·d)][1/aₙ − 1/aₙ₊ₖ]

把公差 d 提出来即可；差 k 项时系数含 1/k。

（类型5）平方差根式型

分母出现两根号之差（或和）时，用平方差公式拆开：

1/(√(n+1) + √n) = √(n+1) − √n

例（小测第7题·根式裂项）：利用平方差公式，分母两根号相减/相加时可拆成一项差求和。

（类型6）指数型裂项（最"丑"但必可裂）

1/(4ⁿ − 1) − 1/(4ⁿ⁺¹ − 1) = 3·4ⁿ/[(4ⁿ−1)(4ⁿ⁺¹−1)]（系数 3 = 4ⁿ⁺¹ − 4ⁿ）

构造原则：分母形如"连续指数项"，一定是两项相减通分而来；先固定分母形式，分子系数自动配平（如 4ⁿ⁺¹ − 4ⁿ = 3·4ⁿ）。

混合 n·2ⁿ 型：令 f(n) = n·2ⁿ，则形如 1/[n·2ⁿ] − 1/[(n+1)·2ⁿ⁺¹] 的差即可裂项——"只有相同形式才能消去"，所以分子要配上与分母一致的 n·2ⁿ 结构。

（例题应用）

条件一/二大题（续第三节）：由 aₙ = 1/n，令 bₙ = 1/(√(n+1) + √n) = √(n+1) − √n，求和 Sₙ = √(n+1) − 1。
小测第5题：aₘ₊₁ = aₘ·2 ⟹ 等比数列，公比 2，aₙ = 2ⁿ（若 a₁ = 2）；连续十项和套等比求和公式，选 C。

五、最小值项问题（数列最值）

本讲约定（重申）：本讲凡涉及取值范围，一律用区间或集合形式，例如最小项对应的项数集合写为 *{n ∈ N | …}**，不写 "n > a" 之类。

例（小测第17题·综合）

已知 {aₙ} 等差，a₂、a₃、a₆ 成等比，a₁₀ = −17（ASR 误为 17，见注意点）。

设首项 a₁、公差 d：由 a₃² = a₂·a₆ 与 a₁₀ = −17 解得 a₁ = 1，d = −2；
故 aₙ = 3 − 2n，Sₙ = −n² + 2n；
令 bₙ = Sₙ/2ⁿ = (−n² + 2n)/2ⁿ，求该数列最小项。
方法一（比较相邻项）：令 bₙ₊₁ ≥ bₙ 且 bₙ₋₁ ≥ bₙ，解 n 的取值范围；
方法二（"套几项"）：因 2ⁿ 增长远快于 −n²+2n，最小值必出现在前面几项，代入比较： b₁ = 1/2，b₂ = 0，b₃ = −3/8，b₄ = −1/2，b₅ = −15/32，b₆ = −3/8，…
故最小项为第 4 项，b₄ = −1/2；取最小值的项数集合为 {4}。
单调区间：bₙ 在 (0, 4] 上递减、在 [4, +∞) 上递增（两段用"和"连接，不写 ∪）。

六、错位相减法补例（首段偏差处理）

例

已知 a₁ = 4，从第二项起 aₙ = 2n+1（即 Sₙ = (n+1)²），令 bₙ = aₙ·2ⁿ。

b₁ = 8；n ≥ 2 时 bₙ = (2n+1)·2ⁿ；
求 Tₙ 时，把"多出来的第一项偏差"单独处理（"挖掉一块、加上一块"）：正常部分用错位相减（苹果公式），特殊首项在 T₁ 上体现；
要点：每项都多出常量时，整体加同一个常数再错位相减即可。

七、高考定位与小结

数列长期是高考六大解答题之一，与解三角形同为"简单题"档（立体几何、概率统计为中档，圆锥曲线、导数为难题），此格局持续十多年。
高二月考可能出现复杂求和，本讲方法（构造、裂项、错位相减、作差）是应对核心。
裂项相消是"反向操作"思维的训练——看到连续乘积分母，主动往"通分逆操作"想。

本讲修正/注意点

（ASR 错转·符号）第17题口述 "a₁₀ 等于 17" 实为 a₁₀ = −17（负号丢失）；据 a₂、a₃、a₆ 成等比反推得 a₁ = 1、d = −2，与 "a₁ 等于一、d 等于负二" 一致，已修正。
（ASR 错转·符号）"普及"在本讲未出现；全篇无集合论/补集（C_U A）、∈、⊆、∪、∩ 等表述，清洗规范第 5、6 条（普及→补集、集合符号还原）不适用，特此说明。
（规范）课前点名、签到、奶茶、贷款、喜羊羊、琵琶行等闲聊已全部按规范删除。
（ASR 错转）"SNAN 混合你就要去做差分减" 修正为 "Sₙ 与 aₙ 混合时作差相减（写 n 与 n−1 两式相减）"。
（ASR 错转·存疑）等比求 q 的小练习口述（s₅ = 5a₃、s₅−s₃、4s₃−4s₁ 等）严重失真；按等比性质还原为 a₄+a₅ = q²(a₂+a₃)、q² = 4 ⟹ q = 2，存疑待核。
（ASR 错转·存疑）第7题口述 "a₂ = 2、a₄ = 2、aₙ = 2n−6" 不自洽（a₂ 应为 −2 方与 aₙ = 2n−6 相容）；该题为根式裂项示例，按平方差逻辑处理，具体首项数值存疑待核。
（ASR 错转·存疑）第9题 bₙ 的裂项系数与 Tₙ < 1/4 证明：由 aₙ = 3ⁿ−1 得 bₙ = 3ⁿ/[(3ⁿ−1)(3ⁿ⁺¹−1)] = (1/2)[1/(3ⁿ−1) − 1/(3ⁿ⁺¹−1)]，Tₙ = 1/4 − 1/[2(3ⁿ⁺¹−1)] < 1/4；题干具体数字以推导为准，存疑待核。
（符号还原）全篇上下标、希腊字母、区间括号、绝对值、根号已还原（如 aₙ、aₙ₋₁、2ⁿ⁻¹、√(n+1)、3ⁿ⁺¹ 等）；单调区间用"和"连接（如 (0,4] 和 [4,+∞)）。
（规范）本讲首次出现取值范围（第五节·最小值项）即注明"强制用集合/区间形式"，最小项项数以集合 {4} 表示，单调区间以 (0,4] 和 [4,+∞) 表示。