求和符号

求和符号（英语：summation；符号：${\textstyle \sum }$，读作：sigma），是欧拉于1755年首先使用的一个数学符号。这个符号是源自于希腊文σογμαρω（增加）的字头，Σ正是σ的大写。

求和指的是将给定的数值相加的过程，又称为加总。求和符号常用来简化有多个数值相加的数学表达式。

假设有$n$个数值$x_{1},x_{2},\cdots ,x_{n}$，则这$n$个数值的总和$x_{1}+x_{2}+\cdots +x_{n}$可表示为$\sum _{k=1}^{n}x_{k}$。

用等式来呈现的话就是$\sum _{k=1}^{n}x_{k}=x_{1}+x_{2}+\cdots +x_{n}$。

举例来说，若有4个数值：$x_{1}=1,x_{2}=3,x_{3}=5,x_{4}=7$，则这4个数值的总和为：

$\sum _{k=1}^{4}x_{k}=x_{1}+x_{2}+x_{3}+x_{4}=1+3+5+7=16$

在数学中，求和是任何类型数字的序列相加，称为加数或加数；结果是它们的总和或总数。除了数字之外，也可以对其他类型的值求和：函数、向量、矩阵、多项式，以及通常在其上定义了表示为“+”的运算的任何类型的数学对象的元素。

无穷序列的总和称为级数，它们涉及极限的概念，本条目不予考虑。

显式序列的总和表示为一连串的加法。例如，[1, 2, 4, 2] 的和记为 1 + 2 + 4 + 2，得到 9，即 1 + 2 + 4 + 2 = 9。因为加法是结合可交换的，所以有不需要括号，无论加法的顺序如何，结果都是一样的。只有一个元素的序列的总和会产生这个元素本身。按照惯例，空序列（没有元素的序列）的总和结果为 0。

求和方法

1. 裂项法：利用$a_{k}=b_{k+1}-b_{k}$求出$\sum _{k=m}^{n}a_{k}$。
2. 错位相减法：透过两个求和式的相减化简求和数列的求和方法。
3. 倒序求和：对于有对称中心的函数$f(x)+f(2a-x)=2b$首尾求和
4. 逐项求导：可从$\displaystyle \sum _{k=0}^{n}x^{k}={\frac {x^{n+1}-1}{x-1}}$推导出$\displaystyle \sum _{k=0}^{n}k^{m}x^{k}$
5. 阿贝尔变换：

$\sum _{i=1}^{n}a_{i}b_{i}=a_{1}(b_{1}-b_{2})+(a_{1}+a_{2})(b_{2}-b_{3})+\dots +(a_{1}+a_{2}+\dots +a_{n-1})(b_{n-1}-b_{n})+(a_{1}+a_{2}+\dots +a_{n})b_{n}$

含多项式求和公式

以下设p为多项式，$\deg p(k)=m,\Delta p(k)=p(k+1)-p(k)$

$\sum p(k)$

$\sum p(k)$是对一个多项式求和，自然数方幂和、等幂求和、等差数列求和都属于对多项式求和。

• 帕斯卡矩阵形式

  $\sum _{k=1}^{n}p(k)={\begin{pmatrix}C_{n}^{1}&C_{n}^{2}&\cdots &C_{n}^{m+1}\end{pmatrix}}{\begin{pmatrix}C_{0}^{0}&0&\cdots &0\\-C_{1}^{0}&C_{1}^{1}&\cdots &0\\\vdots &\vdots &\ddots &\vdots \\(-1)^{m}C_{m}^{0}&(-1)^{m-1}C_{m}^{1}&\cdots &C_{m}^{m}\\\end{pmatrix}}{\begin{pmatrix}p(1)\\p(2)\\\vdots \\p(m+1)\end{pmatrix}}$

• 差分变换形式

  $p(k)=\sum _{j=1}^{m+1}C_{k-1}^{j-1}\Delta ^{j-1}p(1)$

  $\sum _{k=1}^{n}p(k)=\sum _{j=1}^{m+1}C_{n}^{j}\Delta ^{j-1}p(1)$

$\sum p(k)$的例子

