高阶等差数列
对于一个给定的数列,将连续两项之间的差 b n = a n + 1 − a n b_n=a_{n+1}-a_n bn=an+1−an得到一个新的数列,那么 b n b_n bn称为原数列的一阶等差数列,若 c n = b n + 1 − b n c_n=b_{n+1}-b_n cn=bn+1−bn,那么 c n c_n cn称为原数列的二阶等差数列,以此类推…
高阶等差数列都有一个多项式的通项公式。
差分法
给定序列 a a a,依次求出该序列的 k k k阶等差序列,直到某个序列全为 0 0 0为止,按照下列排列规则排列在纸上
C n 1 a 1 a 2 a 3 a 4 a 5 . . . C n 2 b 1 b 2 b 3 b 4 . . . C n 3 c 1 c 2 c 3 . . . . . . . . . . . . C n m 0 0... C_{n}^1~~~a_1~~~~~~~~a_2~~~~~~~~a_3~~~~~~~~a_4~~~~~~~~a_5... \\C_{n}^2~~~~~~~~~b_1~~~~~~~~~b_2~~~~~~~~~b_3~~~~~~~~~b_4... \\C_{n}^3~~~ ~~~~~~~~~~~~c_1~~~~~~~~~~c_2~~~~~~~~~c_3... \\~...~~~~~~~ ~~~~~~~~~~~~~~~...~~~~~~~~~~... \\ C_{n}^m~~~~~~~~~~~~~~~~~~~~~~0~~~~~~~~~~0... Cn1 a1 a2 a3 a4 a5...Cn2 b1 b2 b3 b4...Cn3 c1 c2 c3... ... ... ...Cnm 0 0...
上表称为序列 a a a的差分表
定理一
若序列 a a a的多项式 P ( x ) P(x) P(x)的最高幂次为 n n n,对于任何的 k ≥ n k\geq n k≥n, k k k阶差分恒为 0 0 0
定理二
序列的前缀和 S n = a 1 C n 1 + b 1 C n 2 + c 1 C n 3 + . . . + 0 C n m S_n=a_1C_{n}^1+b_1C_{n}^2+c_1C_{n}^3+...+0C_{n}^m Sn=a1Cn1+b1Cn2+c1Cn3+...+0Cnm,那么通项公式 a n = S n − S n − 1 a_n = S_{n}-S_{n-1} an=Sn−Sn−1
案例引入
设 a [ i ] = 1 , 4 , 9 , 16 , 25 , . . . a[i]={1,4,9,16,25,...} a[i]=1,4,9,16,25,...
差分表如下:
C n 1 1 4 9 16 25... C n 2 3 5 7 9... C n 3 2 2 2... C n 4 0 0... C_{n}^1~~~1~~~~~~~~~4~~~~~~~~~9~~~~~~~~~16~~~~~~~~25... \\C_{n}^2~~~~~~~~~3~~~~~~~~~5~~~~~~~~~7~~~~~~~~~~9... \\C_{n}^3~~~ ~~~~~~~~~~~~2~~~~~~~~2~~~~~~~~~~2... \\C_{n}^4~~~~~~~~~~~~~~~~~~~~0~~~~~~~~~0... Cn1 1 4 9 16 25...Cn2 3 5 7 9...Cn3 2 2 2...Cn4 0 0...
那么 S n = C n 1 + 3 C n 2 + 2 C n 3 S_n=C_{n}^1+3C_{n}^2+2C_{n}^3 Sn=Cn1+3Cn2+2Cn3,然后可得 S n = n ( n + 1 ) ( 2 n + 1 ) 6 , a n = S n − S n − 1 = n 2 S_n=\frac{n(n+1)(2n+1)}{6},a_n=S_n-S_{n-1}=n^2 Sn=6n(n+1)(2n+1),an=Sn−Sn−1=n2
Reference:差分的应用及正整数的k次方幂求和