• ベストアンサー

フェルマーのやらなかったこと

おなじみのフェルマの定理: n を正の整数とすれば、 2<n のとき x^n + y^n = z^n をみたす整数の組(x,y,z)は存在しない。 ですけども、 ここで、n を整数全体にに拡張して、 n=1 のときは、いくらでも整数解があります。 n=0 のときは、無意味です。(整数解は無い) n=-1 のときは、たとえば、(x,y,z)=(4,4,2)はひとつの解ですよね。 さて、n=-2,-3,-4,-5,・・・ などのときを調査するのは、数学的に意味のある営みでしょうか? 忌憚なきご意見・見通しをお願いいたします。 必要ならば、高額のため、「ガウス整数」なども俎上にあげていただくことも期待しています「。

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

  • ベストアンサー
  • nag0720
  • ベストアンサー率58% (1093/1860)
回答No.2

n<-2で、x^n + y^n = z^n の整数解が存在すれば、 (yz)^(-n) + (xz)^(-n) = (xy)^(-n) より、フェルマーの定理の反例になるのでは。

goo_kaiinn
質問者

お礼

ご回答どうもありがとうございます。 投稿したことを忘れていてお礼が遅くなりました。すみませんでした。 もう少し深まらないか、考えてみます。

その他の回答 (1)

  • koko_u_u
  • ベストアンサー率18% (216/1139)
回答No.1

>などのときを調査するのは、数学的に意味のある営みでしょうか? 意味はある。 あとは貴方の楽しみなので、お好きにどうぞ。

goo_kaiinn
質問者

お礼

ご回答ありがとうございました。 (投稿したことを忘れていて、お礼が遅れました。すみませんでした。) 昼休みにでも考えて見ようかと思います。

