大夫似的1

斐波那契数列 \{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})\\

中两组完全相同. 这表明，