求和符号（高中）

贡献者：欄、停敘; addis

本文处于草稿阶段。

预备知识　数列，集合，函数

　　想象一下这样一个场景，老师要求你计算从 1 到 100 的所有自然数的和，这时，你旁边的一个名叫高斯的同学脱口而出 5050。当然，这篇文章的内容不是介绍如何快速的计算这个和的，于是这个故事里，你不是高斯，而是他旁边那个看起来 “笨笨” 的同学。你和其他的同学一样，从 $1$ 开始一个一个往上加。

　　时过境迁，对于计算机随处可见的现在，这样的操作不再像当时那样看起来笨笨的，计算机每天都在进行着类似的操作。不仅如此，通过对这个过程抽象得到的求和符号，不仅能只用一个比较简短的记号就描述之前你的求和过程，在理论上提供了强大的表达能力，还能够推广到远比高斯当时使用的方法广泛的场景中，展现了高效和便捷的特性。

　　当然，这个符号与之前学习过的其他符号（ $+, \times$ 等）相比都复杂一些，但了解熟练之后，相信你再看到它，也会像看到老朋友那样自然。

1. 初次接触求和符号

　　假设有人给了你一项任务，他希望你求出一些数字的和是多少（这个过程的名字叫累加），比如一辆车从始发站到某一站，每站都会上一些人，再下一些人，问到这一站的时候车上有多少人。想一想这个过程，你会需要他给你哪些信息呢？

　　你需要知道第一个数是多少，并且要他依次把这些数字给你，而且最终需要有一个停止的条件，即这些数字会最终停止在某一个数字上。对于已经接触过数列的同学一定意识到了，这些数字可以构成一个数列。第一个数就是首项，最后一个数就是末项。下面假设这个数列是 ${a_{n}}$ ，它的第一项是 $a_{1}$ ，末项是 $a_{n}$ 。于是这个求和结果就是：

\begin{matrix} (1) & a_{1} + a_{2} + \dots + a_{n - 1} + a_{n} . \end{matrix}

　　为了避免每次都要写一堆点来表达这个求和过程，通常会设这个数列的所有项的和是 $S$ ，即：

\begin{matrix} (2) & S = a_{1} + a_{2} + \dots + a_{n - 1} + a_{n} . \end{matrix}

　　但是，尽管使用 $S$ 避免了写一堆点，但却带来了一些其他的问题：

如果涉及到很多个数列或者很多个求和过程，光是设这些变量，就要花掉很大篇幅，就像上面做的：需要构造一个数列，给这个数列一个符号，然后给这个数列的和一个符号。
$S$ 这个符号太泛用了，在使用的时候也会因为记不清之前都用了哪些符号造成阅读上的困难。
$S$ 这个符号本身并没有包含其他的信息，他只是给这个过程起了一个名字而已，从这个字符没有办法反映出求和过程的性质，任何记号都可以替代它，毕竟只是个名字。

　　由于累加过于常用，上面的三个问题就显得尤为突出，因此，迫切需要一个新的手段来避免出现这些问题，数学家们设计了求和符号，用求和符号来表现累加过程的定义如下：

\begin{matrix} (3) & \sum_{i = 1}^{n} a_{i} := a_{1} + a_{2} + \dots + a_{n - 1} + a_{n} . \end{matrix}

　　下面大概的解释一下求和符号在做什么：

求和符号的下面表示求和过程的指标（index，也译为索引）和指标下限，通过指标你就可以像看目录一样，找到对应的那一项是哪个。
求和符号的上面表示指标上限，由于指标只要指明一次就可以了，所以上面就不再重新写一遍指标号是什么。
求和符号的右侧代表了这些数字的通项，它通常需要包含指标（这里包含在下标中）。
求和的过程分成两步：第一步是 “得到指标集”，通过自增，即指标从下限开始，不断加 $1$ （递增），直到上限，得到所有的指标（也即确定所有指标构成的集合，称作指标集）；第二步是 “求和”，根据指标集找到每一个需要求和的数字，并把他们加起来。

　　对照着刚才的那些问题，可以发现，用它来代替 $S$ 不仅避免了写 “ $\dots$ ”，也完全解决了 $S$ 带来的问题。随着使用的深入，人们还发现，求和符号带来了一些其他的便利。不过我们先停一停，好好研究一下这个符号的几种使用方式。

*递归定义

　　对于递增情况的累加过程，可以采用递归的定义方式，也就是把第 $n$ 项的和看成是 $n - 1$ 项和加上第 $n$ 项，特别地， $0$ 项和为初始条件默认是 0¹，即：

