记个笔记。。。避免忘记(推导不是原创但忘记在哪看的了。。。)
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