[论文解读] An Elementary Obstruction to the Existence of a Perfect Cuboid

Stéphane Yelle|arXiv (Cornell University)|Jan 30, 2026

semigroups and automata theory被引用 0

一句话总结

该论文引入三角余项框架来研究将一个长方体的三个勾股面粘连在一起，并且显示在该框架内的刚性与柔性粘连策略会导致局部的结构性阻碍，表明此类循环构造不可能产生一个完美的长方体。

ABSTRACT

We study arithmetic constraints arising from the three faces meeting along the space diagonal of a rectangular cuboid. Using a propagation mechanism along this diagonal, based on the appearance of a minimal odd prime in certain triangular remainders, we derive strong structural restrictions on possible configurations. These constraints induce an infinite descent along the space diagonal, preventing the existence of a compatible integral structure. This approach provides an elementary obstruction to the existence of a perfect cuboid, relying only on divisibility and congruence arguments, and avoiding the use of Gaussian integers or classical quadratic factorizations.

研究动机与目标

• 为长方体的勾股面动机化并形式化统一坐标系（三角余项）。
• 研究在各种策略下，三个相邻的勾股面是否能在一个共同顶点处粘连。
• 在 r^2 = 2xy 恒等式下，边缘可兼容性所导致的结构性/算术阻碍。
• 评估在此框架内放宽刚性（缩放/可整除性）是否能够克服这些阻碍。

提出的方法

• 定义每个面的一组三角余项坐标（r, x, y），满足 r^2 = 2xy。
• 将每个面表示为（a, b, c） = (r + x, r + y, r + x + y)。
• 从三个面在共同顶点粘连推导边缘兼容性条件。
• 分析刚性循环粘连策略并证明在对称闭合下导致超定系统，出现不可能的关系（例如 r^2 = 2x^2）。
• 通过允许受控缩放或传播可整除性来探索柔性粘连并研究由此产生的下降论证。
• 得出结论：在三角余项框架内，刚性和柔性粘连策略都遇到局部阻碍。

实验结果

研究问题

• RQ1 三个相邻的勾股面能否在一个公共顶点处粘连以形成边长和面对角线均为有理数的长方体？
• RQ2 在使用三角余项坐标时，纯粹来自局部边兼容性会产生哪些阻碍？
• RQ3 是否通过允许缩放或可整除性传播解决阻碍，还是会引发下降导致不可能的结果？
• RQ4 是否需要超越循环粘连勾股面的本质不同的构造方法？

主要发现

• 三角余项恒等 r^2 = 2xy 对每个面施加约束并强制奇偶性限制（r 必须为偶数）。
• 刚性循环粘连导致超定系统，在对称闭合下产生不可能的关系 r^2 = 2x^2。
• 允许受控缩放会在循环中传播可整除性，由于 r^2 = 2xy 的齐次性，会诱导下降并阻止在非平凡整数解处稳定。
• 柔性粘连并未消除阻碍；它通过公因子传播将刚性转移到更低层次。
• 总体而言，在三角余项框架内基于粘连的构造在局部代数结构上本质受限，与全局对角条件无关。