Fibonacci数列的一些性质

记个笔记。。。避免忘记(推导不是原创但忘记在哪看的了。。。）

1.F(0)+F(1)+...+F(n)=F(n+2)-1

2.F(1)+F(3)+...F(2n-1)=F(2n)

3.F(2)+F(4)+...+F(2n)=F(2n+1)-1

4.[F(0)]^2+[F(1)]^2+…+[F(n)]^2=F(n)·F(n+1)

5.F(0)-F(1)+F(2)-…+(-1)^n·F(n)=(-1)^n·[F(n+1)-F(n)]+1

6.F(m+n-1)=F(m-1)·F(n-1)+F(m)·F(n)

7.[F(n)]^2=(-1)^(n-1)+F(n-1)·F(n+1)

8.F(2n-1)=[F(n)]^2-[F(n-2)]^2。  

9.F(n)=F(n+2)+F(n-2)

10.F(2n-2m-2)[F(2n)+F(2n+2)]=F(2m+2)+F(4n-2m) [ n>m≥-1,且n≥1] 

11.F(2n+1)=[F(n)]^2+[F(n+1)]^2

12.F(n)=C(n-1,0)+C(n-2,1)+…+C(n-1-m,m) (m<=n-1-m)

13.引理1：gcd(F[n+1],F[n])=1;
证明：
根据辗转相减法则

gcd(F[n+1],F[n])
=gcd(F[n+1]-F[n],F[n])
=gcd(F[n],F[n-1])
=gcd(F[2],F[1])
=1

引理2：F[m+n]=F[m-1]*F[n]+F[m]*F[n+1]
证明：

F[n+m]
=F[n+m-1]+F[n+m-2]
=2*F[n+m-2]+F[n+m-3]
=……
设F[n+m]=a[x]*F[n+m-x]+b[x]*F[n+m-x-1];
               =a[x]*(F[n+m-x-1]+F[n+m-x-2])+b[x]*(F[n+m-x-1);
               =(a[x]+b[x])*F[n+m+x-1]+a[x]*F[n+m+x-2];

当x=1时有 a[1]=F[2]; b[1]=F[1];
当x=2时有 a[2]=F[2]+F[1]=F[3]; b[2]=a[1]=F[2];
当x=k+1时有 a[k+1]=a[k]+b[k]=F[k+1]+F[k]=F[k+2] b[k+1]=a[k]=F[k+1];
所以当x=n时有
F[n+m]=a[n]F[m]+b[n]F[m-1];
=F[n+1]F[m]+F[n]F[m-1];

引理3：gcd(F[n+m],F[n])=gcd(F[n],F[m])
证明：
gcd(F[n+m],F[n])
=gcd(F[n+1]F[m]+F[n]F[m-1],F[n]);
=gcd(F[n+1]F[m],F[n]);
=gcd(F[n+1],F[n])*Gcd(F[m],F[n])
=gcd(F[m],F[n]);

于是显然有：gcd(F[n],F[m])=F[gcd(n,m)];

（还有个公式来着但觉得应该用不上吧。。。就算遇见了也不会写。。。）

最后附上个博客写的蛮好用来复习：https://www.cnblogs.com/chenny7/p/4119567.html