引理1：gcd(F[n],f[n-1])=1
因为 F[n]=f[n-1]+F[n-2]
所以 gcd(F[n],f[n-1]) = gcd(F[n-1]+F[n-2],F[n-1])
gcd的更损相减的性质可知 gcd(a,b)=gcd(b,a-b)
故 gcd(F[n],f[n-1]) = gcd(F[n-1],F[n-2])
而 F[1]=F[2]=1故该定理成立
引理2：F[m+n]=F[m-1]F[n]+F[m]F[n+1]
F[m+n] = F[m+n-1] + F[m+n-2] = (F[m+n-2]+F[m+n-3])+F[m+n-2]= 2F[m+n-2]+F[m+n-3]
F[m] F[m+1] ..... F[m+n-2] F[m+n-1] F[m+n]
1 1
1 2
2 3
3 5
我们发现
r(m+n-2) 是 Fib 的第 1 项 所以 m+n-k是Fib的第k-1项
r(m+n-2) 是 Fib 的第 3 项 所以 m+n-k是Fib的第k+1项
r(m-1)=r(m+n-(n+1))=F[n]
t(m)=t(m+n-n)=F[n+1]
所以 F[m+n]=r(m-1)*F[m]+t(m+1)*F[m] = F[m-1]F[n]+F[m]F[n+1]
引理3：gcd(F[n+m],F[n])=gcd(F[n],F[m])
由引理2可知： F[m+n]=F[m-1]F[n]+F[m]F[n+1]
gcd(F[n+m],F[n]) = gcd(F[m-1]F[n]+F[m]F[n+1] ,F[n]) = gcd(F[n],F[m]F[n+1]) = gcd(F[m],F[n])
这之间用到了辗转相除法和引理1
gcd(f[m],f[n])=gcd(f[n],f[m-n]）
辗转相减法 就是gcd(f[n],f[m%n])
辗转相除法 就是f[gcd(n,m)]