基础和式知识与运用

和式基本法则：
- 分配律:$\sum_{k\in K}ca_k=c\sum_{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)}$
基本运用:
- 等差级数

$$\begin{align}S & = \sum_{0\le k\le n}{a+bk}\\ \tag{交换律} &=\sum_{0\le n-k\le n}{(a+b(n-k))}\\ \tag{不等式变换} &=\sum_{0\le k\le n}{(a+bn-kb)}\\ \tag{与S原式相加并运用结合律} &= \frac{1}{2}\sum_{0\le k\le n}{(2a+bn)}\\ \tag{分配律} &=(n+1)(a+\frac{1}{2}bn)\end{align}$$

有一个重要的思想叫做布尔运算
也有说法叫艾弗森约定。
形如[命题]的式子可以叫做布尔式。
当命题为真时,[命题]=1
当命题为假时,[命题]=0
有一个基本变换:$\sum_{k\in K}=\sum_{k}{a_k[k\in K]}$
运用布尔式证明:

$$\sum_{k\in K}a_k+\sum_{k\in K^{'}}a_k=\sum_{k\in K\cup K^{'} }a_k+\sum_{k\in K\cap K^{'}}a_k$$
首先有 $$[k\in K]+[k\in K^{'}]=[k\in K\cup K^{'}]+[k\in K\cap K^{'}]$$
那么 $$\sum_{k\in K}a_k+\sum_{k\in K^{'}}a_k=\sum_{k}a_k[k\in K]+\sum_{k}a_k[k\in K^{'}]=\sum_{k}{a_k[k\in K]+[k\in K^{'}]}=右式$$
得证

利用preturbation method 计算和式

计算$S_n=\sum_{0\le k\le n}a_k$
可以这样处理:

$$S_n+a_{n+1}=a_0+\sum_{1\le k\le n+1}a_k$$
$$=a_0+\sum_{0\le k\le n}a_{k+1}$$
然后对最后的和式加以处理。
用 $S_n$表示出来，然后就可以解方程来解决。