不同求和式的计算方式

摘要

本文系统梳理了数列求和的常用方法与技巧，包括基础公式、分组求和、裂项相消、错位相减、倒序相加、组合数与二项式定理、阿贝尔分部求和以及双重和式的处理。每个方法均附有严格推导与典型例题，适合作为高中至大学低年级的参考笔记。

目录

• 1. 求和记号与基本性质
• 2. 常见数列的求和公式
  • 2.1 等差数列求和
  • 2.2 等比数列求和
  • 2.3 正整数的方幂和
• 3. 核心求和方法
  • 3.1 分组求和法
  • 3.2 裂项相消法
  • 3.3 错位相减法
  • 3.4 倒序相加法
  • 3.5 组合数与二项式定理求和
  • 3.6 阿贝尔分部求和法
• 4. 双重求和与对称技巧
• 5. 综合例题精讲
• 6. 附录：常用求和公式速查

1. 求和记号与基本性质

求和符号 $\sum$ 是数列求和的简洁表示：

$$ \sum_{i=m}^{n} a_i = a_m + a_{m+1} + \cdots + a_n, \quad (m \le n) $$

其中 $i$ 称为求和指标，$m$ 为下限，$n$ 为上限，$a_i$ 为通项。

基本性质

1. 线性性质： $$ \sum_{i=m}^{n} (c_1 a_i + c_2 b_i) = c_1 \sum_{i=m}^{n} a_i + c_2 \sum_{i=m}^{n} b_i $$ 其中 $c_1, c_2$ 为常数。
2. 下标平移： $$ \sum_{i=m}^{n} a_i = \sum_{i=m+k}^{n+k} a_{i-k} $$
3. 区间可加性： $$ \sum_{i=m}^{n} a_i = \sum_{i=m}^{p} a_i + \sum_{i=p+1}^{n} a_i \quad (m \le p < n) $$
4. 交换求和次序（双重和式）： $$ \sum_{i=1}^{m}\sum_{j=1}^{n} a_{i,j} = \sum_{j=1}^{n}\sum_{i=1}^{m} a_{i,j} $$

注意

求和指标是一个“哑变量”，用什么字母并不改变和的值： $$ \sum_{i=1}^{n} a_i = \sum_{k=1}^{n} a_k $$

2. 常见数列的求和公式

这些公式是求和的基石，必须熟练记忆并理解其推导。

2.1 等差数列求和

若 $\lbrace a_k\rbrace $为等差数列，首项为$a_1$，公差为 $d$，则前 $n$ 项和为 $$ S_n = \frac{n(a_1 + a_n)}{2} = \frac{n[2a_1 + (n-1)d]}{2} $$

推导（倒序相加法）

