【定理】n≧3のとき、x^n+y^n=z^nは自然数解x,y,zを持たない。
【証明】x^n+y^n=z^nを、z=x+rとおいてx^n+y^n=(x+r)^n…(1)とする。
(1)をr^(n-1){(y/r)^n-1}=an{x^(n-1)+…+r^(n-2)x}(1/a)…(2)と変形する。
(2)はa=1、r^(n-1)=nのとき、x^n+y^n=(x+n^{1/(n-1)})^n…(3)となる。
(2)はa=1以外、r^(n-1)=anのとき、x^n+y^n=(x+(an)^{1/(n-1)})^n…(4)となる。
(3)はrが無理数なので、有理数解を持たない。(4)の解は(3)の解のa^{1/(n-1)}倍となる。
∴n≧3のとき、x^n+y^n=z^nは自然数解x,y,zを持たない。
【定理】n=2のとき、x^n+y^n=z^nは自然数解x,y,zを持つ。
【証明】x^2+y^2=z^2を、z=x+rとおいてx^2+y^2=(x+r)^2…(1)とする。
(1)をr{(y/r)^2-1}=a2x(1/a)…(2)と変形する。
(2)はa=1、r=2のとき、x^2+y^2=(x+2)^2…(3)となる。
(2)はa=1以外、r=a2のとき、x^2+y^2=(x+a2)^2…(4)となる。
(3)はrが有理数なので、有理数解を持つ。(4)の解は(3)の解のa倍となる。
∴n=2のとき、x^n+y^n=z^nは自然数解x,y,zを持つ。
探検
フェルマーの最終定理の証明
■ このスレッドは過去ログ倉庫に格納されています
1日高
2020/11/14(土) 09:19:51.37ID:8XYDkgyN410132人目の素数さん
2020/11/23(月) 12:50:31.34ID:FMzpLP2C411日高
2020/11/23(月) 13:27:50.60ID:K5hJE4wv >410
証明貼ってる余裕あるの?病院の予約取った?
ご心配ありがとうございます。
証明貼ってる余裕あるの?病院の予約取った?
ご心配ありがとうございます。
412132人目の素数さん
2020/11/23(月) 14:18:13.07ID:lvm6LjsX >>409
内容的には
6÷2×3 = 1
に匹敵するようなすばらしい証明ですね。
内容的には
6÷2×3 = 1
に匹敵するようなすばらしい証明ですね。
413日高
2020/11/23(月) 14:34:34.32ID:K5hJE4wv >412
内容的には
6÷2×3 = 1
に匹敵するようなすばらしい証明ですね。
どういう意味でしょうか?
内容的には
6÷2×3 = 1
に匹敵するようなすばらしい証明ですね。
どういう意味でしょうか?
414132人目の素数さん
2020/11/23(月) 14:45:11.33ID:lvm6LjsX 日高さんは窪田登司氏の親戚筋の方ですか。年齢的にはほぼ同じなのかと拝察いたしますが。
415132人目の素数さん
2020/11/23(月) 14:46:46.62ID:4w2qau4p いくつ前のスレだったか忘れたが
みんなが沈黙したら日高の書き込みも止まったことがあった。
まわりが沈黙したからと勝利宣言するような頭はないらしい。
沈黙してみるのも一つの方法。
左辺がx^n+y^nであることを使っていないから絶対に正しい証明にはならない。
いままでどおり、適当に反論して反応を楽しむのもありだとは思うけどね。
みんなが沈黙したら日高の書き込みも止まったことがあった。
まわりが沈黙したからと勝利宣言するような頭はないらしい。
沈黙してみるのも一つの方法。
左辺がx^n+y^nであることを使っていないから絶対に正しい証明にはならない。
いままでどおり、適当に反論して反応を楽しむのもありだとは思うけどね。
416日高
2020/11/23(月) 14:54:34.30ID:K5hJE4wv >414
日高さんは窪田登司氏の親戚筋の方ですか。
いいえ。
日高さんは窪田登司氏の親戚筋の方ですか。
いいえ。
417日高
2020/11/23(月) 14:57:20.57ID:K5hJE4wv >415
左辺がx^n+y^nであることを使っていないから絶対に正しい証明にはならない。
よく意味がわかりません。教えてください。
左辺がx^n+y^nであることを使っていないから絶対に正しい証明にはならない。
よく意味がわかりません。教えてください。
418132人目の素数さん
2020/11/23(月) 17:13:47.19ID:lvm6LjsX よく意味がわからなくていいんですよ。
ここ、数学のスレではなくて世間話のスレなのですから。
ここ、数学のスレではなくて世間話のスレなのですから。
419日高
2020/11/23(月) 17:26:22.02ID:K5hJE4wv (修正9)
【定理】n≧3のとき、x^n+y^n=z^nは自然数解x,y,zを持たない。
【証明】x^n+y^n=z^nを、z=x+rとおいてx^n+y^n=(x+r)^n…(1)とする。
(1)をr^(n-1){(y/r)^n-1}=an{x^(n-1)+…+r^(n-2)x}(1/a)…(2)と変形する。
(2)はa=1、r^(n-1)=nのとき、x^n+y^n=(x+n^{1/(n-1)})^n…(3)となる。
(2)はa=1以外、r^(n-1)=anのとき、x^n+y^n=(x+(an)^{1/(n-1)})^n…(4)となる。
(3)はyが有理数のとき、xは無理数となるので、x,y,zは整数比とならない。
(3)のyが無理数のとき、x,y,zが整数比となるならば、yが有理数のときに整数比となる。
(4)の解は(3)の解のa^{1/(n-1)}倍となる。
∴n≧3のとき、x^n+y^n=z^nは自然数解x,y,zを持たない。
【定理】n=2のとき、x^n+y^n=z^nは自然数解x,y,zを持つ。
【証明】x^2+y^2=z^2を、z=x+rとおいてx^2+y^2=(x+r)^2…(1)とする。
(1)をr{(y/r)^2-1}=a2x(1/a)…(2)と変形する。
(2)はa=1、r=2のとき、x^2+y^2=(x+2)^2…(3)となる。
(2)はa=1以外、r=a2のとき、x^2+y^2=(x+a2)^2…(4)となる。
(3)はyが有理数のとき、xは有理数となる。(4)の解は(3)の解のa倍となる。
∴n=2のとき、x^n+y^n=z^nは自然数解x,y,zを持つ。
【定理】n≧3のとき、x^n+y^n=z^nは自然数解x,y,zを持たない。
【証明】x^n+y^n=z^nを、z=x+rとおいてx^n+y^n=(x+r)^n…(1)とする。
(1)をr^(n-1){(y/r)^n-1}=an{x^(n-1)+…+r^(n-2)x}(1/a)…(2)と変形する。
(2)はa=1、r^(n-1)=nのとき、x^n+y^n=(x+n^{1/(n-1)})^n…(3)となる。
(2)はa=1以外、r^(n-1)=anのとき、x^n+y^n=(x+(an)^{1/(n-1)})^n…(4)となる。
(3)はyが有理数のとき、xは無理数となるので、x,y,zは整数比とならない。
(3)のyが無理数のとき、x,y,zが整数比となるならば、yが有理数のときに整数比となる。
(4)の解は(3)の解のa^{1/(n-1)}倍となる。
∴n≧3のとき、x^n+y^n=z^nは自然数解x,y,zを持たない。
【定理】n=2のとき、x^n+y^n=z^nは自然数解x,y,zを持つ。
【証明】x^2+y^2=z^2を、z=x+rとおいてx^2+y^2=(x+r)^2…(1)とする。
(1)をr{(y/r)^2-1}=a2x(1/a)…(2)と変形する。
(2)はa=1、r=2のとき、x^2+y^2=(x+2)^2…(3)となる。
(2)はa=1以外、r=a2のとき、x^2+y^2=(x+a2)^2…(4)となる。
(3)はyが有理数のとき、xは有理数となる。(4)の解は(3)の解のa倍となる。
∴n=2のとき、x^n+y^n=z^nは自然数解x,y,zを持つ。
420日高
2020/11/23(月) 17:29:18.13ID:K5hJE4wv >418
ここ、数学のスレではなくて世間話のスレなのですから。
数学だと思います。
ここ、数学のスレではなくて世間話のスレなのですから。
数学だと思います。
421132人目の素数さん
2020/11/23(月) 17:52:21.34ID:7xikQ1GW422132人目の素数さん
2020/11/23(月) 17:54:01.25ID:uEcH/niQ >>372
> a=1のときにyを無理数にした場合は、(b)となります。
x^3+(2√3)^3=(x+√3)^3…(b)は(3)でy=2√3(無理数)とした場合
おまえは
> (3)はyが有理数のとき、xは無理数となるので、x,y,zは整数比とならない。
> (3)のyが無理数のとき、x,y,zが整数比となるならば、yが有理数のときに整数比となる
a=1のときにyが有理数のときxは無理数となるのでx,y,zは整数比とならない
としか示していない
a=1のときにyが無理数のときはx,y,zが整数比となるならばyが有理数のときに整数比となる
だからa=1のときにyが無理数のときx,y,zが整数比とならないことは
おまえは証明していない
> a=1のときにyを無理数にした場合は、(b)となります。
x^3+(2√3)^3=(x+√3)^3…(b)は(3)でy=2√3(無理数)とした場合
おまえは
> (3)はyが有理数のとき、xは無理数となるので、x,y,zは整数比とならない。
> (3)のyが無理数のとき、x,y,zが整数比となるならば、yが有理数のときに整数比となる
a=1のときにyが有理数のときxは無理数となるのでx,y,zは整数比とならない
としか示していない
a=1のときにyが無理数のときはx,y,zが整数比となるならばyが有理数のときに整数比となる
だからa=1のときにyが無理数のときx,y,zが整数比とならないことは
おまえは証明していない
423132人目の素数さん
2020/11/23(月) 17:55:13.15ID:uEcH/niQ >>373
[A] (3)つまりa=1のときyが有理数のときx,y,zは整数比とならない
この時点ではa=1のときにyを無理数にした場合は証明されていない
[B] (3)のyが無理数のとき、x,y,zが整数比となるならば、yが有理数のときに整数比となる
> yが有理数のときに整数比となる場合 この場合のaの値を書け
このaの値を元にしないとしないと(3)のyが無理数のときx,y,zが整数比となる場合は
証明できないはずだろ
この時点でもa=1のときにyを無理数にした場合は証明されていない
なぜこの時点で
> (3)のyが無理数のときx,y,zが整数比となる場合は、ありません。
が言えるのか?
おまえがこう書き込む理由はWilesが証明したからだろ
おまえが証明したわけではないからおまえの証明は失敗している
[A] (3)つまりa=1のときyが有理数のときx,y,zは整数比とならない
この時点ではa=1のときにyを無理数にした場合は証明されていない
[B] (3)のyが無理数のとき、x,y,zが整数比となるならば、yが有理数のときに整数比となる
> yが有理数のときに整数比となる場合 この場合のaの値を書け
このaの値を元にしないとしないと(3)のyが無理数のときx,y,zが整数比となる場合は
証明できないはずだろ
この時点でもa=1のときにyを無理数にした場合は証明されていない
なぜこの時点で
> (3)のyが無理数のときx,y,zが整数比となる場合は、ありません。
が言えるのか?
おまえがこう書き込む理由はWilesが証明したからだろ
おまえが証明したわけではないからおまえの証明は失敗している
424日高
2020/11/23(月) 18:29:58.42ID:K5hJE4wv >422
a=1のときにyが無理数のときはx,y,zが整数比となるならばyが有理数のときに整数比となる
だからa=1のときにyが無理数のときx,y,zが整数比とならないことは
おまえは証明していない
(sw)^p+(tw)^p=(uw)^pとなるならば、s^p+t^p=u^pとなる。(s,t,uは有理数、wは無理数)
a=1のときにyが無理数のときはx,y,zが整数比となるならばyが有理数のときに整数比となる
だからa=1のときにyが無理数のときx,y,zが整数比とならないことは
おまえは証明していない
(sw)^p+(tw)^p=(uw)^pとなるならば、s^p+t^p=u^pとなる。(s,t,uは有理数、wは無理数)
425132人目の素数さん
2020/11/23(月) 18:32:47.54ID:lvm6LjsX >419
支那とロシアが国連人権理事国になったようなものですね。
支那とロシアが国連人権理事国になったようなものですね。
426132人目の素数さん
2020/11/23(月) 18:34:01.70ID:TLKudgKa >>419
>(3)のyが無理数のとき、x,y,zが整数比となるならば、yが有理数のときに整数比となる[。]
ので,整数比の解は存在します,というのがここでいいたいことじゃないんですよね。
ので,整数比の解は存在しない,んですか?
そして,どの式が整数比になるんですか。
(4)ですか(3)ですか?
この後に省略されている日本語は何ですか?
日本語はおわかりになるんでしょう?
あなたの日本語は,語数が少なすぎて両義に取れる場合が多すぎます。
もう少し日本語を追加しましょうよ。
>(3)のyが無理数のとき、x,y,zが整数比となるならば、yが有理数のときに整数比となる[。]
ので,整数比の解は存在します,というのがここでいいたいことじゃないんですよね。
ので,整数比の解は存在しない,んですか?
そして,どの式が整数比になるんですか。
(4)ですか(3)ですか?
この後に省略されている日本語は何ですか?
日本語はおわかりになるんでしょう?
あなたの日本語は,語数が少なすぎて両義に取れる場合が多すぎます。
もう少し日本語を追加しましょうよ。
427132人目の素数さん
2020/11/23(月) 18:54:43.39ID:Du9PXAGx >>424
> (sw)^p+(tw)^p=(uw)^pとなるならば、s^p+t^p=u^pとなる。(s,t,uは有理数、wは無理数
このときのaの値は?
(sw)^p+(tw)^p=(uw)^pのaの値は?
s^p+t^p=u^pのaの値は?
a=1のときにyが無理数のときx,y,zが整数比とならないことは
a=1のときにy=tw(無理数)ならば(sw)^p+(tw)^pと(uw)^pが決して一致しない
ということだから
(sw)^p+(tw)^p=(uw)^pとなるならばs^p+t^p=u^pとなる
と何度書いても証明になっていないだろ
x=sw,y=tw,z=uwは次のような形になることが分かり
x=s*(ap)^{1/(p-1)},y=t*(ap)^{1/(p-1)},z=(s+1)*(ap)^{1/(p-1)} (s,tは有理数)
は整数比の解に可能性があるx,y,zであって
a=1とすればx,y,zは無理数でありr=z-x=p^{1/(p-1)}になる
(ap)^{1/(p-1)}が有理数ならx,y,zは有理数
この解が(4)を満たすかどうかはおまえの証明では示せない
> (sw)^p+(tw)^p=(uw)^pとなるならば、s^p+t^p=u^pとなる。(s,t,uは有理数、wは無理数
このときのaの値は?
(sw)^p+(tw)^p=(uw)^pのaの値は?
s^p+t^p=u^pのaの値は?
a=1のときにyが無理数のときx,y,zが整数比とならないことは
a=1のときにy=tw(無理数)ならば(sw)^p+(tw)^pと(uw)^pが決して一致しない
ということだから
(sw)^p+(tw)^p=(uw)^pとなるならばs^p+t^p=u^pとなる
と何度書いても証明になっていないだろ
x=sw,y=tw,z=uwは次のような形になることが分かり
x=s*(ap)^{1/(p-1)},y=t*(ap)^{1/(p-1)},z=(s+1)*(ap)^{1/(p-1)} (s,tは有理数)
は整数比の解に可能性があるx,y,zであって
a=1とすればx,y,zは無理数でありr=z-x=p^{1/(p-1)}になる
(ap)^{1/(p-1)}が有理数ならx,y,zは有理数
この解が(4)を満たすかどうかはおまえの証明では示せない
428132人目の素数さん
2020/11/23(月) 19:21:24.05ID:TLKudgKa 日高さん,我々にははほんとにわからないんですよ
>(sw)^p+(tw)^p=(uw)^pとなるならば、s^p+t^p=u^pとなる。(s,t,uは有理数、wは無理数)
なんでこう書くと,yが無理数のときx,y,zが整数比とならないことの証明になるんですか?
(3)には整数比となる無理数解がないことを証明しなければなりません,と指摘され続けるのは
>(sw)^p+(tw)^p=(uw)^pとなるならば、s^p+t^p=u^p (s,t,uは有理数、wは無理数)
まさに,この式が成立してしまい,フェルマーの最終定理には反例があることになるからです。
上の式が成り立つことが明白だから,それはまずいだろうから,どうするのかその対策を聞かれているんです。
フェルマーの最終定理には反例がない [s^p+t^p=u^p (s,t,uは有理数)は成立しない] ことを知っているならば,上のように書いて
「だから整数比となる無理数解はありません」といえます。
でもそうじゃないでしょう?
いまフェルマーの最終定理を証明している最中ではありませんか。
>(sw)^p+(tw)^p=(uw)^pとなるならば、s^p+t^p=u^pとなる。(s,t,uは有理数、wは無理数)
この内容が整数比となる無理数解がないことの証明である根拠を,言葉を惜しまずに説明して下さい。
できなければ【証明】はどう見ても失敗です。
もはや,このスレでの成功にもまったく期待されていないかも知れませんが,そうなると【証明】を書き込み続けられる動機が不明です。
一緒になって数学お遊戯につきあって遊んであげている我々が悪いんでしょうか?
どう思われます?
>(sw)^p+(tw)^p=(uw)^pとなるならば、s^p+t^p=u^pとなる。(s,t,uは有理数、wは無理数)
なんでこう書くと,yが無理数のときx,y,zが整数比とならないことの証明になるんですか?
(3)には整数比となる無理数解がないことを証明しなければなりません,と指摘され続けるのは
>(sw)^p+(tw)^p=(uw)^pとなるならば、s^p+t^p=u^p (s,t,uは有理数、wは無理数)
まさに,この式が成立してしまい,フェルマーの最終定理には反例があることになるからです。
上の式が成り立つことが明白だから,それはまずいだろうから,どうするのかその対策を聞かれているんです。
フェルマーの最終定理には反例がない [s^p+t^p=u^p (s,t,uは有理数)は成立しない] ことを知っているならば,上のように書いて
「だから整数比となる無理数解はありません」といえます。
でもそうじゃないでしょう?
いまフェルマーの最終定理を証明している最中ではありませんか。
>(sw)^p+(tw)^p=(uw)^pとなるならば、s^p+t^p=u^pとなる。(s,t,uは有理数、wは無理数)
この内容が整数比となる無理数解がないことの証明である根拠を,言葉を惜しまずに説明して下さい。
できなければ【証明】はどう見ても失敗です。
もはや,このスレでの成功にもまったく期待されていないかも知れませんが,そうなると【証明】を書き込み続けられる動機が不明です。
一緒になって数学お遊戯につきあって遊んであげている我々が悪いんでしょうか?
どう思われます?
429132人目の素数さん
2020/11/23(月) 19:28:14.22ID:kIIIDatJ >>417 日高
> >415
> 左辺がx^n+y^nであることを使っていないから絶対に正しい証明にはならない。
>
> よく意味がわかりません。教えてください。
日高氏の証明は両辺が斉次式であることしか使っていない。
よって、日高氏の証明が正しいならx^3+7y^3=z^3やx^3+8y^3=z^3にも自然数解がないことが証明できる。
前者は(x,y,z)=(1,1,2)が自然数解。後者は自分で考えてくれ。
「式が違います」でごまかそうとするんだろうが
(A) x^3+y^3=z^3
(B) x^3+7y^3=z^3
(C) x^3+8y^3=z^3
(A)と(B)は違う式,(B)と(C)は違う式,(C)と(A)も違う式だ。
> >415
> 左辺がx^n+y^nであることを使っていないから絶対に正しい証明にはならない。
>
> よく意味がわかりません。教えてください。
日高氏の証明は両辺が斉次式であることしか使っていない。
よって、日高氏の証明が正しいならx^3+7y^3=z^3やx^3+8y^3=z^3にも自然数解がないことが証明できる。
前者は(x,y,z)=(1,1,2)が自然数解。後者は自分で考えてくれ。
「式が違います」でごまかそうとするんだろうが
(A) x^3+y^3=z^3
(B) x^3+7y^3=z^3
(C) x^3+8y^3=z^3
(A)と(B)は違う式,(B)と(C)は違う式,(C)と(A)も違う式だ。
430132人目の素数さん
2020/11/23(月) 19:29:46.84ID:kIIIDatJ >>419 日高
数学したいらしいから、数学らしからぬところを指摘しよう。
>(3)はyが有理数のとき、xは無理数となるので、x,y,zは整数比とならない。
(3)は式なので「x,y,zは整数比とならない」で受けるのはおかしいよ。
そんなふうに書いている数学書、ある?
数学したいらしいから、数学らしからぬところを指摘しよう。
>(3)はyが有理数のとき、xは無理数となるので、x,y,zは整数比とならない。
(3)は式なので「x,y,zは整数比とならない」で受けるのはおかしいよ。
そんなふうに書いている数学書、ある?
431日高
2020/11/23(月) 21:33:46.62ID:K5hJE4wv 修正9)
【定理】n≧3のとき、x^n+y^n=z^nは自然数解x,y,zを持たない。
【証明】x^n+y^n=z^nを、z=x+rとおいてx^n+y^n=(x+r)^n…(1)とする。
(1)をr^(n-1){(y/r)^n-1}=an{x^(n-1)+…+r^(n-2)x}(1/a)…(2)と変形する。
(2)はa=1、r^(n-1)=nのとき、x^n+y^n=(x+n^{1/(n-1)})^n…(3)となる。
(2)はa=1以外、r^(n-1)=anのとき、x^n+y^n=(x+(an)^{1/(n-1)})^n…(4)となる。
(3)はyが有理数のとき、xは無理数となるので、x,y,zは整数比とならない。
(3)のyが無理数のとき、x,y,zが整数比となるならば、yが有理数のときに整数比となる。
(4)の解は(3)の解のa^{1/(n-1)}倍となる。
∴n≧3のとき、x^n+y^n=z^nは自然数解x,y,zを持たない。
【定理】n=2のとき、x^n+y^n=z^nは自然数解x,y,zを持つ。
【証明】x^2+y^2=z^2を、z=x+rとおいてx^2+y^2=(x+r)^2…(1)とする。
(1)をr{(y/r)^2-1}=a2x(1/a)…(2)と変形する。
(2)はa=1、r=2のとき、x^2+y^2=(x+2)^2…(3)となる。
(2)はa=1以外、r=a2のとき、x^2+y^2=(x+a2)^2…(4)となる。
(3)はyが有理数のとき、xは有理数となる。(4)の解は(3)の解のa倍となる。
∴n=2のとき、x^n+y^n=z^nは自然数解x,y,zを持つ。
【定理】n≧3のとき、x^n+y^n=z^nは自然数解x,y,zを持たない。
【証明】x^n+y^n=z^nを、z=x+rとおいてx^n+y^n=(x+r)^n…(1)とする。
(1)をr^(n-1){(y/r)^n-1}=an{x^(n-1)+…+r^(n-2)x}(1/a)…(2)と変形する。
(2)はa=1、r^(n-1)=nのとき、x^n+y^n=(x+n^{1/(n-1)})^n…(3)となる。
(2)はa=1以外、r^(n-1)=anのとき、x^n+y^n=(x+(an)^{1/(n-1)})^n…(4)となる。
(3)はyが有理数のとき、xは無理数となるので、x,y,zは整数比とならない。
(3)のyが無理数のとき、x,y,zが整数比となるならば、yが有理数のときに整数比となる。
(4)の解は(3)の解のa^{1/(n-1)}倍となる。
∴n≧3のとき、x^n+y^n=z^nは自然数解x,y,zを持たない。
【定理】n=2のとき、x^n+y^n=z^nは自然数解x,y,zを持つ。
【証明】x^2+y^2=z^2を、z=x+rとおいてx^2+y^2=(x+r)^2…(1)とする。
(1)をr{(y/r)^2-1}=a2x(1/a)…(2)と変形する。
(2)はa=1、r=2のとき、x^2+y^2=(x+2)^2…(3)となる。
(2)はa=1以外、r=a2のとき、x^2+y^2=(x+a2)^2…(4)となる。
(3)はyが有理数のとき、xは有理数となる。(4)の解は(3)の解のa倍となる。
∴n=2のとき、x^n+y^n=z^nは自然数解x,y,zを持つ。
432132人目の素数さん
2020/11/23(月) 23:51:16.37ID:3G03ZYXw >>431
(3)のyが無理数のとき、x,y,zが整数比となるならば、yが有理数のときに整数比となる。
式で書くと、
(sw)^n+(tw)^n=(uw)^nとなるならば、s^n+t^n=u^nとなる。(s,t,uは有理数、wは無理数)
r=u-sとすると、このrは有理数で、n>2のときr^(n-1)=nをみたさないので、x=s,y=t,z=uは(3)の解でなく(4)の解である。
(4)の解は(3)の解のa^{1/(n-1)}倍となるので、(4)の解がx=s,y=t,z=uのとき、(3)の解はx=s/a^{1/(n-1)},y=t/a^{1/(n-1)},z=u/a^{1/(n-1)}である。
さっきのrとは別に、r=z-x=u/a^{1/(n-1)}-s/a^{1/(n-1)}を考えると、このx、y、zは(3)の解なのでr^(n-1)=nをみたす。
r^(n-1)=nにr=u/a^{1/(n-1)}-s/a^{1/(n-1)}を代入して
((u-s)/a^{1/(n-1)})^(n-1)=n
((u-s)^(n-1))/a=n
a=((u-s)^(n-1))/n
(3)の解x=s/a^{1/(n-1)},y=t/a^{1/(n-1)},z=u/a^{1/(n-1)}にこのaを代入して、改めて書き直すと
(3)の解はx=s(n^{1/(n-1)})/(u-s),y=t(n^{1/(n-1)})/(u-s),z=u(n^{1/(n-1)})/(u-s)
n>2のとき、(n^{1/(n-1)}は必ず無理数、よってy=t(n^{1/(n-1)})/(u-s)は必ず無理数
(4)のyが有理数で解が整数比となるとき、(3)のyは必ず無理数となる。
(3)のyが無理数のとき、x,y,zが整数比となるかどうかは、調べていない。
(3)のyが無理数のとき、x,y,zが整数比となるならば、(4)のyが有理数のときに整数比となるが、(4)のyが有理数のときに(4)のx,y,zが整数比となるかどうかは調べていない。
(4)のyが有理数で解が整数比となるとき、(3)のyは必ず無理数となるが、(3)のyが無理数の場合は、調べていない。
どの場合も調べていないので、証明は失敗です。
(3)のyが無理数のとき、x,y,zが整数比となるならば、yが有理数のときに整数比となる。
式で書くと、
(sw)^n+(tw)^n=(uw)^nとなるならば、s^n+t^n=u^nとなる。(s,t,uは有理数、wは無理数)
r=u-sとすると、このrは有理数で、n>2のときr^(n-1)=nをみたさないので、x=s,y=t,z=uは(3)の解でなく(4)の解である。
(4)の解は(3)の解のa^{1/(n-1)}倍となるので、(4)の解がx=s,y=t,z=uのとき、(3)の解はx=s/a^{1/(n-1)},y=t/a^{1/(n-1)},z=u/a^{1/(n-1)}である。
さっきのrとは別に、r=z-x=u/a^{1/(n-1)}-s/a^{1/(n-1)}を考えると、このx、y、zは(3)の解なのでr^(n-1)=nをみたす。
r^(n-1)=nにr=u/a^{1/(n-1)}-s/a^{1/(n-1)}を代入して
((u-s)/a^{1/(n-1)})^(n-1)=n
((u-s)^(n-1))/a=n
a=((u-s)^(n-1))/n
(3)の解x=s/a^{1/(n-1)},y=t/a^{1/(n-1)},z=u/a^{1/(n-1)}にこのaを代入して、改めて書き直すと
(3)の解はx=s(n^{1/(n-1)})/(u-s),y=t(n^{1/(n-1)})/(u-s),z=u(n^{1/(n-1)})/(u-s)
n>2のとき、(n^{1/(n-1)}は必ず無理数、よってy=t(n^{1/(n-1)})/(u-s)は必ず無理数
(4)のyが有理数で解が整数比となるとき、(3)のyは必ず無理数となる。
(3)のyが無理数のとき、x,y,zが整数比となるかどうかは、調べていない。
(3)のyが無理数のとき、x,y,zが整数比となるならば、(4)のyが有理数のときに整数比となるが、(4)のyが有理数のときに(4)のx,y,zが整数比となるかどうかは調べていない。
(4)のyが有理数で解が整数比となるとき、(3)のyは必ず無理数となるが、(3)のyが無理数の場合は、調べていない。
どの場合も調べていないので、証明は失敗です。
433日高
2020/11/24(火) 06:17:26.82ID:5JQp7zxv >423
> yが有理数のときに整数比となる場合 この場合のaの値を書け
n≧3の場合、該当するaは、ありません。
> yが有理数のときに整数比となる場合 この場合のaの値を書け
n≧3の場合、該当するaは、ありません。
434日高
2020/11/24(火) 06:22:27.65ID:5JQp7zxv >424
だからa=1のときにyが無理数のときx,y,zが整数比とならないことは
おまえは証明していない
s^p+t^p=u^pとならないので、(sw)^p+(tw)^p=(uw)^pとなりません。
だからa=1のときにyが無理数のときx,y,zが整数比とならないことは
おまえは証明していない
s^p+t^p=u^pとならないので、(sw)^p+(tw)^p=(uw)^pとなりません。
435日高
2020/11/24(火) 06:23:41.12ID:5JQp7zxv >425
支那とロシアが国連人権理事国になったようなものですね。
どういう意味でしょうか?
支那とロシアが国連人権理事国になったようなものですね。
どういう意味でしょうか?
436日高
2020/11/24(火) 06:29:01.65ID:5JQp7zxv >426
>(3)のyが無理数のとき、x,y,zが整数比となるならば、yが有理数のときに整数比となる[。]
ので,整数比の解は存在します,というのがここでいいたいことじゃないんですよね。
ので,整数比の解は存在しない,んですか?
yが有理数のときにx,y,zが整数比とならないので、yが無理数のときも、x,y,zは整数比となりません。
>(3)のyが無理数のとき、x,y,zが整数比となるならば、yが有理数のときに整数比となる[。]
ので,整数比の解は存在します,というのがここでいいたいことじゃないんですよね。
ので,整数比の解は存在しない,んですか?
yが有理数のときにx,y,zが整数比とならないので、yが無理数のときも、x,y,zは整数比となりません。
437132人目の素数さん
2020/11/24(火) 07:26:27.68ID:Ye2bgd72 >>436
次の質問に数値,数式ではなく,日本語でお答え下さい。
この質問にはいつも(4)でのaの値を計算して返されるのですが,聞きたいのはaの値ではありません。
n>=2のとき,x^n+y^n=(x+√3)^n は有理数解を持ちません。
この事自体は完全に正しいです。
しかし,あなたはここからn=2の場合を除外して,n>=3の場合について
>yが有理数のときにx,y,zが整数比とならないので,yが無理数のときもx,y,zは整数比とならない
という結論を導き出します。しかし,
n=2のときには,x^n+y^n=(x+√3)^n には有理数解はありませんが,整数比となる無理数解(4√3,3√3,5√3)という反例があります。
これと同じように,例えばn=3のとき,n=101のとき,n=65536のとき,n=...のときに,解が整数比となる反例が出現しないという理由は何ですか。
繰り返しますがそうなる理由を説明して下さい。
(4)でのaの値は,n=2のときにはこうなります,n=3のときには・・・・とかの計算の結果を聞いているのではありません。
次の質問に数値,数式ではなく,日本語でお答え下さい。
この質問にはいつも(4)でのaの値を計算して返されるのですが,聞きたいのはaの値ではありません。
n>=2のとき,x^n+y^n=(x+√3)^n は有理数解を持ちません。
この事自体は完全に正しいです。
しかし,あなたはここからn=2の場合を除外して,n>=3の場合について
>yが有理数のときにx,y,zが整数比とならないので,yが無理数のときもx,y,zは整数比とならない
という結論を導き出します。しかし,
n=2のときには,x^n+y^n=(x+√3)^n には有理数解はありませんが,整数比となる無理数解(4√3,3√3,5√3)という反例があります。
これと同じように,例えばn=3のとき,n=101のとき,n=65536のとき,n=...のときに,解が整数比となる反例が出現しないという理由は何ですか。
繰り返しますがそうなる理由を説明して下さい。
(4)でのaの値は,n=2のときにはこうなります,n=3のときには・・・・とかの計算の結果を聞いているのではありません。
438日高
2020/11/24(火) 07:36:19.47ID:5JQp7zxv >437
n=2のときには,x^n+y^n=(x+√3)^n には有理数解はありませんが,整数比となる無理数解(4√3,3√3,5√3)という反例があります。
解(4√3,3√3,5√3)があるならば、解(4,3,5)があります。
解(4√3,3√3,5√3)がないならば、解(4,3,5)もありません。
n=2のときには,x^n+y^n=(x+√3)^n には有理数解はありませんが,整数比となる無理数解(4√3,3√3,5√3)という反例があります。
解(4√3,3√3,5√3)があるならば、解(4,3,5)があります。
解(4√3,3√3,5√3)がないならば、解(4,3,5)もありません。
439132人目の素数さん
2020/11/24(火) 07:40:39.53ID:u3fs9VFe あるならある、ないならない、としか言ってない。
440ID:1lEWVa2s
2020/11/24(火) 07:51:50.17ID:0slwwBrx >>438
確かに。気付かなかった。仕事から帰ったらメモっとく。
確かに。気付かなかった。仕事から帰ったらメモっとく。
441ID:1lEWVa2s
2020/11/24(火) 07:54:45.93ID:0slwwBrx if ψ 4√3,3√3,5√3 ⇒! 4,3,5
かっこよくしてみた。
かっこよくしてみた。
442132人目の素数さん
2020/11/24(火) 07:55:59.01ID:u3fs9VFe >>439
あと、主張している命題をすり替えているな。
あと、主張している命題をすり替えているな。
443日高
2020/11/24(火) 08:04:18.58ID:5JQp7zxv >427
> (sw)^p+(tw)^p=(uw)^pとなるならば、s^p+t^p=u^pとなる。(s,t,uは有理数、wは無理数
このときのaの値は?
p=2ならば、a=1
p≧3ならば、w=a^{1/(p-1)}、a=w^(p-1)
(sw)^p+(tw)^p=(uw)^pのaの値は?
p=2ならば、a=w
p≧3ならば、aは存在しません。
s^p+t^p=u^pのaの値は?
p=2ならば、a=1
p≧3ならば、aは存在しません。
> (sw)^p+(tw)^p=(uw)^pとなるならば、s^p+t^p=u^pとなる。(s,t,uは有理数、wは無理数
このときのaの値は?
p=2ならば、a=1
p≧3ならば、w=a^{1/(p-1)}、a=w^(p-1)
(sw)^p+(tw)^p=(uw)^pのaの値は?
p=2ならば、a=w
p≧3ならば、aは存在しません。
s^p+t^p=u^pのaの値は?
p=2ならば、a=1
p≧3ならば、aは存在しません。
444日高
2020/11/24(火) 08:12:56.93ID:5JQp7zxv >428
>(sw)^p+(tw)^p=(uw)^pとなるならば、s^p+t^p=u^pとなる。(s,t,uは有理数、wは無理数)
この内容が整数比となる無理数解がないことの証明である根拠を,言葉を惜しまずに説明して下さい。
s^p+t^p=u^pとならないので、(sw)^p+(tw)^p=(uw)^pとならない。
>(sw)^p+(tw)^p=(uw)^pとなるならば、s^p+t^p=u^pとなる。(s,t,uは有理数、wは無理数)
この内容が整数比となる無理数解がないことの証明である根拠を,言葉を惜しまずに説明して下さい。
s^p+t^p=u^pとならないので、(sw)^p+(tw)^p=(uw)^pとならない。
445132人目の素数さん
2020/11/24(火) 08:15:16.61ID:Ye2bgd72 >>438
なるほど!
気付きませんでした!!
反例を見つけたら除外すればいいわけですね!!!
でも,反例が生じうる命題の主張は,数学では証明とは呼びません。
そうゆうのは「予想」と呼ばれます。
フェルマーの最終定理は真である,との予想ですか。
いや,初めて全面的に賛成できますね。
日高さん,私もフェルマーの最終定理は成り立つ,と確信を持って予想してますよ。
なるほど!
気付きませんでした!!
反例を見つけたら除外すればいいわけですね!!!
でも,反例が生じうる命題の主張は,数学では証明とは呼びません。
そうゆうのは「予想」と呼ばれます。
フェルマーの最終定理は真である,との予想ですか。
いや,初めて全面的に賛成できますね。
日高さん,私もフェルマーの最終定理は成り立つ,と確信を持って予想してますよ。
446日高
2020/11/24(火) 08:15:21.98ID:5JQp7zxv (修正9)
【定理】n≧3のとき、x^n+y^n=z^nは自然数解x,y,zを持たない。
【証明】x^n+y^n=z^nを、z=x+rとおいてx^n+y^n=(x+r)^n…(1)とする。
(1)をr^(n-1){(y/r)^n-1}=an{x^(n-1)+…+r^(n-2)x}(1/a)…(2)と変形する。
(2)はa=1、r^(n-1)=nのとき、x^n+y^n=(x+n^{1/(n-1)})^n…(3)となる。
(2)はa=1以外、r^(n-1)=anのとき、x^n+y^n=(x+(an)^{1/(n-1)})^n…(4)となる。
(3)はyが有理数のとき、xは無理数となるので、x,y,zは整数比とならない。
(3)のyが無理数のとき、x,y,zが整数比となるならば、yが有理数のときに整数比となる。
(4)の解は(3)の解のa^{1/(n-1)}倍となる。
∴n≧3のとき、x^n+y^n=z^nは自然数解x,y,zを持たない。
【定理】n=2のとき、x^n+y^n=z^nは自然数解x,y,zを持つ。
【証明】x^2+y^2=z^2を、z=x+rとおいてx^2+y^2=(x+r)^2…(1)とする。
(1)をr{(y/r)^2-1}=a2x(1/a)…(2)と変形する。
(2)はa=1、r=2のとき、x^2+y^2=(x+2)^2…(3)となる。
(2)はa=1以外、r=a2のとき、x^2+y^2=(x+a2)^2…(4)となる。
(3)はyが有理数のとき、xは有理数となる。(4)の解は(3)の解のa倍となる。
∴n=2のとき、x^n+y^n=z^nは自然数解x,y,zを持つ。
【定理】n≧3のとき、x^n+y^n=z^nは自然数解x,y,zを持たない。
【証明】x^n+y^n=z^nを、z=x+rとおいてx^n+y^n=(x+r)^n…(1)とする。
(1)をr^(n-1){(y/r)^n-1}=an{x^(n-1)+…+r^(n-2)x}(1/a)…(2)と変形する。
(2)はa=1、r^(n-1)=nのとき、x^n+y^n=(x+n^{1/(n-1)})^n…(3)となる。
(2)はa=1以外、r^(n-1)=anのとき、x^n+y^n=(x+(an)^{1/(n-1)})^n…(4)となる。
(3)はyが有理数のとき、xは無理数となるので、x,y,zは整数比とならない。
(3)のyが無理数のとき、x,y,zが整数比となるならば、yが有理数のときに整数比となる。
(4)の解は(3)の解のa^{1/(n-1)}倍となる。
∴n≧3のとき、x^n+y^n=z^nは自然数解x,y,zを持たない。
【定理】n=2のとき、x^n+y^n=z^nは自然数解x,y,zを持つ。
【証明】x^2+y^2=z^2を、z=x+rとおいてx^2+y^2=(x+r)^2…(1)とする。
(1)をr{(y/r)^2-1}=a2x(1/a)…(2)と変形する。
(2)はa=1、r=2のとき、x^2+y^2=(x+2)^2…(3)となる。
(2)はa=1以外、r=a2のとき、x^2+y^2=(x+a2)^2…(4)となる。
(3)はyが有理数のとき、xは有理数となる。(4)の解は(3)の解のa倍となる。
∴n=2のとき、x^n+y^n=z^nは自然数解x,y,zを持つ。
447132人目の素数さん
2020/11/24(火) 08:18:49.11ID:Ye2bgd72 >>444
それは,フェルマーの最終定理が成り立つから,(3)には整数比となる無理数解がない,といってるだけでしょう。
で,あなたは【証明】でなにをやりたいんですか。
あ,証明ではなくて予想でしたね。
すみません。
はい,私も
>s^p+t^p=u^pとならないので、(sw)^p+(tw)^p=(uw)^pとならない。
は正しく,真なる命題であろう,と確信を持って予想してます。
それは,フェルマーの最終定理が成り立つから,(3)には整数比となる無理数解がない,といってるだけでしょう。
で,あなたは【証明】でなにをやりたいんですか。
あ,証明ではなくて予想でしたね。
すみません。
はい,私も
>s^p+t^p=u^pとならないので、(sw)^p+(tw)^p=(uw)^pとならない。
は正しく,真なる命題であろう,と確信を持って予想してます。
448132人目の素数さん
2020/11/24(火) 08:20:30.54ID:AFUESiB3449日高
2020/11/24(火) 08:21:09.08ID:5JQp7zxv >429
「式が違います」でごまかそうとするんだろうが
(A) x^3+y^3=z^3
(B) x^3+7y^3=z^3
(C) x^3+8y^3=z^3
(A)と(B)は違う式,(B)と(C)は違う式,(C)と(A)も違う式だ。
(A)と(B)(C)は、同じ式ではありません。
「式が違います」でごまかそうとするんだろうが
(A) x^3+y^3=z^3
(B) x^3+7y^3=z^3
(C) x^3+8y^3=z^3
(A)と(B)は違う式,(B)と(C)は違う式,(C)と(A)も違う式だ。
(A)と(B)(C)は、同じ式ではありません。
450132人目の素数さん
2020/11/24(火) 08:29:59.36ID:AFUESiB3 >>443
> >427
> > (sw)^p+(tw)^p=(uw)^pとなるならば、s^p+t^p=u^pとなる。(s,t,uは有理数、wは無理数
> このときのaの値は?
> p=2ならば、a=1
> p≧3ならば、w=a^{1/(p-1)}、a=w^(p-1)
>
> (sw)^p+(tw)^p=(uw)^pのaの値は?
>
> p=2ならば、a=w
> p≧3ならば、aは存在しません。
>
> s^p+t^p=u^pのaの値は?
>
> p=2ならば、a=1
> p≧3ならば、aは存在しません。
ウソばっか
正しい計算(Hidaka-free)は
p=2なら(sw)^p+(tw)^p=(uw)^pのaの値は
(u-s)w=2aだからa=(1/2)(u-s)w
s^p+t^p=u^pのaの値は
u-s=2aだからa=(1/2)(u-s)
p=3なら
(sw)^3+(tw)^3=(uw)^3のaの値は
(u-s)w=(3a)^{1/2}だからa=(1/3)((u-s)w)^2
s^3+t^3=u^3のaの値は
u-s=(3a)^{1/2}だからa=(1/3)(u-s)^2
...
(sw)^p+(tw)^p=(uw)^pのaの値は
(u-s)w=(ap)^{1/(p-1)}だからa=(1/p)((u-s)w)^(p-1)
s^p+t^p=u^pのaの値は
u-s=(ap)^{1/(p-1)}だからa=(1/p)(u-s)^(p-1)
> >427
> > (sw)^p+(tw)^p=(uw)^pとなるならば、s^p+t^p=u^pとなる。(s,t,uは有理数、wは無理数
> このときのaの値は?
> p=2ならば、a=1
> p≧3ならば、w=a^{1/(p-1)}、a=w^(p-1)
>
> (sw)^p+(tw)^p=(uw)^pのaの値は?
>
> p=2ならば、a=w
> p≧3ならば、aは存在しません。
>
> s^p+t^p=u^pのaの値は?
>
> p=2ならば、a=1
> p≧3ならば、aは存在しません。
ウソばっか
正しい計算(Hidaka-free)は
p=2なら(sw)^p+(tw)^p=(uw)^pのaの値は
(u-s)w=2aだからa=(1/2)(u-s)w
s^p+t^p=u^pのaの値は
u-s=2aだからa=(1/2)(u-s)
p=3なら
(sw)^3+(tw)^3=(uw)^3のaの値は
(u-s)w=(3a)^{1/2}だからa=(1/3)((u-s)w)^2
s^3+t^3=u^3のaの値は
u-s=(3a)^{1/2}だからa=(1/3)(u-s)^2
...
(sw)^p+(tw)^p=(uw)^pのaの値は
(u-s)w=(ap)^{1/(p-1)}だからa=(1/p)((u-s)w)^(p-1)
s^p+t^p=u^pのaの値は
u-s=(ap)^{1/(p-1)}だからa=(1/p)(u-s)^(p-1)
451日高
2020/11/24(火) 08:30:27.71ID:5JQp7zxv >430
(3)は式なので「x,y,zは整数比とならない」で受けるのはおかしいよ。
そんなふうに書いている数学書、ある?
わかりません。
(3)は式なので「x,y,zは整数比とならない」で受けるのはおかしいよ。
そんなふうに書いている数学書、ある?
わかりません。
452132人目の素数さん
2020/11/24(火) 08:42:48.78ID:/hTWbi+0 >>443
a=1のときにyが無理数のときx,y,zが整数比とならないことは
a=1のときにy=tw(無理数)ならば(sw)^p+(tw)^pと(uw)^pが決して一致しない
ということだから
(sw)^p+(tw)^p=(uw)^pとなるならばs^p+t^p=u^pとなる
と何度書いても証明になっていないだろ
x=sw,y=tw,z=uwは次のような形になることが分かり
x=s*(ap)^{1/(p-1)},y=t*(ap)^{1/(p-1)},z=(s+1)*(ap)^{1/(p-1)} (s,tは有理数)
は整数比の解に可能性があるx,y,zであって
a=1とすればx,y,zは無理数でありr=z-x=p^{1/(p-1)}になる
(ap)^{1/(p-1)}が有理数ならx,y,zは有理数
この解が(4)を満たすかどうかはおまえの証明では示せない
a=1のときにyが無理数のときx,y,zが整数比とならないことは
a=1のときにy=tw(無理数)ならば(sw)^p+(tw)^pと(uw)^pが決して一致しない
ということだから
(sw)^p+(tw)^p=(uw)^pとなるならばs^p+t^p=u^pとなる
と何度書いても証明になっていないだろ
x=sw,y=tw,z=uwは次のような形になることが分かり
x=s*(ap)^{1/(p-1)},y=t*(ap)^{1/(p-1)},z=(s+1)*(ap)^{1/(p-1)} (s,tは有理数)
は整数比の解に可能性があるx,y,zであって
a=1とすればx,y,zは無理数でありr=z-x=p^{1/(p-1)}になる
(ap)^{1/(p-1)}が有理数ならx,y,zは有理数
この解が(4)を満たすかどうかはおまえの証明では示せない
453132人目の素数さん
2020/11/24(火) 08:46:36.57ID:PYa2wXWh >>438
>n=2のときには,x^n+y^n=(x+√3)^n には有理数解はありませんが,整数比となる無理数解(4√3,3√3,5√3)という反例があります。
>
>解(4√3,3√3,5√3)があるならば、解(4,3,5)があります。
>解(4√3,3√3,5√3)がないならば、解(4,3,5)もありません。
質問です。
方程式は(1)〜(4)まであります。
(どの方程式の)解(4√3,3√3,5√3)があるならば、(どの方程式の)解(4,3,5)があり、
(どの方程式の)解(4√3,3√3,5√3)がないならば、(どの方程式の)解(4,3,5)もないんですか?
>n=2のときには,x^n+y^n=(x+√3)^n には有理数解はありませんが,整数比となる無理数解(4√3,3√3,5√3)という反例があります。
>
>解(4√3,3√3,5√3)があるならば、解(4,3,5)があります。
>解(4√3,3√3,5√3)がないならば、解(4,3,5)もありません。
質問です。
方程式は(1)〜(4)まであります。
(どの方程式の)解(4√3,3√3,5√3)があるならば、(どの方程式の)解(4,3,5)があり、
(どの方程式の)解(4√3,3√3,5√3)がないならば、(どの方程式の)解(4,3,5)もないんですか?
454日高
2020/11/24(火) 08:49:21.88ID:5JQp7zxv >432
(4)のyが有理数で解が整数比となるとき、(3)のyは必ず無理数となる。
(3)のyが無理数のとき、x,y,zが整数比となるかどうかは、調べていない。
(3)のyが無理数のとき、x,y,zが整数比となるならば、(4)のyが有理数のときに整数比となるが、(4)のyが有理数のときに(4)のx,y,zが整数比となるかどうかは調べていない。
(4)のyが有理数で解が整数比となるとき、(3)のyは必ず無理数となるが、(3)のyが無理数の場合は、調べていない。
どの場合も調べていないので、証明は失敗です。
(3)のyが無理数のとき、x,y,zが整数比となるならば、yが有理数のとき、x,y,zが整数比となります。
(4)のx,y,zは、(3)のx,y,zの定数倍となります。
(4)のyが有理数で解が整数比となるとき、(3)のyは必ず無理数となる。
(3)のyが無理数のとき、x,y,zが整数比となるかどうかは、調べていない。
(3)のyが無理数のとき、x,y,zが整数比となるならば、(4)のyが有理数のときに整数比となるが、(4)のyが有理数のときに(4)のx,y,zが整数比となるかどうかは調べていない。
(4)のyが有理数で解が整数比となるとき、(3)のyは必ず無理数となるが、(3)のyが無理数の場合は、調べていない。
どの場合も調べていないので、証明は失敗です。
(3)のyが無理数のとき、x,y,zが整数比となるならば、yが有理数のとき、x,y,zが整数比となります。
(4)のx,y,zは、(3)のx,y,zの定数倍となります。
455日高
2020/11/24(火) 08:52:32.49ID:5JQp7zxv >439
あるならある、ないならない、としか言ってない。
「あるならば、」と言っています。
あるならある、ないならない、としか言ってない。
「あるならば、」と言っています。
456日高
2020/11/24(火) 08:53:24.46ID:5JQp7zxv (修正9)
【定理】n≧3のとき、x^n+y^n=z^nは自然数解x,y,zを持たない。
【証明】x^n+y^n=z^nを、z=x+rとおいてx^n+y^n=(x+r)^n…(1)とする。
(1)をr^(n-1){(y/r)^n-1}=an{x^(n-1)+…+r^(n-2)x}(1/a)…(2)と変形する。
(2)はa=1、r^(n-1)=nのとき、x^n+y^n=(x+n^{1/(n-1)})^n…(3)となる。
(2)はa=1以外、r^(n-1)=anのとき、x^n+y^n=(x+(an)^{1/(n-1)})^n…(4)となる。
(3)はyが有理数のとき、xは無理数となるので、x,y,zは整数比とならない。
(3)のyが無理数のとき、x,y,zが整数比となるならば、yが有理数のときに整数比となる。
(4)の解は(3)の解のa^{1/(n-1)}倍となる。
∴n≧3のとき、x^n+y^n=z^nは自然数解x,y,zを持たない。
【定理】n=2のとき、x^n+y^n=z^nは自然数解x,y,zを持つ。
【証明】x^2+y^2=z^2を、z=x+rとおいてx^2+y^2=(x+r)^2…(1)とする。
(1)をr{(y/r)^2-1}=a2x(1/a)…(2)と変形する。
(2)はa=1、r=2のとき、x^2+y^2=(x+2)^2…(3)となる。
(2)はa=1以外、r=a2のとき、x^2+y^2=(x+a2)^2…(4)となる。
(3)はyが有理数のとき、xは有理数となる。(4)の解は(3)の解のa倍となる。
∴n=2のとき、x^n+y^n=z^nは自然数解x,y,zを持つ。
【定理】n≧3のとき、x^n+y^n=z^nは自然数解x,y,zを持たない。
【証明】x^n+y^n=z^nを、z=x+rとおいてx^n+y^n=(x+r)^n…(1)とする。
(1)をr^(n-1){(y/r)^n-1}=an{x^(n-1)+…+r^(n-2)x}(1/a)…(2)と変形する。
(2)はa=1、r^(n-1)=nのとき、x^n+y^n=(x+n^{1/(n-1)})^n…(3)となる。
(2)はa=1以外、r^(n-1)=anのとき、x^n+y^n=(x+(an)^{1/(n-1)})^n…(4)となる。
(3)はyが有理数のとき、xは無理数となるので、x,y,zは整数比とならない。
(3)のyが無理数のとき、x,y,zが整数比となるならば、yが有理数のときに整数比となる。
(4)の解は(3)の解のa^{1/(n-1)}倍となる。
∴n≧3のとき、x^n+y^n=z^nは自然数解x,y,zを持たない。
【定理】n=2のとき、x^n+y^n=z^nは自然数解x,y,zを持つ。
【証明】x^2+y^2=z^2を、z=x+rとおいてx^2+y^2=(x+r)^2…(1)とする。
(1)をr{(y/r)^2-1}=a2x(1/a)…(2)と変形する。
(2)はa=1、r=2のとき、x^2+y^2=(x+2)^2…(3)となる。
(2)はa=1以外、r=a2のとき、x^2+y^2=(x+a2)^2…(4)となる。
(3)はyが有理数のとき、xは有理数となる。(4)の解は(3)の解のa倍となる。
∴n=2のとき、x^n+y^n=z^nは自然数解x,y,zを持つ。
457日高
2020/11/24(火) 08:56:42.73ID:5JQp7zxv >442
あと、主張している命題をすり替えているな。
どの部分のことでしょうか?
あと、主張している命題をすり替えているな。
どの部分のことでしょうか?
458日高
2020/11/24(火) 08:59:21.71ID:5JQp7zxv >445
なるほど!
気付きませんでした!!
反例を見つけたら除外すればいいわけですね!!!
でも,反例が生じうる命題の主張は,数学では証明とは呼びません。
そうゆうのは「予想」と呼ばれます。
フェルマーの最終定理は真である,との予想ですか。
よく意味がわかりません。
なるほど!
気付きませんでした!!
反例を見つけたら除外すればいいわけですね!!!
でも,反例が生じうる命題の主張は,数学では証明とは呼びません。
そうゆうのは「予想」と呼ばれます。
フェルマーの最終定理は真である,との予想ですか。
よく意味がわかりません。
459132人目の素数さん
2020/11/24(火) 09:24:31.70ID:Ye2bgd72 >>458
あなたの【証明】は肝心な部分が抜けているのでせいぜい【予想】でしかないということです。
あなたにとって【証明】が証明ならばそれでよいのではありませんか。
他人を納得させることはできないでしょうが,
それで人生が幸せに過ごせるならば。
私はフェルマーの最終定理の証明に成功した。
その言葉とともに墓碑銘として【証明】を刻むとよいと思います。
見る人にあなたの一生を十分に想起させるすばらしい墓碑銘となることと思います。
あなたの【証明】は肝心な部分が抜けているのでせいぜい【予想】でしかないということです。
あなたにとって【証明】が証明ならばそれでよいのではありませんか。
他人を納得させることはできないでしょうが,
それで人生が幸せに過ごせるならば。
私はフェルマーの最終定理の証明に成功した。
その言葉とともに墓碑銘として【証明】を刻むとよいと思います。
見る人にあなたの一生を十分に想起させるすばらしい墓碑銘となることと思います。
460日高
2020/11/24(火) 10:29:53.96ID:5JQp7zxv >459
あなたの【証明】は肝心な部分が抜けているのでせいぜい【予想】でしかないということです。
肝心な部分とは、どの部分のことでしょうか?
あなたの【証明】は肝心な部分が抜けているのでせいぜい【予想】でしかないということです。
肝心な部分とは、どの部分のことでしょうか?
461日高
2020/11/24(火) 10:35:09.37ID:5JQp7zxv >447
それは,フェルマーの最終定理が成り立つから,(3)には整数比となる無理数解がない,といってるだけでしょう。
pがどんな数でも、いえます。
それは,フェルマーの最終定理が成り立つから,(3)には整数比となる無理数解がない,といってるだけでしょう。
pがどんな数でも、いえます。
462日高
2020/11/24(火) 10:40:56.40ID:5JQp7zxv >448
> n≧3の場合、該当するaは、ありません。
なぜ証明していないのに該当するaがないことが分かるの?
aがどんな数でも、x,y,zは整数比とならないからです。
> n≧3の場合、該当するaは、ありません。
なぜ証明していないのに該当するaがないことが分かるの?
aがどんな数でも、x,y,zは整数比とならないからです。
463日高
2020/11/24(火) 10:52:29.16ID:5JQp7zxv >450
(sw)^p+(tw)^p=(uw)^pのaの値は
(u-s)w=(ap)^{1/(p-1)}だからa=(1/p)((u-s)w)^(p-1)
s^p+t^p=u^pのaの値は
u-s=(ap)^{1/(p-1)}だからa=(1/p)(u-s)^(p-1)
(sw)^p+(tw)^p=(uw)^pがなりたつならば、そうなります。
(sw)^p+(tw)^p=(uw)^pのaの値は
(u-s)w=(ap)^{1/(p-1)}だからa=(1/p)((u-s)w)^(p-1)
s^p+t^p=u^pのaの値は
u-s=(ap)^{1/(p-1)}だからa=(1/p)(u-s)^(p-1)
(sw)^p+(tw)^p=(uw)^pがなりたつならば、そうなります。
464132人目の素数さん
2020/11/24(火) 11:48:29.54ID:eHY2uCpi >>456
今日も零点です。永遠に零点でしょう。
今日も零点です。永遠に零点でしょう。
465ID:1lEWVa2s
2020/11/24(火) 12:24:00.05ID:Kv2iYQyd >>462
x*y*zが整数になると何が言えますか。
またあなたの言う整数比とは
x*y*zが整数になることとはちがうんでしょうか。
私は素人なので詳しく理解に入っていけません。
現在問われている整数比の有無について何を言いたいのでしょうか。
x*y*zが整数になると何が言えますか。
またあなたの言う整数比とは
x*y*zが整数になることとはちがうんでしょうか。
私は素人なので詳しく理解に入っていけません。
現在問われている整数比の有無について何を言いたいのでしょうか。
466ID:1lEWVa2s
2020/11/24(火) 12:25:57.87ID:Kv2iYQyd 多分私より日高の方が詳しいでしょう。
なぜなら反論が的確だからです。に加えて私と同様の理論を使っているからです。
なぜなら反論が的確だからです。に加えて私と同様の理論を使っているからです。
467132人目の素数さん
2020/11/24(火) 12:57:30.28ID:Ye2bgd72 >>460
(3)[(4)についても同じ]には整数比となる無理数解がないことの証明です。
>s^p+t^p=u^pとならないので、(sw)^p+(tw)^p=(uw)^pとなりません。
>(sw)^p+(tw)^p=(uw)^pとなるならば、s^p+t^p=u^pとなる。
これはあなたにとっては証明かも知れませんが,他の人にとっては証明になっていません。
ただの同値な命題の循環に過ぎません。
これが十分な証明である,と考えている限り,他人から【証明】が評価されることはあり得ないでしょう。
ここでの【証明】は,うん,できたできた,と一人で楽しんで,人に見せずそのまま墓場まで大事に持って行く類いのものです。
他人にはできる限り迷惑をかけない人生を送りたいものですね。
(3)[(4)についても同じ]には整数比となる無理数解がないことの証明です。
>s^p+t^p=u^pとならないので、(sw)^p+(tw)^p=(uw)^pとなりません。
>(sw)^p+(tw)^p=(uw)^pとなるならば、s^p+t^p=u^pとなる。
これはあなたにとっては証明かも知れませんが,他の人にとっては証明になっていません。
ただの同値な命題の循環に過ぎません。
これが十分な証明である,と考えている限り,他人から【証明】が評価されることはあり得ないでしょう。
ここでの【証明】は,うん,できたできた,と一人で楽しんで,人に見せずそのまま墓場まで大事に持って行く類いのものです。
他人にはできる限り迷惑をかけない人生を送りたいものですね。
468132人目の素数さん
2020/11/24(火) 13:22:50.36ID:57MIyQNE 日高さんの目指す人生は、フェルマーの定理の二番煎じの証明で本を出したり講演会やってガッポガッポ稼いで、編集社や講演会主催者の経費で銀座行きまくって女の子から先生!先生!って言われて王様のように暮らす人生。
469日高
2020/11/24(火) 14:21:00.74ID:5JQp7zxv >468
フェルマーの定理の二番煎じの証明で本を出したり
まったく、違う証明です。
フェルマーの定理の二番煎じの証明で本を出したり
まったく、違う証明です。
470日高
2020/11/24(火) 14:24:23.71ID:5JQp7zxv >467
これはあなたにとっては証明かも知れませんが,他の人にとっては証明になっていません。
ただの同値な命題の循環に過ぎません。
証明では、ありません。同じ事というためです。
これはあなたにとっては証明かも知れませんが,他の人にとっては証明になっていません。
ただの同値な命題の循環に過ぎません。
証明では、ありません。同じ事というためです。
471日高
2020/11/24(火) 14:26:30.48ID:5JQp7zxv (修正9)
【定理】n≧3のとき、x^n+y^n=z^nは自然数解x,y,zを持たない。
【証明】x^n+y^n=z^nを、z=x+rとおいてx^n+y^n=(x+r)^n…(1)とする。
(1)をr^(n-1){(y/r)^n-1}=an{x^(n-1)+…+r^(n-2)x}(1/a)…(2)と変形する。
(2)はa=1、r^(n-1)=nのとき、x^n+y^n=(x+n^{1/(n-1)})^n…(3)となる。
(2)はa=1以外、r^(n-1)=anのとき、x^n+y^n=(x+(an)^{1/(n-1)})^n…(4)となる。
(3)はyが有理数のとき、xは無理数となるので、x,y,zは整数比とならない。
(3)のyが無理数のとき、x,y,zが整数比となるならば、yが有理数のときに整数比となる。
(4)の解は(3)の解のa^{1/(n-1)}倍となる。
∴n≧3のとき、x^n+y^n=z^nは自然数解x,y,zを持たない。
【定理】n=2のとき、x^n+y^n=z^nは自然数解x,y,zを持つ。
【証明】x^2+y^2=z^2を、z=x+rとおいてx^2+y^2=(x+r)^2…(1)とする。
(1)をr{(y/r)^2-1}=a2x(1/a)…(2)と変形する。
(2)はa=1、r=2のとき、x^2+y^2=(x+2)^2…(3)となる。
(2)はa=1以外、r=a2のとき、x^2+y^2=(x+a2)^2…(4)となる。
(3)はyが有理数のとき、xは有理数となる。(4)の解は(3)の解のa倍となる。
∴n=2のとき、x^n+y^n=z^nは自然数解x,y,zを持つ。
【定理】n≧3のとき、x^n+y^n=z^nは自然数解x,y,zを持たない。
【証明】x^n+y^n=z^nを、z=x+rとおいてx^n+y^n=(x+r)^n…(1)とする。
(1)をr^(n-1){(y/r)^n-1}=an{x^(n-1)+…+r^(n-2)x}(1/a)…(2)と変形する。
(2)はa=1、r^(n-1)=nのとき、x^n+y^n=(x+n^{1/(n-1)})^n…(3)となる。
(2)はa=1以外、r^(n-1)=anのとき、x^n+y^n=(x+(an)^{1/(n-1)})^n…(4)となる。
(3)はyが有理数のとき、xは無理数となるので、x,y,zは整数比とならない。
(3)のyが無理数のとき、x,y,zが整数比となるならば、yが有理数のときに整数比となる。
(4)の解は(3)の解のa^{1/(n-1)}倍となる。
∴n≧3のとき、x^n+y^n=z^nは自然数解x,y,zを持たない。
【定理】n=2のとき、x^n+y^n=z^nは自然数解x,y,zを持つ。
【証明】x^2+y^2=z^2を、z=x+rとおいてx^2+y^2=(x+r)^2…(1)とする。
(1)をr{(y/r)^2-1}=a2x(1/a)…(2)と変形する。
(2)はa=1、r=2のとき、x^2+y^2=(x+2)^2…(3)となる。
(2)はa=1以外、r=a2のとき、x^2+y^2=(x+a2)^2…(4)となる。
(3)はyが有理数のとき、xは有理数となる。(4)の解は(3)の解のa倍となる。
∴n=2のとき、x^n+y^n=z^nは自然数解x,y,zを持つ。
472132人目の素数さん
2020/11/24(火) 14:28:46.93ID:gJXEmOSR 二番煎じ以外は否定しないんだwww
473132人目の素数さん
2020/11/24(火) 14:30:45.93ID:gJXEmOSR ってか二番煎じにもなっていない。
フェルマーのお茶ってラベル付けて、中身はオシッコ入れて飲まそうとしてる感じ。
フェルマーのお茶ってラベル付けて、中身はオシッコ入れて飲まそうとしてる感じ。
474日高
2020/11/24(火) 14:30:55.18ID:5JQp7zxv >465
またあなたの言う整数比とは
x*y*zが整数になることとはちがうんでしょうか。
x,y,zが、共通の無理数を持てば、x,y,zが無理数で、整数比となります。
またあなたの言う整数比とは
x*y*zが整数になることとはちがうんでしょうか。
x,y,zが、共通の無理数を持てば、x,y,zが無理数で、整数比となります。
475日高
2020/11/24(火) 14:33:49.23ID:5JQp7zxv >473
ってか二番煎じにもなっていない。
意味がわかりません。
ってか二番煎じにもなっていない。
意味がわかりません。
476132人目の素数さん
2020/11/24(火) 17:18:05.27ID:GCirVmNs >>463
> (sw)^p+(tw)^p=(uw)^pがなりたつならば、そうなります。
それでおまえは成り立たないことを示してないから
aが存在しないことはいえないだろ
x^3+y^3=(x+(b^3+c^3)^(1/3)-b)^3なら
a=1/3((b^3+c^3)^(1/3)-b)^2
x^p+y^p=(x+(b^p+c^p)^(1/p)-b)^pなら
a=1/p((b^3+c^3)^(1/3)-b)^(p-1)
p=3ならば
x^3+y^3=(x+(3a)^1/2)…(4)は
a=1/3((b^3+c^3)^(1/3)-b)^2のときに
x=b*(3a)^1/2,y=c*(3a)^1/2,z=(b+1)*(3a)^1/2を必ず解に持つ
(この時点ではb,cは実数であり整数比とは限らないが必ず解を持つ)
>>471
> (3)のyが無理数のとき、x,y,zが整数比となるならば、yが有理数のときに整数比となる。
(3)のyが無理数のときは(3)のxが無理数になる場合がある
(3)はa=1のときであり
(3)のyが無理数のときの無理数にはy=c*√3のcが有理数の場合が含まれるし
(3)のxが無理数のときの無理数にはx=b*√3のbが有理数の場合が含まれる
b,cが有理数であればx,y,zは整数比になる
よっておまえの証明はフェルマーの最終定理の証明ではない
> (sw)^p+(tw)^p=(uw)^pがなりたつならば、そうなります。
それでおまえは成り立たないことを示してないから
aが存在しないことはいえないだろ
x^3+y^3=(x+(b^3+c^3)^(1/3)-b)^3なら
a=1/3((b^3+c^3)^(1/3)-b)^2
x^p+y^p=(x+(b^p+c^p)^(1/p)-b)^pなら
a=1/p((b^3+c^3)^(1/3)-b)^(p-1)
p=3ならば
x^3+y^3=(x+(3a)^1/2)…(4)は
a=1/3((b^3+c^3)^(1/3)-b)^2のときに
x=b*(3a)^1/2,y=c*(3a)^1/2,z=(b+1)*(3a)^1/2を必ず解に持つ
(この時点ではb,cは実数であり整数比とは限らないが必ず解を持つ)
>>471
> (3)のyが無理数のとき、x,y,zが整数比となるならば、yが有理数のときに整数比となる。
(3)のyが無理数のときは(3)のxが無理数になる場合がある
(3)はa=1のときであり
(3)のyが無理数のときの無理数にはy=c*√3のcが有理数の場合が含まれるし
(3)のxが無理数のときの無理数にはx=b*√3のbが有理数の場合が含まれる
b,cが有理数であればx,y,zは整数比になる
よっておまえの証明はフェルマーの最終定理の証明ではない
477132人目の素数さん
2020/11/24(火) 17:41:58.88ID:eHY2uCpi478日高
2020/11/24(火) 17:45:07.73ID:5JQp7zxv >477
>>471を見ても n は整数らしいですけど、
x, y, z, r, a
はいったい何なのかさっぱりわかりません。
x, y, z, r, aは実数です。
>>471を見ても n は整数らしいですけど、
x, y, z, r, a
はいったい何なのかさっぱりわかりません。
x, y, z, r, aは実数です。
479132人目の素数さん
2020/11/24(火) 17:58:33.30ID:NO3rnOYH 日高さんは少なくとも数年前からこうやったことを続けているようです
http://www.crossroad.jp/cgi-bin/bbs/mathbbs/cbbs.cgi?mode=res&namber=50045&page=10&no=0
投稿されてる証明pngがここのものと酷似しています 同一人物でしょう
日高さんは人を怒らせる方法でも実践しておられるのですか
5chでの前スレは1個だけだとおもっていたら
フェルマーの最終定理の簡単な証明8
https://rio2016.5ch.net/test/read.cgi/math/1587643218/
http://www.crossroad.jp/cgi-bin/bbs/mathbbs/cbbs.cgi?mode=res&namber=50045&page=10&no=0
投稿されてる証明pngがここのものと酷似しています 同一人物でしょう
日高さんは人を怒らせる方法でも実践しておられるのですか
5chでの前スレは1個だけだとおもっていたら
フェルマーの最終定理の簡単な証明8
https://rio2016.5ch.net/test/read.cgi/math/1587643218/
480132人目の素数さん
2020/11/24(火) 18:00:27.78ID:NO3rnOYH >>479
さっきの数学ナビゲーター掲示板URL先のコメントから引用
□投稿者/ らすかる 一般人(30回)-(2019/09/22(Sun) 13:51:09)
日高さんの「証明」は論理的に全くおかしく、誰が見ても完璧に間違いなのですが、
今まで何人もの方がいくら指摘しても日高さんがまるで理解できていないことから
わかるように、日高さんには数学の論理的思考が圧倒的に欠けていて、
日高さんに理解できるように指摘できる人は誰もいません。
ある程度理解できる人であれば、おかしい点を丁寧に細かく指摘するか、
または反例を挙げて成り立たないことを指摘するか、あるいは
全く同じ論理展開なのに成り立たない証明を挙げたりすれば
わかってもらえるのですが、日高さんはこれらの方法では
どうやっても理解してもらえませんので、もう打つ手がありません。
(だからみんな諦めて去っていますよね?)
ですからいくら提示しても不毛であり、客観的にみて掲示板荒らしにしか
なりませんので、理解したかったら論理の基本が理解できるように
自分で勉強して下さい。基本から勉強したくないのでしたら諦めて下さい。
実際にどの程度の間違いであるか日高さんにわかるような例を挙げると、
「太陽は地球より小さい。この目で見て明らかだ。誰が何と言おうと小さい。」
と言い張っているのと同レベルにおかしいです。
これも「遠くにあるものは小さく見える」と説明したり
遠くに見える山が実際に小さく見えたりする例を挙げたりして
説明すれば普通の人はわかりますが、そういう説明をしてもわからない
という点で同レベルです。
「素人にもわかるように」といっても限界があります。
例えば幼稚園児に積分を教えるのは無理ですよね?
そのレベルで不可能です。
さっきの数学ナビゲーター掲示板URL先のコメントから引用
□投稿者/ らすかる 一般人(30回)-(2019/09/22(Sun) 13:51:09)
日高さんの「証明」は論理的に全くおかしく、誰が見ても完璧に間違いなのですが、
今まで何人もの方がいくら指摘しても日高さんがまるで理解できていないことから
わかるように、日高さんには数学の論理的思考が圧倒的に欠けていて、
日高さんに理解できるように指摘できる人は誰もいません。
ある程度理解できる人であれば、おかしい点を丁寧に細かく指摘するか、
または反例を挙げて成り立たないことを指摘するか、あるいは
全く同じ論理展開なのに成り立たない証明を挙げたりすれば
わかってもらえるのですが、日高さんはこれらの方法では
どうやっても理解してもらえませんので、もう打つ手がありません。
(だからみんな諦めて去っていますよね?)
ですからいくら提示しても不毛であり、客観的にみて掲示板荒らしにしか
なりませんので、理解したかったら論理の基本が理解できるように
自分で勉強して下さい。基本から勉強したくないのでしたら諦めて下さい。
実際にどの程度の間違いであるか日高さんにわかるような例を挙げると、
「太陽は地球より小さい。この目で見て明らかだ。誰が何と言おうと小さい。」
と言い張っているのと同レベルにおかしいです。
これも「遠くにあるものは小さく見える」と説明したり
遠くに見える山が実際に小さく見えたりする例を挙げたりして
説明すれば普通の人はわかりますが、そういう説明をしてもわからない
という点で同レベルです。
「素人にもわかるように」といっても限界があります。
例えば幼稚園児に積分を教えるのは無理ですよね?
そのレベルで不可能です。
481日高
2020/11/24(火) 18:02:11.50ID:5JQp7zxv >476
x=b*(3a)^1/2,y=c*(3a)^1/2,z=(b+1)*(3a)^1/2を必ず解に持つ
この部分が、よく理解できません。
x=b*(3a)^1/2,y=c*(3a)^1/2,z=(b+1)*(3a)^1/2を必ず解に持つ
この部分が、よく理解できません。
482132人目の素数さん
2020/11/24(火) 18:04:30.95ID:AGJS5X2j やっぱりあちこちで迷惑かけてる荒らしだったか。
483日高
2020/11/24(火) 18:07:28.60ID:5JQp7zxv >479
日高さんは人を怒らせる方法でも実践しておられるのですか
具体的な指摘をお願いしています。
日高さんは人を怒らせる方法でも実践しておられるのですか
具体的な指摘をお願いしています。
484日高
2020/11/24(火) 18:09:20.86ID:5JQp7zxv (修正9)
【定理】n≧3のとき、x^n+y^n=z^nは自然数解x,y,zを持たない。
【証明】x^n+y^n=z^nを、z=x+rとおいてx^n+y^n=(x+r)^n…(1)とする。
(1)をr^(n-1){(y/r)^n-1}=an{x^(n-1)+…+r^(n-2)x}(1/a)…(2)と変形する。
(2)はa=1、r^(n-1)=nのとき、x^n+y^n=(x+n^{1/(n-1)})^n…(3)となる。
(2)はa=1以外、r^(n-1)=anのとき、x^n+y^n=(x+(an)^{1/(n-1)})^n…(4)となる。
(3)はyが有理数のとき、xは無理数となるので、x,y,zは整数比とならない。
(3)のyが無理数のとき、x,y,zが整数比となるならば、yが有理数のときに整数比となる。
(4)の解は(3)の解のa^{1/(n-1)}倍となる。
∴n≧3のとき、x^n+y^n=z^nは自然数解x,y,zを持たない。
【定理】n=2のとき、x^n+y^n=z^nは自然数解x,y,zを持つ。
【証明】x^2+y^2=z^2を、z=x+rとおいてx^2+y^2=(x+r)^2…(1)とする。
(1)をr{(y/r)^2-1}=a2x(1/a)…(2)と変形する。
(2)はa=1、r=2のとき、x^2+y^2=(x+2)^2…(3)となる。
(2)はa=1以外、r=a2のとき、x^2+y^2=(x+a2)^2…(4)となる。
(3)はyが有理数のとき、xは有理数となる。(4)の解は(3)の解のa倍となる。
∴n=2のとき、x^n+y^n=z^nは自然数解x,y,zを持つ。
【定理】n≧3のとき、x^n+y^n=z^nは自然数解x,y,zを持たない。
【証明】x^n+y^n=z^nを、z=x+rとおいてx^n+y^n=(x+r)^n…(1)とする。
(1)をr^(n-1){(y/r)^n-1}=an{x^(n-1)+…+r^(n-2)x}(1/a)…(2)と変形する。
(2)はa=1、r^(n-1)=nのとき、x^n+y^n=(x+n^{1/(n-1)})^n…(3)となる。
(2)はa=1以外、r^(n-1)=anのとき、x^n+y^n=(x+(an)^{1/(n-1)})^n…(4)となる。
(3)はyが有理数のとき、xは無理数となるので、x,y,zは整数比とならない。
(3)のyが無理数のとき、x,y,zが整数比となるならば、yが有理数のときに整数比となる。
(4)の解は(3)の解のa^{1/(n-1)}倍となる。
∴n≧3のとき、x^n+y^n=z^nは自然数解x,y,zを持たない。
【定理】n=2のとき、x^n+y^n=z^nは自然数解x,y,zを持つ。
【証明】x^2+y^2=z^2を、z=x+rとおいてx^2+y^2=(x+r)^2…(1)とする。
(1)をr{(y/r)^2-1}=a2x(1/a)…(2)と変形する。
(2)はa=1、r=2のとき、x^2+y^2=(x+2)^2…(3)となる。
(2)はa=1以外、r=a2のとき、x^2+y^2=(x+a2)^2…(4)となる。
(3)はyが有理数のとき、xは有理数となる。(4)の解は(3)の解のa倍となる。
∴n=2のとき、x^n+y^n=z^nは自然数解x,y,zを持つ。
485132人目の素数さん
2020/11/24(火) 18:09:27.41ID:AGJS5X2j 指摘してくださいって散々人の意見タダ聞きして、礼もなく返ってくるのが「理解できません」「わかりません」だもんな。
そりゃ皆んな怒るわな。
そりゃ皆んな怒るわな。
486日高
2020/11/24(火) 18:11:39.19ID:5JQp7zxv >480
さっきの数学ナビゲーター掲示板URL先のコメントから引用
具体的指摘をお願いします。
さっきの数学ナビゲーター掲示板URL先のコメントから引用
具体的指摘をお願いします。
487日高
2020/11/24(火) 18:13:31.57ID:5JQp7zxv >482
やっぱりあちこちで迷惑かけてる荒らしだったか。
具体的な指摘をお願いします。
やっぱりあちこちで迷惑かけてる荒らしだったか。
具体的な指摘をお願いします。
488日高
2020/11/24(火) 18:16:03.17ID:5JQp7zxv >485
指摘してくださいって散々人の意見タダ聞きして、礼もなく返ってくるのが「理解できません」「わかりません」だもんな。
そりゃ皆んな怒るわな。
誰が、怒っているのでしょうか?
指摘してくださいって散々人の意見タダ聞きして、礼もなく返ってくるのが「理解できません」「わかりません」だもんな。
そりゃ皆んな怒るわな。
誰が、怒っているのでしょうか?
489132人目の素数さん
2020/11/24(火) 18:17:18.18ID:NO3rnOYH >>486
実は前から指摘をしているのですよね
ちなみに数年前のあなたの投稿をみてみると
あなたの証明もどきは根本的な部分で一切の修正がないようです
どうやら今までの親切な人たちの数千以上の返信は完全に無駄だったようです
実は前から指摘をしているのですよね
ちなみに数年前のあなたの投稿をみてみると
あなたの証明もどきは根本的な部分で一切の修正がないようです
どうやら今までの親切な人たちの数千以上の返信は完全に無駄だったようです
490132人目の素数さん
2020/11/24(火) 18:28:02.15ID:AGJS5X2j 数百か数千か数え切れない善意の指摘に、悪意の定型文をひたすら返すってまともな精神ではないな。
491132人目の素数さん
2020/11/24(火) 18:34:13.79ID:AGJS5X2j 人に不快感を与えて快感を得るようなサイコパスって一定数はいるわけだが、リアルで目の当たりにするとおぞましい限りだ。
492132人目の素数さん
2020/11/24(火) 18:44:59.03ID:IZm3jlj9 >>481
> >476
> x=b*(3a)^1/2,y=c*(3a)^1/2,z=(b+1)*(3a)^1/2を必ず解に持つ
>
> この部分が、よく理解できません。
> >450
> (sw)^p+(tw)^p=(uw)^pのaの値は
> (u-s)w=(ap)^{1/(p-1)}だからa=(1/p)((u-s)w)^(p-1)
> s^p+t^p=u^pのaの値は
> u-s=(ap)^{1/(p-1)}だからa=(1/p)(u-s)^(p-1)
>
> (sw)^p+(tw)^p=(uw)^pがなりたつならば、そうなります。
>
> > (sw)^p+(tw)^p=(uw)^pがなりたつならば、そうなります。
> それでおまえは成り立たないことを示してないから
> aが存在しないことはいえないだろ
>
> x^3+y^3=(x+(b^3+c^3)^(1/3)-b)^3なら
> a=1/3((b^3+c^3)^(1/3)-b)^2
>
> p=3ならば
> x^3+y^3=(x+(3a)^1/2)…(4)は
> a=1/3((b^3+c^3)^(1/3)-b)^2のときに
> x=b*(3a)^1/2,y=c*(3a)^1/2,z=(b+1)*(3a)^1/2を必ず解に持つ
> (この時点ではb,cは実数であり整数比とは限らないが必ず解を持つ)
という話の流れなんだから成立するaの値を探せ
> >476
> x=b*(3a)^1/2,y=c*(3a)^1/2,z=(b+1)*(3a)^1/2を必ず解に持つ
>
> この部分が、よく理解できません。
> >450
> (sw)^p+(tw)^p=(uw)^pのaの値は
> (u-s)w=(ap)^{1/(p-1)}だからa=(1/p)((u-s)w)^(p-1)
> s^p+t^p=u^pのaの値は
> u-s=(ap)^{1/(p-1)}だからa=(1/p)(u-s)^(p-1)
>
> (sw)^p+(tw)^p=(uw)^pがなりたつならば、そうなります。
>
> > (sw)^p+(tw)^p=(uw)^pがなりたつならば、そうなります。
> それでおまえは成り立たないことを示してないから
> aが存在しないことはいえないだろ
>
> x^3+y^3=(x+(b^3+c^3)^(1/3)-b)^3なら
> a=1/3((b^3+c^3)^(1/3)-b)^2
>
> p=3ならば
> x^3+y^3=(x+(3a)^1/2)…(4)は
> a=1/3((b^3+c^3)^(1/3)-b)^2のときに
> x=b*(3a)^1/2,y=c*(3a)^1/2,z=(b+1)*(3a)^1/2を必ず解に持つ
> (この時点ではb,cは実数であり整数比とは限らないが必ず解を持つ)
という話の流れなんだから成立するaの値を探せ
493132人目の素数さん
2020/11/24(火) 19:19:20.18ID:Ye2bgd72 x^n+y^n=(x+n^{1/(n-1)})^n…(3)
(3)には有理数解がありません。
要するにこれが【証明】のすべて。
他にはなーんにも,ほんとになーんにもなし。
結局,整数比となる無理数解がないことも,(3)には有理数解がないことから導いているし。
n=2のときも x^2+y^2=(x+√3)^2 には有理数解はないでしょ,といっても意味不明の答えが返ってくるし。
突き詰めると,有理数の足し算では,無理数は作り出せません。
∴フェルマーの最終定理は証明されました。
といってるだけ。
日高さん,【証明】の次の2行は数学ではありません。
>(3)はyが有理数のとき、xは無理数となるので、x,y,zは整数比とならない。
>(3)のyが無理数のとき、x,y,zが整数比となるならば、yが有理数のときに整数比となる。
あなたの固定観念あるいは妄執のxyz表現です。
妄想性障害の誇大型といわれる症例に合致するのではないかと思います。
検索して思い当たる節があったらよろしく加療することをご検討下さい。
(3)には有理数解がありません。
要するにこれが【証明】のすべて。
他にはなーんにも,ほんとになーんにもなし。
結局,整数比となる無理数解がないことも,(3)には有理数解がないことから導いているし。
n=2のときも x^2+y^2=(x+√3)^2 には有理数解はないでしょ,といっても意味不明の答えが返ってくるし。
突き詰めると,有理数の足し算では,無理数は作り出せません。
∴フェルマーの最終定理は証明されました。
といってるだけ。
日高さん,【証明】の次の2行は数学ではありません。
>(3)はyが有理数のとき、xは無理数となるので、x,y,zは整数比とならない。
>(3)のyが無理数のとき、x,y,zが整数比となるならば、yが有理数のときに整数比となる。
あなたの固定観念あるいは妄執のxyz表現です。
妄想性障害の誇大型といわれる症例に合致するのではないかと思います。
検索して思い当たる節があったらよろしく加療することをご検討下さい。
494日高
2020/11/24(火) 19:29:00.72ID:5JQp7zxv >489
あなたの証明もどきは根本的な部分で一切の修正がないようです
根本的な間違いがないからです。
あなたの証明もどきは根本的な部分で一切の修正がないようです
根本的な間違いがないからです。
495日高
2020/11/24(火) 19:30:27.96ID:5JQp7zxv >490
悪意の定型文をひたすら返すってまともな精神ではないな。
どれが、悪意の定型文でしょうか?
悪意の定型文をひたすら返すってまともな精神ではないな。
どれが、悪意の定型文でしょうか?
496日高
2020/11/24(火) 19:30:28.47ID:5JQp7zxv >490
悪意の定型文をひたすら返すってまともな精神ではないな。
どれが、悪意の定型文でしょうか?
悪意の定型文をひたすら返すってまともな精神ではないな。
どれが、悪意の定型文でしょうか?
497日高
2020/11/24(火) 19:32:06.84ID:5JQp7zxv >491
人に不快感を与えて快感を得るようなサイコパスって一定数はいるわけだが、リアルで目の当たりにするとおぞましい限りだ。
意味がわかりません。
人に不快感を与えて快感を得るようなサイコパスって一定数はいるわけだが、リアルで目の当たりにするとおぞましい限りだ。
意味がわかりません。
498日高
2020/11/24(火) 19:33:21.17ID:5JQp7zxv (修正9)
【定理】n≧3のとき、x^n+y^n=z^nは自然数解x,y,zを持たない。
【証明】x^n+y^n=z^nを、z=x+rとおいてx^n+y^n=(x+r)^n…(1)とする。
(1)をr^(n-1){(y/r)^n-1}=an{x^(n-1)+…+r^(n-2)x}(1/a)…(2)と変形する。
(2)はa=1、r^(n-1)=nのとき、x^n+y^n=(x+n^{1/(n-1)})^n…(3)となる。
(2)はa=1以外、r^(n-1)=anのとき、x^n+y^n=(x+(an)^{1/(n-1)})^n…(4)となる。
(3)はyが有理数のとき、xは無理数となるので、x,y,zは整数比とならない。
(3)のyが無理数のとき、x,y,zが整数比となるならば、yが有理数のときに整数比となる。
(4)の解は(3)の解のa^{1/(n-1)}倍となる。
∴n≧3のとき、x^n+y^n=z^nは自然数解x,y,zを持たない。
【定理】n=2のとき、x^n+y^n=z^nは自然数解x,y,zを持つ。
【証明】x^2+y^2=z^2を、z=x+rとおいてx^2+y^2=(x+r)^2…(1)とする。
(1)をr{(y/r)^2-1}=a2x(1/a)…(2)と変形する。
(2)はa=1、r=2のとき、x^2+y^2=(x+2)^2…(3)となる。
(2)はa=1以外、r=a2のとき、x^2+y^2=(x+a2)^2…(4)となる。
(3)はyが有理数のとき、xは有理数となる。(4)の解は(3)の解のa倍となる。
∴n=2のとき、x^n+y^n=z^nは自然数解x,y,zを持つ
【定理】n≧3のとき、x^n+y^n=z^nは自然数解x,y,zを持たない。
【証明】x^n+y^n=z^nを、z=x+rとおいてx^n+y^n=(x+r)^n…(1)とする。
(1)をr^(n-1){(y/r)^n-1}=an{x^(n-1)+…+r^(n-2)x}(1/a)…(2)と変形する。
(2)はa=1、r^(n-1)=nのとき、x^n+y^n=(x+n^{1/(n-1)})^n…(3)となる。
(2)はa=1以外、r^(n-1)=anのとき、x^n+y^n=(x+(an)^{1/(n-1)})^n…(4)となる。
(3)はyが有理数のとき、xは無理数となるので、x,y,zは整数比とならない。
(3)のyが無理数のとき、x,y,zが整数比となるならば、yが有理数のときに整数比となる。
(4)の解は(3)の解のa^{1/(n-1)}倍となる。
∴n≧3のとき、x^n+y^n=z^nは自然数解x,y,zを持たない。
【定理】n=2のとき、x^n+y^n=z^nは自然数解x,y,zを持つ。
【証明】x^2+y^2=z^2を、z=x+rとおいてx^2+y^2=(x+r)^2…(1)とする。
(1)をr{(y/r)^2-1}=a2x(1/a)…(2)と変形する。
(2)はa=1、r=2のとき、x^2+y^2=(x+2)^2…(3)となる。
(2)はa=1以外、r=a2のとき、x^2+y^2=(x+a2)^2…(4)となる。
(3)はyが有理数のとき、xは有理数となる。(4)の解は(3)の解のa倍となる。
∴n=2のとき、x^n+y^n=z^nは自然数解x,y,zを持つ
499132人目の素数さん
2020/11/24(火) 19:33:47.63ID:NO3rnOYH 日高さんは少なくとも数年前からこうやったことを続けているようです
http://www.crossroad.jp/cgi-bin/bbs/mathbbs/cbbs.cgi?mode=res&namber=50045&page=10&no=0
投稿されてる証明pngがここのものと酷似しています 同一人物でしょう
日高さんは人を怒らせる方法でも実践しておられるのですか
5chでの前スレは1個だけだとおもっていたら
フェルマーの最終定理の簡単な証明8
https://rio2016.5ch.net/test/read.cgi/math/1587643218/
http://www.crossroad.jp/cgi-bin/bbs/mathbbs/cbbs.cgi?mode=res&namber=50045&page=10&no=0
投稿されてる証明pngがここのものと酷似しています 同一人物でしょう
日高さんは人を怒らせる方法でも実践しておられるのですか
5chでの前スレは1個だけだとおもっていたら
フェルマーの最終定理の簡単な証明8
https://rio2016.5ch.net/test/read.cgi/math/1587643218/
500132人目の素数さん
2020/11/24(火) 19:35:45.83ID:NO3rnOYH □投稿者/ らすかる 一般人(30回)-(2019/09/22(Sun) 13:51:09)
日高さんの「証明」は論理的に全くおかしく、誰が見ても完璧に間違いなのですが、
今まで何人もの方がいくら指摘しても日高さんがまるで理解できていないことから
わかるように、日高さんには数学の論理的思考が圧倒的に欠けていて、
日高さんに理解できるように指摘できる人は誰もいません。
ある程度理解できる人であれば、おかしい点を丁寧に細かく指摘するか、
または反例を挙げて成り立たないことを指摘するか、あるいは
全く同じ論理展開なのに成り立たない証明を挙げたりすれば
わかってもらえるのですが、日高さんはこれらの方法では
どうやっても理解してもらえませんので、もう打つ手がありません。
(だからみんな諦めて去っていますよね?)
ですからいくら提示しても不毛であり、客観的にみて掲示板荒らしにしか
なりませんので、理解したかったら論理の基本が理解できるように
自分で勉強して下さい。基本から勉強したくないのでしたら諦めて下さい。
実際にどの程度の間違いであるか日高さんにわかるような例を挙げると、
「太陽は地球より小さい。この目で見て明らかだ。誰が何と言おうと小さい。」
と言い張っているのと同レベルにおかしいです。
これも「遠くにあるものは小さく見える」と説明したり
遠くに見える山が実際に小さく見えたりする例を挙げたりして
説明すれば普通の人はわかりますが、そういう説明をしてもわからない
という点で同レベルです。
「素人にもわかるように」といっても限界があります。
例えば幼稚園児に積分を教えるのは無理ですよね?
そのレベルで不可能です。
日高さんの「証明」は論理的に全くおかしく、誰が見ても完璧に間違いなのですが、
今まで何人もの方がいくら指摘しても日高さんがまるで理解できていないことから
わかるように、日高さんには数学の論理的思考が圧倒的に欠けていて、
日高さんに理解できるように指摘できる人は誰もいません。
ある程度理解できる人であれば、おかしい点を丁寧に細かく指摘するか、
または反例を挙げて成り立たないことを指摘するか、あるいは
全く同じ論理展開なのに成り立たない証明を挙げたりすれば
わかってもらえるのですが、日高さんはこれらの方法では
どうやっても理解してもらえませんので、もう打つ手がありません。
(だからみんな諦めて去っていますよね?)
ですからいくら提示しても不毛であり、客観的にみて掲示板荒らしにしか
なりませんので、理解したかったら論理の基本が理解できるように
自分で勉強して下さい。基本から勉強したくないのでしたら諦めて下さい。
実際にどの程度の間違いであるか日高さんにわかるような例を挙げると、
「太陽は地球より小さい。この目で見て明らかだ。誰が何と言おうと小さい。」
と言い張っているのと同レベルにおかしいです。
これも「遠くにあるものは小さく見える」と説明したり
遠くに見える山が実際に小さく見えたりする例を挙げたりして
説明すれば普通の人はわかりますが、そういう説明をしてもわからない
という点で同レベルです。
「素人にもわかるように」といっても限界があります。
例えば幼稚園児に積分を教えるのは無理ですよね?
そのレベルで不可能です。
501日高
2020/11/24(火) 19:36:53.87ID:5JQp7zxv >492
という話の流れなんだから成立するaの値を探せ
p=2ならば、すべて、成立します。
という話の流れなんだから成立するaの値を探せ
p=2ならば、すべて、成立します。
502132人目の素数さん
2020/11/24(火) 19:37:33.95ID:znInfkIf >>449 日高
> >429
> 「式が違います」でごまかそうとするんだろうが
> (A) x^3+y^3=z^3
> (B) x^3+7y^3=z^3
> (C) x^3+8y^3=z^3
> (A)と(B)は違う式,(B)と(C)は違う式,(C)と(A)も違う式だ。
>
> (A)と(B)(C)は、同じ式ではありません。
(A)は自然数解なし,(B)は自然数解あり。(C)は自然数解を持ちますか?
> >429
> 「式が違います」でごまかそうとするんだろうが
> (A) x^3+y^3=z^3
> (B) x^3+7y^3=z^3
> (C) x^3+8y^3=z^3
> (A)と(B)は違う式,(B)と(C)は違う式,(C)と(A)も違う式だ。
>
> (A)と(B)(C)は、同じ式ではありません。
(A)は自然数解なし,(B)は自然数解あり。(C)は自然数解を持ちますか?
503日高
2020/11/24(火) 19:40:50.02ID:5JQp7zxv >499,500
このコピーの目的を教えてください。
このコピーの目的を教えてください。
504日高
2020/11/24(火) 19:43:05.58ID:5JQp7zxv >502
(A)は自然数解なし,(B)は自然数解あり。(C)は自然数解を持ちますか?
わかりません。
(A)は自然数解なし,(B)は自然数解あり。(C)は自然数解を持ちますか?
わかりません。
505132人目の素数さん
2020/11/24(火) 19:45:21.15ID:znInfkIf >>504 日高
> >502
> (A)は自然数解なし,(B)は自然数解あり。(C)は自然数解を持ちますか?
>
> わかりません。
わからない。するともしかして(A)も自然数解を持つかもしれませんよね。
> >502
> (A)は自然数解なし,(B)は自然数解あり。(C)は自然数解を持ちますか?
>
> わかりません。
わからない。するともしかして(A)も自然数解を持つかもしれませんよね。
506132人目の素数さん
2020/11/24(火) 19:45:37.81ID:NO3rnOYH >>503
「過去ログを読め」という意味です
数々の指摘のパターンはいくつかのタイプに収束しています
あなたの証明もどきは根本的になにも変わってないので
過去の指摘はほとんどそのままあてはまるばかりです
もっともあなたは論理が同じだとか論理が似てるとか
そういう考えが一切できないようなので全くの無駄だとおもいますが
無駄な証明もどきを何度もあげるより
過去の行いを悔い改めてはどうですか
「過去ログを読め」という意味です
数々の指摘のパターンはいくつかのタイプに収束しています
あなたの証明もどきは根本的になにも変わってないので
過去の指摘はほとんどそのままあてはまるばかりです
もっともあなたは論理が同じだとか論理が似てるとか
そういう考えが一切できないようなので全くの無駄だとおもいますが
無駄な証明もどきを何度もあげるより
過去の行いを悔い改めてはどうですか
507132人目の素数さん
2020/11/24(火) 19:48:49.03ID:AGJS5X2j リアルサイコパスですわ
508日高
2020/11/24(火) 19:54:46.04ID:5JQp7zxv (修正9)
【定理】n≧3のとき、x^n+y^n=z^nは自然数解x,y,zを持たない。
【証明】x^n+y^n=z^nを、z=x+rとおいてx^n+y^n=(x+r)^n…(1)とする。
(1)をr^(n-1){(y/r)^n-1}=an{x^(n-1)+…+r^(n-2)x}(1/a)…(2)と変形する。
(2)はa=1、r^(n-1)=nのとき、x^n+y^n=(x+n^{1/(n-1)})^n…(3)となる。
(2)はa=1以外、r^(n-1)=anのとき、x^n+y^n=(x+(an)^{1/(n-1)})^n…(4)となる。
(3)はyが有理数のとき、xは無理数となるので、x,y,zは整数比とならない。
(3)のyが無理数のとき、x,y,zが整数比となるならば、yが有理数のときに整数比となる。
(4)の解は(3)の解のa^{1/(n-1)}倍となる。
∴n≧3のとき、x^n+y^n=z^nは自然数解x,y,zを持たない。
【定理】n=2のとき、x^n+y^n=z^nは自然数解x,y,zを持つ。
【証明】x^2+y^2=z^2を、z=x+rとおいてx^2+y^2=(x+r)^2…(1)とする。
(1)をr{(y/r)^2-1}=a2x(1/a)…(2)と変形する。
(2)はa=1、r=2のとき、x^2+y^2=(x+2)^2…(3)となる。
(2)はa=1以外、r=a2のとき、x^2+y^2=(x+a2)^2…(4)となる。
(3)はyが有理数のとき、xは有理数となる。(4)の解は(3)の解のa倍となる。
∴n=2のとき、x^n+y^n=z^nは自然数解x,y,zを持つ
【定理】n≧3のとき、x^n+y^n=z^nは自然数解x,y,zを持たない。
【証明】x^n+y^n=z^nを、z=x+rとおいてx^n+y^n=(x+r)^n…(1)とする。
(1)をr^(n-1){(y/r)^n-1}=an{x^(n-1)+…+r^(n-2)x}(1/a)…(2)と変形する。
(2)はa=1、r^(n-1)=nのとき、x^n+y^n=(x+n^{1/(n-1)})^n…(3)となる。
(2)はa=1以外、r^(n-1)=anのとき、x^n+y^n=(x+(an)^{1/(n-1)})^n…(4)となる。
(3)はyが有理数のとき、xは無理数となるので、x,y,zは整数比とならない。
(3)のyが無理数のとき、x,y,zが整数比となるならば、yが有理数のときに整数比となる。
(4)の解は(3)の解のa^{1/(n-1)}倍となる。
∴n≧3のとき、x^n+y^n=z^nは自然数解x,y,zを持たない。
【定理】n=2のとき、x^n+y^n=z^nは自然数解x,y,zを持つ。
【証明】x^2+y^2=z^2を、z=x+rとおいてx^2+y^2=(x+r)^2…(1)とする。
(1)をr{(y/r)^2-1}=a2x(1/a)…(2)と変形する。
(2)はa=1、r=2のとき、x^2+y^2=(x+2)^2…(3)となる。
(2)はa=1以外、r=a2のとき、x^2+y^2=(x+a2)^2…(4)となる。
(3)はyが有理数のとき、xは有理数となる。(4)の解は(3)の解のa倍となる。
∴n=2のとき、x^n+y^n=z^nは自然数解x,y,zを持つ
509日高
2020/11/24(火) 19:57:42.46ID:5JQp7zxv >505
わからない。するともしかして(A)も自然数解を持つかもしれませんよね。
(A)は自然数解をもちません。
わからない。するともしかして(A)も自然数解を持つかもしれませんよね。
(A)は自然数解をもちません。
■ このスレッドは過去ログ倉庫に格納されています
ニュース
- 古市憲寿氏、『中居正広氏の性暴力認定』に疑問符 「上司が部下を飲みに誘うことも性暴力になりうる。幅がメチャクチャ広い」 [jinjin★]
- 【芸能】ホリエモンが登場する日清食品の新CMに元タカラジェンヌ「全てが不快。企業イメージ堕ちた」 [シャチ★]
- 秋田産コメからカドミウム 基準値超、回収進める [蚤の市★]
- トランプ氏が7億円「ゴールドカード」を公表 デザインに本人の顔、外国富裕層に米永住権 [どどん★]
- 【兵庫】「お前もとっとと自殺しろ」兵庫県議らに大量の脅迫メール 激化する“言論への攻撃”の実態「フラグを立てられたら終わり」 [ぐれ★]
- ベッセント米財務長官「株価下落は中国ディープシークAIモデルに関係」トランプ大統領の政策が要因との見方を否定 [Hitzeschleier★]
- 大阪万博、一発逆転へ [507895468]
- あれ?ところでハゲ→🥺のお前ら今週植毛いった?
- 【動画】Xのメンヘラ女子、自殺 [632966346]
- アマ●ンの期間限定ポイントってなんだよ
- 松本人志さん、テレビから永久追放が確定wwwwwwwwwwwwwwww [977790669]
- 【正論】ヒカキン氏「1180円のラーメン🍜を我慢すれば快適なYouTube生活過ごせるんだよ?」 [986198215]