[论文解读] Fermat's Four Squares Theorem

Alf van der Poorten|ArXiv.org|Dec 22, 2007

History and Theory of Mathematics参考文献 3被引用 3

一句话总结

本文提供了费马四平方定理的直接下降法证明，表明不存在四个不同的有理数平方构成等差数列。通过将问题约化为一组丢番图方程并应用无穷递降法，作者证明了此类等差数列仅在平凡情况下可能存在，从而提供了一个自包含且构造性的论证，澄清了历史上模糊的结果。

ABSTRACT

It is easy to find a right-angled triangle with integer sides whose area is 6. There is no such triangle with area 5, but there is one with rational sides (a `\emph{Pythagorean triangle}'). For historical reasons, integers such as 6 or 5 that are (the squarefree part of) the area of some Pythagorean triangle are called `\emph{congruent numbers}'. These numbers actually are interesting for the following reason: Notice the sequence $\frac14$, $6\frac14$, $12\frac14$. It is an arithmetic progression with common difference 6, consisting of squares $(\frac12)^2$, $(\frac52)^2$, $(\frac72)^2$ of rational numbers. Indeed the common difference of three rational squares in AP is a congruent number and every congruent number is the common difference of three rational squares in arithmetic progression. The triangle given by $9^{2}+40^{2}=41^{2}$ has area $180=5\cdot6^{2}$ and the numbers $x-5$, $x$ and $x+5$ all are rational squares if $x=11{97/144}$. Recall one obtains all Pythagorean triangles with relatively prime integer sides by taking $x=4uv$, $y=\pm(4u^{2}-v^{2})$, $z=4u^{2}+v^{2}$ where $u$ and $v$ are integers with $2u$ and $v$ relatively prime. Fermat proved that there is no AP of more than three squares of rationals.

研究动机与目标

• 通过无穷递降法，提供费马四平方定理的自包含且初等的证明。
• 解决文献中长期存在的关于四个有理数平方是否能构成等差数列的模糊性问题。
• 阐明此类等差数列与毕达哥拉斯三元组、同余数以及椭圆曲线之间的联系。
• 提供一种构造性的下降论证，避免依赖先前文献中晦涩或缺乏洞察力的证明。

提出的方法

• 从四个有理数平方构成的等差数列出发，通过缩放将其转化为公差被4整除的整数平方。
• 假设这些平方两两互素且为奇数，从而导出涉及 x² - 4n²、x² - 36n² 和 x² - 20n² 的丢番图方程。
• 利用恒等式 (x² - 20n²)² + (16n²)² = y² 构造一个毕达哥拉斯三元组，并通过整数 u 和 v 进行参数化。
• 利用参数化关系 4uv = 16n² 和 4u² + v² = x² - 20n²，推导出 u = 4A² 和 v = D²（A 和 D 为整数）。
• 证明 16A² + D² 和 4A² + D² 必须同时为完全平方数，从而通过 A 的因数分解实现进一步的递降。
• 利用因式分解 UV = U'V' 建立新的递降链，导出更小的解，从而证明非平凡情况下的不可能性。

实验结果

研究问题

• RQ1 是否存在非平凡的、由四个不同有理数平方构成的等差数列？若不存在，原因是什么？
• RQ2 证明费马四平方定理的正确且初等的下降法论证是什么？
• RQ3 四个有理数平方构成的等差数列与毕达哥拉斯三元组及同余数之间有何关系？
• RQ4 为何先前的此类证明显得‘缺乏灵魂’或难以理解？如何构建一种更自然的下降法？
• RQ5 椭圆曲线 y² = x(x+1)(x+4) 在与该问题相关的有理点结构中扮演何种角色？

主要发现

• 除所有平方相等的平凡情况外，不存在四个不同的有理数平方构成等差数列。
• 此类等差数列的存在性等价于椭圆曲线 y² = x(x+1)(x+4) 上存在非平凡有理点，而该曲线实际上无非平凡有理点。
• 下降论证将任何假设解递降为更小的解，从而通过无穷递降法证明其不可能性。
• 关键恒等式 (x² - 20n²)² + (16n²)² = y² 导出一个毕达哥拉斯三元组，从而实现参数化与递降。
• 递降过程依赖于将 A 分解为整数 a、b、c、d，使得 4a² + d² 和 16a² + d² 同时为平方数，从而导出更小的解。
• 平凡解 (1,1,1,1) 是唯一解，且在此情况下递降无法继续，从而确认了定理的边界条件。