ディオファントス方程式のソースを表示

{{Expand English|Diophantine equation|date=2024年5月}}
'''ディオファントス方程式'''（ディオファントスほうていしき、Diophantine equation）とは、整係数多変数高次不定方程式である。文脈として、[[整数]]解や[[有理数]]解を問題にしたい場合に用いられる用語であり、主に[[数論]]の研究課題と考えられている。古代[[アレクサンドリア]]の[[数学者]][[アレクサンドリアのディオファントス|ディオファントス]]の著作『[[算術 (書物)|算術]]』で、その[[有理数]]解が研究されたのにちなんだ名称である。

==定義==
ディオファントス方程式とは、整係数多変数高次不定方程式
:<math>\sum a_{e_1 e_2\ldots e_m}x_1^{e_1}x_2^{e_2}\cdots x_m^{e_m} = 0 \quad (a_{e_1 e_2\ldots e_m} \in \Z)</math>
である。整数および変数の定数乗の加減乗算からなる方程式は、すべてディオファントス方程式である。

[[冪指数|指数]]部分も変数化した方程式も、広義のディオファントス方程式である。このような方程式は指数型ディオファントス方程式（exponential Diophantine equation）と呼ばれる。実際には、指数型ディオファントス方程式は通常のディオファントス方程式の複数の[[組]]に[[還元]]できることが知られている<ref name=dv1973>これらの話題については Martin Davis, Hilbert tenth problem is unsolvable, ''Amer. Math. Monthly'' '''80''' (1973), 233--269 で解説されている。</ref><ref>例えば''Hilbert's Tenth Problem is Unsolvable'' の Lemma 3.5 によれば、''m'' = ''n''<sup>''k''</sup> (<math>m, n, k \in \N</math>)と、以下のディオファントス方程式系で ''m'' が所与の際にそれ以外の変数（<math>\in \N</math>）について解を持つことは同値である。すなわち、指数型ディオファントス方程式が以下の通常のディオファントス方程式系に帰着される。

* <math>x^2 - (a^2 -1) y^2 = 1</math>
* <math>u^2 - (a^2 -1) v^2 = 1</math>
* <math>s^2 - (b^2 -1) t^2 = 1</math>
* <math>v = ry^2</math>
* <math>b = 1+4py = a+qu</math>
* <math>s = x+cu</math>
* <math>t = k+4(d-1)y</math>
* <math>y = k+e-1</math>
* <math>(x-y(a-n)-m)^2 = (f-1)^2(2an-n^2-1)^2</math>
* <math>m+g = 2an-n^2-1</math>
* <math>w = n+h = k+l</math>
* <math>a^2-(w^2-1)(w-1)^2z^2=1</math>

この証明は、ペル方程式の解の性質と三角関数（[[ド・モアブルの定理]]）との関連性に着目して論じられている。</ref>。

==特殊例==
ディオファントス方程式の特殊例には以下のようなものがある。

;[[ベズーの等式|ベズー方程式]] ''a'' ''x'' + ''b'' ''y'' = ''d''
:[[ユークリッドの互除法]]の応用により、一般の整数解が求まる。
;[[ピタゴラスの定理|ピタゴラス方程式]] ''x''<sup>2</sup> + ''y''<sup>2</sup> = ''z''<sup>2</sup>
:[[直角三角形]]の辺長に対応する。とくに[[自然数]]解を[[ピタゴラス数]]といい、一般生成公式が存在する。
;[[ペル方程式]] ''x''<sup>2</sup> - ''n'' ''y''<sup>2</sup> = 1
:[[連分数]]の応用により、一般の整数解が求まる。
;[[楕円曲線]] ''y''<sup>2</sup> = ''f'' (''x'') （''f'' (''x'') は重根をもたない、3次または4次の多項式）
:[[数論]]の中心的課題の一つである。とくに有理数解についての構造定理（[[モーデルの定理]]）がある。整数解は有限個しか存在せず、原理的には全ての整数解を求めることが可能。[[有限体]]上の楕円曲線の構造も考察されており、[[暗号理論]]などに応用されている。
;[[超楕円曲線]] ''y''<sup>2</sup> = ''f'' (''x'') （''f'' (''x'') は重根をもたない、5次以上の多項式）
:整数解は有限個しか存在せず、原理的には全ての整数解を求めることが可能。[[ファルティングスの定理]]により、有理数解も有限個しか存在しないが、それを全て求めることができるとは限らない。
;[[トゥエ方程式]] ''f'' (''x'', ''y'') = ''k'' （''f'' (''x'', ''y'') は3次以上の斉次既約多項式）
:整数解は有限個しか存在せず、原理的には全ての整数解を求めることが可能。この曲線の次数が3ならば楕円曲線と双有理同値になる。次数が4以上ならば、[[ファルティングスの定理]]により、有理数解も有限個しか存在しないが、それを全て求めることができるとは限らない。

