斐波那契循环节

Source： here

斐波那契数列：
$$\begin{gathered} f_i=f_{i-1}+f_{i-2},i\ge 2 \\ {f}_0=0,f_1=1 \\ {f}_i=\frac{{\varphi }^i-{\phi }^i}{\sqrt{5}} \end{gathered}$$
其中 $\varphi ,\phi$ 为两个特征根，$\varphi =\frac{\sqrt{5}+1}{2},\phi =\frac{\sqrt{5}-1}{2}$

记 $m$ 为斐波那契数列在模 $p$ 意义下的循环节
接下来我们将会找到在 $p$ ，$p^k$，以及合数情况的循环节

---

引理 1：

• 若 $a\equiv 1\mathrm{m}\mathrm{o}\mathrm{d}p$，则 $a^{p^k}\equiv 1\mathrm{m}\mathrm{o}\mathrm{d}{p}^{k+1}$
  归纳证明，先证 $k=1$：
  $$a^p\equiv (1+tp{)}^p\equiv \sum _{i=0}^p(tp{)}^i\left(\genfrac{}{}{0ex}{}{p}{i}\right)\equiv 1+t{p}^2\equiv 1\mathrm{m}\mathrm{o}\mathrm{d}{p}^2$$
  设在 $k-1$ 时成立，证在 $k$ 时亦成立：
  $$a^{p^k}=(1+t{p}^k{)}^p\equiv \sum _{i=0}^p(t{p}^k{)}^i\left(\genfrac{}{}{0ex}{}{p}{i}\right)\equiv 1+t{p}^{k+1}\equiv 1\mathrm{m}\mathrm{o}\mathrm{d}{p}^{k+1}$$

推论 1：

• 记 $m$ 为模 $p$ 意义下的循环节，则
  $${\varphi }^{m{p}^{k-1}}\equiv {\phi }^{m{p}^{k-1}}\equiv 1\mathrm{m}\mathrm{o}\mathrm{d}{p}^k$$
  首先有 $\frac{{\varphi }^m-{\phi }^m}{\sqrt{5}}\equiv 0\mathrm{m}\mathrm{o}\mathrm{d}p$，则 ${\varphi }^m\equiv {\phi }^m\mathrm{m}\mathrm{o}\mathrm{d}p$
  而 $$\frac{{\varphi }^{m+1}-{\phi }^{m+1}}{\sqrt{5}}-\frac{\varphi -\phi }{\sqrt{5}}\equiv \frac{\varphi ({\varphi }^m-1)-\phi ({\varphi }^m-1)}{\sqrt{5}}\equiv 0\mathrm{m}\mathrm{o}\mathrm{d}p$$
  故 ${\varphi }^m\equiv {\phi }^m\equiv 1\mathrm{m}\mathrm{o}\mathrm{d}p$
  所以有 ${\varphi }^{m{p}^{k-1}}\equiv {\phi }^{m{p}^{k-1}}\equiv 1\mathrm{m}\mathrm{o}\mathrm{d}{p}^k$

---

当模数为合数的情况，我们知道
$$m=\text{lcm}(m_1,m_2,\dots ,m_t)$$
其中 $m_i$ 为在模 $p_i^{k_i}$ 意义下的循环节
故接下来我们只讨论在 $p$ 以及 $p^k$ 的循环节大小

首先讨论质数处的循环节：
若 5 为 $p$ 的二次剩余即 $\left(\frac{5}{p}\right)=1$
那么 ${\varphi }^{p-1}\equiv {\phi }^{p-1}\equiv 1\mathrm{m}\mathrm{o}\mathrm{d}p$，故 $m|p-1$
若 5 非 $p$ 的二次剩余，发现
$$\begin{gathered} {\varphi }^p=\frac{1}{2^p}\sum _{i=0}^p\left(\genfrac{}{}{0ex}{}{p}{i}\right){\sqrt{5}}^i\equiv \frac{1}{2}(1+{\sqrt{5}}^p) \\ \equiv \frac{1}{2}(1+5^{\frac{p-1}{2}}\sqrt{5})\equiv \frac{1}{2}(1-\sqrt{5})\equiv \phi \mathrm{m}\mathrm{o}\mathrm{d}p \end{gathered}$$
同理可得 ${\phi }^p\equiv \varphi \mathrm{m}\mathrm{o}\mathrm{d}p$
故可以发现 $f_p=\frac{{\varphi }^p-{\phi }^p}{\sqrt{5}}\equiv p-1\mathrm{m}\mathrm{o}\mathrm{d}p$
$f_{p+1}\equiv \frac{\varphi \phi -\phi \varphi }{\sqrt{5}}\equiv 0\mathrm{m}\mathrm{o}\mathrm{d}p,f_{p+2}\equiv p-1\mathrm{m}\mathrm{o}\mathrm{d}p$
于是发现 $m|2p+2$
有快速判断 $p$ 是否为模 5 的二次剩余的方法，即二次互反律
$$\left(\frac{p}{5}\right)\left(\frac{5}{p}\right)=(-1{)}^{\frac{5-1}{2}\frac{p-1}{2}}=1$$
故 $\left(\frac{5}{p}\right)=\left(\frac{p}{5}\right)$，当 $p\equiv \pm 1\mathrm{m}\mathrm{o}\mathrm{d}5$ 时有二次剩余

在质数次幂的循环节
$m^{\prime }|m{p}^{k-1}$，由
$${\varphi }^{m{p}^{k-1}}\equiv {\phi }^{m{p}^{k-1}}\equiv 1\mathrm{m}\mathrm{o}\mathrm{d}p$$
于是 $f_{m{p}^{k-1}}=0,f_{m{p}^{k-1}+1}=1$，得证