[論文レビュー] A characterization of regular tetrahedra in Z^3

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

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

ひとこと要約

この論文は、ℤ³ に頂点を持つ正四面体を特徴づけ、それらがすべて m√2 の形をした辺長を持つ必要があり、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 とどのように関係するかを明らかにすること。

提案手法

• すべての辺の長さが等しくなるようにするためのディオファントス方程式系への問題の還元。
• 原点に1つの頂点を固定する平行移動不変性を用い、原点からの3つのベクトルに注目するようにシステムを単純化。
• 原点に1つの頂点を持つ ℤ³ 内の正三角形の既知の特徴づけを適用し、a² + b² + c² = 3d² を満たす法線ベクトル (a,b,c) を持つ平面を用いる。
• 先行研究（定理 1.1）のパラメータ表示を用いて、そのような平面内に整数座標を持つ正三角形を生成。
• 正四面体の4つの面法線 (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 ∈ ℕ に対して m√2 の形をした辺長を持つ。
• ℤ³ 内の正四面体が存在するための必要十分条件は、その4つの面法線 (ai,bi,ci) がすべての i < j に対して ai² + bi² + ci² = 3di² および 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² を満たす非自明な整数解が存在する。
• 原点に1つの頂点を持つ ℤ³ 内の正三角形のパラメータ表示は、整数パラメータ m,n および a² + b² + c² = 3d² を満たし、gcd(a,b,c) = 1 を満たす (a,b,c,d) の有理関数を用いて完全に特徴づけられる。
• このような四面体の集合は、すべての m ∈ ℕ に対する集合 Tm の互いに素な和集合である。ここで Tm は、辺長が m√2 で整数座標を持つすべての正四面体からなる。