利用差分求非齐次多项式的通项公式

如果有一组数据
$令f(i)=x_i,x_1,x_2,x_3,x_4,x_5,x_6,x_7,x_8,x_9$
一阶差分为$y_1,y_2,y_3,y_4,y_5,y_6,y_7,y_8$
二阶差分为$z_1,z_2,z_3,z_4,z_5,z_6,z_7$
三阶差分为$w_1,w_2,w_3,w_4,w_5,w_6$
四阶差分为$u_1,u_2,u_3,u_4,u_5$
五阶差分为$0,0,0,0$
那么$f(n)=a\ast n^4+b\ast x^3+c\ast x^2+d\ast x^1+e$
$sum[n]=f(0)+f(1)+f(2)+f(3)\dots \dots +f(n)=y_1\ast C_{n+1}^1+z_1\ast C_{n+1}^2+w_1\ast C_{n+1}^3+u_1\ast C_{n+1}^4$
利用此项性质可以解出$f[n]=sum[n]-sum[n-1]$
还可以解出
$1,2^1,3^1,4^1,5^1,6^1\dots \dots$
$1,2^2,3^2,4^2,5^2,6^2\dots \dots$
$1,2^3,3^3,4^3,5^3,6^3\dots \dots$
等等数列的通项公式
参考论文