Midy's Theorem in non-integer bases and divisibility of Fibonacci numbers

本文将米迪定理推广至雷尼（Rényi）提出的非整数基数系统中，定义了该性质并推导了其成立的必要条件，同时针对黄金分割比这一特定基数刻画了满足该性质的素数分母。

要点

这篇论文听起来非常“高深”，充满了数学术语，但它的核心思想其实非常有趣，就像是在探索数字世界里的**“对称魔法”**。

我们可以把这篇论文的内容想象成一场**“数字分家产”**的游戏。

1. 故事背景：经典的“Midy 定理”

首先，我们要认识一个老玩家。在普通的十进制（就像我们平时用的 1, 2, 3...）里，有一个著名的现象叫Midy 定理。

• 场景：想象你有一个分数，比如 $1/7$。把它写成小数，它是$0.142857142857...$。
• 魔法：你会发现这个数字串是循环的，而且长度是偶数（这里是 6 位：142857）。
• 分家产：如果你把这个循环串从中间切开，变成两半：142 和 857。
• 奇迹：把这两半加起来：$142 + 857 = 999$。
• 结论：不管分母是什么（只要是质数且满足条件），切开的两半加起来，总是由一串"9"组成的（比如 99, 999, 9999）。这就像两半拼图完美互补，拼成了一个完美的"9 的长条”。

2. 新挑战：进入“非整数”的奇幻世界

这篇论文的作者（Zuzana 和 Edita）问了一个大胆的问题：

“如果我们的‘家底’（基数）不是整数（比如不是 10，也不是 2），而是一个无理数，比如黄金分割率（$\tau \approx 1.618$），这个‘分家产’的魔法还灵吗？”

这就好比，我们平时用“十进制”是因为我们有 10 个手指头。但如果外星人只有 1.618 个手指头（当然这是比喻，数学上叫$\beta$-进制），他们的数字世界会是什么样？

在这个世界里：

• 数字：只能用 0 和 1（因为 $1.618$ 的整数部分只有 1）。
• 规则：不能有两个连续的"1"（就像不能把两个苹果紧挨着放，必须隔开）。
• 目标：看看在这个奇怪的世界里，分数切开后，两半加起来是不是也能拼成一个完美的“长条”（在这个世界里，这个长条是 $\tau^n - 1$）。

3. 核心发现：黄金分割率的秘密

作者们发现，在黄金分割率（$\tau$）的世界里，这个魔法确实存在，但有一个非常严格的**“入场券”**。

关键角色：斐波那契数列

在这个世界里，判断一个分母（比如 3, 5, 7, 11...）能不能玩这个游戏，要看它和斐波那契数列（0, 1, 1, 2, 3, 5, 8, 13...）的关系。

• 斐波那契数列就像是一个数字世界的“节奏大师”。
• 作者们发现，如果一个质数分母 $q$ 满足 Midy 性质，那么它必须和斐波那契数列的某些特定位置“合拍”。

具体的“入场券”规则：

1. 如果分母 $q$ 除以 5 余 2 或 3（比如 2, 3, 7, 12, 17...）：

   • 好消息：它们几乎总是能玩这个游戏！
   • 例子：$q=7$。在黄金进制下，$3/7$ 的循环串切开后，两半加起来确实完美互补。
   • 特例：$q=5$ 本身也是赢家。

2. 如果分母 $q$ 除以 5 余 1 或 4（比如 11, 19, 29, 31...）：

   • 坏消息：这就比较复杂了。它们不一定能玩。
   • 判断方法：需要看这个数在斐波那契数列里的“周期”是不是偶数，以及更深层的矩阵运算（听起来很吓人，其实就是检查数字的排列组合是否对称）。
   • 例子：$q=29$ 就不行，但 $q=109$ 就可以。这就像有些门虽然长得像，但锁孔不一样。

3. 如果分母是梅森素数（Mersenne primes，形如 $2^s - 1$ 的质数）：

   • 作者们甚至算出了哪些梅森素数能玩。比如，如果指数 $s$ 除以 4 余 3，那它就能玩；如果余 1，那就玩不了。

4. 为什么这很重要？（通俗版）

你可能会问：“这有什么用？又不能帮我算账。”

• 数学的趣味性：就像有人喜欢研究“为什么彩虹有七种颜色”，数学家喜欢研究“为什么数字在奇怪的世界里也有对称美”。这证明了数学规律在不同维度下依然顽强地存在。
• 连接不同领域：这篇论文把数论（研究质数）、动力系统（研究数字怎么跳动）和斐波那契数列（自然界中常见的生长规律）巧妙地连在了一起。
• 打破常规：它告诉我们，即使把世界的基础规则（比如进位制）变得“非整数”、变得“无理”，数学中那种**“部分之和等于整体”**的和谐美感依然存在。

