母函数性质的检验(fibs数列)

母函数性质的检验(fibs数列)
先从差分的角度分析下：a(n)-a(n-1)-a(n-2)=0这个是原始的差分形式，现在将它变为n,n-2,n-4的形式有：
Go
类似有a(n-1)-a(n-2)-a(n-3)=0,即：
a(n-1)=a(n-2)+a(n-3)
a(n)-{a(n-2)+a(n-3)}-a(n-2)=0
Go
类似有a(n-2)-a(n-3)-a(n-4)=0,即：
a(n-3)=a(n-2)-a(n-4)
a(n)-{a(n-2)+{a(n-2)-a(n-4)}}-a(n-2)=0
Go
a(n)-3*a(n-2)+a(n-4)=0,这个就是最终的结果；下面在母函数的形式系统内证明这种形式的正确性；


假设fibs数列用母函数表示为z/(1-z-z^2),注意这里分母中的z表示初始状态，它也可以为1,我们分别列举下它的意义：
以z的幂级做为基准：
a(2)-a(1)-a(0)=0
a(1)-a(0)=1
a(0)=0
这样就可以决定a(0),a(1)的值为a(0)=0,a(1)=1,a(2)=1继续推导有a(3)=2,a(4)=3
如果形式为1/(1-z-z^2),那初始方程为
a(2)-a(1)-a(0)=0
a(1)-a(0)=0
a(0)=1
同样也能确定另外的初始值，不过这里差别不大；下面我们以z/(1-z-z^2)做为母函数形式上的基准。
求偶数形式的母函数有：
f(z)=1/2*{z/(1-z-z^2)+-z/(1--z-(-z)^2)}
Go
f(z)=1/2*{z/(1-z-z^2)-z/(1+z-z^2)}
GO
f(z)=z/2*{{(1+z-z^2)-(1-z-z^2)} /{(1-z^2)^2-z^2}}
Go
f(z)=z/2*{2*z /{(1-z^2)^2-z^2}}
Go
f(z)=z^2 /1-3*z^2+(z^2)^2
以z的幂级做为基准：
a(4)-3*a(2)+a(0)=0
a(2)-a(0)=1
a(0)=0
解得a(0)=0,a(2)=1,a(4)=3
与前面的值是一样的；故在母函数形式系统内的一致性得到证明；


思维：注意如果基础母函数的形式为1/(1-z-z^2),同样可以得到最后的形式为1 /1-3*z^2+(z^2)^2，初始条件还是一样的，同样能够证明；