累差累商 · 高中数学思想方法

方法定义

累差累商包含两种基本方法：累差迭加法（简称累加法）和累商迭乘法（简称累乘法）。所谓累差迭加法，是指由形如 $a_1=a$ ， $a_n-a_{n-1}=f(n)$ （ $n \ge 2$ ）的递推关系求数列通项公式的方法；所谓累商迭乘法，是指由形如 $a_1=a$ ， $\frac{a_n}{a_{n-1}}=g(n)$ （ $n \ge 2$ ）的递推关系求数列通项公式的方法。此外，当递推关系呈现为不等式时，形如 $a_{n+1}-a_n < f(n)$ 也可以利用累差迭加法放缩为 $a_n < a+f(1)+f(2)+\dots+f(n-1)$ ；形如 $\frac{a_{n+1}}{a_n} < g(n)$ 也可以利用累商迭乘法放缩为 $a_n < a \cdot g(1)g(2)\dots g(n-1)$ 。

核心思想

累差累商的核心在于**“构造消项与降阶处理”**。其实质是将复杂、抽象的数列递推关系人为转化为“等差型”或“等比型”结构。通过把递推式按项数 $n$ 依次列出多组等式（或不等式），并实施整体的“相加”或“相乘”操作，使得中间项像“多米诺骨牌”一样产生大面积的正负抵消（累差）或分子分母约分（累商），从而将对未知数列项的求解，直接化归为对已知函数 $f(n)$ 的求和运算，或对 $g(n)$ 的求积运算。

适用题型

该方法广泛应用于函数、数列、不等式等模块。特别适用于：

已知形如 $a_{n+1} - a_n = f(n)$ 或 $a_{n+1} = f(n)a_n$ 的递推关系，求数列的通项公式。
结合放缩法，处理形如 $a_{n+1} - a_n < f(n)$ 或 $\frac{a_{n+1}}{a_n} < g(n)$ 的递推不等关系，探求数列项的取值范围或前 $n$ 项和的极值问题。

识别信号

相邻项之差为规律函数：题干直接给出或可变形得到 $a_{n+1} - a_n = f(n)$ ，且 $f(n)$ 是易于求和的数列（如等差、等比或可裂项相消的分式数列）。
相邻项之商为规律函数：题干给出 $a_{n+1} = g(n)a_n$ ，且 $g(n)$ 是易于连乘相消的结构（如多项式因式乘积、分式等）。
递推关系中的不等式特征：已知条件呈现 $a_{n+1} < a_n + f(n)$ ，且目标是证明 $a_n$ 的某种边界，暗示需要使用累差法“双剑合璧”进行放缩证明。

标准解题步骤

变形构造等差/等比型：将已知的递推公式通过恒等变形、同除等操作，整理成 $a_n - a_{n-1} = f(n)$ 或 $\frac{a_n}{a_{n-1}} = g(n)$ （ $n \ge 2$ ）的标准形式。
列举展开：将下标 $n$ 依次赋值为 $2, 3, \dots, n$ ，纵向列出所对应的 $n-1$ 个等式（或不等式）。
实施累加或累乘：
- 累差：将上述 $n-1$ 个等式的左右两端分别相加，利用中间项的正负相消得到 $a_n - a_1 = f(2) + f(3) + \dots + f(n)$ 。
- 累商：将上述 $n-1$ 个等式的左右两端分别相乘，利用分子分母的连环约分得到 $\frac{a_n}{a_1} = g(2) \cdot g(3) \dots g(n)$ 。
化简求值：计算等式右侧的数列前 $n-1$ 项的和或积，加上（或乘以）首项 $a_1$ ，进而求出通项表达式。
验证首项（关键排雷）：将 $n=1$ 代入求出的表达式，检验其是否与已知的首项 $a_1$ 一致。若不一致，则需要用分段函数（大括号）的形式写出最终的通项公式。

一个简短示例

题目：已知数列 $\{a_n\}$ 满足 $a_1=1$ ， $a_n=a_1+2a_2+3a_3+\dots+(n-1)a_{n-1}$ ( $n \ge 2$ )，求数列 $\{a_n\}$ 的通项公式。

解答：当 $n \ge 2$ 时， $a_n = a_1+2a_2+3a_3+\dots+(n-1)a_{n-1}$ ① 则 $a_{n+1} = a_1+2a_2+3a_3+\dots+(n-1)a_{n-1}+na_n$ ② 用②减去①，得 $a_{n+1}-a_n = na_n$ ( $n \ge 2$ )。

将其变形整理得： $a_{n+1} = (n+1)a_n$ ( $n \ge 2$ )，即 $\frac{a_{n+1}}{a_n} = n+1$ ( $n \ge 2$ )。

利用累商迭乘法，当 $n \ge 3$ 时： $a_n = \frac{a_n}{a_{n-1}} \cdot \frac{a_{n-1}}{a_{n-2}} \cdot \dots \cdot \frac{a_3}{a_2} \cdot a_2$ $= n \cdot (n-1) \dots 4 \cdot 3 \cdot a_2$ 。

由①式令 $n=2$ ，得 $a_2 = a_1 = 1$ 。

代入上式得： $a_n = n \cdot (n-1) \dots 4 \cdot 3 \cdot 1 \cdot \frac{1}{2} = \frac{n!}{2}$ ( $n \ge 3$ )。

当 $n=2$ 时， $a_2=1=\frac{2!}{2}$ ，满足该公式。

当 $n=1$ 时， $a_1=1 \neq \frac{1!}{2}$ ，不满足该公式。

综上，数列 $\{a_n\}$ 的通项公式为：当 $n=1$ 时， $a_1=1$ ；当 $n \ge 2$ 时， $a_n = \frac{n!}{2}$ 。

常见误区

项数统计错误：在进行列举并相加（相乘）时，极容易错把项数当作 $n$ 项。实际上从 $a_2$ 到 $a_n$ 的过程只产生了 $n-1$ 个等式，如果在右侧套用求和（积）公式时用错项数，将导致前功尽弃。
忘记验证首项：累差与累商操作的前提往往是 $n \ge 2$ 。如果不将求出的通项公式倒回去检验 $n=1$ 是否成立就直接作答，往往会漏掉分段形式而失分（如示例题目）。
忽视累商的前提：在构造 $\frac{a_n}{a_{n-1}} = g(n)$ 准备进行累商时，没有判断隐含条件 $a_{n-1} \neq 0$ 就直接除以未知项，造成数学逻辑上的破绽。