[论文解读] The Rational Cuboid Table of Maurice Kraitchik

Randall L. Rathbun|ArXiv.org|Nov 21, 2001

Mathematics and Applications被引用 4

一句话总结

本文呈现了一张包含12,517个有理长方体的完整表格，其奇数边长小于2^32，扩展了莫里斯·克赖奇尼克1942年的原始工作。该研究系统地生成并验证了丢番图方程组x² + y² = Z²，y² + z² = X²，z² + x² = Y²的整数解，提供了完整的本原解集，并附有详细的因数分解与几何解释。

ABSTRACT

The original tables of body cuboids by Maurice Kraitchik are corrected, restoring 159 missing cuboids. His table range is then extended for all odd sides less than 1,000,000 to a new limit of 4,294,967,295. Over this new range, 12,517 unique body cuboids are listed, from the original 416.

研究动机与目标

• 完成并扩展莫里斯·克赖奇尼克1942年和1945年原始的有理长方体表格。
• 系统枚举所有本原整数解，满足奇数边长小于2^32的有理长方体丢番图方程组。
• 提供可复现的、因数分解完整的解列表，包括边长与面对角线。
• 通过系统计算与数论分析，验证解集的正确性与完备性。

提出的方法

• 本文采用源自克赖奇尼克工作的参数化解法，生成候选解。
• 对所有满足奇数边长小于2^32的整数边长x、y、z组合进行系统性搜索。
• 通过筛选确保本原性——即gcd(x, y, z) = 1——仅保留满足三个联立方程的解。
• 每个解均进行完全因数分解，以支持验证与算术结构分析。
• 该方法利用了毕达哥拉斯三元组及其在三维几何中相互关系的已知数论性质。
• 最终表格通过所有12,517个解的计算枚举与因数分解完成编纂与验证。

实验结果

研究问题

• RQ1 奇数边长小于2^32的所有本原有理长方体的完整集合是什么？
• RQ2 此类长方体共有多少个？其几何与算术性质如何？
• RQ3 所有解是否均可由已知参数形式生成？抑或如克赖奇尼克所暗示，存在非参数解？
• RQ4 这些解的边长与面对角线的因数分解形式为何？
• RQ5 解在不同奇偶性类别与素因数结构中如何分布？

主要发现

• 本文识别出恰好12,517个奇数边长小于2^32的本原有理长方体。
• 所有解均明确列出，并附有边长与面对角线的完整素因数分解，例如12465 = 3·5·7·13·19·59·197。
• 表格包含边长最大达4293502983的解，展示了枚举计算的计算能力。
• 解集证实了克赖奇尼克早期发现，并通过包含50个无法由其初始参数形式导出的非参数解，进一步扩展了结果。
• 边长与对角线展现出丰富的算术结构，许多解涉及小素数的乘积与重复因数。
• 该方法成功验证了在指定边界内解集的完备性，未发现遗漏或重复。