定义 1　递归定义的求和符号

\begin{matrix} (4) & \sum_{i = 1}^{n} a_{i} = a_{n} + \sum_{i = 1}^{n - 1} a_{i}, \sum_{i = 1}^{0} a_{i} = 0. \end{matrix}

2. 求和符号的几种使用方式

　　在实际使用时，为了让求和符号能在在不同的情况下表示累加的概念，发明了一些其他的表达方法²。标题中带*的内容只做拓展视野使用，在高中阶段不涉及。

更换指标

　　式 3 是最常用的一种表示方法。但事实上不论是指标，还是它的下限或是上限都可以根据实际情况有其他的选择。相较之前更泛用的记法定义如下：

\begin{matrix} (5) & \sum_{k = p}^{q} a_{k} := a_{p} + a_{p + 1} + \dots + a_{q - 1} + a_{q} . \end{matrix}

其中

k

是指标，

p, q

分别为下限和上限。

　　指标通常会使用 $i, j, k$ 等字母。若求和过程涉及多个指标为免歧义会使用多个字母。

　　关于下限和上限，与刚才相同，不一定会从 $1$ 开始，也不一定到 $n$ 终止，因此在使用时需要注意这两个条件，尤其是下限，很多错误就在下意识地以 $1$ 为开始中产生。

　　注意，求和符号所代表的累加过程一共有 $q - p + 1$ 项。

使用表达式

　　如果 $a_{i}$ 的表达式是 $f (i)$ ，即 $a_{i} = f (i)$ ，则求和符号可以直接写作：

\begin{matrix} (6) & \sum_{i = 1}^{n} f (i) . \end{matrix}

　　这样做的好处是彻底脱离了之前提到的 “给这个数列一个符号” 的操作，直接用一个具体的表达式就可以写出来了，这样的表达方法使用最广泛。

例 1　用求和符号表达从 1 开始的 10 个奇数的和

　　第一个数是 $1$ ，设指标为 $n$ ，指标从 1 开始，则这些奇数的表达式是： $2 n - 1$ 。一共有 $10$ 个数，因此，这个和是： $\sum_{n = 1}^{10} (2 n - 1) .$

例 2　用求和符号表达从 4 开始的 6 个偶数的和

　　第一个数是 $4$ ，设指标为 $k$ ，指标从 $2$ 开始，则这些偶数的表达式是： $2 n$ 。一共有 $6$ 个数，因此，这个和是： $\sum_{k = 2}^{7} 2 k .$

　　通过上面的例题可以看到，如果求和的表达式如果是一个单项式的话，直接写出即可，但如果是一个多项式的话，那么在书写时必须要用括号把它扩起来，以免引发歧义。

　　综上，式 3 到式 6 介绍了常用的几种求和符号的使用方法³，它们各有特点，具体使用时需要根据情况进行选择，需要做到能认能写。

3. 常用的求和结论

　　下面给出一些常用的求和结论，感兴趣的读者可以自行证明。

表1：常用的求和结论

求和式	$\sum_{i = a}^{a} f (i)$	$\sum_{i = 1}^{n} 1$	$\sum_{i = 1}^{n} i$	$\sum_{i = 1}^{n} i^{2}$	$\sum_{i = 1}^{n} i^{3}$
化简结果	$f (a)$	$n$	$\frac{n (n + 1)}{2}$	$\frac{n (n + 1) (2 n + 1)}{6}$	$\frac{n^{4} + 2 n^{3} + n^{2}}{4} = {(\frac{n (n + 1)}{2})}^{2}$

　　下面以 $\sum_{i = 1}^{n} i^{2}$ 为例，演示证明过程，过程中反复使用了立方和公式 $(a + b)^{3} = a^{3} + 3 a^{2} b + 3 a b^{2} + b^{3}$ 。其实， $\sum_{i = 1}^{n} i^{k}$ 都可以用类似的方法来求解。注意求解时求和符号的变化。

例 3　求 $\sum_{i = 1}^{n} i^{2}$

　　分析 $\sum_{i = 1}^{n} (i + 1)^{3}$ ，一方面： $\sum_{i = 1}^{n} (i + 1)^{3} = \sum_{i = 2}^{n + 1} i^{3} .$

　　另一方面： $\begin{aligned} \sum_{i = 1}^{n} (1 + i)^{3} & = \sum_{i = 1}^{n} (i^{3} + 3 i^{2} + 3 i + 1) \\ = \sum_{i = 1}^{n} i^{3} + 3 \sum_{i = 1}^{n} i^{2} + 3 \sum_{i = 1}^{n} i + \sum_{i = 1}^{n} 1 . \end{aligned}$