• $\sum _{k=1}^{n}k^{0}=\sum _{k=1}^{n}1=n$
• 三角形数：$\sum _{k=1}^{n}k={\frac {n(n+1)}{2}}$
• 等差级数：$\sum _{i=0}^{n-1}(a_{1}+id)={\frac {n(a_{1}+a_{n})}{2}}={\frac {n[2a_{1}+(n-1)d]}{2}}=a_{1}C_{n}^{1}+dC_{n}^{2}$
• 连续正整数平方和：$\sum _{k=1}^{n}k^{2}={\frac {n(n+1)(2n+1)}{6}}$
• 连续正整数立方和：$\sum _{k=1}^{n}k^{3}=\left[{\frac {n(n+1)}{2}}\right]^{2}$
• 正方形数：$\sum _{k=1}^{n}(2k-1)=n^{2}$

$\sum u_{k}v_{k}x^{k}$

当$u_{k}=p(k)$为多项式，$\sum _{l=0}^{\infty }v_{l}x^{l}$易求高阶导数时，$\sum _{k=0}^{\infty }u_{k}v_{k}x^{k}$有封闭型和式

$\sum _{k=0}^{\infty }u_{k}v_{k}x^{k}=\sum _{k=0}^{\infty }{\frac {\Delta ^{k}u_{0}x^{k}}{k!}}{\frac {d^{k}}{dx^{k}}}(\sum _{l=0}^{\infty }v_{l}x^{l})$

$\sum p(k)q^{k}$

• $u_{k}=p(k),v_{k}=1,x=q,\sum u_{k}v_{k}x^{k}=\sum p(k)q^{k}$

  有限和$\displaystyle \sum _{k=1}^{n}p(k)q^{k-1}$有封闭型和式

  当p为常数时，是对等比数列求和，当p为一次多项式时，是对差比数列求和。

  $\displaystyle \sum _{k=1}^{n}p(k)q^{k-1}=f(n)q^{n}-f(0)$

  $f(n)={\frac {p(n)}{q-1}}+{\frac {1}{(q-1)^{2}}}\sum _{k=1}^{m}{\frac {(-1)^{k}q^{k-1}}{(q-1)^{k-1}}}\Delta ^{k}(p(n))={\frac {1}{q-1}}\sum _{k=0}^{m}({\frac {-q}{q-1}})^{k}\Delta ^{k}p(n+1)$

$\sum p(k)q^{k}$的例子

• 等比级数：$\sum _{i=0}^{n-1}a_{1}x^{i}={\frac {a_{1}(x^{n}-1)}{x-1}}$，若$0<|x|<1$，则$\sum _{i=0}^{\infty }a_{1}x^{i}={\frac {a_{1}}{1-x}}$
• 差比级数：$\displaystyle \sum _{k=1}^{n}[a+(k-1)d]r^{k-1}=\left[{\frac {a+(n-1)d}{r-1}}-{\frac {d}{(r-1)^{2}}}\right]r^{n}-\left[{\frac {a-d}{r-1}}-{\frac {d}{(r-1)^{2}}}\right]$

$\sum {\frac {p(k)}{k!}}x^{k}$

• $u_{k}=p(k),v_{k}={\frac {1}{k!}},\sum u_{k}v_{k}x^{k}=\sum {\frac {p(k)}{k!}}x^{k}$

  $\sum _{n=0}^{\infty }{\frac {p(n)}{n!}}x^{n}=e^{x}\sum _{k=0}^{m}{\frac {\Delta ^{k}p(0)}{k!}}x^{k}$

$\sum H_{k}p(k)$

$\sum _{k=1}^{n}H_{k}p(k)=(\sum _{j=0}^{m}C_{n+1}^{j+1}\Delta ^{j}p(0))H_{n}-\sum _{j=0}^{m}{\frac {C_{n}^{j+1}}{j+1}}\Delta ^{j}p(0)$，其中$H_{n}$为调和数或调和级数

组合数求和公式

主条目：二项式系数

一阶求和公式

• $\sum _{r=0}^{n}{\binom {n}{r}}=2^{n}$
• $\sum _{r=0}^{n-k}{\frac {(-1)^{r}(n+1)}{k+r+1}}{\binom {n-k}{r}}={\binom {n}{k}}^{-1}$
• $\sum _{r=0}^{n}{\binom {dn}{dr}}={\frac {1}{d}}\sum _{r=1}^{d}(1+e^{\frac {2\pi ri}{d}})^{dn}$

• $F_{n}=\sum _{i=0}^{\infty }{\binom {n-i}{i}}$