设 $S_n = a_1 + a_2 + \cdots + a_n$， 则 $S_n = a_n + a_{n-1} + \cdots + a_1$。 两式相加得 $$ 2S_n = (a_1+a_n) + (a_2+a_{n-1}) + \cdots + (a_n+a_1) = n(a_1+a_n) $$ 故 $S_n = \frac{n(a_1+a_n)}{2}$。这正是[倒序相加法](#3.4 倒序相加法)的典型应用。

2.2 等比数列求和

若 $\lbrace a_k\rbrace $为等比数列，首项为$a_1$，公比为 $q \neq 1$，则 $$ S_n = a_1\frac{1-q^n}{1-q} $$ 当 $q=1$ 时，$S_n = n a_1$。

推导（错位相减法）

$S_n = a_1 + a_1q + a_1q^2 + \cdots + a_1q^{n-1}$
$qS_n = a_1q + a_1q^2 + \cdots + a_1q^{n-1} + a_1q^n$
两式相减得 $(1-q)S_n = a_1(1-q^n)$，即得公式。此即[错位相减法](#3.3 错位相减法)的原理。

2.3 正整数的方幂和

以下公式极为常用，必须牢记：

$$ \begin{aligned} &\sum_{k=1}^{n} k = \frac{n(n+1)}{2} \newline[4pt] &\sum_{k=1}^{n} k^2 = \frac{n(n+1)(2n+1)}{6} \newline[4pt] &\sum_{k=1}^{n} k^3 = \left[ \frac{n(n+1)}{2} \right]^2 \end{aligned} $$

记忆技巧

• $\sum k$ 的结果是“首项加末项乘项数除以二”的特例。
• $\sum k^3 = (\sum k)^2$，这是一个优美的巧合。
• 更高次幂的求和公式可用伯努利数表示，但中学阶段通常只需掌握到三次。

- 平方和公式推导（裂项法）

利用恒等式 $(k+1)^3 - k^3 = 3k^2 + 3k + 1$，两边从 $k=1$到$n$ 求和： $$ \sum_{k=1}^{n}[(k+1)^3 - k^3] = 3\sum_{k=1}^{n}k^2 + 3\sum_{k=1}^{n}k + \sum_{k=1}^{n}1 $$ 左端裂项相消得 $(n+1)^3 - 1$，代入 $\sum k = n(n+1)/2$，解出 $\sum k^2$即得公式。此法可推广求任意$\sum k^m$。

3. 核心求和方法

3.1 分组求和法

当一个数列由几个不同特征的部分组成（如等差+等比），可将其拆分为若干个可求和的组，分别求和后再相加。

步骤

1. 将通项 $a_n$ 拆成若干项之和：$a_n = b_n + c_n + \cdots$
2. 分别求 $\sum b_n$、$\sum c_n$ 等。
3. 利用线性性质合并结果。

例题 1

求 $S_n = \sum_{k=1}^{n} (2k + 3^k)$.

解： $$ \begin{aligned} S_n &= \sum_{k=1}^{n} 2k + \sum_{k=1}^{n} 3^k \newline &= 2\cdot\frac{n(n+1)}{2} + \frac{3(3^n-1)}{3-1} \newline &= n(n+1) + \frac{3(3^n-1)}{2}. \end{aligned} $$

3.2 裂项相消法

这是最重要、最灵活的求和方法之一。核心思想是将通项 $a_n$ 拆成某个序列相邻项（或跳跃项）的差： $$ a_k = f(k+1) - f(k) \quad \text{或} \quad a_k = f(k) - f(k+r) $$ 然后中间项互相抵消，只留下首尾若干项。

基本模型

$$ \sum_{k=1}^{n} [f(k+1)-f(k)] = f(n+1)-f(1) $$

常见的裂项类型：

3.2.1 分式裂项

一次分式： $$ \frac{1}{k(k+1)} = \frac{1}{k} - \frac{1}{k+1} $$

推广：$\frac{1}{k(k+m)} = \frac{1}{m}\left( \frac{1}{k} - \frac{1}{k+m} \right)$

二次分式（重因子）： $$ \frac{1}{k(k+1)(k+2)} = \frac{1}{2}\left[ \frac{1}{k(k+1)} - \frac{1}{(k+1)(k+2)} \right] $$

含平方的分式： $$ \frac{1}{k^2-1} = \frac{1}{(k-1)(k+1)} = \frac{1}{2}\left( \frac{1}{k-1} - \frac{1}{k+1} \right) \quad (k \ge 2) $$

例题 2

求和 $S_n = \sum_{k=1}^{n} \frac{1}{k(k+2)}$.

解：裂项： $$ \frac{1}{k(k+2)} = \frac{1}{2}\left( \frac{1}{k} - \frac{1}{k+2} \right) $$ 则 $$ \begin{aligned} S_n &= \frac{1}{2}\sum_{k=1}^{n}\left( \frac{1}{k} - \frac{1}{k+2} \right) \newline &= \frac{1}{2}\left[ \left(1-\frac{1}{3}\right) + \left(\frac{1}{2}-\frac{1}{4}\right) + \left(\frac{1}{3}-\frac{1}{5}\right) + \cdots + \left(\frac{1}{n}-\frac{1}{n+2}\right) \right] \newline &= \frac{1}{2}\left( 1 + \frac{1}{2} - \frac{1}{n+1} - \frac{1}{n+2} \right) \newline &= \frac{3}{4} - \frac{2n+3}{2(n+1)(n+2)}. \end{aligned} $$

3.2.2 根式裂项

利用有理化分子或分母： $$ \frac{1}{\sqrt{a}+\sqrt{b}} = \frac{\sqrt{a}-\sqrt{b}}{a-b} $$

常用形式： $$ \frac{1}{\sqrt{k+1}+\sqrt{k}} = \sqrt{k+1}-\sqrt{k} $$

例题 3

求 $S_n = \sum_{k=1}^{n} \frac{1}{\sqrt{k+1}+\sqrt{k}}$.

解：有理化得 $\frac{1}{\sqrt{k+1}+\sqrt{k}} = \sqrt{k+1}-\sqrt{k}$，从而 $$ S_n = (\sqrt{2}-\sqrt{1}) + (\sqrt{3}-\sqrt{2}) + \cdots + (\sqrt{n+1}-\sqrt{n}) = \sqrt{n+1}-1. $$

3.2.3 指数与阶乘裂项

阶乘型裂项（极常见）： $$ k \cdot k! = (k+1)! - k! $$ 推广： $$ \frac{k}{(k+1)!} = \frac{1}{k!} - \frac{1}{(k+1)!} $$

指数型裂项：需要根据具体形式构造差。例如： $$ \frac{k \cdot 2^k}{(k+1)(k+2)} = \frac{2^{k+1}}{k+2} - \frac{2^k}{k+1} $$

例题 4

求和 $S_n = \sum_{k=1}^{n} k \cdot k!$.

解： 由 $k \cdot k! = (k+1)! - k!$，得 $$ S_n = (2!-1!) + (3!-2!) + \cdots + ((n+1)!-n!) = (n+1)! - 1. $$

例题 5

求和 $S_n = \sum_{k=1}^{n} \frac{k \cdot 2^k}{(k+1)(k+2)}$.

解：注意到 $$ \frac{2^{k+1}}{k+2} - \frac{2^k}{k+1} = \frac{2^k\bigl[2(k+1)-(k+2)\bigr]}{(k+1)(k+2)} = \frac{k \cdot 2^k}{(k+1)(k+2)} $$ 因此 $$ \begin{aligned} S_n &= \sum_{k=1}^{n} \left( \frac{2^{k+1}}{k+2} - \frac{2^k}{k+1} \right) \newline &= \left(\frac{2^2}{3} - \frac{2^1}{2}\right) + \left(\frac{2^3}{4} - \frac{2^2}{3}\right) + \cdots + \left(\frac{2^{n+1}}{n+2} - \frac{2^n}{n+1}\right) \newline &= \frac{2^{n+1}}{n+2} - 1. \end{aligned} $$

裂项相消法的通用思路

若通项为 $a_n$，可尝试将其表示为 $a_n = b_{n+1} - b_n$。这通常需要待定系数或对分式进行部分分式分解。

3.3 错位相减法

专门用于求解等比数列与等差数列乘积的前 $n$项和，即$\sum (an+b)q^{n-1}$ 型。

标准步骤

设 $S_n = \sum_{k=1}^{n} (a k + b) q^{k-1}$（$q \neq 1$），

1. 写出 $S_n$ 展开式；
2. 计算 $qS_n$，并对齐同类项（即将 $qS_n$的各项与$S_n$ 的次一项对齐）；
3. 两式相减：$S_n - qS_n$，得到一个等比数列的和加上一些常数项；
4. 解出 $S_n$。

例题 6

求 $S_n = 1 + 3x + 5x^2 + \cdots + (2n-1)x^{n-1}$，其中 $x \neq 1$。

解： $$ \begin{aligned} S_n &= 1 + 3x + 5x^2 + \cdots + (2n-1)x^{n-1} \newline xS_n &= \quad\thickspace\thickspace x + 3x^2 + \cdots + (2n-3)x^{n-1} + (2n-1)x^n \end{aligned} $$ 相减： $$ (1-x)S_n = 1 + 2x + 2x^2 + \cdots + 2x^{n-1} - (2n-1)x^n $$ 中间为等比数列：$2x + 2x^2 + \cdots + 2x^{n-1} = 2x \cdot \frac{1-x^{n-1}}{1-x}$. 代入整理得： $$ (1-x)S_n = 1 + \frac{2x(1-x^{n-1})}{1-x} - (2n-1)x^n $$ $$ S_n = \frac{1 - (2n-1)x^n}{1-x} + \frac{2x(1-x^{n-1})}{(1-x)^2} $$ （可进一步通分，但保留此形式在应用时更方便。）

注意

当 $x=1$时，原式变为$1+3+5+\cdots+(2n-1)=n^2$，需单独讨论。

3.4 倒序相加法

若数列 $\lbrace a_n\rbrace $ 中与首末两端等距离的两项之和为定值，即 $$ a_k + a_{n-k+1} = C \quad (\text{常数}) $$ 则可使用倒序相加。等差数列是其特例。

例题 7

已知函数 $f(x)=\dfrac{4^x}{4^x+2}$，求 $S = \sum_{i=1}^{2023} f\left(\dfrac{i}{2024}\right)$。

解：注意到 $f(x)+f(1-x)=1$。设 $S = \sum_{i=1}^{2023} f\left(\frac{i}{2024}\right)$，则倒序写为 $S = \sum_{i=1}^{2023} f\left(\frac{2024-i}{2024}\right) = \sum_{i=1}^{2023} f\left(1-\frac{i}{2024}\right)$。两式相加： $$ 2S = \sum_{i=1}^{2023} \left[ f\left(\frac{i}{2024}\right) + f\left(1-\frac{i}{2024}\right) \right] = 2023 $$ 故 $S = \dfrac{2023}{2}$。

3.5 组合数与二项式定理求和

当和式中含有组合数 $\binom{n}{k}$ 时，常利用二项式定理及其变形。

核心公式： $$ (1+x)^n = \sum_{k=0}^{n} \binom{n}{k} x^k $$

通过对 $x$ 赋值、求导、积分，可得多种组合和式。

常用手段

• 赋值法：令 $x=1$得$\sum \binom{n}{k} = 2^n$；令 $x=-1$得$\sum (-1)^k \binom{n}{k} = 0$。
• 求导法：对 $(1+x)^n$求导得$n(1+x)^{n-1} = \sum_{k=1}^{n} k \binom{n}{k} x^{k-1}$，令 $x=1$得$\sum k \binom{n}{k} = n2^{n-1}$。
• 积分法：可处理分母含 $k+1$ 的式子。

例题 8

求 $S = \sum_{k=1}^{n} k^2 \binom{n}{k}$.

解：利用 $k^2 = k(k-1) + k$。 $$ \begin{aligned} S &= \sum_{k=1}^{n} k(k-1) \binom{n}{k} + \sum_{k=1}^{n} k \binom{n}{k} \newline &= \sum_{k=2}^{n} n(n-1)\binom{n-2}{k-2} + n2^{n-1} \newline &= n(n-1)2^{n-2} + n2^{n-1} = n(n+1)2^{n-2}. \end{aligned} $$ 这里使用了恒等式 $k\binom{n}{k} = n\binom{n-1}{k-1}$和$k(k-1)\binom{n}{k} = n(n-1)\binom{n-2}{k-2}$。

3.6 阿贝尔分部求和法

阿贝尔变换是离散版本的“分部积分”，其公式为： $$ \sum_{k=1}^{n} a_k \Delta b_k = (a_{n+1} b_{n+1} - a_1 b_1) - \sum_{k=1}^{n} b_{k+1} \Delta a_k $$ 其中 $\Delta x_k = x_{k+1} - x_k$。更常用的形式是： $$ \sum_{k=1}^{n} a_k b_k = A_n b_n + \sum_{k=1}^{n-1} A_k (b_k - b_{k+1}) $$ 其中 $A_k = \sum_{i=1}^{k} a_i$。

阿贝尔求和在解决某些“无法直接求和”的数列时非常有效，特别是当 $b_k$ 单调且有界时。

例题 9

求 $S_n = \sum_{k=1}^{n} k \cdot 2^k$。（可用错位相减，这里演示阿贝尔变换）

解：令 $a_k = 2^k$，则 $A_k = 2^{k+1}-2$；令 $b_k = k$，则 $b_k - b_{k+1} = -1$。 代入公式： $$ \begin{aligned} S_n &= A_n b_n + \sum_{k=1}^{n-1} A_k (b_k - b_{k+1}) \newline &= (2^{n+1}-2) \cdot n + \sum_{k=1}^{n-1} (2^{k+1}-2) \cdot (-1) \newline &= n2^{n+1} - 2n - \sum_{k=1}^{n-1} 2^{k+1} + 2(n-1) \newline &= n2^{n+1} - 2 - (2^{n+1} - 4) \newline &= (n-1)2^{n+1} + 2. \end{aligned} $$ 结果与错位相减法一致。

例题 10：利用阿贝尔变换估计和式

可证 $\sum_{k=1}^{n} \dfrac{\sin k}{k}$对一切$n$均有界（如$\le 2$）。令 $a_k=\sin k$，其部分和 $A_k = \sum_{i=1}^{k}\sin i$ 有界；$b_k=1/k$ 单调递减趋于零。由阿贝尔变换即得结论，详细放缩过程从略。

4. 双重求和与对称技巧

形如 $\sum_{1 \le i \le j \le n} (a_i + a_j)$ 的双重和式，关键在于交换求和次序或对称性。

4.1 三角和式的处理

求 $\sum_{1 \le i \le j \le n} f(i,j)$，常用技巧是补充对称部分构成全矩阵求和： $$ 2 \sum_{1 \le i \le j \le n} f(i,j) = \sum_{i=1}^{n}\sum_{j=1}^{n} f(i,j) + \sum_{i=1}^{n} f(i,i) $$ 仅当 $f(i,j) = f(j,i)$对称时成立。更一般地，我们可以直接对每一个$a_k$ 统计出现次数。

通用方法

求 $S = \sum_{1 \le i \le j \le n} (a_i + a_j)$： $$ S = \sum_{i=1}^{n} \sum_{j=i}^{n} a_i + \sum_{i=1}^{n} \sum_{j=i}^{n} a_j $$ 第一部分：对每个固定的 $i$，$a_i$出现$n-i+1$ 次；第二部分：交换次序，$a_j$出现$j$次。合并得$a_k$出现$(n-k+1) + k = n+1$ 次。 因此： $$ \boxed{\sum_{1 \le i \le j \le n} (a_i + a_j) = (n+1)\sum_{k=1}^{n} a_k} $$

例题 11

数列 $a_k = 2^{k-1}$，$n\ge3$，求 $S = \sum_{1 \le i \le j \le n} (a_i + a_j)$。

解：先求 $\sum_{k=1}^{n} a_k = 2^n - 1$，于是 $S = (n+1)(2^n-1)$。

4.2 乘积型双重求和

对于 $\sum_{i=1}^{n}\sum_{j=1}^{n} a_i b_j$，可分离为 $(\sum a_i)(\sum b_j)$。对于三角区域如 $\sum_{i \le j} a_i a_j$，可利用对称： $$ \left( \sum_{i=1}^{n} a_i \right)^2 = \sum_{i=1}^{n} a_i^2 + 2\sum_{1 \le i < j \le n} a_i a_j $$ 从而求出三角和。

5. 综合例题精讲

这些例题融合了多种技巧，体现出解题的灵活性。

例题 12：错位相减与裂项综合

求 $S_n = \sum_{k=1}^{n} \frac{k}{2^k}$。

- 解答

错位相减法：乘以 $\frac{1}{2}$ 错位。 $$ \begin{aligned} S_n &= \frac{1}{2} + \frac{2}{2^2} + \frac{3}{2^3} + \cdots + \frac{n}{2^n} \newline \frac{1}{2}S_n &= \quad\quad \frac{1}{2^2} + \frac{2}{2^3} + \cdots + \frac{n-1}{2^n} + \frac{n}{2^{n+1}} \end{aligned} $$ 相减： $$ \frac{1}{2}S_n = \frac{1}{2} + \frac{1}{2^2} + \frac{1}{2^3} + \cdots + \frac{1}{2^n} - \frac{n}{2^{n+1}} $$ 前 $n$ 项为等比和：$\frac{\frac{1}{2}(1-1/2^n)}{1-1/2} = 1 - \frac{1}{2^n}$. 故 $\frac{1}{2}S_n = 1 - \frac{1}{2^n} - \frac{n}{2^{n+1}}$，得 $$ S_n = 2 - \frac{n+2}{2^n}. $$

例题 13：组合数与积分

求 $S = \sum_{k=1}^{n} \binom{n}{k} \frac{(-1)^{k-1}}{k}$.

- 解答

考虑函数 $f(x) = \sum_{k=1}^{n} \binom{n}{k} \frac{(-1)^{k-1}}{k} x^k$，原式即 $f(1)$。 求导：$f'(x) = \sum_{k=1}^{n} \binom{n}{k} (-1)^{k-1} x^{k-1} = \frac{1 - (1-x)^n}{x}$。 则 $f(1) = \int_{0}^{1} \frac{1 - (1-x)^n}{x} dx$，令 $t=1-x$得$\int_{0}^{1} \frac{1-t^n}{1-t} dt = \int_{0}^{1} (1+t+\cdots+t^{n-1}) dt = 1 + \frac{1}{2} + \cdots + \frac{1}{n}$。 所以 $S = H_n$（调和数）。

6. 附录：常用求和公式速查

公式表

类型	公式
等差数列	$\displaystyle \sum_{k=1}^{n} (a_1+(k-1)d) = \frac{n[2a_1+(n-1)d]}{2}$
等比数列	$\displaystyle \sum_{k=0}^{n-1} a_1 q^k = a_1\frac{1-q^n}{1-q} \thickspace (q \ne 1)$
正整数和	$\displaystyle \sum_{k=1}^{n} k = \frac{n(n+1)}{2}$
平方和	$\displaystyle \sum_{k=1}^{n} k^2 = \frac{n(n+1)(2n+1)}{6}$
立方和	$\displaystyle \sum_{k=1}^{n} k^3 = \left[\frac{n(n+1)}{2}\right]^2$
奇数和	$\displaystyle \sum_{k=1}^{n} (2k-1) = n^2$
等差$\times$等比	$\displaystyle \sum_{k=1}^{n} (ak+b)q^{k-1} = \frac{b - (an+b)q^n}{1-q} + \frac{aq(1-q^{n-1})}{(1-q)^2}$
组合数求和	$\displaystyle \sum_{k=0}^{n} \binom{n}{k} = 2^n$
带权组合	$\displaystyle \sum_{k=0}^{n} k \binom{n}{k} = n 2^{n-1}$
调和级数相关	$\displaystyle \sum_{k=1}^{n} \frac{1}{k} = H_n$ （无简单封闭形式）

结语

求和的核心是“化归”——将未知求和转化为已知公式或相消结构。熟练掌握上述方法，能应对绝大多数常规求和问题。遇到新题时，优先考虑：能否裂项？是否为等差乘等比？是否对称？是否涉及组合数？往往就能找到突破口。