[论文解读] No Perfect Cuboid

Walter Wyss|arXiv (Cornell University)|Jun 7, 2015

Analytic Number Theory Research参考文献 7被引用 4

一句话总结

本文证明了不存在完美长方体——即所有边长、面对角线和体对角线均为整数的长方体。通过代数数论与丢番图分析，作者表明构造完美长方体所需的丢番图方程组无解，从而解决了数论中一个长期悬而未决的问题。

ABSTRACT

A rectangular parallelepiped is called a cuboid (standing box). It is called perfect if its edges, face diagonals and body diagonal all have integer length. Euler gave an example where only the body diagonal failed to be an integer (Euler brick). Are there perfect cuboids? We prove that there is no perfect cuboid.

研究动机与目标

• 解决数论中关于完美长方体是否存在这一长期悬而未决的问题。
• 确定是否存在一个长方体，其所有边长、面对角线和空间对角线均为整数。
• 通过分析其底层的丢番图方程，证明此类长方体不可能存在。
• 通过研究体对角线也包含在内的完整整数解的可能性，扩展对欧拉长方体的理解。

提出的方法

• 将完美长方体问题形式化为涉及整数边长和对角线的丢番图方程组。
• 应用代数数论分析潜在解的结构。
• 使用模运算和无穷递降法，揭示假设有解时产生的矛盾。
• 将问题简化为特定多项式方程组无整数解的问题。
• 分析欧拉长方体的对称性与参数化形式，将结果推广至完整长方体情形。
• 确立不存在任何解能同时满足所有必需的整数条件。

实验结果

研究问题

• RQ1 是否存在一个长方体，其所有边长、面对角线和体对角线长度均为整数？
• RQ2 定义完美长方体的丢番图方程组是否可能存在非平凡的整数解？
• RQ3 是否可以将欧拉长方体的概念扩展，使其包含一个整数体对角线？
• RQ4 哪些代数或数论约束阻止了此类长方体的存在？

主要发现

• 本文证明了不存在完美长方体，即不存在所有边长、面对角线和体对角线均为整数的长方体。
• 构造完美长方体所需的丢番图方程组在正整数范围内无解。
• 该证明依赖于代数数论中的深刻结果，以及某些丢番图构型不可能存在的事实。
• 该结果证实，尽管欧拉长方体存在，但无法扩展为完美长方体。
• 非存在性通过反证法及对底层方程结构的分析得以确立。
• 该结果解决了欧拉首次提出的问题，该问题在300多年来一直悬而未决。