[論文レビュー] Gauss Integers and Diophantine Figures

Stancho Dimiev, Krassimir Markov|ArXiv.org|Mar 7, 2002

Algebraic Geometry and Number Theory参考文献 3被引用数 7

ひとこと要約

本稿はガウス整数（Z[i]）を用いてディオファントス図形を調査し、偶奇性、単元、因数分解などの算術的・幾何的性質を確立する。ピタゴラス数の組からディオファントス三角形や図形を構成するための枠組みを導入し、与えられた直角辺nをもつピタゴラス三角形の数が、nの任意の正のべきよりも遅い速度で増加することを証明する。また、ディオファントスピラミッド、ハミルトニアン整数、ディオファントスカーペットの彩色に関する未解決問題を提示する。

ABSTRACT

In this paper Gauss integers are used for to develop some geometry of full Erdoes graphs which vertics are points with integer coordinates. These graphs are called Diophantine figures.

研究の動機と目的

• ガウス整数環 Z[i] を用いたディオファントス図形の幾何学的・数論的枠組みを構築すること。
• 実部および虚部の偶奇性、および (1+i) を法とする算術を用いて、偶数・奇数ガウス整数を特徴付けること。
• ガウス整数の算術的性質、すなわち単元、同伴、ノルムに基づく因数分解を分析すること。
• 与えられた直角辺nをもつピタゴラス三角形の数を研究し、その増加率が非多項式的であることを確立すること。
• ディオファントスピラミッド、ハミルトニアン整数、ディオファントスカーペットの彩色に関する未解決問題を提示すること。

提案手法

• ディオファントス幾何の代数的基盤としてガウス整数環 Z[i] を用い、そのユークリッドノルム N(α) = n² + m² を活用する。
• 実部および虚部の偶奇性に基づいて、偶数・奇数ガウス整数を定義し、(1+i) を法とする合同式と同値であることを示す。
• フェルマーの二平方定理を応用し、素数ガウス整数を分類し、4で割って1余る素数が Z[i] で分解することを示す。
• 関数 κ(n) を導入し、原始ピタゴラス数の組における除数和を用いて、直角辺nをもつピタゴラス三角形の数を数える。
• プラハルの数論的評価を用い、δ(n) < exp{(1+ρ)ln2 ln n / ln ln n} を示し、これにより κ(n) = O(n^ε) を得る。
• ピタゴラス数の組のパrametrization s,t を用いて、特定の条件下でのガウス整数の平方根の閉じた表現を導出する。

実験結果

リサーチクエスチョン

• RQ1 l → ∞ のとき、斜辺がlであるピタゴラス三角形の数 χ(l) の漸近的挙動はいかなるものか？
• RQ2 ディオファントス三角形 ABC が与えられたとき、平面におけるディオファントス点 D が存在し、ABCD がディオファントス図形をなすか？
• RQ3 すべての辺の長さが自然数であり、3つの面がピタゴラス三角形であるような、整数座標の頂点をもつピタゴラス的ディオファントスピラミッドは存在するか？
• RQ4 四元数 q = n + im + jr + ks (n,m,r,s ∈ Z) に対して、ガウス整数算術と類似した理論を構築できるか？
• RQ5 ディオファントスカーペットの彩色数は何か？また、この文脈において彩色問題を体系的に分析できるか？

主な発見

• 与えられた直角辺nをもつピタゴラス三角形の数 κ(n) は、任意の ε > 0 に対して κ(n) = O(n^ε) を満たす。
• κ(n) の増加率は非多項式的であり、任意の ε > 0 に対して lim_{n→∞} κ(n)/n^ε = 0 が成り立つ。
• 偶数ガウス整数は n ≡ m (mod 2) で特徴付けられ、α ≡ 0 (mod 1+i) を満たす。奇数ガウス整数は α ≡ 1 (mod 1+i) を満たす。
• ノルム N(α) が偶数であることは、α が Z[i] で偶数であることと同値であり、奇数であることは α が奇数であることと同値である。
• ガウス整数 α = n + im が (n,m,l) でピタゴラス数の組をなす（l = √(n² + m²)）とき、その平方根は閉形式で表せる。
• 関数 κ(n) は非多項式的関数によって上から抑えられ、その上限は除数関数の推定と公式 κ(n) = ∑_{d|n} η(d) から導出される。