[论文解读] A characterization of regular tetrahedra in Z^3

Eugen J. Ionaşcu|ArXiv.org|Dec 23, 2007

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

一句话总结

本文通过证明所有在 ℤ³ 中的正四面体的边长必为 m√2 的形式（其中 m ∈ ℕ），并利用满足 a² + b² + c² = 3d² 且相互正交的面法向量的丢番图方程的整数解，对这些四面体进行了完整的代数参数化。其主要贡献是通过具有特定整数法向量的平面上的正三角形格点，实现了对这类四面体的构造性分类。

ABSTRACT

In this note we characterize all regular tetrahedra whose vertices in R^3 have integer coordinates. The main result is a consequence of the characterization of all equilateral triangles having integer coordinates contained in previous work. Then we use this characterization to point out some corollaries. The number of such tetrahedra whose vertices are in the finite set {0,1,2,...,n}^3, n in N, is related to the sequence A103158 in the Online Encyclopedia of Integer Sequences.

研究动机与目标

• 对所有顶点坐标为整数的 ℤ³ 中正四面体进行表征。
• 确定四个点构成正四面体的整数坐标之必要且充分条件。
• 利用满足 a² + b² + c² = 3d² 的整数法向量平面中的正三角形格点，建立此类四面体的参数化表示。
• 将 {0,1,...,n}³ 中此类四面体的数量与 OEIS 序列 A103158 关联起来。

提出的方法

• 将问题简化为求解一组丢番图方程，以确保所有边长相等。
• 利用平移不变性，将一个顶点固定在原点，从而将系统简化为仅关注从原点出发的三个向量。
• 应用已知的关于原点处正三角形在 ℤ³ 中的表征方法，使用满足 a² + b² + c² = 3d² 的法向量 (a,b,c) 的平面。
• 采用先前工作（定理 1.1）中的参数化方法，生成此类平面上的整数坐标正三角形。
• 推导出正四面体四个面法向量 (ai,bi,ci) 的必要且充分条件，要求 ai² + bi² + ci² = 3di²，且对任意 i < j，满足 ai aj + bi bj + ci cj + di dj = 0。
• 通过重心、中线及余弦定理的几何与代数论证，推导出法向量之间的正交性条件。

实验结果

研究问题

• RQ1 四个点在 ℤ³ 中构成正四面体的必要且充分条件是什么？
• RQ2 哪些整数向量 (a,b,c) 可以作为 ℤ³ 中正四面体的面法向量？
• RQ3 如何利用整数参数和丢番图约束，对所有此类四面体进行参数化？
• RQ4 此类四面体的边长与方程 a² + b² + c² = 3d² 的整数解之间有何关系？
• RQ5 在立方体 {0,1,...,n}³ 中，此类四面体的数量如何随 n 增长？其与 OEIS A103158 的关系是什么？

主要发现

• 所有在 ℤ³ 中的正四面体的边长均为 m√2 的形式，其中 m ∈ ℕ。
• 当且仅当其四个面法向量 (ai,bi,ci) 满足 ai² + bi² + ci² = 3di²，且对所有 i < j 有 ai aj + bi bj + ci cj + di dj = 0 时，ℤ³ 中存在正四面体。
• 顶点位于 {0,1,...,n}³ 中的此类四面体的数量由 OEIS 序列 A103158 给出。
• 对每个奇数 d > 1，方程组 a² + b² + c² = 3d²，a′² + b′² + c′² = 3d²，aa′ + bb′ + cc′ = -d² 存在非平凡整数解。
• 通过满足 a² + b² + c² = 3d² 且 gcd(a,b,c) = 1 的整数参数 m,n 和 (a,b,c,d) 的有理函数，完全表征了原点处正三角形在 ℤ³ 中的参数化。
• 所有此类四面体的集合是 m ∈ ℕ 的集合 Tm 的不交并，其中 Tm 包含所有边长为 m√2 且坐标为整数的正四面体。