[论文解读] Perfect Cuboid and Congruent Number Equation Solutions

Mamuka Meskhishvili|arXiv (Cornell University)|Nov 28, 2012

Mathematics and Applications参考文献 5被引用 4

一句话总结

本文通过非平凡有理数解 $y^2 = x^3 - N^2x$ 的同余数方程，建立了近乎完美长方体（NPC）的完整参数化，表明当且仅当由此类解导出的特定有理表达式为有理数时，完美长方体才存在。该工作提供了五种NPC的完整参数化，并解决了逆问题：给定一个NPC，可唯一确定其对应的同余数 $N$ 及其解对 $(X,Y)$, $(Z,W)$。

ABSTRACT

A perfect cuboid (PC) is a rectangular parallelepiped with rational sides $a,b,c$ whose face diagonals $d_{ab}$, $d_{bc}$, $d_{ac}$ and space (body) diagonal $d_s$ are rationals. The existence or otherwise of PC is a problem known since at least the time of Leonhard Euler. This research establishes equivalent conditions of PC by nontrivial rational solutions $(X,Y)$} and $(Z,W)$} of congruent number equation $ y^2=x^3-N^2x$, where product $XZ$ is a square. By using such pair of solutions five parametrizations of nearly-perfect cuboid (NPC) (only one face diagonal is irrational) and five equivalent conditions for PC were found. Each parametrization gives all possible NPC. For example, by using one of them -- invariant parametrization for sides and diagonals of NPC are obtained: $a=2XZN$, $b=|YW|$, $c=|X-Z|\sqrt{XZ}\,N$,$d_{bc}=|XZ-N^2|\sqrt{XZ}$, $d_{ac}=|X+Z|\sqrt{XZ}\,N$, $d_s=(XZ+N^2)\sqrt{XZ}$; and condition of the existence of PC is the rationality of $d_{ab} = \sqrt{Y^2W^2+4N^2X^2Z^2}$. Because each parametrization is complete, inverse problem is discussed. For given NPC is found corresponding congruent number equation (i.e. congruent number) and its solutions.

研究动机与目标

• 通过同余数方程的有理数解，建立完美长方体存在的等价条件。
• 为近乎完美长方体（NPC）开发五种完整的参数化，每种均能生成所有可能的NPC。
• 解决逆问题：给定一个NPC，确定其对应的同余数 $N$ 及其关联的有理数解对 $(X,Y)$, $(Z,W)$ 到同余数方程。
• 证明完美长方体的存在性可归结为由两组此类解对导出的特定表达式的有理性，其中 $XZ$ 为完全平方数。

提出的方法

• 利用单位圆和单位双曲线的有理参数化，分别以有理变量 $\alpha_1, \beta_1, \gamma_1$ 和 $\alpha_2, \beta_2, \gamma_2$ 推导NPC边长与对角线的参数表达式。
• 将完美长方体问题转化为一个丢番图方程组，最终简化为一个涉及有理参数的单一方程。
• 引入一种不变参数化方法，将NPC的边长与对角线表示为同余数方程 $y^2 = x^3 - N^2x$ 的解 $(X,Y)$ 与 $(Z,W)$ 的函数，条件是 $XZ$ 为完全平方数。
• 应用椭圆曲线理论及同余数曲线上的有理点理论，生成并验证NPC解。
• 通过推导公式，从已知的NPC边长与对角线长度恢复 $N$、$X/N$ 与 $Z/N$，从而解决逆问题。
• 通过显式数值示例验证该方法，包括 $a=672$、$b=153$、$c=104$、$d_s=697$，得到 $N=34$ 及多组解对。

实验结果

研究问题

• RQ1 在同余数方程 $y^2 = x^3 - N^2x$ 的有理数解对 $(X,Y)$ 与 $(Z,W)$ 满足何种条件下，完美长方体存在？
• RQ2 所有近乎完美长方体是否均可通过基于同余数解的完整有理参数化生成？
• RQ3 给定一个近乎完美长方体，其对应的同余数 $N$ 及解对 $(X,Y)$、$(Z,W)$ 是否可唯一重构？
• RQ4 决定NPC中缺失的面面对角线为有理数的精确代数条件是什么，从而构成完美长方体？

主要发现

• 当且仅当表达式 $\sqrt{Y^2W^2 + 4N^2X^2Z^2}$ 为有理数时，完美长方体存在，其中 $(X,Y)$ 与 $(Z,W)$ 是 $y^2 = x^3 - N^2x$ 的有理数解，且 $XZ$ 为完全平方数。
• 推导出五种近乎完美长方体的完整参数化，每种均通过同余数方程的有理数解生成所有可能的NPC。
• 对于边长为 $a=672$、$b=153$、$c=104$，空间对角线为 $d_s=697$ 的NPC，其对应的同余数为 $N=34$，由多组解对验证。
• 逆问题已完全解决：给定一个NPC，可通过显式代数公式唯一确定同余数 $N$ 及四组有理数解对 $(X,Y)$、$(Z,W)$。
• 该方法成功从NPC中恢复出 $N=34$，无论使用不变参数化还是其他解对，均在不同参数化分支间保持一致。
• 额外示例表明，同一NPC可由不同同余数方程生成（如 $N_1=4305$、$N_2=1717170$），证明了底层椭圆曲线表示的多重性。