[论文解读] Midy's Theorem for Periodic Decimals

Joseph Lewittes|ArXiv.org|May 7, 2006

History and Theory of Mathematics参考文献 6被引用 15

一句话总结

本文将米迪定理推广至任意进制，并将其扩展至周期长度可被3、4或更多整除的情形，证明当周期被划分为等长块时，块的和是 $10^k - 1$ 的倍数（在十进制中即为一串9）。核心贡献是利用模运算和循环分解，建立统一框架，以刻画此类‘互补性’成立的条件，精确给出了分母与进制的关系。

ABSTRACT

The decimal expansion of 1/7 is 0.142857142857..., the block 142857 repeating forever. We call 142857 the period and its length is 6 = 2x3. If the period is broken into 2 pieces each of length 3 which are then added, the result is 142 + 857 = 999; similarly 14 + 28 + 57 = 99. Other periodic decimals show the same phenomenon while others do not. The general question then arises: Let a/N be a fraction with denominator prime to 10, having decimal expansion with period length dk, if the period is broken into d pieces of length k which are then added, when will the sum be 99...9, a block of k 9's? In 1836 E. Midy published an article analyzing this question and gave sufficient conditions in certain cases. We put the problem in a more general setting, working in an arbitrary number base B, and obtain new results. However, some open questions still remain.

研究动机与目标

• 将米迪定理从素数分母和偶周期长度推广至合数分母和更长的周期划分。
• 建立一个通用框架，用于判断在周期性基 $B$ 展开中，块的和是否等于 $B^k - 1$ 的倍数，特别是十进制中的 $10^k - 1$。
• 刻画当长度为 $d$ 的块的和恰好等于 $B^k - 1$（即 $k$ 个9组成的字符串）时的条件。
• 利用长除法过程中的模运算和循环分解，统一并推广米迪、金斯伯格及其他人的先前结果。
• 识别乘数 $m_d(x)$，定义为 $S_d(x)/(B^k - 1)$，并确定其在不同分子 $x$ 下是否为常数。

提出的方法

• 使用基 $B$ 下的长除法算法，模拟 $x/N$ 的周期展开，追踪余数 $x_i$ 和数字 $a_i$。
• 定义 $R_d(x)$ 为 $x$ 的 $d$-循环中前 $d$ 个数字的和，$S_d(x)$ 为这些数字连接形成的整数。
• 应用模运算：当且仅当 $R_d(x) \equiv 0 \pmod{N}$ 时，有 $S_d(x) \equiv 0 \pmod{B^k - 1}$，从而将数字和与可除性联系起来。
• 引入集合 $M_d(B)$，即所有满足对所有 $x \in N^*$ 都有 $R_d(x) \equiv 0 \pmod{N}$ 的分母 $N$，并定义乘数 $m_d(x) = R_d(x)/N$。
• 利用乘法阶 $e = \text{ord}_N(B)$ 的结构，将循环分解为更小的循环，证明若 $d_1 \mid d_2 \mid e$，则 $N \in M_{d_1}(B)$ 蕴含 $N \in M_{d_2}(B)$。
• 应用恒等式 $B^k \equiv -1 \pmod{N}$，当 $e = 2k$ 时，可得 $x_{k+1} \equiv -x_1 \pmod{N}$，从而强制 $x_{k+1} = N - x_1$，确保数字对之和为9。

实验结果

研究问题

• RQ1 在基 $B$ 下，$x/N$ 的周期中，两个等长块的和何时等于 $k$ 个9组成的字符串？
• RQ2 米迪定理能否推广至可被3整除的周期长度？当三个块的和等于 $10^k - 1$ 时，其条件是什么？
• RQ3 乘法阶 $e = \text{ord}_N(B)$ 在判断 $N$ 是否属于 $M_d(B)$ 中起什么作用？
• RQ4 对于固定的 $N$ 和 $d$，乘数 $m_d(x) = S_d(x)/(B^k - 1)$ 在不同分子 $x$ 下的行为如何？
• RQ5 为何米迪性质在某些合数分母（如 803）下不成立，而在其他分母（如 77）下成立？其解释条件是什么？

主要发现

• 对于 $N \in M_2(10)$，$x/N$ 的周期的两半之和恰好为 $10^k - 1$，即 $k$ 个9组成的字符串，这证明了米迪原始定理。
• 若 $N$ 为素数或素数的幂，且 $e = \text{ord}_N(10)$ 为偶数，则 $N \in M_2(10)$，且对所有 $x \in N^*$，米迪性质成立。
• 若 $N \in M_3(10)$ 且 $e = 3k$，则当 $m_3(x) = 1$ 时，周期中三个 $k$-位数字块的和等于 $10^k - 1$，此条件对 $x = 1, 2$ 和 $x = 3$ 成立，除非 $N = 7$。
• 当 $N \in M_d(B)$ 且 $d \mid e$ 时，乘数 $m_d(x)$ 在所有 $x \in N^*$ 上为常数，其中 $d = 2$ 时 $m_d(x) = d/2$，而 $m_3(x) = 1$ 在特定条件下成立。
• 条件 $\gcd(N, 10^k - 1) = 1$ 解释了为何 $1/77$ 满足米迪性质（$k=3$），而 $1/803$ 不满足（$k=4$），因为 $\gcd(803, 10^4 - 1) = 11 \neq 1$。
• 若 $N \in M_{d_1}(B)$ 且 $d_1 \mid d_2 \mid e$，则 $N \in M_{d_2}(B)$，表明该性质可从 $e$ 的较小因数传播至较大因数。