斐波那契數列，是一個經典的遞推數列。在實際生活中有很多應用。
我們一般都知道它的遞推公式：
F[1]=1,F[2]=1,...,F[n]=F[n-1]+Fn-2
或者說通項公式......（這個我是不會，而且一半也用不到）
下面補充一些引理，做題的時候可能會用到。
1、\(gcd(F_{i+1},F_i)=1\)
證明： 根據更相減損術
\(gcd(F_{i+1},F_i)\)
\(=gcd(F_{i+1}-F_i,F_i)\)
\(=gcd(F_{i-1},F_i)\)
\(=gcd(F_i,F_{i-1})\)
\(=......\)
\(=gcd(2,1)\)
\(=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}\)
\(=2*F_{m+n-2}+F_{m+n-3}\)
\(=3*F_{m+n-3}+2*F_{m+n-4}\)
\(=5*F_{m+n-4}+3*F_{m+n-5}\)
\(=......\)
\(=F_{a-1}*F_{m+n-a}+F_{a}*F_{m+n-a+1}\)
設 \(k1=a-1,k2=m+n-a+1\)
因為
\(k1+k2=a-1+m+n-a+1=m+n\)
所以
\(F_{k1+k2}=F_{k1}*F_{k2-1}+F_{k1+1}*F_{k2}\)
得證
3、\(gcd(F_i,F_j)=F_{gcd(i,j)}\)
4、\(\sum_{i=1}^nF_i=F_{n+2}-1\)
證明：
\(\sum_{i=1}^nF_i\)
\(=F_2+F_1+F_2+....+F_n-1\)
\(=F_3+F_2+...+F_n-1\)
\(=...\)
\(=F_{n+2}-1\)
5、\(\sum_{i=1}^n i\times F_i=n\times F_{n+2}-F_{n+3}+2\)
證明：
\(\sum_{i=1}^n i\times F_i\)
\(=n\times \sum_{i=1}^nF_i-(n-1)\times F_1-(n-2)\times F_2-...-1\times F_{n-1}\)
\(=n\times \sum_{i=1}^nF_i-(\sum_{i=1}^{n-1}F_i+\sum_{i=1}^{n-2}F_i+...+\sum_{i=1}^2F_i+F_1)\)
\(=n\times \sum_{i=1}^nF_i-(F_{n+1}-1+F_{n}-1+...+F_4-1+F_1)\)
\(=n\times \sum_{i=1}^nF_i-(F_{n+1}+F_{n}+...+F_4+F_3+F_2+F_1-3-(n-2))\)
\(=n\times \sum_{i=1}^nF_i-F_{n+3}+1+n+1\)
\(=n\times F_{n+2}-F_{n+3}+2\)
斐波那契數列經常用在一些結論題里，或者和矩陣快速冪搭配使用。
下面貼上幾道相關題目：
薩塔尼亞的期末考試
斐波那契公約數
斐波那契數列
斐波那契
粉櫻花之戀