代数学の父、ディオファントス。
ディオファントス方程式とは、整係数多変数高次不定方程式。
ディオファントス方程式の特殊例には以下のようなものがある。
-
ベズー方程式 a x + b y = d
-
ユークリッドの互除法の応用により、一般の整数解が求まる。
-
ピタゴラス方程式 x2 + y2 = z2
-
-
ペル方程式 x2 – n y2 = 1
-
連分数の応用により、一般の整数解が求まる。
-
楕円曲線 y2 = f (x) (f (x) は重根をもたない、3次または4次の多項式)
-
数論の中心的課題の一つである。とくに有理数解についての構造定理(モーデルの定理)がある。整数解は有限個しか存在せず、原理的には全ての整数解を求めることが可能。有限体上の楕円曲線の構造も考察されており、暗号理論などに応用されている。
-
超楕円曲線 y2 = f (x) (f (x) は重根をもたない、5次以上の多項式)
-
整数解は有限個しか存在せず、原理的には全ての整数解を求めることが可能。ファルティングスの定理により、有理数解も有限個しか存在しないが、それを全て求めることができるとは限らない。
-
トゥエ方程式 f (x, y) = k (f (x, y) は3次以上の斉次既約多項式)
-
整数解は有限個しか存在せず、原理的には全ての整数解を求めることが可能。この曲線の次数が3ならば楕円曲線と双有理同値になる。次数が4以上ならば、ファルティングスの定理により、有理数解も有限個しか存在しないが、それを全て求めることができるとは限らない。
ディオファントス方程式の整数解や有理数解をもとめる問題は、古くから非常な難問として知られており、ディオファントス自身や、近代フランスの数学者フェルマーらが代表的な研究者として有名である。
アリヤバータは499年の著作で線型ディオファントス方程式 の整数解の解法を初めて明確に記し、これを「クッタカ法」と呼んだ。のちのブラーマグプタは「チャクラバーラ法」 (Chakravala method) を用いて、2次のディオファントス方程式を扱った。1150年には、バースカラ2世がブラーマグプタの解法を改良し、ペル方程式の他、不定二次方程式や二次ディオファントス方程式の一般解を見つけている。
現在では、すべての方程式について整数範囲での一般解法は存在しないことが証明されている。整数解の存在判定に限定しても、9変数の一般的判定法が存在しないことがすでに証明されている。2変数の一般的判定法も未知である(種数1の場合、および yk = f (x) の形の方程式については原理的には判定可能である)。また、有理数範囲での一般的判定方法が存在するかどうかも未知である。
1900年に提示された「ヒルベルトの23の問題」の第10問題が「ディオファントス方程式の一般的で有限的な可解性判定方法をもとめよ」であったが、これは1970年にロシアの数学者ユーリ・マチャセビッチによって否定的に解決された[1]。(→計算可能性理論)この証明の副産物として、再帰的に枚挙可能な任意の整数の集合(たとえば素数の集合)には、その要素を整数解とするディオファントス方程式が、かならず存在することが証明されている。日本の廣瀬健はマチャセビッチと同時期に独立に部分的解決をしていたとされる。
2変数2次方程式a x2 + b y + c = 0 の整数解の存在判定問題はNP完全問題であることが証明されている。(→計算複雑性理論)
- https://ja.wikipedia.org/wiki/%E3%83%87%E3%82%A3%E3%82%AA%E3%83%95%E3%82%A1%E3%83%B3%E3%83%88%E3%82%B9%E6%96%B9%E7%A8%8B%E5%BC%8F
===
"make you feel, make you think."
SGT&BD
(Saionji General Trading & Business Development)
説明しよう!西園寺貴文とは、常識と大衆に反逆する「社会不適合者」である!平日の昼間っからスタバでゴロゴロするかと思えば、そのまま軽いノリでソー◯をお風呂代わりに利用。挙句の果てには気分で空港に向かい、当日券でそのままどこかへ飛んでしまうという自由を履き違えたピーターパンである!「働かざること山の如し」。彼がただのニートと違う点はたった1つだけ!そう。それは「圧倒的な書く力」である。ペンは剣よりも強し。ペンを握った男の「逆転」ヒップホッパー的反逆人生。そして「ここ」は、そんな西園寺貴文の生き方を後続の者たちへと伝承する、極めてアンダーグラウンドな世界である。 U-18、厳禁。低脳、厳禁。情弱、厳禁。