差分表小结

前言

记得之前在某本书上看到一个奇怪的东西没有仔细看，只是说这东西可以用来求一些数列的和，然后某天心血来潮，便用了半天来推这个东西，总算是有点眉目，这里小结一下。

引例

假设我们要求$\sum _{i=1} ^n {i^3}$（当然有更优秀的做法），不过这里我们考虑用差分表。

正题

我们先把前几项写出来
1 8 27 64 125
然后我们用每一项减去它前一项的差写在下边（除第一项），依次类推，直到某一行都是0为止，像下面这样。
1 8 27 64 125
7 19 37 61
12 18 24
6 6
0
至此我们就得到的第一列数，1,7.12,6(0可以不管)
那么我们经过一系列的拆数可以发现
125
=64+61
=27+37+37+24
=27+37*2+24
……
=1*1+4*7+6*12+4*6
同理我们有
64=1*1+3*7+3*12+1*6
27=1*1+2*7+1*12
8=1*1+1*7
1=1*1
把他们的那个系数（就是不管我们通过差分表得到那列数）写出来
1 4 6 4
1 3 3 1
1 2 1
1 1
1
像不像杨辉三角?
由此我们猜想
6^3=216=1*1+5*7+10*12+10*6
……
事实上这的确是对的，可以联系杨辉三角思考
那么现在我们要求和，那把他们的系数全部加起来不就好了吗？
比如说求前5项的和
s5=1*1+4*7+6*12+4*6+1*1+3*7+3*12+1*6+1*1+2*7+1*12+1*1+1*7+1*1
=5*1+10*7+10*12+5*6

那么问题就转换为怎么求呢，其实杨辉三角有一个性质，每一个数等于他右上角的一列数的和（1,2,3,4这一列就等于4右下角的10），另外杨辉三角也可以用c来算，比如6在第5行第3个，那么C（2,4）即为6，那么便可以用这种方法得到一般公式。
设我们用差分表求得的数列为a
那么

$$s_n=a_1*C^1_n+a_2*C^2_n+......+a_k*C^k_n$$
至此，我们就可以得解决这个问题了。

the end

学术不精，还请大家多多原谅。