数列中 $a_n$, $a_{n+1}$, $S_n$, $S_{n+1}$ 关系的系统解析

核心目标

在数列问题中，我们经常需要处理通项 $a_n$与前$n$项和$S_n$之间的相互关系，以及相邻项的递推。本笔记从基本恒等式出发，系统阐述如何将含$a_n$、$a_{n+1}$、$S_n$、$S_{n+1}$ 的方程转化为标准递推，并按齐次线性、非齐次线性、指数驱动、一般非线性等类型给出通解方法与严格推导。每个方法均配以例题，标注易错点，力求达到教科书严密程度。

1. 核心关系与转化工具

设数列 $\lbrace a_n\rbrace $的前$n$项和为$S_n = \sum_{k=1}^{n} a_k$。对于所有 $n \ge 1$，下列基本关系恒成立：

基本恒等式

$$ \boxed{a_1 = S_1} $$ $$ \boxed{a_n = S_n - S_{n-1}} \quad (n \ge 2) $$ 将上式的 $n$替换为$n+1$，得到含 $a_{n+1}$ 的版本： $$ \boxed{a_{n+1} = S_{n+1} - S_n} \quad (n \ge 1) $$

这些关系是消除 $S$或$a$ 的核心工具。

消元策略

• 欲消去 $S$，保留 $a$：用 $S_n = S_{n-1} + a_n$或$S_n = S_{n+1} - a_{n+1}$ 代换。
• 欲消去 $a$，保留 $S$：用 $a_n = S_n - S_{n-1}$ 代换。
• 当条件同时含 $a_n$、$a_{n+1}$、$S_n$、$S_{n+1}$时，常通过升降角标再作差，建立仅含$a$或仅含$S$ 的递推。

2. 由 $S_n$直接求$a_n$

若已知 $S_n = f(n)$，则通项可通过分段形式严格写出：

$$ a_n = \begin{cases} S_1, & n = 1 \newline[4pt] S_n - S_{n-1}, & n \ge 2 \end{cases} $$

示例

已知 $S_n = n^2 + 3n$，求 $a_n$。

• $a_1 = S_1 = 4$。
• $n \ge 2$：$a_n = (n^2+3n) - [(n-1)^2+3(n-1)] = 2n+2$。
• 验证 $n=1$时$2\times1+2=4$，故通项可统一为 $a_n = 2n+2$（$n\in\mathbb{N}^*$）。

必须验证首项

分段求出的 $n\ge2$公式不一定对$n=1$ 成立。务必检验，若成立才可合并。

3. 含 $a_n$与$S_n$ 的混合关系 → 递推

3.1 类型Ⅰ：条件给出 $S_n = g(a_n)$或$a_n = h(S_n)$

解法：写出 $S_{n} = g(a_n)$与$S_{n-1} = g(a_{n-1})$（$n\ge2$），相减： $$ a_n = g(a_n) - g(a_{n-1}) \quad (n\ge 2) $$ 从而得到仅含 $a_n$与$a_{n-1}$ 的递推。

示例

已知 $S_n = 2a_n - 1$，求 $a_n$。

• $n=1$：$S_1 = a_1 = 2a_1 - 1 \Rightarrow a_1 = 1$。
• $n\ge2$：$S_{n-1} = 2a_{n-1} - 1$，与 $S_n = 2a_n - 1$ 相减： $a_n = (2a_n - 1) - (2a_{n-1} - 1) = 2a_n - 2a_{n-1} \Rightarrow a_n = 2a_{n-1}$。
• 故 $\lbrace a_n\rbrace $为首项$1$、公比 $2$ 的等比数列，$a_n = 2^{n-1}$。

3.2 类型Ⅱ：条件同时含 $a_{n+1}$与$S_n$

常见形式：$S_n = k a_{n+1} + \dots$。利用 $a_{n+1} = S_{n+1} - S_n$可化为$S$的递推，或利用$S_n$与$S_{n-1}$的关系转化为$a$ 的递推。

