[論文レビュー] On two algebraic parametrizations for rational solutions of the cuboid equations

John Ramsden, Руслан Шарипов|arXiv (Cornell University)|Aug 13, 2012

Mathematics and Applications参考文献 35被引用数 9

ひとこと要約

本稿では、2つの有理数パラメータ $ b $ と $ c $ を用いて、完全立方体方程式の有理数解を2通りの代数的パラメータ表示で提示する。$ b $, $ c $ および補助代数関数 $ w $ を用いて、辺 $ x_1, x_2, x_3 $ と面対角線 $ d_1, d_2, d_3 $ の明示的な有理関数表現を導出する。$ w $ は6次方程式を満たす。主たる貢献は、潜在的な有理数完全立方体解をパラメータ表示する包括的な代数的枠組みを提供し、問題を有理数における6次方程式の解法に還元することにある。

ABSTRACT

A rational perfect cuboid is a rectangular parallelepiped whose edges and face diagonals are given by rational numbers and whose space diagonal is equal to unity. Its existence is equivalent to the existence of a perfect cuboid with all integer edges and diagonals. Finding such a cuboid or proving its non-existence is an old unsolved problem. Recently, based on a symmetry approach, the equations of a perfect cuboid were transformed to factor equations. The factor equations turned out to be solvable and, being solved, have led to a pair of inverse problems. Our efforts in the present paper are toward solving these inverse problems. Algebraic parametrizations for their solutions using algebraic functions of two rational arguments are found.

研究の動機と目的

• 2つの有理数パラメータ $ b $ と $ c $ を用いて、完全立方体方程式の有理数解の明示的代数的パラメータ表示を構築すること。
• 辺 $ x_1, x_2, x_3 $ および面対角線 $ d_1, d_2, d_3 $ を $ b $, $ c $, および補助代数関数 $ w $ の有理関数として表現すること。
• 有理数完全立方体解を求める逆問題を、有理数における6次方程式の解法に還元すること。
• 代数的関数関係と記号計算を用いた、有理数完全立方体の存在を体系的にテストする枠組みを提供すること。
• 導出されたパラメータ表示における特異点を特定・分類し、これまでに研究されていなかった新しい特異点を同定すること。

提案手法

• 先行研究の公式を用いて、基本対称和 $ E_{10}, E_{20}, E_{30}, E_{01}, E_{02}, E_{03}, E_{11}, E_{12}, E_{21} $ の対称多項式表現を、2つのパラメータ $ b $ と $ c $ の有理関数として導出する。
• 補助代数関数 $ w = w_1(b,c) $ および $ w = w_2(b,c) $ を導入し、それぞれが立方体因数方程式から導かれる6次方程式（3.1および4.1）を満たすことを示す。
• 面対角線 $ d_1, d_2, d_3 $ を $ b $, $ c $, $ w $ の有理関数として表現し、各々100項を超える非常に複雑な式を明示的に得る。これらの式は付録2で機械可読形式で提供されている。
• 対称和 $ E_{10}, E_{11}, E_{12} $ からなる線形系を用いて、辺 $ x_1, x_2, x_3 $ を $ b $, $ c $, $ w $ の有理関数として解き、各々800項を超える式を得る。
• 導出された $ d_1, d_2, d_3 $ が立方体方程式 $ d^3 - E_{01}d^2 + E_{02}d - E_{03} = 0 $ および恒等式 $ d_1^2 + d_2^2 + d_3^2 = 2 $ を理論的にも計算的にも満たすことを検証する。
• ランダムな有理数対 $ (b,c) $ を用いた数値的整合性テストにより、$ x_i $ および $ d_i $ が元の立方体方程式および補助恒等式を満たすことを確認する。

実験結果

リサーチクエスチョン

• RQ1 2つの有理数パラメータ $ b $ と $ c $ のみを用いて、完全立方体方程式の有理数解の完全な代数的パラメータ表示を構築可能か？
• RQ2 補助代数関数 $ w $ の構造は何か？ また、2つの異なるパラメータ表示 $ w_1(b,c) $ と $ w_2(b,c) $ の関係は？
• RQ3 $ b $, $ c $, $ w $ の有理関数として得られた $ x_1, x_2, x_3 $ および $ d_1, d_2, d_3 $ の式は、元の立方体方程式および対称恒等式を満たすか？
• RQ4 パラメータ表示の式における特異点は、これまでに知られていたものか、それとも新規か？ また、それらの代数的・幾何的意味は何か？
• RQ5 有理数完全立方体の存在は、有理数における6次方程式の解法に還元可能か？ その解法における自由度は何か？

主な発見

• 2つの異なる代数的パラメータ表示が、有理数完全立方体方程式の有理数解に対して構築された。それぞれが2つの有理数パラメータ $ b $ と $ c $、および補助代数関数 $ w $ に依存する。
• 補助関数 $ w $ は6次方程式（3.1または4.1）を満たし、全解は $ b $, $ c $, $ w $ の有理関数として表現される。面対角線 $ d_1, d_2, d_3 $ はそれぞれ100項を超える。
• 辺変数 $ x_1, x_2, x_3 $ は $ b $, $ c $, $ w $ の有理関数として導出され、各々800項を超える式を有する。これらは立方体方程式 $ x^3 - E_{10}x^2 + E_{20}x - E_{30} = 0 $ を満たすことが確認された。
• 恒等式 $ d_1^2 + d_2^2 + d_3^2 = 2 $ は、理論的にも計算的にも導出式によって満たされ、立方体の幾何的整合性が裏付けられた。
• パラメータ表示枠組みにより、有理数完全立方体の探索は、有理数における6次方程式の解法に還元され、2つのパラメータ表示の全次数はそれぞれ42および40である。
• 本稿では、これまでに研究されていなかった新しい特異点をパラメータ表示式において同定し、今後の研究においてさらに検討が必要であると示唆した。