[论文解读] Moser's mathemagical work on the equation 1^k+2^k+...+(m-1)^k=m^k

Pieter Moree|arXiv (Cornell University)|Nov 12, 2010

Analytic Number Theory Research参考文献 18被引用 3

一句话总结

本文重新探討了 Leo Moser 在 1953 年提出的結果，即對於 $k \geq 2$ 且 $m > 10^{10^6}$ 時，丟番圖方程 $1^k + 2^k + \cdots + (m-1)^k = m^k$ 無解，並使用 von Staudt-Clausen 型定理與序列 $\{2^{2e+1}+1\}$ 中數字的可除性性質，提供了簡化且現代化的證明。本文將 Moser 的界加強至 $m > 1.485 \times 10^{9,321,155}$，並證明任何解都必須滿足嚴格的算術條件，包括 $k$ 為偶數、$m \equiv 3 \pmod{8}$，以及 $m-1$、$(m+1)/2$、$2m-1$、$2m+1$ 為無平方因子數，且對所有質因數 $p$，均有 $p-1 \mid k$。此外，本文還完全解決了一類 Erdős-Moser 型方程 $aS_k(m) = m^k$，對無限多個 $a$ 成立，並在特定條件下證明 $\mathcal{A}$ 為空集。

ABSTRACT

If the equation of the title has an integer solution with k>=2, then m>10^{10^6}. Leo Moser showed this in 1953 by amazingly elementary methods. With the hindsight of more than 50 years his proof can be somewhat simplified. We give a further proof showing that Moser's result can be derived from a von Staudt-Clausen type theorem. Based on more recent developments concerning this equation, we derive a new result using the divisibility properties of numbers in the sequence 2^{2e+1}+1, e=0,1,2,..... In the final section we show that certain Erdos-Moser type equations arising in a recent paper of Kellner can be solved completely.

研究动机与目标

• 使用現代數論工具重新推導並簡化 Leo Moser 在 1953 年證明的結果，即 $1^k + \cdots + (m-1)^k = m^k$ 對於 $k \geq 2$ 且 $m > 10^{10^6}$ 無解。
• 透過細緻的可除性與同餘條件，改進 Moser 對 $m$ 的界，證明 $m > 1.485 \times 10^{9,321,155}$。
• 建立任何解都必須滿足的強烈算術約束：$k$ 為偶數、$m \equiv 3 \pmod{8}$、$m \equiv \pm1 \pmod{3}$，且多項式表達式如 $m-1$、$(m+1)/2$、$2m-1$、$2m+1$ 均為無平方因子數。
• 證明某些 Erdős-Moser 型方程 $aS_k(m) = m^k$ 可對無限多個整數 $a$ 完全求解，特別是在 $a$ 滿足特定同餘與可除性條件時。

提出的方法

• 使用 von Staudt-Clausen 定理的變體重新表述 Moser 的原始證明，透過 $p$-進賦值與同餘分析推導 $m$ 的界。
• 應用 Pascal 的二項式恆等式重證引理 1，即若 $p-1 \mid k$，則 $S_k(p) \equiv -1 \pmod{p}$，否則為 0。
• 利用伯努利數性質與模運算分析方程模質數冪的性質，進而推導 $m$ 與 $k$ 的約束。
• 分析形如 $2^{2e+1} + 1$ 的數字之可除性結構，於條件 $m+2$ 僅由滿足 $p \equiv 5,7 \pmod{8}$ 的質數組成時，推導出新的下界 $m \geq 10^{10^{16}}$。
• 證明若質數 $q$ 整除 $a$ 且 $q^2 \nmid a$，且 $q-1 \mid k$，則 $aS_k(m) \neq m^k$，因此可排除此類 $a$ 屬於解集。
• 結合分析技術，包括 $\log(1+1/a)$ 的連分數近似，探討突破 $10^{10^7}$ 對 $m$ 的界之可行性。

实验结果

研究问题

• RQ1 能否使用現代數論工具簡化並現代化 Moser 對 $1^k + \cdots + (m-1)^k = m^k$（$k \geq 2$）無解的原始證明？
• RQ2 對於該方程的解，目前已知最緊緻的 $m$ 下界為何？能否透過 $2^{2e+1}+1$ 的可除性性質進一步提升？
• RQ3 在何種條件下，可完全求解固定 $a$ 時的廣義 Erdős-Moser 方程 $aS_k(m) = m^k$？
• RQ4 若存在解，$m$ 與 $k$ 必須滿足哪些算術約束，特別是關於無平方因子性與同餘條件？
• RQ5 能否將計算 $\log 2$ 時使用的連分數方法，適用于提升原始方程中 $m$ 的界？

主要发现

• 本文建立新的下界 $m > 1.485 \times 10^{9,321,155}$，適用於任何滿足 $1^k + \cdots + (m-1)^k = m^k$（$k \geq 2$）的解。
• 證明任何解都必須滿足 $k$ 為偶數、$m \equiv 3 \pmod{8}$、$m \equiv \pm1 \pmod{3}$，且 $m-1$、$(m+1)/2$、$2m-1$、$2m+1$ 均為無平方因子數。
• 對於整除上述無平方因子表達式中任一項的質數 $p$，證明 $p-1$ 必須整除 $k$。
• 證明 $(m^2 - 1)(4m^2 - 1)/12$ 為無平方因子數，且至少具有 $4,990,906$ 個不同的質因數。
• 在 $m+2$ 僅由滿足 $p \equiv 5,7 \pmod{8}$ 的質數組成的條件下，$m$ 的界被加強至 $m \geq 10^{10^{16}}$。
• 本文完全求解了廣義 Erdős-Moser 方程 $aS_k(m) = m^k$ 對無限多個 $a$，並證明若 $q \mid a$、$q^2 \nmid a$ 且 $q-1 \mid k$，則 $a \notin \mathcal{A}$，因此可排除此類 $a$ 有解的可能性。