[论文解读] A parametrization of equilateral triangles having integer coordinates

Eugen J. Ionaşcu|ArXiv.org|Aug 2, 2006

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

一句话总结

本文对三维空间中具有整数坐标的正三角形进行了完整的参数化，证明其存在当且仅当边长形式为 $\sqrt{2(m^2 - mn + n^2)}$，其中 $m,n$ 为整数。进一步地，本文刻画了 $\mathbb{Z}^3$ 中的正四面体，证明其存在当且仅当边长为 $k\sqrt{2}$（$k \in \mathbb{N}$），并利用艾森斯坦-雅可比整数和法向量的丢番图约束，推导出一个参数化框架。

ABSTRACT

We study the existence of equilateral triangles of given side lengths and with integer coordinates in dimension three. We show that such a triangle exists if and only if their side lengths are of the form $\sqrt{2(m^2-mn+n^2)}$ for some integers $m,n$. We also show a similar characterization for the sides of a regular tetrahedron in $\Z^3$: such a tetrahedron exists if and only if the sides are of the form $k\sqrt{2}$, for some $k\in\N$. The classification of all the equilateral triangles in $\Z^3$ contained in a given plane is studied and the beginning analysis is presented. A more general parametrization is proven under a special assumption. Some related questions are stated in the end.

研究动机与目标

• 确定三维整数格点 $\mathbb{Z}^3$ 中正三角形存在的充要条件。
• 在仿射变换下对所有此类三角形进行分类，并推导其一般参数化形式。
• 将分析扩展至 $\mathbb{Z}^3$ 中的正四面体，刻画其边长与对称性。
• 探讨丢番图方程在约束包含此类三角形的平面法向量中的作用。
• 为计算有界整数格网（如 $\mathcal{E}\mathcal{T}(n)$）中此类三角形的数量提供基础。

提出的方法

• 推导出包含正三角形的平面的法向量 $\vec{n} = (a,b,c)$ 的必要条件：存在 $d \in \mathbb{Z}$ 使得 $a^2 + b^2 + c^2 = 3d^2$。
• 利用艾森斯坦-雅可比整数 $\zeta = m + n\omega$ 的范数 $N(\zeta) = m^2 - mn + n^2$，将边长参数化为 $\sqrt{2N(\zeta)}$。
• 应用有理正交变换与仿射变换，从基本构型生成所有此类三角形。
• 使用模运算和引理 6.2，证明在丢番图约束下参数坐标的整性。
• 在涉及参数 $r,s$ 的丢番图方程组解与整数坐标正三角形之间建立双射。
• 利用高斯对两个平方和的刻画，排除法向量方程在某些情况下的平凡解。

实验结果

研究问题

• RQ1 对于哪些边长 $l$，存在顶点位于 $\mathbb{Z}^3$ 的正三角形？
• RQ2 所有此类三角形的完整参数化形式为何（在仿射对称下）？
• RQ3 在 $\mathbb{Z}^3$ 中，顶点位于整数格点的正四面体在何种条件下存在？
• RQ4 包含此类三角形的平面的法向量如何受丢番图方程的约束？
• RQ5 能否利用所推导的参数化形式，高效计算 $\{0,1,\dots,n\}^3$ 中此类三角形的数量 $\mathcal{E}\mathcal{T}(n)$？

主要发现

• 三维整数格点 $\mathbb{Z}^3$ 中存在正三角形当且仅当其边长为 $\sqrt{2(m^2 - mn + n^2)}$，其中 $m,n$ 为整数。
• 顶点位于 $\mathbb{Z}^3$ 的正四面体存在当且仅当其棱长为 $k\sqrt{2}$，其中 $k \in \mathbb{N}$。
• 在保持原点固定的立方体对称性下，边长为 $9\sqrt{2}$ 且一个顶点在原点的正四面体恰好有三个。
• 任何此类正三角形所在平面的法向量必须满足 $a^2 + b^2 + c^2 = 3d^2$，其中 $a,b,c,d \in \mathbb{Z}$ 且 $\gcd(a,b,c)=1$。
• 三角形顶点的参数化完全由整数参数 $r,s$ 和法向量分量决定，且在所推导的丢番图条件下保证整性。
• 序列 $\mathcal{E}\mathcal{T}(n)$（表示 $\{0,1,\dots,n\}^3$ 中此类三角形的数量）是良定义的，其前几项为 $8, 80, 368, 1264, \dots$，已通过计算枚举得出 34 项。