5. 总结：一句话概括

这篇论文就像是在说：

“即使在黄金分割率（1.618...）这个奇怪的数字世界里，只要分母选得对（特别是那些和斐波那契数列‘合拍’的质数），分数的小数部分依然会像魔术一样，切开后两半能完美拼成一个‘长条’。这证明了数学的对称之美，超越了我们对‘整数’的固有认知。”

简单比喻：
想象你在玩一个拼图游戏。

• 旧规则（十进制）：拼图块是 10 进制的，切开后两半拼起来是"999"。
• 新规则（黄金进制）：拼图块变成了 1.618 进制的，形状变了，颜色变了。
• 论文结论：只要你选对了拼图盒（特定的质数分母），哪怕在这个奇怪的新盒子里，你依然能拼出一个完美的图案。而且，能不能拼成，取决于这个盒子是不是“斐波那契家族”的成员。

技术摘要

这篇论文《非整数基下的 Midy 定理与斐波那契数的整除性》（Midy's Theorem in non-integer bases and divisibility of Fibonacci numbers）由 Zuzana Mas´akov´a 和 Edita Pelantov´a 撰写，主要研究了将经典的 Midy 定理推广到非整数基数（特别是黄金分割比 $\tau$）的情形，并揭示了该性质与斐波那契数整除性之间的深刻联系。

以下是该论文的详细技术总结：

1. 研究问题 (Problem)

背景：
经典的 Midy 定理指出，对于分母为素数 $q$ 的分数 $p/q$，如果其在十进制（基数 $b=10$）下的循环节长度为偶数 $2n$，那么将循环节分为前后两半，这两部分所代表的数值之和等于$10^n - 1$（即由$n$ 个 9 组成的数）。这一现象已被推广到不同的整数基数和非素数分母。

核心问题：
作者试图探究在非整数基数（$\beta > 1$）的数制系统中，是否存在类似的 Midy 性质。具体而言，对于给定的实数基数 $\beta$，是否存在分母 $q$，使得 $p/q$ 的 $\beta$-展开具有偶数长度的纯循环节，且其前后两半之和等于 $\beta^n - 1$？

特别关注：
论文重点研究了黄金分割比 $\tau = \frac{1+\sqrt{5}}{2}$ 作为基数的情况。在该系统中，数字仅为 0 和 1，且满足 $\tau^2 = \tau + 1$。

2. 方法论 (Methodology)

论文采用代数数论、矩阵理论和动力系统（$\beta$-变换）相结合的方法：

1. 定义与形式化：

   • 定义了非整数基 $\beta$ 下的 Midy 性质：若 $p/q$ 的 $\beta$-展开为 $0.(c_1 \dots c_{2n})^\omega$，且前半部分$x$和后半部分$y$作为$\beta$-整数满足$x+y = \beta^n - 1$，则称$q$ 具有 Midy 性质。
   • 利用 $\beta$-变换 $T_\beta(x) = \beta x - \lfloor \beta x \rfloor$ 来描述展开过程。

2. 必要条件推导：

   • 证明了若 $q$ 具有 Midy 性质，则存在 $N$ 使得 $T^N(p/q) = (q-p)/q$。
   • 引入伴随矩阵（Companion Matrix）$C$。对于代数整数 $\beta$，证明了 Midy 性质的一个必要条件是：存在正整数 $N$，使得 $C^N \equiv -I \pmod q$（其中 $I$ 是单位矩阵）。
   • 指出若 $\beta$ 的范数 $N(\beta)=1$ 且次数 $d$ 为奇数，则不存在满足条件的 $q$（因为 $\det(C^N) = 1 \neq \det(-I) = -1$）。

3. 充分条件构建（针对黄金分割比 $\tau$）：

   • 针对 $\tau$，其伴随矩阵 $C = \begin{pmatrix} 0 & 1 \\ 1 & 1 \end{pmatrix}$ 的幂次与斐波那契数列 $F_n$ 直接相关：$C^N = \begin{pmatrix} F_{N-1} & F_N \\ F_N & F_{N+1} \end{pmatrix}$。
   • 证明了对于 $\tau$，上述矩阵同余条件 $C^N \equiv -I \pmod q$ 不仅是必要的，也是充分的。即只要存在 $N$ 使得 $C^N \equiv -I \pmod q$，则 $q$ 具有 Midy 性质。

