🔢 mathematics

The Quadratic and Cubic Characters of 2

本文通过利用艾森斯坦整数、高斯和雅可比和以及三次互反律，探讨了三次同余方程 $x^3 \equiv 2 \pmod{p}$ 的可解性，同时通过费马、欧拉、勒让德、雅可比和艾森斯坦的贡献，提供了关于高次互反律的发展以及 2 的二次特征的历史背景。

原作者： Matias C. Relyea

发布于 2026-02-03

📖 1 分钟阅读🧠 深度阅读

CC BY 4.0

原作者： Matias C. Relyea

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

想象一下，你是一名试图解开一个关于数字之谜的侦探。你正在寻找一种隐藏的模式，它能告诉你一个特定的数学谜题是否可以被解决。这个谜题的陈述非常简单：你能否找到一个数，当它自己乘以自己三次时，除以一个特定的质数后余数为 2？

例如，如果你的质数是 7，你能找到一个 $x$ ，使得 $x \times x \times x = 2$ （加上某个 7 的倍数）吗？有时答案是“可以”，有时则是“不可以”。这篇论文旨在弄清楚究竟在什么时候答案是“可以”。

以下是作者 Matias C. Relyea 如何用通俗易懂的方式解释他如何破解这个谜题的故事。

背景设定：“黄金定理”及其近亲

文章首先回顾了一个著名的、更古老的谜题——2 的二次剩余特征。这是同一个谜题，只不过不是将一个数乘以自己三次（ $x^3$ ），而是只乘以自己两次（ $x^2$ ）。

旧谜题： 能否找到 $x$ 使得 $x^2 \equiv 2 \pmod p$ ？
解决方案： 像高斯这样的数学家已经发现了一个简单的规则：如果你的质数 $p$ 的形式类似于 $8n+1$ 或 $8n+7$ ，那么答案是“可以”；如果它的形式类似于 $8n+3$ 或 $8n+5$ ，那么答案是“不可以”。

作者将这个已解决的旧谜题作为训练场。他想要将类似的逻辑应用于更难、更新的谜题：2 的三次剩余特征（即 $x^3$ 版本）。

问题：谜题变得更难了

在过去，像欧拉和费马这样的数学家猜想，对于三次的情况（ $x^3 \equiv 2$ ），也会存在一个类似的简单规则。他们注意到，如果一个质数 $p$ 可以写成一种非常特定的形状，那么这个谜题就是可解的。

大猜想（欧拉猜想）：
如果你能将一个质数 $p$ 写成 $C^2 + 27D^2$ 的形式（其中 $C$ 和 $D$ 是整数），那么谜题 $x^3 \equiv 2$ 是可解的。如果你无法将其写成这种形状，那么它就是不可解的。

欧拉基于纯粹的直觉做出了这个猜想，但他无法证明它。高斯后来的笔记表明他知道证明方法，但直到很久以后，这个证明才被完整地阐述出来。本论文旨在梳理这一历史过程，并为这一特定规则提供一个清晰、逐步的证明。

工具箱：构建一个新世界

为了解决这个三次谜题，作者解释说，我们不能只使用普通的整数（如 1, 2, 3）。我们必须构建一个全新的“数字世界”。

艾森斯坦整数（新的邻里）：
想象普通的数字生活在一条直线上。为了解决三次问题，我们需要进入一个二维平面。我们引入了一个特殊的数 $\omega$ （欧米茄），它是一个“单位三次根”。你可以把 $\omega$ 想象成一把神奇的钥匙，当你转动它三次时，它会带你回到原点。
在这个新的邻里中，数字看起来像 $a + b\omega$ 。作者称这些为艾森斯坦整数。这个新世界有它自己的乘法和除法规则，但其结构足够严密，使我们仍然可以进行数学运算。
神奇的和（高斯和与雅可比和）：
为了在这个新的邻里中寻找模式，作者使用了被称为高斯和和雅可比和的工具。

类比： 想象你有一个装满彩色弹珠（数字）的大袋子。你想知道是否存在某种特定的模式。与其一个一个地去数，不如摇晃袋子并听它们发出的声音。如果声音发出的是某种特定的音调，你就知道那个模式是否存在。这些“和”就像那种特殊的音调——它们是复杂的计算，能够在不逐一检查每个数字的情况下，揭示出数字隐藏的属性。