$F_{n-1}+F_{n}=\sum _{i=0}^{\infty }{\binom {n-1-i}{i}}+\sum _{i=0}^{\infty }{\binom {n-i}{i}}=1+\sum _{i=1}^{\infty }{\binom {n-i}{i-1}}+\sum _{i=1}^{\infty }{\binom {n-i}{i}}=1+\sum _{i=1}^{\infty }{\binom {n+1-i}{i}}=\sum _{i=0}^{\infty }{\binom {n+1-i}{i}}=F_{n+1}$

主条目：朱世杰恒等式

• $\sum _{i=m}^{n}{\binom {i}{a}}={\binom {n+1}{a+1}}-{\binom {m}{a+1}}$

${\binom {m}{a+1}}+{\binom {m}{a}}+{\binom {m+1}{a}}...+{\binom {n}{a}}={\binom {n+1}{a+1}}$

$\sum _{i=m}^{n}{\binom {k_{1}+i}{k_{2}}}={\binom {k_{1}+n+1}{k_{2}+1}}-{\binom {k_{1}+m}{k_{2}+1}}$

$\sum _{i=m}^{n}{\binom {k_{1}+i}{k_{2}+i}}={\binom {k_{1}+n+1}{k_{2}+n}}-{\binom {k_{1}+m}{k_{2}+m-1}}$

二阶求和公式

• $\sum _{r=0}^{n}{\binom {n}{r}}^{2}={\binom {2n}{n}}$
• $\sum _{i=0}^{n}{\binom {r_{1}+n-1-i}{r_{1}-1}}{\binom {r_{2}+i-1}{r_{2}-1}}={\binom {r_{1}+r_{2}+n-1}{r_{1}+r_{2}-1}}$

$(1-x)^{-r_{1}}(1-x)^{-r_{2}}=(1-x)^{-r_{1}-r_{2}}$

$(1-x)^{-r_{1}}(1-x)^{-r_{2}}=(\sum _{n=0}^{\infty }{\binom {r_{1}+n-1}{r_{1}-1}}x^{n})(\sum _{n=0}^{\infty }{\binom {r_{2}+n-1}{r_{2}-1}}x^{n})=\sum _{n=0}^{\infty }(\sum _{i=0}^{n}{\binom {r_{1}+n-1-i}{r_{1}-1}}{\binom {r_{2}+i-1}{r_{2}-1}})x^{n}$

$(1-x)^{-r_{1}-r_{2}}=\sum _{n=0}^{\infty }{\binom {r_{1}+r_{2}+n-1}{r_{1}+r_{2}-1}}x^{n}$

主条目：范德蒙恒等式

• $\sum _{i=0}^{k}{\binom {n}{i}}{\binom {m}{k-i}}={\binom {n+m}{k}}$

范德蒙恒等式与超几何函数有关系：

$\sum _{i=0}^{k}{\binom {n}{i}}{\binom {m}{k-i}}={\frac {m!}{k!(m-k)!}}{}_{2}F_{1}(-n,-k;m-k+1;1)={\binom {n+m}{k}}$

三阶求和公式

主条目：李善兰恒等式

• ${\binom {n+k}{k}}^{2}=\sum _{j=0}^{k}{\binom {k}{j}}^{2}{\binom {n+2k-j}{2k}}$

范德蒙恒等式与广义超几何函数有关系：

$\sum _{j=0}^{k}{\binom {k}{j}}^{2}{\binom {n+2k-j}{2k}}={\frac {(n+2k)!}{(2k)!n!}}{}_{3}F_{2}(-k,-k,-n;1,-n-2k;1)={\binom {n+k}{k}}^{2}$

定积分判断总和界限

当$f(x)$在[a,b]单调递增时：

$f(a)+\int _{a}^{b}f(x)dx\leq \sum _{x=a}^{b}f(x)\leq f(b)+\int _{a}^{b}f(x)dx$

当$f(x)$在[a,b]单调递减时：

$f(b)+\int _{a}^{b}f(x)dx\leq \sum _{x=a}^{b}f(x)\leq f(a)+\int _{a}^{b}f(x)dx$

求和函数

以$\sum _{i=1}^{n}i^{9}$为例：

• Matlab

syms k n;symsum(k^9,k,1,n)

• Mathematica

 In[1]:= Sum[i^9, {i, 1, n}]
 Out[1]:= ${\frac {1}{20}}n^{2}(n+1)^{2}\left(n^{2}+n-1\right)\left(2n^{4}+4n^{3}-n^{2}-3n+1\right)$