[乱搞]斐波那契数列与gcd之间一个有趣的定理

求证

$$\gcd(F_n,F_m)=F_{\gcd(n,m)}$$
其中 F(0)=0,F(1)=1,F(n)=F(n-1)+F(n-2) (n>1)

证明

听说这是一个非常有用的定理，那么就来随便证(luan)明(gao)一下

Part 1

$\gcd(F_n,F_{n-1})=1$
证明：$\gcd(F_n,F_{n-1})=\gcd(F_{n}-F_{n-1},F_{n-1})=\gcd(F_{n-2},F_{n-1})$……
归纳得证

Part 2

$F_{n+m}=F_{n-1}F_{m}+F_{n}F_{m+1}$
首先对于m=1显然成立
对于m=2推一下也成立
然后我们来归纳一发，若m=k-1和m=k成立，那么m=k+1也成立

$$F_{n+k+1}=F_{n+k}+F_{n+k-1}$$
$$=F_{n-1}F_{k}+F_{n}F_{k+1}+F_{n-1}F_{k-1}+F_{n}F_{k}$$
$$=F_{n-1}(F_{k}+F_{k-1})+F_{n}(F_{k+1}+F_{k})$$
$$=F_{n-1}F_{k+1}+F_{n}F_{k+2}$$
得证

Part 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_{m},F_{n})$
得证

Part 4

$\gcd(F_{n},F_{m})=F_{\gcd(n,m)}$
Part 3 的结论也可以写作$\gcd({F_{n},F_{m}})=\gcd({F_{n-m},F_{m}})$
然后就是辗转相除法来归纳一发就好了

以上本定理得证