示例

已知 $S_n = 2a_{n+1}$，且 $a_1=1$。

• 法一（保留 $a$）：由 $S_n - S_{n-1} = a_n$，且 $S_{n-1} = 2a_n$（$n\ge2$），两式相减得 $a_n = 2a_{n+1} - 2a_n \Rightarrow 2a_{n+1} = 3a_n$，即 $a_{n+1} = \frac{3}{2}a_n$。
• 法二（保留 $S$）：$a_{n+1}=S_{n+1}-S_n$，代入得 $S_n = 2(S_{n+1}-S_n) \Rightarrow 2S_{n+1}=3S_n$。再求 $S_1=a_1=1$，得 $S_n=(\frac{3}{2})^{n-1}$，进而 $a_n=S_n-S_{n-1}$。

4. 递推关系求解方法分类（核心）

从混合关系中化出递推后，我们需要对递推类型进行系统求解。以下按“齐次 $\to$非齐次常数$\to$指数驱动$\to$ 一般情况”展开。

4.1 一阶线性齐次递推（等比型）

形如： $$ a_{n+1} = p\thinspace a_n \quad (p \neq 0) $$ 这是最简单的递推，可直接迭代： $$ a_n = a_1 \cdot p^{\thinspace{}n-1} $$

齐次的含义

等式右侧仅含 $a_n$ 的一次项，无外加常数或函数项，称为齐次递推。

4.2 一阶线性非齐次递推（常数项）

形如： $$ a_{n+1} = p\thinspace a_n + q \quad (p \neq 0,\thickspace q \neq 0) $$ 求解思路：通过待定常数或“不动点”构造等比数列。

若 $p = 1$，则 $\lbrace a_n\rbrace $是公差为$q$ 的等差数列。
若 $p \neq 1$，设待定常数 $\lambda$，使 $a_{n+1} - \lambda = p(a_n - \lambda)$。展开比较得 $\lambda = \frac{q}{1-p}$。于是新数列 $b_n = a_n - \frac{q}{1-p}$满足$b_{n+1} = p b_n$，为等比数列。

示例

$a_1=1$，$a_{n+1} = 2a_n + 3$。 由不动点方程 $x = 2x+3 \Rightarrow x=-3$，构造 $b_n = a_n + 3$。递推化为 $b_{n+1}=2b_n$，$b_1=4$，故 $b_n = 4\cdot 2^{n-1}=2^{n+1}$，$a_n = 2^{n+1}-3$。

4.3 一阶线性非齐次递推（指数型驱动项）

形如： $$ a_{n+1} = p\thinspace a_n + c \cdot r^{\thinspace{}n} \quad (p, r \neq 0) $$ 其中 $c$为非零常数。这类递推的非齐次项含指数函数$r^n$。

解法：根据 $p$与$r$ 是否相等，分为两种情形。

情形1：$p \neq r$ （待定系数法）

设特解形式为 $a_n^* = A \cdot r^{\thinspace{}n-1}$（或 $A r^n$），代入递推定出 $A$，再叠加齐次通解。
齐次通解为 $C \cdot p^{\thinspace{}n-1}$，故通解： $$ a_n = C \cdot p^{\thinspace{}n-1} + A \cdot r^{\thinspace{}n-1} $$ 待定系数：将 $a_n = A r^{n-1}$代入$a_{n+1} = p a_n + c r^n$： $$ A r^{n} = p A r^{n-1} + c r^{n} \Rightarrow A r = p A + c r \Rightarrow A = \frac{c r}{r - p} $$ 利用初值确定 $C$。

示例

