[论文解读] Parametric Solutions for a Nearly-Perfect Cuboid

Mamuka Meskhishvili|arXiv (Cornell University)|Feb 9, 2015

Coding theory and cryptography参考文献 6被引用 7

一句话总结

本文提出了三种近乎完美长方体（NPC）的有理一参量参数化方法，其中仅有一个面面对角线为无理数。通过利用涉及平方数的丢番图条件的有理解，作者推导出边长和对角线的显式多项式公式，为完美长方体的计算搜索提供了构造性基础。

ABSTRACT

We consider nearly-perfect cuboids (NPC), where the only irrational is one of the face diagonals. Obtained are three rational parametrizations for NPC with one parameter.

研究动机与目标

• 构建近乎完美长方体（NPC）的显式有理参数化方法，其中仅有一个面对角线为无理数。
• 通过单个有理参数系统性地生成NPC解，推进以往不完整或双参数量化的参数化方法。
• 通过推导使面对角线为有理数的条件，为计算机辅助搜索奠定基础。
• 探讨完美长方体问题与存在满足有理参数下三个平方条件的有理解之间的等价性。

提出的方法

• 推导恒等式 $(1 - T^2)(1 - (4T^3 - 3T)^2) = [(1 - T^2)(1 - 4T^2)]^2$ 的有理参数化，以生成NPC问题中两个平方条件的解。
• 使用代换 $T = \frac{t^2 + 3}{4t}$ 生成有理参数 $\xi$ 和 $\zeta$，满足 $\xi\zeta = \square$ 与 $(1 - \xi^2)(1 - \zeta^2) = \square$，其中 $\square$ 表示有理平方数。
• 应用先前工作中提出的三种不同生成系统，推导出三种不同的参数化方法（I、II、III），每种对应于无理面对角线的不同构型。
• 将参数化的有理参数 $\alpha$、$\beta$、$\gamma$ 转换为边长 $a$、$b$、$c$ 以及所有面对角线和空间对角线的显式多项式表达式。
• 推导出三个不同的单参数有理族NPC解，每个解中所有边长和对角线均为有理表达式，仅一个面对角线除外。
• 证明：若三个参数化表达式中任意一个 $d_{ab}^2$ 对某个非平凡有理数 $t$ 为有理平方数，则完美长方体存在。

实验结果

研究问题

• RQ1 能否为仅有一个面对角线为无理数的近乎完美长方体构造有理一参数族？
• RQ2 哪些代数恒等式和参数化方法可满足此类长方体存在所必需的平方条件？
• RQ3 如何将完美长方体的丢番图系统简化为便于计算搜索的有理参数化形式？
• RQ4 所推导的参数化是否覆盖所有可能的NPC解，还是存在遗漏的平方条件的有理解？

主要发现

• 构造了三种有理一参数参数化方法（I、II、III），用于仅有一个面对角线为无理数的近乎完美长方体，使用单个有理参数 $t \neq 0, \pm1, \pm3$。
• 第一种参数化给出 $a = 16t^2(t^4 - 9)$，$b = (t^4 - 10t^2 + 9)(t^4 + 2t^2 + 9)$，且当 $t$ 满足特定平方条件时，$d_{ab}^2 = [a]^2 + [b]^2$ 为有理数。
• 第二种参数化给出 $a = 16t^2(t^4 - 9)(t^4 - 2t^2 + 9)$，且在相同条件下 $d_{ab}^2$ 为有理数，该结果来自不同的生成系统。
• 第三种参数化产生 $a = (t^4 - 1)(t^4 - 81)$，且同样地，当对应表达式为有理平方数时，$d_{ab}^2$ 为有理数。
• 本文证明：完美长方体存在当且仅当三个参数化表达式中任意一个 $d_{ab}^2$ 对某个非平凡有理数 $t$ 为有理平方数。
• 这些参数化为计算机搜索提供了完整的代数框架：若找到任意这样的 $t$，则可确认存在完美长方体。