我们设 \(F_n\) 为斐波拉切数列第 \(n\) 项,\(A\) 是一个类斐波拉切数列
广义的斐波拉切数列：它仍然满足原斐波拉切数列的性质，不同的是下标的至于从正整数集变为整数集
-
\[\forall n\in \mathbb{Z},F_n=\frac{(\frac{1+\sqrt 5}2)^n-(\frac{1-\sqrt 5}2)^n}{\sqrt 5} \]
-
\[F_{-n}=(-1)^{n+1}F_n \]
-
\[\forall n,m\in \mathbb{Z},F_{n-1}F_{n+1}-F_n^2=(-1)^n \]
-
\[\forall n,m\in \mathbb{Z},F_{n+m}=F_{n+1}F_m+F_nF_{m-1} \]
-
\[\forall n,m\in \mathbb{Z},n|m\Leftrightarrow F_n|F_m \]
-
\[\forall n,m\in \mathbb{Z},(F_n,F_m)=F_{(n,m)} \]
-
\[\sum_{i=1}^nF_i=\sum_{i=1}^n{F_{i+2}-F_{i+1}}=F_{n+2}-1 \]
-
\[\because \forall n\in\{x|x\ge3,x\in \mathbb{Z}\},A_n=A_{n-1+1}=F_{n-1}A_2+F_{n-2}A_1\\\therefore \sum_{i=1}^nA_i=F_nA_1+(F_{n+1}-1)A_2 \]
- 任意的一个正整数，都可以分成若干个不相邻的、不同的几个斐波拉切数之和，且这种分解唯一。在某些题中我们可以利用这个性质对数找到对应的斐波拉切进制来计算。