関連するQ&A

  • フェルマーの最終定理

    フェルマーの最終定理ってありますよね?Xのn乗+Yのn乗=Zのn乗  これに3以上の整数解は(nの)ないってやつですよね? これの証明ってどんなのですか?

  • フェルマーの定理の変形バージョン

    n>=3以上とするとき、 x^n+y^(n+1)=z^n を満たす自然数x,y,zは存在しますか? フェルマーの定理と違うところは、y^n ではなく、y^n*y=y^(n+1) となっているところです。 この公式を満たすxyzは存在しますか?

  • フェルマーの定理の式でn=-1,-2のときは?

    x^n+y^n=z^nの自明でない整数解を求める問題があります。 n≧3のときには、存在しません。フェルマーが予想し、ワイルズが証明しました。 n=2のときには、ピタゴラス数といってたくさん解がありますが、たとえば、 d , m , n を任意の自然数として, x = d(m^2 - n^2),  y = 2dmn,  z = d(m^2 + n^2) といった解があります。 また、一つのピタゴラス数から次々に別のピタゴラス数を生成し、それで全部が尽くされる方法も知られています。 http://mathworld.wolfram.com/PythagoreanTriple.html n=1のときには、つまんない問題になります。 n=0のときには、存在しません。 n≦-3のとき、存在しないことは、すぐに考えれば分かると思います。 なので、問題なのは、n=-1,-2のときで、このとき解は無数に存在しますが、どう書き表せるのでしょうか? または、解を次々生成していく方法や、性質などはあるのでしょうか?

  • フェルマー?の証明

    X,Y,Zを0でない整数として、もしもX3乗+Y3乗=Z3乗が成立しているならば、X,Y,Zのうち少なくとも一つは3の倍数であることを証明せよ。(フェルマーの定理を知らないものとする。) と言う問題で、どのような順序をもって証明するべきなのかがわかりません。 また、実際にX、Zに3や6等の数字を代入したのですが答えが出ませんでした。 このような、質問は初めてなのでこのようなカンジで良いのかわかりませんが、よろしくお願いします。

  • フェルマーの最終定理の代数での解答です。どうでしょう?

    X,Y,Z,Nを0でない自然数とします。 X+Y+Z=X+Y+X・・・・・・(1) (1)式の両辺に(X+Y+Z)を掛けて (X+Y+Z)^2=(X+Y+X)^2・・・・・・(2) (2)式の右辺を展開、整理して (X+Y+Z)^2 =(X+Z)^2+(Y+Z)^2+2XY-Z^2・・・・(3) (3)式は(2)式と同値で恒等式です。 (3)式において、2XY=Z^2の関係を満たす自然数X,Y,Zの組を選ぶとき、全てのピタゴラス数を網羅します。 この(3)式の両辺に(X+Y+Z)^(N-2)を掛けると次の式ができます。 (X+Y+Z)^N =(X+Z)^2*(X+Y+Z)^(N-2) +(Y+Z)^2*(X+Y+Z)^(N-2) +(2XY-Z^2)*(X+Y+Z)^(N-2)・・・・(4) (4)式も明らかに恒等式です。 この(4)式を、題意の解の有無が判定しやすいように整理します。 (X+Y+Z)^N =(X+Z)^N*{(X+Y+Z)/(X+Z)}^(N-2) +(Y+Z)^N*{(X+Y+Z)/(Y+Z)}^(N-2) +(2XY-Z^2)*(X+Y+Z)^(N-2)・・・・(5) (5)式も恒等式です。 (5)式は N=1のときは(1)式になり N=2のときは(3)式になり (3)式は前述のとおり 2XY=Z^2の関係を満たす自然数X,Y,Zの組で、全てのピタゴラス数を網羅します。 さて、(5)式において、N>2の場合、これは以下の条件のときにピタゴラス数の形に書けると考えられます。 {(X+Y+Z)/(X+Z)=1}∩{(X+Y+Z)/(Y+Z)=1}∩(2XY=Z^2)・・・・・・・(6) しかし、2XY-Z^2はともかく (X+Y+Z)/(X+Z)=1 と (X+Y+Z)/(Y+Z)=1 はありえないので N>2の場合は(5)式はピタゴラス数の形には書けない。 すなわち、N>2の場合はフェルマーの問題に解はない。 要約すれば以上なのですが、この証明を得るために、サンゴ礁数列という層状の数列を考えついてから約20年かけて、途中でインターネットで皆様に色々教えていただきながらここまできました。 自分ではこれで完了したと考えているのですが、私は数学の全くの素人でほんとうのところは分からないとも考えられます。 そこで、専門家の方のご意見をうかがいたいと、質問いたしました。 よろしくお願いいたします。 フェルマーさんはこのように自然数3個で等式の両辺を表現することを発見していたと思うのですが、どうでしょう?

  • 数学です

    (n+1)^2-n^2=2n+1を用いて次の問いに答えなさい。 (1)自然数tが2n+1=t^2をみたすとき、tは奇数であるから、t=2k+1とかける。このとき、nをkの式で表しなさい。 (2)k=3のとき、x^2+y^2=z^2をみたす自然数の組(x , y , z)を求めなさい。 (3)フェルマーの最終定理について述べなさい。 よろしくお願いします。ちなみにx^2というのはxの2乗という意味です

  • フェルマーの大定理 n=3の場合の証明

    フェルマーの大定理・n = 3の場合の証明について質問です。 オイラーはx^3 + y^3 = z^3をx = a + b、y = a - bとおき、整理することによって、 z^3 = 2a(a^2 + 3b^2) と変形し、n = 3の場合のフェルマーの大定理を証明しました。 そこで、質問です。 【2a】と【a^2 + 3b^2】が、互いに素な場合は無限降下法をつかって証明できるようですが、 【2a】と【a^2 + 3b^2】が、互いに素ではなく、1以外の公約数を持つ場合、どのようにして証明すればよいのでしょうか? 皆様のご教授をお待ちしております。

  • 三平方の定理 解の媒介変数表示

    x^2+y^2=z^2 の整数解は、 整数m、nを用いて x=m^2-n^2 y=2mn z=m^2+n^2 と表せることの導き方をお願いします。 因みに x=2m+1,y=2m^2+2m,z=2m^2+2m+1 は導き出せました。

  • フェルマーの最終定理に関連して

     変な質問で申し訳ないのですが、n が 3 以上の整数の時   x^n + y^n = z^n を満たす有理数の組 (x,y,z)、もしく実数の組 (x,y,z)は存在するのでしょうか。

  • フェルマーの最終定理に欠陥を発見しました!!

    こんにちは。 フェルマーの最終定理についてですが、本当に、ないかプログラムを組んで確かめていました(恐ろしく長いので、ここには書ききれません)。 すると、なんということか、題意を満たす物が存在していたのです!!それは、とてもおおきなすうじです。しかし、びっくりしたことに、とても美しい数字であるのです。 n=2^3^4^5^6^7^8^9^10^11^12^13^14^15^16^・・・^2005(^は累乗) のときで、 x=3^4^5^6^7^8^9^10^11^12^13^14^15^16^・・・^2004 y=5^6^7^8^9^10^11^12^13^14^15^16^・・・^2006 z=4^5^6^7^8^9^10^11^12^13^14^15^16^・・・^2007 の場合に成立する という非常に華麗な結果であることもわかりました。 皆にもはなしたのですが、まるで相手にしてくれませんでした。たしかに、人間にはとても出来ない計算ですが。  確かに正しいはずです。私のプログラムは絶対に間違っていません。これは5回も確認したので、自信を持っていえます。どうすれば、これが正しいと認められるでしょうか??