　　移项整理有： $\begin{aligned} \sum_{i = 1}^{n} i^{2} & = \frac{1}{3} (\sum_{i = 1}^{n} (i + 1)^{3} - \sum_{i = 1}^{n} i^{3} - 3 \sum_{i = 1}^{n} i - \sum_{i = 1}^{n} 1) \\ = \frac{1}{3} (\sum_{i = 2}^{n + 1} i^{3} - \sum_{i = 1}^{n} i^{3} - \frac{3}{2} n (n + 1) - n) \\ = \frac{1}{3} ((n + 1)^{3} - 1^{3} - \frac{3}{2} n^{2} - \frac{5}{2} n) \\ = \frac{1}{6} (2 n^{3} + 3 n^{2} + n) \\ = \frac{n (n + 1) (2 n + 1)}{6} . \end{aligned}$ 这里 $\sum_{i = 2}^{n + 1} i^{3} - \sum_{i = 1}^{n} i^{3}$ 的化简，使用的就是等差数列中介绍过的错位相减法。

4. 单个求和符号的运算技巧

　　很多刚刚接触这个符号的人，在见到写成求和符号时，会下意识地想要把它展开成熟悉的累加形式。但是事实上，有一些运算技巧可以保证在运算过程中快速地进行变换。当然，觉得理解困难时，随时都可以展开再计算，但熟练了下面提到的这些技巧，相信你可以 “不畏浮云遮望眼”。

线性

　　求和符号内部是线性的。

\begin{matrix} (7) & \sum_{i} (C_{a} a_{i} \pm C_{b} b_{i}) = \sum_{i} C_{a} a_{i} \pm \sum_{i} C_{b} b_{i} = C_{a} \sum_{i} a_{i} \pm C_{b} \sum_{i} b_{i} . \end{matrix}

　　式中 $C_{a}, C_{b}$ 是两个系数， ${a_{i}}, {b_{i}}$ 是两列数。上式意味着，不仅可以将求和符号内的加号两侧拆成两部分，数乘在求和符号内外也相等。

　　对于指标递增的求和符号，指标集也是可以分拆的，假设 $a_{i}$ 在 $1$ 到 $m$ 上有定义，且 $k, n$ 均不大于 $m$ ，则：

