• ベストアンサー

証明の流れをお聞きしたいです。

ヒルベルトさんの第１０番目の問題の証明について。 「ｎ個の未知数を含む整数係数の多項式に対し、 ディオファントス方程式Ｐが整数解を持つか否かを有限的に判定する方法をみつけよ。」 質問 様々な方法があると思いますが、 どういったパターンでも良いので 証明の流れをお聞きしたいです。 また、 （この問題に関して、多くの事を知りたいので、 どういった事でも構いませんので書き込みお願いします。）

noname#147765
noname#147765

質問者が選んだベストアンサー

  • ベストアンサー
  • Knotopolog
  • ベストアンサー率50% (564/1107)
回答No.1

ヒルベルトの第10番目の問題は，ユーリ・マチャセビッチ（ロシア）が１９７０年に，否定的に解決しています． 下記をご覧下さい． ヒルベルト第10問題 （wikipedia） ディオファントス方程式の可解性の決定問題 1970年、ユーリ・マチャセビッチが否定的に解決。ディオファントス方程式がどのような場合に整数解を持つかを決定付けるような一般的な解法は存在しないことを示した。 ヒルベルトの第１０番目の問題 （wikipedia） http://ja.wikipedia.org/wiki/%E3%83%A6%E3%83%BC%E3%83%AA%E3%83%BB%E3%83%9E%E3%83%81%E3%83%A3%E3%82%BB%E3%83%93%E3%83%83%E3%83%81 ご参考までに，下記をご覧下さい． ヒルベルトの23の問題 （wikipedia） http://ja.wikipedia.org/wiki/%E3%83%92%E3%83%AB%E3%83%99%E3%83%AB%E3%83%88%E3%81%AE23%E3%81%AE%E5%95%8F%E9%A1%8C#.E7.AC.AC10.E5.95.8F.E9.A1.8C

noname#147765
質問者

お礼

遅くなりましたが、 回答ありがとうございました^^ ウィキにあるんですね！

  1. カテゴリ
  2. 学問・教育
  3. 数学・算数

関連するQ&A

  • 代数的数の分類

    整数は0次の整数係数方程式の解と思うことができます 有理数は0 or 1次の整数係数方程式の解と思うことができます 代数的数は有限次の整数係数方程式の解と思うことができます この間に2,3,・・・次の整数係数方程式の解についての代数的位置付けはどのような形で示されているのでしょうか あまり、議論するようなことでもないのでしょうか？

  • 指数関数の補集合が帰納的でない証明

    ヒルベルト第１０問題において。 指数関数がディオファントス集合である、 かつ、帰納的であるという証明の後、 指数関数の補集合が帰納的でない証明をしなければ ならないと思うのですが、 どのように証明するのですか？？

  • 指数関数の問題について

    a=^3√(√65/64＋1)－^3√(√65/64－1)とする。 (1)aは、整数を係数とする3次方程式の解であることを示せ。 (2)aは整数でないことを証明せよ。 よろしくお願いします。

  • 2次方程式の証明

    xの2次方程式　ax^2+bx+c=0 が2つの解αとβを持つとき、 判別式D=a^2(α-β)^2となることを証明せよ。 という問題なのですが、αとβを解にもつので(x-α)(x-β)と考えて進めようと思ったのですが、そうすると2次式の係数aをどうしてよいのかわからなくて・・・どなたかアドバイスお願いします。

  • 文系な私にもわかるように教えてください

    ｘ＝√５－√３を解とする整数係数で、係数の最大公約数は１のもののうち、次数の最低なものを求めよ。また、その方程式の他のすべての解を求めよ。 私の予想では四次式で解は√３－√５なんですが、証明はできません。ぜひ教えてください。お願いします。

  • 数学

    整数を係数とする多項式が有理数を係数とする多項式の積に因数分解できるなら、整数を係数とする多項式の積に因数分解できる というのが分からないのですが、なんでですか？証明お願いします。

  • 根と係数に関する問題です。詳しいかた教えてください。

    整係数の方程式 x^4+ax^3+bx^2+cx+4 において次の問に答えよ。という問題で（1）～（3）まであるのですが詳しいかた教えてください。 （1）根をα、β、γ、ωとするとき、根と係数の関係を求めよ。 （2）有利数解xは整数解であることを証明せよ。 （3）４根が相異なる整数であるとき、係数a、b、cを求めよ。 自分ではよくわからないので問題をそのまま書かせていただいてます。しっかり理解して自分のものにしたいと思ってますので、できれば考え方と、解答をお願いします。

  • ２次方程式の問題(証明)です。

    ≪問題≫f(x)=ax^2+bx+cにおいてcが奇数，aとbがともに整数で，a+bは偶数のとき，方程式f(x)=0は整数解をもたないことを示せ。 ≪自分の解答（途中）≫ a+bが偶数であることから， a,bともに偶数のときと， a,bともに奇数のときがある。 これから，解と係数の関係とかを使うのかという検討もしてみたのですが，全然わかりません＾＾； もしよければ教えてください＾＾ よろしくお願いします。

  • 有限体の元の個数の証明。

    有限体の元の個数の証明。 すみませんがどなたかこの問題を教えてもらえませんでしょうか？ pを奇数の整数、rを正の整数とする。Fp^rの元の平方になっているFp^rの元の個数、すなわち |{αはFp^rに含まれる|α=β^2、あるβはFp^rに含まれる}| は1/2(p^r-1)であることを示せ。 （Fp^rはFp[x]の多項式をr次既約多項式f(x)で割った余り多項式全体の集合） 申し訳ありませんが。どうかお願いします。

  • ヒルベルト第１０問題について

    この証明とは、 例えば、 ある２変数(x,y)方程式に対して x,y≧100としたら計算が永遠に続き 解を有限回で判定出来ないから 否定的に証明された。 という事ですか？ それならば、 ある関数をフィボナッチや指数関数などにする必要性はあるのでしょうか？

注目のQ&A

カテゴリ

専門家に質問してみよう

職業から探して質問する

あなたにピッタリな商品が見つかる！ OKWAVEセレクト

質問する