关于斐波那契数列的一些小（晓）性质

关于斐波那契数列的一些小性质

1.$gcd(F_i,F_{i+1})=1$
这个看起来很显然
下面给出严谨的证明
利用数学归纳法：
我们已知$F_1=1,F_2=1,F_3=2$可知对于$i \le 3$，都有$gcd(F_i,F_{i+1})=1$
那么
$\quad gcd(F_{i+1},F_{i+2})$
$=gcd(F_{i+1},F_{i+1}+F_{i})$
$=gcd(F_{i+1},F_{i})$
$=1$
问题得证
2.$gcd(F_m,F_n)=F_{gcd(m,n)}$
这个不太显然
$m=n$的情况讨论起来没什么意义
对于$m \neq n$的情况，不妨设$m>n$
$F_{m} \ =F_{m-1}+F_{m-2}$
$\qquad =F_2F_{m-1}+F_1F_{m-2}$
$\qquad =F_2(F_{m-2}+F_{m-3})+F_1F_{m-2}$
$\qquad =(F_1+F_2)F_{m-2}+F_2F_{m-3}$
$\qquad =F_3F_{m-2}+F_2F_{m-3}$
$\qquad =F_nF_{m-n+1}+F_{n-1}F_{m-n}$
所以
$gcd(F_m,F_n)=gcd(F_nF_{m-n+1}+F_{n-1}F_{m-n},F_n)=gcd(F_{n-1}F_{m-n},F_n)$
由于$gcd(F_n,F_{n-1})=1$
所以
原式$=gcd(F_{m-n},F_{n})$
形成了辗转相除的形式
所以
$gcd(F_m,F_n)=F_{gcd(m,n)}$