$a_1 = 2$，$a_{n+1} = 3a_n + 4 \cdot 2^n$。（$p=3, r=2, c=4$） 齐次通解：$C\cdot 3^{n-1}$。特解：设 $A\cdot 2^{n-1}$，代入得 $A\cdot 2^n = 3A\cdot 2^{n-1} + 4\cdot 2^n$，约去 $2^{n-1}$：$2A = 3A + 8 \Rightarrow A = -8$。
通解：$a_n = C\cdot 3^{n-1} - 8\cdot 2^{n-1}$。由 $a_1=2$得$C - 8 = 2 \Rightarrow C=10$。
故 $a_n = 10\cdot 3^{n-1} - 8\cdot 2^{n-1}$。

情形2：$p = r$ （倍乘型）

此时非齐次项与齐次解“共振”。解法：设特解为 $a_n^* = A \cdot n \cdot p^{\thinspace{}n-1}$（多乘一个 $n$）。代入求得 $A = c p^{-1}$。通解： $$ a_n = C \cdot p^{\thinspace{}n-1} + c \cdot n \cdot p^{\thinspace{}n-2} \quad (\text{注意调整指数}) $$ 或者更整齐的形式，可将原方程两边同除以 $p^{n+1}$，得到等差数列。

示例

$a_{n+1} = 2a_n + 3 \cdot 2^n$，$a_1=1$。
两边除以 $2^{n+1}$：$\frac{a_{n+1}}{2^{n+1}} = \frac{a_n}{2^n} + \frac{3}{2}$。令 $b_n = \frac{a_n}{2^n}$，则 $b_{n+1} = b_n + 1.5$，等差数列。$b_1 = a_1/2 = 0.5$，$b_n = 0.5 + 1.5(n-1) = 1.5n - 1$，故 $a_n = 2^n (1.5n - 1)$。

普适方法：除以 $p^{n+1}$或$r^{n+1}$

当 $p=r$时，除以$p^{n+1}$化为等差数列最为简洁；当$p \neq r$时，除以$r^{n+1}$可化为$b_{n+1} = \frac{p}{r} b_n + \frac{c}{r}$，化为一阶线性常数非齐次型。

4.4 一阶线性变系数递推与构造法（更一般情况）

形如： $$ a_{n+1} = f(n)\thinspace a_n + g(n) $$ 其中 $f(n), g(n)$ 为已知函数。无通用显式解，但可借助累加或累乘。

• 若 $f(n) \equiv 1$：$a_{n+1} = a_n + g(n)$，累加得 $a_n = a_1 + \sum_{k=1}^{n-1} g(k)$。
• 若 $g(n) \equiv 0$：$a_{n+1} = f(n) a_n$，累乘得 $a_n = a_1 \prod_{k=1}^{n-1} f(k)$。
• 一般情形：可用积分因子法。寻找 $h(n)$使得$h(n+1) = f(n) h(n)$，通常取 $h(n) = \prod_{k=1}^{n-1} f(k)$的倒数。令$b_n = \frac{a_n}{h(n)}$，则方程可化为可求和形式。

示例（累加型）

$a_1 = 1$，$a_{n+1} = a_n + 2n$。累加：$a_n = 1 + \sum_{k=1}^{n-1} 2k = 1 + n(n-1)$。

示例（积分因子法）

$a_{n+1} = \frac{n}{n+1} a_n + 1$，$a_1=1$。
同乘以 $n+1$：$(n+1)a_{n+1} = n a_n + (n+1)$。令 $b_n = n a_n$，则 $b_{n+1} = b_n + n+1$。累加得 $b_n$，再得 $a_n$。

4.5 非线性递推与不动点（更一般情况）

若递推为非线性，特别是分式线性： $$ a_{n+1} = \frac{p a_n + q}{r a_n + s} $$ 可利用不动点 $\alpha = \frac{p\alpha + q}{r\alpha + s}$进行变换。对两不同实根，构造$\frac{a_{n+1}-\alpha_1}{a_{n+1}-\alpha_2} = k \frac{a_n-\alpha_1}{a_n-\alpha_2}$，化为等比。当有重根时，倒置化为等差数列。

