使用逼近方法对 Erdős-Moser 方程 $ \sum_{i=1}^{m-1} i^k = m^k $ 的解析探索

Erdős-Moser 方程 $\sum_{i=1}^{m - 1} i^k = m^k$ 是数论中一个长期存在的挑战，唯一已知的整数解是 $(k,m) = (1,3)$。在此，我们通过使用 Euler-MacLaurin 公式将离散和 $S(m-1,k)$ 逼近为连续函数 $S_{\mathbb{R}}(m-1,k)$，来研究是否存在其他解。然后，我们在有理根定理下分析所得的逼近多项式 $P_{\mathbb{R}}(m) = S_{\mathbb{R}}(m-1,k) - m^k$ 以寻找整数根。我们的逼近证实，对于 $k=1$，唯一解是 $m=3$，而对于 $k \geq 2$，这表明不存在更多的正整数解。然而，由于 Diophantine 问题要求精确性，Euler-MacLaurin 公式中任何校正项的遗漏都可能掩盖真正的解。因此，尽管我们的方法对 Erdős-Moser 方程的行为提供了有价值的见解，并说明了所涉及的解析挑战，但它并不构成严格的证明。我们讨论了这些发现的含义，并强调需要完全严格的方法（可能结合素数幂约束）才能最终解决该猜想。