[論文レビュー] Perfect Cuboid and Congruent Number Equation Solutions

Mamuka Meskhishvili|arXiv (Cornell University)|Nov 28, 2012

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

ひとこと要約

本稿は、非自明な有理数解を用いた合同数方程式 $y^2 = x^3 - N^2x$ を用いて、ほぼ完全な直方体（NPC）の完全なパラメータ表示を確立し、完全な直方体が存在するための必要十分条件が、そのような解から導かれる特定の有理式が有理数であることであることを示している。本研究ではNPCのための5つの完全なパラメータ表示を提供し、逆問題（与えられたNPCから、対応する合同数 $N$ とその解のペア $(X,Y)$, $(Z,W)$ を特定する問題）を解いている。

ABSTRACT

A perfect cuboid (PC) is a rectangular parallelepiped with rational sides $a,b,c$ whose face diagonals $d_{ab}$, $d_{bc}$, $d_{ac}$ and space (body) diagonal $d_s$ are rationals. The existence or otherwise of PC is a problem known since at least the time of Leonhard Euler. This research establishes equivalent conditions of PC by nontrivial rational solutions $(X,Y)$} and $(Z,W)$} of congruent number equation $ y^2=x^3-N^2x$, where product $XZ$ is a square. By using such pair of solutions five parametrizations of nearly-perfect cuboid (NPC) (only one face diagonal is irrational) and five equivalent conditions for PC were found. Each parametrization gives all possible NPC. For example, by using one of them -- invariant parametrization for sides and diagonals of NPC are obtained: $a=2XZN$, $b=|YW|$, $c=|X-Z|\sqrt{XZ}\,N$,$d_{bc}=|XZ-N^2|\sqrt{XZ}$, $d_{ac}=|X+Z|\sqrt{XZ}\,N$, $d_s=(XZ+N^2)\sqrt{XZ}$; and condition of the existence of PC is the rationality of $d_{ab} = \sqrt{Y^2W^2+4N^2X^2Z^2}$. Because each parametrization is complete, inverse problem is discussed. For given NPC is found corresponding congruent number equation (i.e. congruent number) and its solutions.

研究の動機と目的

• 完全な直方体の存在に相当する条件を、合同数方程式の有理数解を用いて確立すること。
• ほぼ完全な直方体（NPC）のための5つの完全なパラメータ表示を開発し、それらがすべての可能なNPCを生成することを保証すること。
• 逆問題を解くこと：与えられたNPCから、対応する合同数 $N$ および合同数方程式 $y^2 = x^3 - N^2x$ の有理数解のペア $(X,Y)$, $(Z,W)$ を特定すること。
• 完全な直方体の存在が、$XZ$ が完全平方である2組の解のペアから導かれる特定の式の有理数性に帰着されることを示すこと。

提案手法

• 単位円と単位双曲線の有理数パラメータ表示を用い、それぞれのパrameter変数 $\alpha_1, \beta_1, \gamma_1$ および $\alpha_2, \beta_2, \gamma_2$ を用いて、NPCの辺と対角線のパラメトリック表現を導出する。
• 完全な直方体問題をディオファントス方程式の系に変換し、有理数パrameterに依存する単一の式に簡略化する。
• NPCの辺と対角線を、合同数方程式 $y^2 = x^3 - N^2x$ の解 $(X,Y)$ および $(Z,W)$ を用いて表す不変パラメータ表示を導入し、$XZ$ が完全平方であるという条件を課す。
• 楕円曲線理論および合同数曲線上の有理点理論を応用して、NPCの解を生成・検証する。
• 既知のNPCの辺および対角線長から、$N$, $X/N$, $Z/N$ を回復するための公式を導出し、逆問題を解く。
• 具体的な数値例を用いて手法の妥当性を検証し、$a=672$, $b=153$, $c=104$, $d_s=697$ の場合、$N=34$ が得られ、複数の解のペアが確認された。

実験結果

リサーチクエスチョン

• RQ1 合同数方程式 $y^2 = x^3 - N^2x$ の有理数解 $(X,Y)$ および $(Z,W)$ が満たすべき条件は何か？ その条件下で完全な直方体が存在する。
• RQ2 すべてのほぼ完全な直方体は、合同数解に基づく完全な有理数パラメータ表示によって生成可能か？
• RQ3 与えられたほぼ完全な直方体から、対応する合同数 $N$ および解のペア $(X,Y)$, $(Z,W)$ を一意に再構成可能か？
• RQ4 NPCにおける欠落した面対角線が有理数であることを保証する正確な代数的条件は何か？ これが完全な直方体の存在に直結する。

主な発見

• 完全な直方体が存在するための必要十分条件は、$XZ$ が完全平方である有理数解 $(X,Y)$ および $(Z,W)$ に対して、$\sqrt{Y^2W^2 + 4N^2X^2Z^2}$ が有理数であることである。
• 5つの完全なNPCパラメータ表示が導出され、それぞれが合同数方程式の有理数解に基づいてすべての可能なNPCを生成する。
• 辺 $a=672$, $b=153$, $c=104$, 空間対角線 $d_s=697$ のNPCに対して、対応する合同数は $N=34$ であり、複数の解のペアによって確認された。
• 逆問題は完全に解決されている：与えられたNPCから、合同数 $N$ および有理数解の4組のペア $(X,Y)$, $(Z,W)$ が明示的な代数式によって一意に特定可能である。
• 本手法により、不変パラメータ表示および他の解のペアを用いても、$N=34$ が一貫して回復された。
• 追加の例から、同じNPCが異なる合同数方程式（例：$N_1=4305$, $N_2=1717170$）から生成可能であることが示され、関連する楕円曲線表現の多様性が明らかになった。