🔢 mathematics

Sum of consecutive powers as a perfect power

本文利用线性对数形式、模方法和丢番图方程，证明了对于方程 $x^k + (x+1)^k = y^n$ ，当 $n \geq 3$ 且 $k \equiv 2 \pmod{4}$ 时，若 $6 \leq k \leq 100$ 或 $k$ 含有模$4 $余$ 3 $的奇素因子，则其唯一解为平凡情形$ x=0, -1$。

原作者： Angelos Koutsianas, Nikos Tzanakis

发布于 2026-05-19

📖 1 分钟阅读🧠 深度阅读

CC BY 4.0

原作者： Angelos Koutsianas, Nikos Tzanakis

原始论文采用 CC BY 4.0 许可（http://creativecommons.org/licenses/by/4.0/）。 ✨ 这是对下方论文的AI生成解释。它不是由作者撰写或认可的。如需技术准确性，请参阅原始论文。阅读完整免责声明

想象你是一名侦探，正在试图解开一个非常具体且顽固的数字谜题。这个谜题是：你能找到两个紧挨着的数字（比如 3 和 4，或者 100 和 101），将它们同时提升到同一个高次幂，然后将它们相加，得到的结果也是一个完全幂吗？

例如，如果你计算 $3^3 + 4^3$ ，你会得到 $27 + 64 = 91$ 。91 是一个完全幂（比如平方数、立方数等）吗？不是。本文中的数学家 Angelos Koutsianas 和 Nikos Tzanakis 花费时间寻找那些答案为是的罕见时刻。

以下是他们利用简单类比进行的调查分解。

主要谜题

他们研究的方程如下：
$x^k + (x+1)^k = y^n$

$x$ 和 $x+1$ ：两个邻居。
$k$ ：将它们提升到的“幂次”。本文专注于一种特定的幂次：像 6、10、14、18 这样的数字（即比 4 的倍数多 2 的数字）。
$y^n$ ：结果必须是一个完全幂（比如完全立方数、四次方等，其中 $n$ 至少为 3）。

“幽灵”解

在他们开始之前，他们已知有两个“幽灵”解。

如果 $x = 0$ ，那么 $0^k + 1^k = 1$ 。由于 1 是一个完全幂（ $1^n$ ），这成立。
如果 $x = -1$ ，那么 $(-1)^k + 0^k = 1$ 。这也成立。

作者想知道：是否存在任何真实的解，其中的数字实际上大于 1？

侦探的工具包

为了解决这个问题，作者们不仅仅是猜测数字。他们采用了一种“三管齐下”的调查策略，就像侦探使用三种不同类型的法医工具一样：

“对数卷尺”（线性对数形式）：
想象你正在 haystack（干草堆）中寻找一根针。你知道针在某处，但干草堆是无限的。这个工具帮助他们将干草堆缩小到可管理的尺寸。它证明了如果存在解，涉及的数字不能太巨大。它设定了一个上限，说道：“如果存在解，它必须低于这个特定的数字。”
“模镜像”（模方法）：
这是最复杂的工具。想象看着镜子里的反射。如果你有一个特定的形状（你的方程），它会投射出一个影子（一个称为椭圆曲线的数学对象）。作者们观察了这个影子，并将其与已知影子的库（称为“新形式”）进行了比较。
- 如果他们方程的影子与库中的影子匹配，他们可以检查这是否是一个“虚假”匹配。
- 他们利用这一点证明，对于许多特定的幂次（ $k$ ），该“影子”与任何能产生真实解的影子都不匹配。这就像说：“这个指纹不属于我们数据库中的任何罪犯，所以这起犯罪不可能发生。”
“拼图求解器”（Thue 方程）：
对于那些其他工具无法排除的较小数字，他们将问题转化为一种特定类型的数学谜题，称为 Thue 方程。这些就像是数字的数独网格。他们解决了较小情况下的这些谜题，以证明那里也不存在解。

重大发现

在通过大规模计算机检查（使用标准办公电脑，而非超级计算机）运行这些工具后，他们得出了答案：

*对于每一个在 6 到 100 之间（符合他们特定规则）的幂次 $k$ ，唯一的解就是我们已经知道的“幽灵”： $x = 0$ 和 $x = -1$ 。*

换句话说，你不能取两个相邻的正整数，将它们提升到 6 到 100 之间的幂次，相加，然后得到一个完全幂。宇宙在这个范围内 simply 不允许这种情况发生。

为什么这很重要（从数学术语角度）

论文提到，这是第一次有人成功解决这种特定类型的谜题，针对如此大的幂次（ $k$ ），且仅涉及两个数字相加。

通常，当两个数字相加等于第三个幂时，这是一个非常困难的问题（与著名的费马大定理相关）。作者们成功地将问题分解为更小、可解决的片段。他们表明，尽管数学极其深奥，涉及“曲线”和“对数”等抽象概念，但最终结果对于他们测试的所有大数字来说都是一个简单的“否”。

“接下来是什么？”

论文最后说：“我们做到了幂次高达 100 的情况。同样的方法应该适用于大于 100 的幂次，但那是另一天的工作了。”他们还指出，如果幂次 $k$ 是一个奇数（比如 5 或 7），整个游戏规则就会改变，他们在这里使用的规则不再适用。那是未来更难的谜题。

简而言之： 他们证明了对于广泛的高次幂范围，两个连续数字之和永远不是一个完全幂，除非你从零或负一开始。“幽灵”是唯一的赢家。