4. 利用斐波那契数性质进行分类：

   • 利用斐波那契数的整除性质（如 $F_m | F_n \iff m | n$）和二次剩余理论，分析了素数分母 $q$ 满足 Midy 性质的条件。
   • 引入 $a(q)$ 表示 $q$ 整除 $F_{a(q)}$ 的最小正整数（斐波那契进位阶）。

3. 主要贡献与结果 (Key Contributions & Results)

A. 理论框架的建立

• 首次将 Midy 定理系统地推广到非整数基数（$\beta$-展开）中。
• 建立了 Midy 性质与伴随矩阵幂次同余于 $-I$ 之间的等价关系（对于 $\tau$ 基）。

B. 黄金分割比 $\tau$ 下的具体结论

1. 素数分母的刻画：

   • 情形 1： 若素数 $q = 5$ 或 $q \equiv \pm 2 \pmod 5$，则 $q$ 一定具有 Midy 性质。
     • 证明依赖于 $F_{q+1} \equiv 0 \pmod q$ 以及 $C^{q+1} \equiv -I \pmod q$ 的推导。
   • 情形 2： 若素数 $q \equiv \pm 1 \pmod 5$，则 $q$ 具有 Midy 性质当且仅当在序列 $C^{2\ell}, C^{4\ell}, \dots, C^{2^{k-1}\ell}$（其中 $q-1 = 2^k \ell$）中存在某个矩阵等于 $-I \pmod q$。
     • 这提供了一个具体的判定算法，但也表明并非所有 $q \equiv \pm 1 \pmod 5$ 都满足性质（例如 $q=29$ 不满足，而 $q=109$ 满足）。

2. 斐波那契数的整除性联系：

   • 若 $q$ 整除 $F_{2n-1}$ ($n \ge 3$)，则 $q$ 具有 Midy 性质。
   • 若 $q$ 是 $F_{2n}$ ($n \ge 3$) 的倍数，则 $q$ 不具有 Midy 性质。
   • 推论：若 $a(q)$ 为奇数，则 $q$ 具有 Midy 性质。

3. 特殊素数的应用：

   • 梅森素数 ($M_s = 2^s - 1$)：
     • 若 $s \equiv 3 \pmod 4$，则 $M_s \equiv 2 \pmod 5$，具有 Midy 性质。
     • 若 $s \equiv 1 \pmod 4$，则 $M_s \equiv 1 \pmod 5$ 且 $M_s \equiv -1 \pmod 4$，导致 $M_s \equiv -1 \pmod{20}$，不具有 Midy 性质。
     • 已知 51 个梅森素数中，恰好有 19 个满足该性质。
   • 费马素数 ($F_n = 2^{2^n} + 1$)：
     • 所有已知的费马素数（$n=0,1,2,3,4$）均满足 Midy 性质。

C. 反例与局限性

• 指出了必要条件 $C^N \equiv -I \pmod q$ 对于一般 $\beta$ 并非充分条件（例如某些二次 Pisot 数）。
• 对于三阶 Tribonacci 基数（$X^3 - X^2 - X - 1$ 的根），由于次数为奇数且范数为 1，不存在任何 $q$ 满足 Midy 性质。

4. 意义与影响 (Significance)

1. 数学理论的扩展： 该工作成功地将经典的数论现象（Midy 定理）从整数基推广到了非整数基（特别是无理数基），丰富了 $\beta$-展开理论的内容。
2. 数论与动力系统的交叉： 论文展示了动力系统（$\beta$-变换的周期性）与代数数论（斐波那契数的整除性、二次剩余、有限域上的矩阵性质）之间深刻的内在联系。
3. 计算与分类工具： 提供了判定特定素数分母在黄金分割比下是否具有 Midy 性质的有效算法，并对梅森素数和费马素数进行了有趣的分类。
4. 启发未来研究： 论文在结尾讨论了将结果推广到其他二次 Pisot 单位（如 $X^2 - mX - 1$ 的根）的可能性，并指出对于范数为 $+1$ 的二次 Pisot 数，纯周期展开不存在，因此 Midy 性质也不存在，这为后续研究划定了边界。

总结

这篇文章通过严谨的代数推导，证明了在黄金分割比 $\tau$ 作为基数的系统中，Midy 性质的存在性完全取决于分母 $q$ 与斐波那契数列的整除关系。它不仅给出了判定素数分母性质的充要条件，还揭示了数制结构、矩阵幂次与经典数列之间的奇妙对称性。