更多类型

包括 $a_{n+1} = p a_n^r$ 可通过取对数化为线性；$a_{n+1} = p a_n + q a_{n-1}$是二阶线性递推，需特征方程。这些均属更一般情况，但主题$a_n,S_n$ 关系中，最终常化为一阶。

5. 综合应用：含 $a_n, a_{n+1}, S_n, S_{n+1}$ 的方程组

典型题

已知数列 $\lbrace a_n\rbrace $满足$S_n + S_{n+1} = 2a_{n+1} + 3n - 1$，且 $a_1 = 1$。求通项 $a_n$。

分析：方程中有 $S_n, S_{n+1}, a_{n+1}$，消去 $S$。 解：由 $S_n = S_{n+1} - a_{n+1}$，代入得 $(S_{n+1} - a_{n+1}) + S_{n+1} = 2a_{n+1} + 3n - 1$，即 $2S_{n+1} = 3a_{n+1} + 3n - 1$。 降角标：$2S_n = 3a_n + 3(n-1) - 1$（$n\ge2$）。两式相减： $2a_{n+1} = 3a_{n+1} - 3a_n + 3 \implies -a_{n+1} = -3a_n + 3 \implies a_{n+1} = 3a_n - 3$。 这是一阶线性常数非齐次型，用不动点法得 $a_n - \frac{3}{2}$等比，结合$a_1=1$求得$a_n$。

步骤小结

1. 将已知等式变形，尽量写成 $S_{n} = \dots$或直接消$S$。
2. 作差 $S_{n+1} - S_n = a_{n+1}$或$S_n - S_{n-1} = a_n$，得到仅含 $a$ 的递推。
3. 判定递推类型，选择对应解法。
4. 不要忘记求 $a_1$，并验证首项兼容性。

6. 易错点与注意事项

常见错误

• 忘记 $n=1$ 的单独验证：$S_0$ 无定义，$a_n = S_n - S_{n-1}$仅对$n\ge2$ 有效。
• 混淆齐次与非齐次：$a_{n+1} = 2a_n$ 是齐次，$a_{n+1} = 2a_n + 1$ 是非齐次，解法不同。
• 指数非齐次项直接套用常数公式：$a_{n+1} = p a_n + c r^n$不能直接用$a_{n+1} = p a_n + q$的常数解，需要区分$p=r$与$p\neq r$。
• 忽略多解情况：当递推中出现平方或分式时，可能引入增根或丢失合理分支。
• 下标混乱：解题过程中要时刻注意 $n$的取值范围，尤其是将$S_n$表示为$a_n$ 函数后相减时，需确保角标不越界。

验算习惯

求出通项后，建议代入原混合关系（如 $S_n$ 的表达式）验证前几项，确保推导无误。

7. 总结与速查表

已知条件形式	转化手段	最终递推类型	关键解法
$S_n = g(n)$解析式	$a_n = S_n - S_{n-1}$	直接公式	分段检验首项
$S_n = g(a_n)$	作差消$S$	$a_n$间递推	根据$g$ 形式确定类型
$a_{n+1} = p a_n$	—	一阶齐次线性	$a_n = a_1 p^{n-1}$
$a_{n+1} = p a_n + q$	—	一阶常系数非齐次	不动点构造等比
$a_{n+1} = p a_n + c r^n$	—	指数驱动	待定系数或除以$r^{n+1}$
$a_{n+1} = f(n)a_n + g(n)$	—	一阶变系数	累加/累乘/积分因子
含 $S_n, S_{n+1}, a_{n+1}$	消$S$留$a$	同前	综合应用

核心思想

一切技巧归于两个基本动作：消元（$S$与$a$ 的互化）和降阶（化归为等比、等差或可求和形式）。掌握这两点，$a_n, a_{n+1}, S_n, S_{n+1}$ 的混合问题便不再神秘。