Catalan's conjecture is Mihăilescu's theorem

技术摘要：卡塔兰猜想即米海莱斯库定理

问题陈述
本文探讨了由欧仁·查尔斯·卡塔兰（Eugène Ch. Catalan）于1844年提出的卡塔兰猜想。该猜想断言，在自然数范围内，丢番图方程 $x^m - y^n = 1$（其中 $m, n \ge 2$ 且 $x, y > 0$）的唯一解为数对 $(x, y, m, n) = (3, 2, 2, 3)$，即 $3^2 - 2^3 = 1$。本文旨在为该猜想提供一个完整的、自洽的证明，该猜想已由普雷达·米海莱斯库（Preda Mihăilescu）于2004年证明。证明过程通过将指数还原为不同的奇素数 $p$ 和 $q$，从而将问题分为“初等部分”（其中一个指数为 2）和“非初等部分”（其中两个指数均 $\ge 3$），以此来处理该方程。

方法论与结构
本文是对米海莱斯库证明的全面阐述，并辅以代数数论所需的背景知识。其方法论分为三个不同的阶段：

1. 初等情况（第1–3章）： 作者解决了至少有一个指数为 2 的情况。

   • 第1章 ($x^2 - y^3 = 1$)： 提出了三种不同的初等解法：一种是利用椭圆曲线和有理点对欧拉 1737 年论证进行的现代完善；一种是作者（Klazar）在 1989 年利用分解和佩尔方程（Pell equation, $x^2 - 3y^2 = 1$）性质提出的解法；以及一种由 A. Wakulicz 提出的关于相关方程 $x^3 + y^3 = 2z^3$ 的解法。
   • 第2章 ($x^m - y^2 = 1$，其中奇数 $m \ge 3$)： 文中介绍了 V. Lebesgue 在 1850 年的证明，该证明依赖于高斯整数 $\mathbb{Z}[i]$ 的唯一分解整环（UFD）性质。作者通过证明欧几里得整域均为 UFD，从而严谨地确立了这一性质。
   • 第3章 ($x^2 - y^q = 1$，其中素数 $q \ge 5$)： 文中详细介绍了 Chao Ko 在 1965 年的证明，该证明利用了分圆域的性质以及关于方程中因子最大公约数的特定引理。

2. 整除关系（第4章）： 本文为假设的非平凡解 $x^p - y^q = 1$（其中 $p > q > 2$ 为不同素数）建立了两个关键的整除条件。作者遵循 John W. S. Cassels 的研究，证明了 $q \mid x$ 且 $p \mid y$。这些关系是利用初等数论和 $p$ 进阶（$p$-adic orders）的性质推导出来的。

3. 非初等情况（第5–8章）： 本节概述了米海莱斯库针对两个指数均为奇素数情况下的证明。

   • 第5章： 作者概述了从米海莱斯库提出的四个特定定理（M1–M4）逻辑推导出主定理的过程。这些定理确立了：
     • M0.95/M1： 超卡塞尔关系（Super-Cassels relations）（$p^2 \mid y$ 且 $q^2 \mid x$）以及双威费里赫条件（Double Wieferich conditions）（$pq^{-1} \equiv 1 \pmod{q^2}$ 且 $qp^{-1} \equiv 1 \pmod{p^2}$）。
     • M2： 一个同余条件（对于素数 $p, q \ge 7$，满足 $p \equiv 1 \pmod q$ 或 $q \equiv 1 \pmod p$）。
     • M3： 素数大小的界限（$p < 4q^2$ 且 $q < 4p^2$）。
     • M4： 排除其中一个素数为 3 或 5 的解。
   • 第6–8章： 这些章节提供了非初等证明所需的代数工具。它们引入了数域、整数环和分圆域。具体而言，第6章定义了“障碍群”（obstruction group），并确立了 $\mathbb{Q}(\zeta_3)$ 和 $\mathbb{Q}(\zeta_5)$ 的类数均为 1（这意味着它们的整数环是 UFD）。第7章概述了使用斯蒂克尔伯格理想（Stickelberger ideal）推导超卡塞尔关系的过程，第8章则处理涉及素数 3 和 5 的特定情况。

主要贡献与结果

• 自洽的证明： 本文的主要贡献在于提供了一个完整且自洽的卡塔兰猜想证明。作者指出，现有的相关书籍（例如 Ribenboim、Schoof、Bilu 等人的著作）并非自洽的，而是依赖于被视为理所当然的结果。本文填补了这些空白，特别是在初等部分以及米海莱斯库工作所需的代数基础方面。
• 多种解法： 本文针对 $x^2 - y^3 = 1$ 的情况提供了三种不同的证明，包括作者自己在 1989 年提出的初等解法以及欧拉论证的现代化版本。
• 严谨的基础： 本文明确证明了欧几里得整域均为 UFD，并将其应用于 $\mathbb{Z}[i]$ 以及分圆域 $\mathbb{Z}[\zeta_3]$ 和 $\mathbb{Z}[\zeta_5]$，确保了必要的代数性质是在文中建立而非直接假设。
• 逻辑综合： 本文将初等结果（第1–3章）与高级代数数论（第6–8章）相结合，以证明对于不同的奇素数不存在解，从而完成了对该猜想的证明。

意义
本文声称其作为一种教学和技术资源具有重要意义，因为它使米海莱斯库的证明变得易于理解。通过提供“完整且自洽的陈述”，其目标是使那些认为原始论文或其他专著过于简练或过度依赖外部引用的读者能够理解该证明。文中强调，虽然“初等”部分（指数等于 2）并不一定简单，但它与需要深厚代数数论工具的“非初等”部分是截然不同的。这项工作旨在验证普雷达·米海莱斯库 2004 年的证明，确认 8 和 9 确实是仅有的连续完全幂数。