“初等”过滤器：
在这个新世界里，数字看起来可能不同，但表现却一样（比如 $1 $和$ -1$ 是相关的）。为了避免混乱，作者使用了一个称为初等数的过滤器。这就像是将邮件分类到特定的收件箱中，以便你只查看每一组中的一个代表。这使得数学运算变得更加简洁。

解决方案：连接点滴

论文通过一个逻辑旅程来证明欧拉的猜想：

第一步：简单情况。 首先，作者展示了如果你选择一个“奇怪”的质数（具体来说，如果它除以 3 余 2），那么这个谜题总是可解的。这就像是一张免费通行证。
第二步：复杂情况。 真正的挑战在于当质数是“正常”的（除以 3 余 1）时。在这里，作者利用艾森斯坦整数和神奇的和来展示，该谜题的可解性完全取决于质数的形状。
第三步：形状变换。 利用这个新数字世界的性质，作者证明了如果谜题是可解的，那么质数 $p$ $p$ 必须能够被重新排列成 $C^2 + 27D^2$ 的形状。
- 类比： 这就像是在说：“如果你能打开这扇门，你的钥匙一定是由黄金制成的。”作者证明了如果门开了（方程有解），那么钥匙（质数）就必须具有 $C^2 + 27D^2$ 这种特定的形状。
第四步：反向证明。 他同时也证明了相反的情况：如果你有一个形状为 $C^2 + 27D^2$ 的质数，那么门将会打开。

结论

论文最后确认了欧拉数百年前的猜想。它告诉我们，三次方程 $x^3 \equiv 2 \pmod p$ 的可解性并非随机。它严格取决于质数 $p$ 是否可以写成一个平方与 27 倍另一个平方之和的形式。

简而言之：

谜题： 对于给定的质数， $x^3 = 2$ 是否有解？
线索： 观察质数的形状。
答案： 如果质数符合公式 $C^2 + 27D^2$ ，答案是是。如果它不符合，答案是否。

作者通过借鉴过去的工具（高斯的归纳法）、构建一个新的数学邻里（艾森斯坦整数），并使用复杂的“神奇之和”来揭示数字隐藏的几何结构，从而实现了这一目标。这是一个关于数学家如何搭建桥梁，从简单的算术跨越到复杂的代数，从而解决困扰了最伟大头脑数百年的谜题的故事。

技术摘要：2 的二次与三次特征

问题陈述
本文探讨了对于素数 $p \equiv 1 \pmod 3$ ，三次同余方程 $x^3 \equiv 2 \pmod p$ 的可解性问题。这种可解性被称为“2 的三次特征”。虽然 2 的二次特征（即 $x^2 \equiv 2 \pmod p$ 的可解性）是初等数论中的标准结果，但三次情形则需要代数数论的工具，特别是艾森斯坦整数理论和高阶互反律。本文旨在为欧拉关于 2 的三次特征的猜想提供证明，该猜想指出： $x^3 \equiv 2 \pmod p$ 有解，当且仅当 $p$ 可以表示为形式 $p = C^2 + 27D^2$ （其中 $C, D$ 为整数）。

方法论
本文采用了一种历史性与构造性相结合的方法，利用了以下数学框架：

历史背景与归纳： 作者首先回顾了高斯在《算术研究》（Disquisitiones Arithmeticae）中关于 2 的二次特征（定理 2）的归纳证明。这作为一种动机性的基础，说明了初等方法如何能够建立通常被保留给更高级处理方法的结论。
艾森斯坦整数 ( $\mathbb{Z}[\omega]$ )： 方法论的核心转向了艾森斯坦整数环，其中 $\omega = e^{2\pi i/3}$ 。本文确立了 $\mathbb{Z}[\omega]$ 是一个唯一分解整环（UFD）且是一个欧几里得整环。它定义了范数 $N(a+b\omega) = a^2 - ab + b^2$ ，并引入了“主数”（primary numbers，即满足 $\pi \equiv \pm 1 \pmod 3$ 的元素）来处理唯一分解问题。
高斯和与雅可比和： 本文定义了有限域 $\mathbb{F}_p$ 上的乘法特征，并构造了高斯和 ( $g(\chi)$ ) 和雅可比和 ( $J(\chi, \lambda)$ )。文中证明了基本性质，包括关系式 $J(\chi, \lambda) = g(\chi)g(\lambda)/g(\chi\lambda)$ ，以及对于 3 阶非平凡特征，其模长 $|J(\chi, \chi)| = \sqrt{p}$ 。
素数的表示： 利用雅可比和的性质，本文证明了对于 $p \equiv 1 \pmod 3$ ，存在整数 $a, b$ 使得 $p = a^2 - ab + b^2$ 。本文进一步通过展示存在唯一的整数 $A, B$ 使得 $4p = A^2 + 27B^2$ （定理 15）。
三次互反律： 关于 $\mathbb{Z}[\omega]$ 中主元素的三次互反律（定理 3）被给出。本文利用了三次剩余特征 $(\alpha/\pi)_3$ 以及性质 $(\alpha/\pi)_3 = \alpha^{(N\pi-1)/3} \pmod \pi$ 。