\begin{matrix} (8) & \sum_{i = 1}^{n} a_{i} = {\begin{aligned} \sum_{i = 1}^{k} a_{i} + \sum_{i = k + 1}^{n} a_{i} (1 \leq k \leq n) \\ \sum_{i = 1}^{k} a_{i} - \sum_{i = n + 1}^{k} a_{i} (1 \leq n \leq k) . \end{aligned} \end{matrix}

指标换元

　　指标换元时，根据换元的关系，分别更换指标的下限、上限，以及求和通项中的指标。设 $k = i + m (m \in Z)$ ，则：

\begin{matrix} (9) & \sum_{i = a}^{b} g (i) = \sum_{k = a + m}^{b + m} g (k - m) . \end{matrix}

例 4　将 $\sum_{i = m}^{n} a_{i}$ 的指标 $i$ 替换为 $j$ ，且满足替换后的下限为 $j = 0$ 。

　　解答：

由于原本的下限为 $i = m$ ，替换后的下限为 $j = 0$ ，可知，换元关系为 $j = i - m$ 。
将 $i$ 的上限 $i = n$ 带入 $j = i - m$ 可知，换元后的上限为 $j = n - m$ 。
由 $j = i - m$ 可知 $i = j + m$ ，代入原来的通项可知换元后的通项为 $a_{j + m}$ 。

　　因此，换元前后为: $\sum_{i = m}^{n} a_{i} = \sum_{j = 0}^{n - m} a_{j + m} .$

　　特别的，可以通过换元来得到倒序求和，只要保证 $k + i = a + b$ 即可得到：

\begin{matrix} (10) & \sum_{i = a}^{b} g (i) = \sum_{k = a}^{b} g (a + b - k) . \end{matrix}

此时，若称

i

为指标的求和顺序为正序，则以

k

为指标的求和顺序即为倒序。

分组求和

　　这个过程可以理解成将一列数按一定顺序放到一个表里面后，按照表的行求和后再按列求和。这样做可以在行求和时不考虑列的影响，反之亦然。

\begin{matrix} (11) & \sum_{i = 1}^{n k} a_{i} = \sum_{j = 0}^{k - 1} \sum_{i = 1}^{n} a_{i + j n} . \end{matrix}

　　它的一个特例是，分成两列，并利用式 10 使得两列的顺序相反，即：

\begin{matrix} (12) & \sum_{i = 1}^{n} a_{i} = \sum_{i = 1}^{n / 2} (a_{i} + a_{n + 1 - i}) . \end{matrix}

例 5　求 1 到 100 的自然数的和

　　所求目标的表达式为 $\sum_{i = 1}^{100} i$ ，根据式 12 可得： $\sum_{i = 1}^{100} i = \sum_{i = 1}^{50} [i + (100 + 1 - i)] = 50 \times 101 = 5050.$

裂项相消法

　　与式 3 类似，许多常见的求和问题可以通过拆项（partial fraction decomposition），使得相邻项变得可以互相抵消，最终得出简洁的结果，这种方法被称为裂项相消法。

例 6　化简 $\sum_{n = 1}^{N} \frac{1}{n (n + 1)}$

　　解：

\begin{matrix} (13) & \begin{aligned} \sum_{n = 1}^{N} \frac{1}{n (n + 1)} & = \sum_{n = 1}^{N} (\frac{1}{n} - \frac{1}{n + 1}) \\ = (1 - \frac{1}{2}) + (\frac{1}{2} - \frac{1}{3}) + \dots + (\frac{1}{n} - \frac{1}{n + 1}) \\ = 1 - \frac{1}{2} + \frac{1}{2} - \frac{1}{3} + \dots + \frac{1}{n} - \frac{1}{n + 1} \\ = 1 - \frac{1}{n + 1} \\ = \frac{n}{n + 1} . \end{aligned} \end{matrix}

　　如例 6 所示，通过对每一项的拆分，使得相邻的正负项互相抵消，从而将复杂的求和过程简化为一个首尾项的差。这种方法适用于求和过程中每一项形式为分母是与 $n$ 相关的乘积的分式，且能够通过拆项的方式化为两个更简单的分式形式的情况。错位相减法是一种简洁、高效的技巧，但如何拆分成为计算的难点，这里给出一些示例，供读者参考和思考。

表2：常见裂项方法

求和式	裂项方法	化简结果
$\sum_{i = 1}^{n} \frac{1}{i (i + 1)}$	$\frac{1}{i (i + 1)} = \frac{1}{i} - \frac{1}{i + 1}$	$\frac{n}{n + 1}$
*	*	*
*	*	*

　　总结一下，求和符号有下面几点明确的好处：

提高表达的简洁性：使用求和符号可以大幅减少公式的长度和复杂度，便于书写和理解。
注重通项公式的表达：求和符号通过明确的通项公式，着眼于求和这个过程更本质的内容，方便直观地理解和分析求和过程。
适用范围广泛：求和符号不仅可以表达连续自然数的求和，还适用于包括等差数列、等比数列等在内的各种数列的求和情况，它甚至可以推广到无穷级数。
快速化简：在熟练掌握求和符号的性质和技巧后，可以快速地对求和过程进行变形。
便于计算机实现：求和符号与编程语言中的循环语句的条件一一对应，这使得计算过程可以容易转换为程序并通过计算机完成。
与定积分的紧密联系：求和符号与定积分有着密切的关系，特别是在离散与连续的彼此转换中，它们之间可以快速相互转化。

　　相信认真阅读完本页内容的你，已经感受到了前三点。其他的内容或许对高中的你而言会觉得不知所谓，但相信随着学习的深入，你会一点一点感受到这些好处，并受用终身。

未完成：下面的内容要加上

空和

\sum_{i = 0}^{- 1} a^{i} = 0

，求和的范围是空集。只有一项

\sum_{i = 0}^{0} a^{i} = 1

。等比数列和等差数列组合？

1. ^ 这时称为 “空和”
2. ^ 在印刷排版中，行内的求和符号也经常写成 $\sum_{i = 1}^{n} a_{i}$ ，为了保持行高。小时百科仍然会尽量使用 $\sum_{i = 1}^{n} a_{i}$ 。
3. ^ 更多的表示方法可参见大型运算符

致读者：小时百科一直以来坚持所有内容免费无广告，这导致我们处于严重的亏损状态。长此以往很可能会最终导致我们不得不选择大量广告以及内容付费等。因此，我们请求广大读者热心打赏 ，使网站得以健康发展。如果看到这条信息的每位读者能慷慨打赏 20 元，我们一周就能脱离亏损，并在接下来的一年里向所有读者继续免费提供优质内容。但遗憾的是只有不到 1% 的读者愿意捐款，他们的付出帮助了 99% 的读者免费获取知识，我们在此表示感谢。