和式的计算
一.什么是和式.
我们要表示一个数列的前n项之和,我们可以采用如下的方法:
( a_1+a_2+dots+a_k )
其中(a_i)表示数列中的第i项。和式中的每个元素$a_i$称为项。我们必须让它看起来清楚明白。比如说：
(1+2+dots+2^{n-1})
它是表示一个等比数列的n项之和还是前$2^{n-1}$个自然数的和呢？
为了更清晰的表示它，我们应该写成：
(2^0+2^1+dots+2^{n-1}).
这种方式采用了$dots$这个记号，不过它有点儿冗长，我们还可以采用有确定界限的表示形式：
[sum_{i=1}^na_k]
$sum$这个符号是约瑟夫$cdot$傅里叶于1820年引入的，随即风靡整个数学界。指标变量i与$sum$密切相关，因为$a_i$中的$i$与$sum$外出现的$i$无关。任何其他的字母代替这里的i都不会改变它的含义。
还有一种推广的(sum)符号比这种有确定界限的形式更加有用，我们直接把一个或多个条件写在(sum)的下面，以此来指定求和指标变量的集合，例如：
[sum_{1leq k leq n} a_k]
有时使用确定界限的求和符号要繁琐的多。
比如，我们要表示不超过100的所有奇数的平方和.使用扩展的和式：
[ sum_{1leq k < 100 wedge k是奇数 }k^2 ]
而如果使用有确定界限的求和符号，则需要表示成：
[sum_{k=0}^{49}(2k+1)^2]
而且扩展的求和符号还有一个好处，可以比较方便的换指标，比如：
[ sum_{1 leq k leq n}a_k = sum_{1leq k+1 leq n}a_{k+1}]
而如果是：
$$sum_{k=1}^n=sum_{k=0}^{n-1}a_{k+1}$$
不容易看出它的变化，而且很容易犯错。
所以，一般情况下，当要陈述一个问题或表示一个结论时，常会使用带有上下确定界限的$sum$，而当要处理一个需要对指标变量进行变换的的和式时，则尽量在$sum$下方列出关系式的形式。
肯尼迪$cdot$艾弗森在他的程序设计语言APL中引人了一个奇妙的思想，这一思想仅仅包含一个含在括号里的为真或为假的命题，其结果为1（如果该命题为真），或结果为0(如果该命题为假).例如:
$$[p是素数]=left { egin {array} {c} 1,p是素数 \0,p不是素数 end {array} ight. $$
艾弗森表示法功能很强大，无论什么求和指标，我们都可以清晰的表示出来。有时$a_k$并非对所有整数k都有定义.当$P(k)$为假时，则$[P(k)]$就是表示零，正好可以避免统计这些未定义的k值。比如：我们要表示所有小于N的素数的倒数之和，可以这样写：
$sum_p[p是素数][pleq N] /p$
当p=0时，不用担心存在用零做除数的问题，因为此时分子也为0。
又比如要表示N的所有约数之和，可以表示
$$sum_{k=1}^n[k|n]*k$$
二.和式的处理
成功处理和式的关键在于，将一个$sum$改变成另一个更简单或者更接近某个目标的$sum$,通过学习一些基本的变换法则并在实践中练习使用它们。
设K是任意一个有限整数集合，K种元素的和式可以用三条简单的法则加以变换：
$$sum_{kin K} ca_k =csum_{k in K} a_k （分配律）$$
$$sum_{k in K} (a_k+b_k)=sum_{k in K} a_k+sum _{k in K} b_k (结合律）$$
$$sum_{k in K} a_k= sum_{p(k) in K} a_{p(k)} (交换律）$$
此处的交换律和一般我们认为的交换律并不一样，可以认为是换指标法。这里p(k)是所有整数集合的任意一个排列。这样，我们就可以将求和项重新排序。
我们来看一些简单的变换吧。
高斯9岁的时候使用了一个技巧快速地求出了$sum_{1leq kleq 100}k$，现在我们使用和式的变换来证明这个技巧的正确性。
$$ S=sum_{0leq k leq n}(a+bk) $$
使用交换律，我们可以用n-k来代替k，得到：
$$ S=sum_{0leq n-k leq n} (a+b(n-k))=sum_{0leq k leq n} (a+bn-kn) $$
利用结合律，将这两个S相加，
$$ 2S=sum_{0leq k leq n}((a+bk)+(a+bn-kn))=sum_{0 leq k leq n} (2a+bn).$$
两边除以2，
我们就证明了
$$ S=sum_{k=0}^n(a+bk)=left (a+frac{1}{2}bn ight)(n+1) $$
在一般的交换律中，函数p(k)都假设所有整数的排列。换句话说，对每个整数n，都恰好存在一个整数k，使得p(k)=n.否则交换律可能不成立。
比如：
$$ sum_{1 leq k leq 5} a_k eq sum_{1 leq k^2 leq 5} a_{k^2} $$
前者是$a_0+a_1+a_2+a_3+a_4+a_5$,而后者是$a_4+a_1+a_0+a_1+a_4$
另一方面，我们也能将排列限制稍微放松一点，我们只需要求，当n是指标集K的一个元素时，恰好有一个整数k满足p(k)=n,如果$n otin K$,那么，不管p(k)=n以怎样的频率出现都无关紧要，因为这样的k不出现在和式中。
$$sum_{k in K land k是偶数} a_k =sum_{2k in K} a_{2k} . $$
通过公式中间的逻辑命题为0或为1的艾弗森约定，可以与分配律、结合律以及交换律一起使用，以导出和式的其他性质。
例如：如果K和K’是整数的任意集合，那么
$$sum_{k in K} a_k +sum_{k in K'}a_k=sum_{k in K cap K'} a_k+sum_{k in K cup K'} a_k. $$
这是由$[k in K]+[k in K'] =[k in K cap K'] +[k in K cup K'] $推出的。
在和式的处理中，我们经常使用一种技巧，称为“扰动法”（perturbation method)。所谓扰动法,就是把和式中的某一项分离出去或添加一个新的项进来.
利用扰动法,我们通常可以求出一个和式的通解.
我们经常从一个未知的和式开始,并记它为$S_n$:
$$ S_n=sum_{0leq k leq n} a_k $$
然后将它的最后一项和第一项分离出来，用两种方法改写$sum S_{n+1} $:
$$ S_n+a_{n+1} = sum_{0leq k leq n+1} a_k =a_0+sum_{1 leq k leq n+1} a_k \ =a_0+sum_{1leq k+1 leq n+1} a_{k+1} \ =a_0+sum_{0leq k leq n} a_{k+1} $$
现在我们对后面那个和式加以处理，并尝试用Sn将它表示出来。如果可以表示出来，那么就得到了一个包含Sn为未知数的一个方程，它的解就是我们要求的和式的通解。
这个技巧，实际上在推导等比数列（几何级数）求和公式都学过。我们来复习一下这个技巧：
$$ S_n=sum_{0leq k leq n} ax^k = a+sum_{1 leq k leq n} ax^k =a+xsum_{0 leq k leq n-1} ax^k =a+x*(S_n-ax^n) $$
$$S_n=sum_{0 leq k leq n} ax^k =frac {a-ax^(n+1)} {1-x} $$
再看一个稍难一点的例子,求$$ sum_{0leq k leq n} kx^k $$
$$S_n - xSn =sum_{0 leq k leq n} kx^k-xsum_{0 leq k leq n}=sum_{1 leq k leq n} x^k-nx^{k+1} = frac{x-x^{n+1}}{1-x} -nx^{n+1} $$
$$S_n=frac{x-x^{n+1}-nx^{n+1}(1-x)}{(1-x)^2}=frac{x-(1+n)x^{n+1}+nx^{n+2}}{(1-x)^2} $$
其实还有一种完全不同的方法可以做这个事情，即使用微积分来计算。
$$ sum_{k=0}^nx^k=frac{1-x^{n+1}}{1-x} $$
在等式两边对x求导：
$$ (sum_{k=0}^nx^k)'=sum_{k=1}^{n}kx^{k-1}=sum_{k=0}^{n}kx^{k-1}=(frac{1-x^{n+1}}{1-x})'=frac{-(n+1)x^n}{1-x}+frac{1-x^{n+1}}{(1-x)^2}=frac{(n+1)x^{n+1}-(n+1)x^n+1-x^{n+1}}{(1-x)^2}=frac{1-(n+1)x^n+nx^{n+1}}{(1-x)^2} $$
用微积分处理和式也是比较常见的一种方式。
三.多重和式的处理
如果有两个或更多的指标来表示一个和式，则成为多重和式。
比如:
$$ sum_{1leq j,k leq 3}a_jb_k $$
也可以表示为 $$ sum_{1 leq j leq 3}a_j sum_{1leq k leq 3}b_k $$
同样可以采用艾弗森表示法：$$ sum_{P(j,k)}a_{j,k} =sum_{j,k}a_{j,k}[P(j,k)] $$
我们有时候会使用两个$sum$符号来表示一个二重和式,当我们这样写：
$$sum_jsum_ka_{j,k}[P(j,k)] $$
表达的意思就是$$sum_jleft(sum_ka_{j,k}[P(j,k)] ight)$$
一般是把括号省略掉了,默认求和的顺序是从右到左，即从内向外。
在处理多重和式时，有一个基本法则，称为交换求和次序。
比如$$ sum_j sum_k a_{j,k}[P(j,k)]= sum_k sum_ja_{j,k}[P(j,k)]. $$
如果多重和式的指标是相互独立的，则问题会变得比较简单：
比如：
$$sum_{i=1}^nsum_{j=1}^m(a_i+b_j)=sum_{i=1}^nleft(ma_i+sum_{j=1}^nb_j ight)=msum_{i=1}^na_i+sum_{i=1}^nsum_{j=1}^mb_j=msum_{i=1}^na_i+nsum_{j=1}^mb_j $$
$$sum_{i=1}^nsum_{j=1}^ma_ib_j=sum_{i=1}^na_isum_{j=1}^mb_j $$
两个数组中任意一对元素乘积之和等于两个数组元素各自之和的乘积。
如果多重和式的指标之间有联系，我们也可以使用交换律，合理的使用交换律有可能使得问题变得简单。但是在确定每个指标的范围则问题需要费点脑筋。
$$sum_{1leq i leq n}sum_{i leq j leq n}a_ib_j = sum_{1leq j leq n}sum_{1 leq i leq j} a_ib_j $$
试求：$$sum_{0leq i leq n} sum_{i leq j leq n} (j-i) $$
设t=j-i
则$$ ans=sum_{0 leq i leq n} sum_{ileq t+i leq n}t=sum_{0 leq i leq n} sum_{0 leq t leq n-i} t= sum_{0 leq i leq n} (n-t)t $$
$$ =sum_{0 leq i leq n}nt-sum_{0 leq i leq n} t^2=frac{(n+1)(n+1)n}{2}-frac{n(n+1)(2n+1)}{6}=frac{n(n+1)(n+2)}{6} $$
现在看另一个二重和式：
$$ S=sum_{1leq j<kleq n} (a_k-a_j)(b_k-b_j) $$
试化简S。
[ S=sum_{1 leq j<k leq n}(a_kb_k+a_jb_j-a_kb_j-a_jb_k)=(n-1)sum_{1 leq j leq n}a_jb_j-sum_{1 leq j<k leq n}(a_kb_j+a_jb_k) ]
设[ egin{aligned} S1=sum_{1 leq j<k leq n}(a_kb_j+a_jb_k) \
&=sum_{1 leq j<k leq n}a_kb_j+sum_{1 leq j<k leq n}a_jb_k \
&=sum_{1 leq j<k leq n}a_kb_j+sum_{1 leq k < j leq n}a_kb_j \
&=sum_{1leq j leq n} left(b_j sum_{1 leq k leq n} a_k-a_j ight) \
&=sum_{1 leq j leq n} b_j sum_{1 leq k leq n} a_k- sum_{1leq j leq n}a_jb_j
end{aligned} ]
于是
[ S=(n-1)sum_{1 leq j leq n}a_jb_j-sum_{1 leq j leq n} b_j sum_{1 leq k leq n} a_k+sum_{1 leq j leq n}a_jb_j ]
[ = nsum_{1 leq j leq n} a_jb_j-sum_{1 leq j leq n} b_j sum_{1leq j leq n} a_j ]