==課題==
ディオファントス方程式の整数解や有理数解をもとめる問題は、古くから非常な難問として知られており、ディオファントス自身や、近代[[フランス]]の数学者[[ピエール・ド・フェルマー|フェルマー]]らが代表的な研究者として有名である。

[[アリヤバータ]]は499年の著作で[[線型ディオファントス方程式]] <math>ay + bx = c</math> の整数解の解法を初めて明確に記し、これを「クッタカ法」と呼んだ。のちの[[ブラーマグプタ]]は「チャクラバーラ法」{{Enlink|Chakravala method}}を用いて、2次のディオファントス方程式を扱った。1150年には、[[バースカラ2世]]がブラーマグプタの解法を改良し、ペル方程式の他、不定二次方程式や二次ディオファントス方程式の一般解を見つけている。

現在では、すべての方程式について整数範囲での一般解法は存在しないことが証明されている。整数解の存在判定に限定しても、9変数の一般的判定法が存在しないことがすでに証明されている。2変数の一般的判定法も未知である（種数1の場合、および ''y''<sup>''k''</sup> = ''f'' (''x'') の形の方程式については原理的には判定可能である）。また、有理数範囲での一般的判定方法が存在するかどうかも未知である。

1900年に提示された「[[ヒルベルトの23の問題]]」の第10問題が「ディオファントス方程式の一般的で有限的な可解性判定方法をもとめよ」であったが、これは1970年に[[ロシア]]の数学者[[ユーリ・マチャセビッチ]]によって否定的に解決された<ref name=dv1973/>。（→[[計算可能性理論]]）この証明の副産物として、[[再帰的に枚挙可能]]な任意の整数の[[集合]]（たとえば[[素数]]の集合）には、その要素を整数解とするディオファントス方程式が、かならず存在することが証明されている。日本の[[廣瀬健]]はマチャセビッチと同時期に独立に部分的解決をしていたとされる。

2変数2次方程式''a'' ''x''<sup>2</sup> + ''b'' ''y'' + ''c'' = 0 の整数解の存在判定問題は[[NP完全問題]]であることが証明されている。（→[[計算複雑性理論]]）

==脚注==
<references />

== 関連図書 ==
* 武隈良一：「ディオファンタス近似論」、槙書店（1972年).
* 三井孝美：「解析数論：超越数論とディオファンタス近似論」、共立出版（1977年）.
* Nigel P. Smart: ''The Algorithmic Resolution of Diophantine Equations'', Cambridge Univ. Press (London Math. Soc. Student Texts 41), ISBN 0-521-64633-2 (1998).
* Daniel Duverney; 塩川宇賢(訳)：「数論 : 講義と演習」、森北出版、ISBN 4-62708142-1 (2006年3月). ※ ディオファンタス方程式の記述を多く含む。

==関連項目==
*[[アレクサンドリアのディオファントス]]
*[[アルキメデスの牛の問題]]
*[[ピエール・ド・フェルマー]]
*[[数論]]
*[[計算理論]]
*[[藤原正彦]]
*[[エドゥアール・リュカ]]

{{Normdaten}}
{{デフォルトソート:ていおふあんとすほうていしき}}
[[Category:数論]]
[[Category:ディオファントス方程式|*]]
[[Category:代数方程式]]
[[Category:アレクサンドリアのディオファントス]]
[[Category:数学に関する記事]]
[[Category:人名を冠した数式]]
[[Category:数学のエポニム]]