主要贡献与结果
本文通过将历史猜想与严谨证明相结合，建立了以下结果：

定理 4（主要结果）： 对于素数 $p \equiv 1 \pmod 3$ $p \equiv 1 (mod 3)$ ，同余方程 $x^3 \equiv 2 \pmod p$ $x^{3} \equiv 2 (mod p)$ 有解，当且仅当存在整数 $C$ $C$ 和 $D$ $D$ 使得 $p = C^2 + 27D^2$ $p = C^{2} + 27 D^{2}$ 。
- 证明策略： 证明过程将 $x^3 \equiv 2 \pmod \pi$ 的可解性（其中 $\pi$ 是范数为 $p$ 的 $\mathbb{Z}[\omega]$ 中的素元）与 $\pi$ 的奇偶性联系起来。通过引理 19，可解性要求 $\pi \equiv 1 \pmod 2$ 。这种奇偶性约束，结合表示式 $p = a^2 - ab + b^2$ 以及由雅可比和性质导出的条件 $b \equiv 0 \pmod 3$ ，迫使系数对齐，使得 $p$ 呈现出 $C^2 + 27D^2$ 的形式。
命题 18： 确立了若 $q \equiv 2 \pmod 3$ 是一个有理素数，则每个整数模 $q$ 都是三次剩余。因此，在这种情况下 $x^3 \equiv 2 \pmod q$ 总是可解的。
定理 15： 证明了若 $p \equiv 1 \pmod 3$ ，则存在唯一的整数 $A$ 和 $B$ （在正负号意义下唯一）使得 $4p = A^2 + 27B^2$ 。这种唯一性对于定理 4 的最终证明至关重要。
历史澄清： 本文澄清了贡献的时间线，指出虽然欧拉基于 $a^2 + 3b^2$ 的形式提出了猜想，且高斯在其遗作中提供了证明，但本文旨在阐明这些特定的历史细微差别，以及使用高斯和与雅可比和进行“初等”证明的性质。

意义与主张
本文声称其意义在于架起了初等数论与更复杂的代数数论机制之间的桥梁。

可及性： 它认为，尽管高阶互反律（三次、四次互反律）通常被视为需要高级代数数论，但其特殊情况（如 2 的特征）可以通过“一些额外的代数思想”，特别是高斯和与雅可比和来处理。
历史叙事： 本文强调了互反律丰富的历史，追溯了从费马、欧拉到高斯、雅可比及艾森斯坦的发展历程。它强调高斯对三次剩余的洞察依赖于虚数概念（艾森斯坦整数）的引入，而这一概念直到 1844 年艾森斯坦的工作才被充分实现。
教学价值： 作者指出，2 的二次特征证明（定理 2）在初等教材中很少涉及，同样，三次情形也经常被省略。本文提供了一个关于 2 的三次特征的自洽推导，其动力源于该领域的历史发展。

本文并未提出新的应用或未来的研究方向，而是侧重于为一经典猜想提供严谨且具有历史根据的证明，展示了高斯和与雅可比和的基本性质如何解决关于三次同余方程可解性的特定问题。

背景设定：“黄金定理”及其近亲

问题：谜题变得更难了

工具箱：构建一个新世界

解决方案：连接点滴

结论

技术摘要：2 的二次与三次特征

类似论文