[论文解读] On Heron Simplices and Integer Embedding

Jan Fricke|ArXiv.org|Dec 21, 2001

Mathematics and Applications参考文献 1被引用 6

一句话总结

本文研究了赫罗恩单纯形——即边长、面面积和体积均为整数的单纯形——将赫罗恩三角形的概念推广至高维空间。论文建立了赫罗恩四面体整数嵌入的判定准则，证明了其体积的可除性性质，并提出了关于整数格点嵌入的猜想，该猜想在二维已获证明，在三维通过计算验证。

ABSTRACT

In "Unsolved Problems in Number Theory" problem D22 Richard Guy asked for the existence of simplices with integer lengths, areas, volumes... In dimension two this is well known, these triangles are called Heron triangles. Here I will present my results on Heron tetrahedra, their connection to the existence of an integer box (problem D18), the tools for the search for higher dimensional Heron simplices and my nice embedding conjecture about Heron simplices, which I can only proof in dimension two, but I verified it for a large range in dimension three.

研究动机与目标

• 将赫罗恩三角形（边长与面积均为整数）的概念推广至高维单纯形，要求其边长、面面积与体积均为整数。
• 研究赫罗恩四面体的存在性及其结构性质，并探讨其与整数盒子问题（理查德·盖问题列表中的D18问题）的关联。
• 建立判断赫罗恩单纯形能否嵌入整数格点的准则，将二维已知结果推广至三维。
• 提出并检验关于赫罗恩单纯形整数格点嵌入的猜想，该猜想在二维已获证明，在三维通过计算验证。
• 基于代数与几何约束，构建系统化搜索高维赫罗恩单纯形的框架。

提出的方法

• 以三角形面积的赫罗恩公式（$A^2 = s(s-a)(s-b)(s-c)$）为基础，定义赫罗恩三角形，并将其推广至高维空间。
• 应用卡莱伊-梅辛特行列式计算四面体的平方体积，确保在特定条件下体积为有理数乃至整数。
• 运用模运算（模16、模9、模$2^{12}$、模$3^3$、模7）证明赫罗恩四面体的体积恒被$336 = 2^4 \cdot 3 \cdot 7$整除。
• 通过计算验证，测试三维空间中赫罗恩单纯形整数嵌入猜想，采用显式坐标嵌入方法。
• 根据几何对称性与边长模式，对特殊类型的赫罗恩四面体（如半正则、具有直角面、等腰面）进行分类。
• 采用有理数与整数坐标表示法，证明任意赫罗恩三角形均可嵌入$\mathbb{Z}^2$，并借助显式构造将该结论推广至三维。

实验结果

研究问题

• RQ1 赫罗恩单纯形（定义为边长、面面积与体积均为整数）是否可在二维与三维空间中嵌入整数格点？
• RQ2 边长与面面积为整数的四面体，其体积为整数的充要条件是什么？
• RQ3 赫罗恩四面体的体积具有何种可除性性质？这些性质能否通过代数或计算方法证明？
• RQ4 赫罗恩三角形在二维空间中可整数坐标嵌入的性质能否推广至三维赫罗恩四面体？若可，其条件为何？
• RQ5 如何系统化地生成与表征特殊类别的赫罗恩四面体（如半正则、具有直角面、等腰面）？

主要发现

• 任何赫罗恩四面体的体积恒被$336 = 2^4 \cdot 3 \cdot 7$整除，该结论通过模运算与计算验证得以证明。
• 任意赫罗恩三角形均可通过整数坐标嵌入$\mathbb{Z}^2$，且该性质对所有赫罗恩三角形均成立，已获证明。
• 论文对大量三维赫罗恩单纯形实例验证了整数嵌入猜想，尽管该猜想在一般情形下尚未获得证明。
• 当以锐角赫罗恩三角形为面且所得体积为整数时，半正则赫罗恩四面体存在，其构造基于对称边长配置。
• 已计算出多个赫罗恩四面体（包括具有直角面与等腰面的类型）的显式整数坐标嵌入，边长上限达10,000。
• 论文识别并列出了14个不同的赫罗恩四面体（排除倍数），边长上限为1000，所有实例均经验证具有整数嵌入与整数体积。