斐波那契数列 \{a_n\} 定义如下:
\begin{equation} a_1=1,~a_2=1,~a_n=a_{n-1}+a_{n-2} \end{equation} \tag{1}\\
即 1,1,2,3,5,8,13,21,34,55,\cdots. 取每项的个位数组成一个新数列 \{b_n\} , 列举该数列前 68 项如下:
1,1,2,3,5,8,3,1,4,5\\ 9,4,3,7,0,7,7,4,1,5\\ 6,1,7,8,5,3,8,1,9,0\\ 9,9,8,7,5,2,7,9,6,5\\ 1,6,7,3,0,3,3,6,9,5\\ 4,9,3,2,5,7,2,9,1,0\\ 1,1,2,3,5,8,3,1,\cdots\\
可以观察到 \{b_n\} 是周期数列. 换句话说,斐波那契数列的个位数以 60 位为循环. 那么由斐波那契的末 k 位组成的新数列 \{b_n\}_k 是否也会发生循环呢?
答案是肯定的. 注意到数列 \{b_n\}_k 它的项为:
b_1,b_2,b_3,\cdots\qquad b_n=b_{n-1}+b_{n-2},\quad n\geq3\\
从第二项之后的每一项,都由前两项唯一决定. 故只需证明,存在两个相异正整数 s,t~(s>t) 可使得
\begin{equation}(b_s,b_{s+1})=(b_t,b_{t+1})\end{equation}\\
即可. 考虑由相邻的两项组成的数对 (b_i,b_{i+1}), 其中每项都有 \underbrace{00\cdots0}_{k~\text{个}}\rightarrow\underbrace{99\cdots9}_{k~\text{个}} 共 10^k 种可能, 故不同的数对 (b_i,b_{i+1}) 最多有 10^{2k} 种,取 s\geq 10^{2k}+1,由抽屉原理, 以下 s 组数对
(b_1,b_2),(b_2,b_3),(b_3,b_4),\cdots,(b_s,b_{s+1})\\
中两组完全相同. 这表明,