技术摘要：连续幂之和为完全幂

问题陈述
本文研究了表示两个连续完全幂之和等于一个完全幂的丢番图方程：
$x^k + (x + 1)^k = y^n, \quad n \geq 3$
作者特别关注指数 $k$ 满足 $k \equiv 2 \pmod 4$ 的情形。虽然 $k=2, 3, 4$ 的情况以及不同长度连续幂之和（ $d$ ）已在先前的文献中得到解决，但 $d=2$ 且 $k$ 较大的情形在很大程度上仍未解决。作者指出，对于 $d=2$ ，该方程是签名 $(r, r, p)$ 的广义费马方程的一个特例，该方程通常涉及与具有复乘的非奇异弗雷超椭圆曲线（特别是针对 $x=0, -1$ ）相关的障碍。主要目标是确定在条件 $k \equiv 2 \pmod 4$ 下， $6 \leq k \leq 100$ 范围内的所有整数解。

方法论
证明策略结合了三种不同的数学技术：线性对数形式、模方法以及 Thue 方程的求解。具体步骤如下：

变换与约化：
作者通过变量代换 $x \to (x-1)/2$ 将 $x$ 设为奇数，从而将原方程变换为对称形式：
$\frac{(x-1)^k + (x+1)^k}{2} = 2^{k-1}y^n$
利用引理 4.1，他们将左边因式分解为 $(x^2+1)f_k(x^2)$ ，其中 $f_k$ 是一个次数为 $k/2 - 1$ 的多项式。
约化为 Lebesgue-Nagell 方程和 Thue 方程：
一个关键贡献是引理 4.2，该引理证明了对于 $k \geq 6$ 且 $n$ 充分大的情况，任何解 $(x, y, n)$ 都约化为一个包含两个方程的有限系统：
$x^2 + 1 = 2 \frac{d_2}{d_1} y_1^n$
$f_k(x^2) = 2^{k-2} \frac{d_1}{d_2} y_2^n$
其中， $d_1, d_2$ 是由 $k$ 中模 4 余 1 的素因子决定的 $k/2$ 的特定因子。
- 对于较小的 $n$ （ $n \leq 7$ ），第一个方程的求解被约化为在高斯整数域 $\mathbb{Q}(i)$ 上求解有限个Thue 方程。
- 对于一般情况，问题被约化为求解形式为 $x^2 + 1 = 2d y^n$ 的Lebesgue-Nagell 方程。
模方法：
对于 $6 \leq k \leq 100$ 且素数 $n \geq 11$ 的范围，作者采用了模方法。他们将一个弗雷 - 赫勒加奇椭圆曲线 $E$ 与潜在解相关联。通过利用模性定理和水平降低定理，他们建立了 $E$ 的伽罗瓦表示与一个新形式 $f$ 的伽罗瓦表示之间的同构。
- 命题 3.1 用于通过比较不同素数 $\ell$ 的傅里叶系数 $a_\ell(f)$ 和 $a_\ell(E)$ 来界定 $n$ 。
- 命题 6.3 引入了一种改进的剔除技术，利用素数 $\ell = tn + 1$ 来排除标准系数比较无法剔除的特定新形式。
线性对数形式：
为了处理 $n$ 的上界，作者应用了 Baker 的线性对数形式理论。通过分析线性形式 $\Lambda = n \log \alpha_1 - \log \alpha_2$ ，他们推导出了 $n$ 的显式上界 $n_0$ （见表 2）。该上界确保了当 $n > n_0$ 时，不存在解。

主要结果
本文确立了以下主要定理：

定理 1.1：假设 $k \equiv 2 \pmod 4$ 。如果 $6 \leq k \leq 100$ ，则方程 $x^k + (x+1)^k = y^n$ 在 $n \geq 3$ 时的唯一整数解出现在 $x \in \{-1, 0\}$ 时。

此外，作者证明了定理 1.3，该定理处理了 $k \equiv 2 \pmod 4$ 且 $k$ 的所有奇素因子均模 4 余 3 的情形。在这种特定情况下，解为 $(x, y, n, k) = (0, 1, n, k)$ 、 $(119, 13, 4, 2)$ 和 $(-120, 13, 4, 2)$ 。

计算验证包括：

使用 Pari/GP 求解 $n \leq 7$ 时的 Thue 方程。
使用 Sage 脚本应用模方法，以剔除 $11 \leq n \leq n_0$ 范围内的新形式。
计算范围 $[6, 100]$ 内每个 $k$ 的显式上界 $n_0$ （范围从约 $1.7 \times 10^5$ 到约 $3 \times 10^7$ ）。

意义与范围
作者指出，这项工作代表了首次尝试解决 $d=2$ 且 $k$ 值较大时的方程 (1.1)。其意义在于成功克服了与亏格大于 1 的曲线（特别是 $x=0, -1$ 的情况）相关的障碍，通过将问题约化为有限个可解方程来实现。

本文对其测试范围之外的范围持谨慎态度。作者指出，虽然他们的方法“原则上”适用于任何 $k \equiv 2 \pmod 4$ 且 $k > 100$ 的情况，但计算复杂度会显著增加。他们明确指出， $k$ 为奇数的情况呈现出“非常不同”且“极具挑战性”的局面，其中他们的关键引理 4.2 失效，且 $k=5$ 的情形仍然是一个未解决的问题。本文并未声称解决所有 $k$ 的方程，而是针对在所述同余条件下 $6 \leq k \leq 100$ 的特定范围提供了完整的解答。