[论文解读] On two algebraic parametrizations for rational solutions of the cuboid equations

John Ramsden, Руслан Шарипов|arXiv (Cornell University)|Aug 13, 2012

Mathematics and Applications参考文献 35被引用 9

一句话总结

本文提出两种用于有理数解的完全四面体方程的代数参数化方法，使用两个有理参数 $ b $ 和 $ c $。它推导出边长 $ x_1, x_2, x_3 $ 和面对角线 $ d_1, d_2, d_3 $ 关于 $ b $、$ c $ 以及一个辅助代数函数 $ w $ 的显式有理表达式，其中 $ w $ 满足一个六次方程。其主要贡献在于构建了一个完整的代数框架，用于参数化潜在的有理完全四面体解，将问题简化为在有理数范围内求解一个六次方程。

ABSTRACT

A rational perfect cuboid is a rectangular parallelepiped whose edges and face diagonals are given by rational numbers and whose space diagonal is equal to unity. Its existence is equivalent to the existence of a perfect cuboid with all integer edges and diagonals. Finding such a cuboid or proving its non-existence is an old unsolved problem. Recently, based on a symmetry approach, the equations of a perfect cuboid were transformed to factor equations. The factor equations turned out to be solvable and, being solved, have led to a pair of inverse problems. Our efforts in the present paper are toward solving these inverse problems. Algebraic parametrizations for their solutions using algebraic functions of two rational arguments are found.

研究动机与目标

• 开发用于完全四面体方程有理解的显式代数参数化方法，使用两个有理参数 $ b $ 和 $ c $。
• 推导出边长 $ x_1, x_2, x_3 $ 和面对角线 $ d_1, d_2, d_3 $ 关于 $ b $、$ c $ 和辅助代数函数 $ w $ 的表达式。
• 将寻找有理完全四面体解的逆问题简化为在有理数范围内求解一个六次方程。
• 通过代数函数关系和符号计算，提供系统化的框架以检验有理完全四面体的存在性。
• 识别并分类所推导参数化中的奇点，包括此前未研究过的新奇点。

提出的方法

• 利用先前研究中的公式，推导出初等对称和 $ E_{10}, E_{20}, E_{30}, E_{01}, E_{02}, E_{03}, E_{11}, E_{12}, E_{21} $ 的对称多项式表达式，作为两个参数 $ b $ 和 $ c $ 的有理函数。
• 引入一个辅助代数函数 $ w = w_1(b,c) $ 和 $ w = w_2(b,c) $，每个均满足一个六次方程（公式 (3.1) 和 (4.1)），该方程由四面体因式分解方程导出。
• 将面对角线 $ d_1, d_2, d_3 $ 表示为 $ b $、$ c $ 和 $ w $ 的有理函数，给出显式但极其复杂的公式（每个超过100项），以机器可读形式列于附录2中。
• 利用由对称和 $ E_{10}, E_{11}, E_{12} $ 构成的线性系统，将边长 $ x_1, x_2, x_3 $ 表示为 $ b $、$ c $ 和 $ w $ 的有理函数，其公式每项均超过800项。
• 理论上和计算上验证所推导的 $ d_1, d_2, d_3 $ 满足三次方程 $ d^3 - E_{01}d^2 + E_{02}d - E_{03} = 0 $ 和恒等式 $ d_1^2 + d_2^2 + d_3^2 = 2 $。
• 对随机有理对 $ (b,c) $ 数值测试参数化的自洽性，确认 $ x_i $ 和 $ d_i $ 满足原始四面体方程和辅助恒等式。

实验结果

研究问题

• RQ1 能否仅使用两个有理参数 $ b $ 和 $ c $ 构造出完全四面体方程有理解的完整代数参数化？
• RQ2 辅助代数函数 $ w $ 的结构是什么？两个不同的参数化 $ w_1(b,c) $ 和 $ w_2(b,c) $ 之间有何关系？
• RQ3 作为 $ b $、$ c $ 和 $ w $ 的有理函数所推导出的 $ x_1, x_2, x_3 $ 和 $ d_1, d_2, d_3 $ 的表达式是否满足原始四面体方程和对称恒等式？
• RQ4 参数化公式中的奇点是新的还是已知的？其代数和几何意义为何？
• RQ5 有理完全四面体的存在性能否简化为在有理数范围内求解一个六次方程？此类解的自由度是多少？

主要发现

• 构建了两种不同的有理完全四面体方程解的代数参数化方法，每种均依赖于两个有理参数 $ b $ 和 $ c $，以及一个辅助代数函数 $ w $。
• 辅助函数 $ w $ 满足一个六次方程（公式 (3.1) 或 (4.1)），完整解表示为 $ b $、$ c $ 和 $ w $ 的有理函数，其中面对角线 $ d_1, d_2, d_3 $ 的表达式每项均超过100项。
• 边长变量 $ x_1, x_2, x_3 $ 作为 $ b $、$ c $ 和 $ w $ 的有理函数推导得出，每项公式超过800项，并验证其满足三次方程 $ x^3 - E_{10}x^2 + E_{20}x - E_{30} = 0 $。
• 所推导的表达式在理论上和计算上均满足恒等式 $ d_1^2 + d_2^2 + d_3^2 = 2 $，确认其与四面体几何的一致性。
• 该参数化框架将寻找有理完全四面体的问题简化为在有理数范围内求解一个六次方程，两种参数化的总次数分别为42和40。
• 本文识别出参数化公式中新的奇点，与此前研究的奇点不同，并建议未来工作需进一步研究其性质。