フェルマーの最終定理の証明
■ このスレッドは過去ログ倉庫に格納されています
【定理】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を持つ。 「存在するかもしれない」と「存在しない」をチャンポンにしてて、それをいつまでも理解できないのだから、いつまでも証明は失敗し続ける。
っていうか、自分で証明失敗認めたんだから早くスレ閉じなさいよ。 >255
自分で証明失敗認めたんだから早くスレ閉じなさいよ。
どの部分が失敗でしょうか？ (修正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を持つ。 >>256 認知症？
>>174で自分で証明失敗認めてるじゃん。
誰も納得させられない証明は失敗だ。 「存在するかもしれない」と「存在しない」をチャンポンにしているようなアンポンタンには証明は無理だから、早くスレ閉じなさいよ。
そして>>174で証明失敗を認めたんだから、早くスレ閉じなさいよ。
忘れたフリする悪質なあなたのために繰り返し書いてあげました。 >259
そして>>174で証明失敗を認めたんだから、早くスレ閉じなさいよ。
どうして、174が、証明失敗になるのでしょうか？ >>260 では聞こうか。誰も納得させられない証明が失敗じゃないと本気で思ってるの？ >254
>(3)のyが無理数のとき、x,y,zが整数比となるならば、yが有理数のときに整数比となる。
この後半部分「yが有理数のときに整数比となる」は，「(4)には有理数解があることになる」なら正しいですよ。
でも，>251で指摘したように，このときyをw(<>1)で割っていることになるので，このy/wは(3)の解ではありません。
ですから，ここで矛盾は導けません。
なので，(4)の有理数解の存在可能性は否定できていません。
この部分が、理解できません。 >261
>>260 では聞こうか。誰も納得させられない証明が失敗じゃないと本気で思ってるの？
はい。 「自分の書いた証明だ」というだけで、>>1にとっては成功なのかもな。 >>263 は日高さんの異常性を確認できる重要なレスです。なぜそう思うのかレスをお願いします。 (修正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を持つ。 >266
>>263 は日高さんの異常性を確認できる重要なレスです。なぜそう思うのかレスをお願いします。
間違いと思うところを、指摘してください。確実な指摘がないからです。 ワイルズの論文でも、レフェリーが納得しないと証明に成功した事にはならない。つまり証明失敗という事になる。
証明というのは自分以外の人が理解して、初めて成功になる。
誰も納得しない証明を失敗ではないとしたら、訳の分からない世界になる。
日高さんは訳の分からない世界の住人という事か？
だとしたら議論が収束するはずがないので、議論は無意味。スレは無意味という事になる。 >>268 間違いの箇所云々の問題じゃないんです。
誰も納得させられない証明を失敗じゃないと考える理由を聞いているんです。
誤魔化さないでください。ピントがズレた回答をしないでください。 M 高校の男女比は男 25%、女 75% である。男子生徒の 12%、女子生徒の 8% は性体験済みである。
任意に生徒を 1 人選び、「君は性体験済みか？」と聞いたところ、「はい」と答えた。この生徒が女子
である確率を求める。ただし男女とも全員が正直に答えるものとする。
日高クンはフェルマーの定理に現を抜かす前に、こういう問題で数学的論理力を養うべきだ。 >269
だとしたら議論が収束するはずがないので、議論は無意味。スレは無意味という事になる。
どうして、そう言えるのでしょうか？ >270
誰も納得させられない証明を失敗じゃないと考える理由を聞いているんです。
正しいと思うからです。 誰も納得しないなら証明は失敗している
日高氏の案は複数の知恵者に検討されたが誰も納得しなかった
世の中にはそもそもほとんど見てもらえない論文がたくさんある
もちろんその中に正しいもの、価値のあるものはあると考えるが
日高氏の場合は見てもらった上で論理の欠陥を最初から最後まで指摘され続けているのだから
これはどう考えても正しいと考えるのは無理ということがわかるだろう >271
日高クンはフェルマーの定理に現を抜かす前に、こういう問題で数学的論理力を養うべきだ。
こういう問題では、数学的論理力は養われません。 >>273 ピントをズラさないでください。正しい正しくない云々の話をしているのではありません。日本語が通じていますか？
「誰も納得させられない証明を失敗じゃないと考える理由」を聞いているんです。 >274
これはどう考えても正しいと考えるのは無理ということがわかるだろう
私は、正しいと、考えています。 (修正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を持つ。 誰も納得しないなら証明は失敗している
繰り返す、誰も納得しないなら証明は失敗している
同じ論理の欠陥が複数人から指摘され続けているにもかからわず
その根幹部分については前スレの最初から今にいたるまで
一切の修正もなければ説明もない、証明は独善ではない
合計約60回の修正は何の意味があったの？ まったくないでしょ
壊れたロボットのようだ >>262
説明する前に一つ確認しておきます。
>x^n+y^n=(x+n^{1/(n-1)})^n…(3)
s,t,uを正の実数，wをw<>1の正の実数であるとする。(x,y,z)=(s,t,u)が(3)の解であるとき，(s/w,t/w,u/w) も(3)の解である。
これは正しいですか？ >279
誰も納得しないなら証明は失敗している
自分は、正しいと思っています。 >280
wをw<>1の正の実数
この意味を教えていただけないでしょうか。 >>268
> >266
> >>263 は日高さんの異常性を確認できる重要なレスです。なぜそう思うのかレスをお願いします。
>
> 間違いと思うところを、指摘してください。確実な指摘がないからです。
確実な指摘は大量にあるし、繰り返されている。
それを理解する能力を身につけていないのを棚に挙げて、他人に頼るな。 何が間違いで何が間違えでないのか判断する能力が無いから、間違っているのに正しいと主張しているだけ。
そもそも間違いとは何なのか理解できない人に間違いを指摘するのは不可能。 >>281
それしか言えないんですか?
他の人は正しいと思っていません。
他の人を納得させられなければ証明は失敗です。 あと修正verおなじのを延々とあげるのやめてくれますか
>>267 >>278 これ同じものですよね
こういうこと何度もやってるでしょ 何の意味があるのですか >>263
>>281
r;ｧ'N;:::::::::::::,ｨ／ >::::::::::ヽ
. 〃 ヽﾙ1'´ ∠:::::::::::::::::i
i′ ___, - ,. = -一 ￣ｌ:::::::::::::::ｌ
. ! , -＝=､´r' l::::::/,ﾆ.ヽ
ｌ _,, -‐''二ゝ ｌ::::l fﾞヽ |、 ここはお前の日記帳じゃねえんだ
ﾚー-- ､ヽヾﾆ-ｧ,ﾆ;＝、_ !:::l ） } ト
ヾ¨'７"ry､｀ ｰﾞ='ニ,,,｀ }::ヽ(ノ チラシの裏にでも書いてろ
:ｰゝヽ､ !´ "￣ 'l,;;;;,,,.、 ,i:::::::ﾐ
::::::::::::::::ヽ.-‐ ﾄ、 r'_{ __)｀ニゝ、 ,,iﾘ::::::::ﾐ
::::::::::::::::::::Vi／l:::V'´;ｯ`ﾆ´ｰ-ｯ-,､:::::`"::::::::::::::;ﾞ , な！
:::::::::::::::::::::::::N. ﾞ､::::ヾ,.｀二ﾆ´∠,,.i::::::::::::::::::::/／／
:::::::::::::::::::::::::::::l ヽ;:::::::::::::::::::::::::::::::::::::::::::／ ／
::::::::::::::::::::::::::::::! :|.＼;::::::::::::::::::::::::::::::／ ／
::::::::::::::::::::::::::::/ ヽ|;;,, ` ‐---‐ "´_,／
:::::::::::::::/ヽ;／ へ､＼;;;;:. ;;;-─ _,.ﾆ-ｧ'´＼
::::／7 ） ./ |××| | ;;; ;;;::::|￣ ／×××>､
/ ././ ／ﾆ=､＼±L/;;;;:::_;;:｣_,／×××／ ＼
l. l / ｰ- ゝ |××× /×× ゝ‐''´=＝ >>282
≠ですよ。半角では書けないし，全角の≠ではみてくれがよくないので<>と書きます。
コンピュータ言語ではよくある比較演算子の一つです。C，Python，Ruby，Javaなどでは != ですが，こちらの方がわかりやすいですか。
手書きの時は≠と書きますし，Tex だと \neq で済むのでそう書きますが，キーボード操作に一番手間がかからないということでそう書いてます。
気に入らないのであれば読み替えて下さい。
日高さんはエクセルで関数を使ったりはなさらないんですね。エクセルのVBAでも不等号は<>です。 >>245
> >240
> Yが有理数のときにx=s*√3 (sは有理数)でないことを示さないといけない
>
> 244で、x^3+y^3=(x+(a3)^(1/2))^3のx,y,zは、整数比とならないことを、示しています
示していますと書いたって実際は示していないんだから示したことにならんだろ
x=s*(a3)^(1/2),y=t*(a3)^(1/2),z=(s+1)*(a3)^(1/2) (s,tは有理数)なら整数比だろ
(4)で(a3)^(1/2)=2だったときにy=4で有理数だったとするとこのyに対応する
(3)の解のyはy=2*(a3)^(1/2)でa=1としたものだから
y=2*√3であり無理数 日高さん>>276に回答してください。
日高さんの証明が正しいとか正しくないとかは関係ありません。
証明に対する考え方を聞いているのですから (修正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を持つ。 >280
>x^n+y^n=(x+n^{1/(n-1)})^n…(3)
s,t,uを正の実数，wをw<>1の正の実数であるとする。(x,y,z)=(s,t,u)が(3)の解であるとき，(s/w,t/w,u/w) も(3)の解である。
これは正しいですか？
正しくないです。 >289
(4)で(a3)^(1/2)=2だったときにy=4で有理数だったとするとこのyに対応する
(3)の解のyはy=2*(a3)^(1/2)でa=1としたものだから
y=2*√3であり無理数
すみません。よくわかりません。 >290
証明に対する考え方を聞いているのですから
よく意味がわかりません。ただ、正しいと思って書いています。 >286
何の意味があるのですか
近くにあるほうが、見やすいからです。 >>294 スッとぼけないでください。
「誰も納得させられない証明を失敗じゃないと考える理由」を聞いているんです。
意味がわからないというのは、支離滅裂な回答です。正しいとか正しくないは関係ありません。
「誰も納得させられない証明を失敗じゃないと考える理由」を言ってください。 >>293
> すみません。よくわかりません。
p=3
x^3+y^3=(x+(3a)^(1/2))^3で(3a)^(1/2)=2なら
x^3+y^3=(x+2)^3だろ(a=4/3となる)
y=4=2*(3*4/3)^(1/2)=2*(3a)^(1/2)
a=4/3のときy=4(有理数)であるような(4)の解を調べるとして
そのときの(3)の解のyはa=1としたものだから
y=2*(3a)^(1/2)=2*√3で有理数ではない
> (3)はyが有理数のとき、xは無理数となるので、x,y,zは整数比とならない。
(4)で(3a)^(1/2)=2のときたとえばy=4であるような解は調べられていない
(4)で(3a)^(1/2)=2のときy=4=2*2=2*(3a)^(1/2) ←→ (3)でa=1のときy=2*(3a)^(1/2)=2*√3 (無理数) >>275
> こういう問題では、数学的論理力は養われません。
wwwwwwwwwwwwwwwwwwwwwwwwwwwwwwww
まさか君の口からそんな言葉が出るとはwwwwwwww >>298
相手の発言をコピーして否定してるだけですよ。
典型的なBOTの応答です。 >296
「誰も納得させられない証明を失敗じゃないと考える理由」を言ってください。
答えることができません。 たとえば日高クンは、それなりの「数学的論理力」はあるらしいから
フェルマー最終定理がまだ証明されていないとする。x、y、z をゼロでない整数とするとき、もし
x^3 + y^3 = z^3
が成立するならば、x、y、z の少なくとも 1 つは 3 の倍数であることを証明する。
程度の問題なら、スラスラと解けるのであろうね（笑）。 日高君は、すべての指摘に対し、それを理解できないから自分は正しいと思い込む。
それなら、ここでのメッセージのやりとりはもはや無意味、ということでは。
日高君は自分の証明が正しいと死ぬまで思い込んでおればそれでよろしい。 あの高木も消えちゃったし
日高もいずれ何の成果もないまま出てこなくなるだろう (修正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を持つ。 日高君はhttps://rio2016.5ch.net/math/を見ているのでそこで自分の証明が消えると同じのでも再アップするという推理があったな なるほど 常にageなのもそのためか
>>271 >>301
無理だよ 彼は簡単な問題も解けない
整数論の基本的な問題も例外ではなく
なぜかFLTだけ証明できるらしい >>292
x,y,zが解である場合と変数である場合を区別するのが困難なので解x,y,zはs,t,uと書き表します。
単純にx,y,zをs,t,uに置き換えると
>(3)のtが無理数のとき、s,t,uが整数比となるならば、tが有理数のときに整数比となる。
となりますが，このようにtを(3)のyの項の解と固定してみると，「tが有理数のときに整数比となる」という表現がおかしいことが分かります。
tは無理数と指定されているので，有理数に変わったりするはずがありません。
有理数となるのは，t/wです[w≠1 または w!=1 または w<>1]。
同様にして(s/w,t/w,u/w)はすべて有理数になるので，整数比になります。おっしゃるとおりです。
しかし，(3)には整数比の無理数解は存在しないとはまだ証明されていないことに注意して下さい。(x/w,y/w,z/w)はともに有理数になる可能性があるものとして扱わなければなりません。
そして，あなたも>292でお認めになったとおり，(s/w,t/w,u/w)は(3)の解ではないので，一般式x^n+y^n=z^n [あなたの【証明】では(4)]の解ということになります。
つまり，(3)には整数比の無理数解があるのならば，x^n+y^n=z^p[(4)]には有理数解，したがって整数解が存在することになります。
「あるのならば」「整数解が存在する」
何もおかしいところはありません。
「ないのならば」「整数解は存在しない」ので，(3)には「整数比の無理数解がない」ことを証明すればよいだけです。
[「(3)には有理数解がないこと」ではありません。あくまで「整数比の無理数解がない」ことです。念のため。]
しかし，あなたの【証明】中には，x/w,y/w，z/wはともに有理数になり得ない，という証明がありません。
>(3)のtが無理数のとき、[解]s,t,uが整数比となるならば、t[ここはt/wに修正する必要があります]が有理数のときに[(4)は]整数比となる[有理数解(s/w,t/w,u/w)を持つ]。
これが証明のつもりかも知れませんが，[ ]を補って読めば分かるとおり，t/wが解となるのは(4)，有理数解を持たないのは(3)なので，上の記述には矛盾はありません。
つまり，あなたの【証明】では，x^n+y^n=z^n に有理数解が成立しうる可能性を排除できていません。
∴n≧3のとき、「x^n+y^n=z^nは自然数解x,y,zを持たない」ことは依然として証明されていません。 >>304 日高君
> (2)はa=1、r^(n-1)=nのとき、x^n+y^n=(x+n^{1/(n-1)})^n…(3)となる。
> (3)はyが有理数のとき、xは無理数となるので、x,y,zは整数比とならない。
まともな議論がしたいなら、この言い方はやめるんだな。
「(3)は」「x,y,zは整数比とならない」と言い切ったのか，
yが有理数のときにそうなると言ったのかがはっきりしない。
ここをはっきりさせないなら、私は日高君を誠実さに欠ける人物だと言おうと思う。 >>304
長々と書き込んでしまいましたが，まとめると【証明】の
>(3)のyが無理数のとき、x,y,zが整数比となるならば、yが有理数のときに整数比となる。
は
>tが無理数のとき、(3)の解s,t,uが整数比となるならば、(4)はt/wが有理数のときに整数比となる有理数解(s/w,t/w,u/w)を持つ。
と解するしかなく，そう解すれば矛盾はありません。
(4)が有理数解を持ちうることを宣言してしまいましたが，そこから先にそれを否定する証明[s,t,uは整数比とならない]がないので，
【証明】は失敗ということになります。 日高さん。
誰も納得しない証明は失敗です。
日高さんの証明は誰も納得しません。
故に日高さんの証明は失敗です。
日高さんがどう思っていようが関係ありません。
証明の失敗は客観的に決まります。
簡単な日本語と理屈で書きましたので、理解できましたね？ >297
(4)で(3a)^(1/2)=2のときたとえばy=4であるような解は調べられていない
これは、x^3+4^3=(x+2)^3を調べていないということですね。
x^3+4^3=(x+2)^3は、(4)なので、
(4)の解x,y,zは、(3)の解x,y,zの定数倍となります。
(3)の解x,y,zが、整数比とならないので、(4)の解x,y,zも、整数比となりません。 >301
フェルマー最終定理がまだ証明されていないとする。x、y、z をゼロでない整数とするとき、もし
x^3 + y^3 = z^3
が成立するならば、x、y、z の少なくとも 1 つは 3 の倍数であることを証明する。
程度の問題なら、スラスラと解けるのであろうね（笑）。
わかりません。 >307
つまり，あなたの【証明】では，x^n+y^n=z^n に有理数解が成立しうる可能性を排除できていません。
この、前の文章を、理解することが、できませんので、簡単な例を挙げていただけないでしょうか。
たとえば、p=2の場合で、示していただけないでしょうか。 (修正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を持つ。 >309
(4)が有理数解を持ちうることを宣言してしまいましたが，
この文章が、理解できません。 >308
「(3)は」「x,y,zは整数比とならない」と言い切ったのか，
yが有理数のときにそうなると言ったのかがはっきりしない。
「yが有理数のとき」です。 >310
誰も納得しない証明は失敗です。
証明の失敗は客観的に決まります。
理解できません。
証明の失敗は、その失敗を証明することによって、決まるとおもいます。 >>300
> 答えることができません。
なぜ答えられないのですか? >318
> 答えることができません。
なぜ答えられないのですか?
わからないからです。 >>319
あなたの考えを聞いているのに「わからない」なんて答えはないでしょう。
日本語で自分の考えを表現することができないんですね。
異常です。 >>313
x^2+y^2=(x+√3)^2=z^2...(*) は有理数解(3つの解s,t,uがともに有理数となる，という意味で用います)を持ちません。
z-x=√3ですから当然です。少なくともx,yのどちらかが無理数になります。
しかし，整数比となる無理数解は持ちます。(s,t,u)=(4√3,3√3,5√3)は u-s=5√3-4√3=√３であり，また(4√3)^2+(3√3)^2=48+27=75=(5√3)^2 なので，(s,t,u)は(*)の解となります。
これはx^2+y^2=z^2...(**) という一般式において，(s,t,u)を√3で割った(s/√3,t/√3,u/√3)=(4,3,5)が整数解となることを示しています。
このとき(s,t,u)を√3で割った(s/√3,t/√3,u/√3)=(4,3,5)は(**)を満たしますが，(*)を満たしません。(4+√3)≠5となるからです。
まとめると，(*)で整数比となる無理数解があれば，(**)で有理数解を持つことになりますが，そこでの有理数解は，(*)の解ではありません。
(*)には有理数解がなくても，整数比となる無理数解があれば，一般式(**)で有理数解，整数解を持ちます。
n>=3のときでも同じです。
あなたの(3)式に有理数解がなくても，整数比となる無理数解があれば，x^n+y^n=z^nは整数解を持つことになります。
逆にx^n+y^n=z^nに整数解があれば，(3)式は整数比となる無理数解を持つでしょう。
[念のために強調しておきます。(3)式が有理数解を持つのではありません。]
ですので，(3)式で証明すべきことは「整数比となる無理数解」がないことです。
(3)式が有理数解をもたないことは，以上から分かるように，何の意味もないことです。
z-x=(無理数)と設定すればn=2でもn>=3でも，有理数解は生じようがありません。
整数解を持つはずのn=2でも有理数解を持たない(*)の形式の式において「有理数解を持たないこと」をいくら強調しても(**)の一般式において整数解がないことの根拠になり得ません。
以上です。参考になると・・・よいですね。 >320
あなたの考えを聞いているのに「わからない」なんて答えはないでしょう。
「考え」が、ありません。 >>322
なるほど。何の考えもないんですね。
それでは、ここで書き込みをするのは楽しいですか? >>322
わからない。
考えが無い。
というなら教えてあげます。
誰も納得しない証明は失敗です。
はい。教えました。もうわかりますね。
そして、誰も日高さんの証明を納得してません。
ですので、日高さんの証明は失敗です。
以上です。 >321
整数解を持つはずのn=2でも有理数解を持たない(*)の形式の式において「有理数解を持たないこと」をいくら強調しても(**)の一般式において整数解がないことの根拠になり得ません。
x^2+y^2=(x+√3)^2は、(4)です。
√3=a2
a=√3/2となります。 (修正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を持つ。 繰り返し長文コピペはよく異常性格者がやる手段ですね。スレ流しとも言われます。
自分に都合の悪いレスなどを画面から外れるようにするのが主な目的らしいです。
まー繰り返し失敗した証明をコピペしても、都合の悪いレスを視界から消しても失敗は失敗。何にも変わりませんけどね。
日高さんの証明は失敗です。 >327
繰り返し長文コピペはよく異常性格者がやる手段ですね。スレ流しとも言われます。
自分に都合の悪いレスなどを画面から外れるようにするのが主な目的らしいです。
目的が、ちがいます。 >323
それでは、ここで書き込みをするのは楽しいですか?
楽しいです。 >>329
> >323
> それでは、ここで書き込みをするのは楽しいですか?
>
> 楽しいです。
つまり、他人に迷惑をかけることに楽しみを覚えるということですか。ゴミですね。 >331
つまり、他人に迷惑をかけることに楽しみを覚えるということですか。ゴミですね。
他人に迷惑をかけているでしょうか？ >>332
> >331
> つまり、他人に迷惑をかけることに楽しみを覚えるということですか。ゴミですね。
>
> 他人に迷惑をかけているでしょうか？
当然。 >333
> 他人に迷惑をかけているでしょうか？
当然。
どこで、迷惑をかけたでしょうか？ >>334
> >333
> > 他人に迷惑をかけているでしょうか？
> 当然。
>
> どこで、迷惑をかけたでしょうか？
過去ログ全部読めよ。 日高クンは>>326のような駄文を投稿すれば白髪交じりのティンポがフル勃起するのかも知れない。
だから楽しいのだろう。ということはやめろという方が無理だなあ。 >335
このスレで妄言を垂れ流すだけならまだ良かったんだけどな……
どこが、妄言でしょうか？ >336
過去ログ全部読めよ。
なぜ、迷惑なのでしょうか？ >337
駄文を投稿すれば
どの部分が、駄文なのでしょうか？ (修正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を持つ。 >>340
> >336
> 過去ログ全部読めよ。
>
> なぜ、迷惑なのでしょうか？
全部読めよ。迷惑な理由も書いてあっただろうが。
まずはそれを理解した上で聞け。ゴミ。 フェルマーの定理以外のことを聞いてもオウム返ししかできないんだな。
やっぱりBOTじゃないの? >343
全部読めよ。迷惑な理由も書いてあっただろうが。
迷惑な理由は、書いてなかったと、思います。 >344
オウム返ししかできないんだな。
どの部分が、オウム返しでしょうか？ >>345
> >343
> 全部読めよ。迷惑な理由も書いてあっただろうが。
>
> 迷惑な理由は、書いてなかったと、思います。
嘘ついて誤魔化すな。全部読み直して、全てのコメントを理解しなおしてから書き込め。ゴミ。 >347
嘘ついて誤魔化すな。
嘘は、ついていないとおもいます。 >>311
> (3)の解x,y,zが、整数比とならないので
(3)の解でyが有理数のときしか調べていないでしょ
x^3+4^3=(x+2)^3に対応する(3)はx^3+(2√3)^3=(x+√3)^3
> (3)はyが有理数のとき、xは無理数となるので、x,y,zは整数比とならない。
y=2√3の場合は当てはまらないので整数比とならないことはいえない >>348
> >347
> 嘘ついて誤魔化すな。
>
> 嘘は、ついていないとおもいます。
ならば痴呆だな。
全て読み直して文章を理解し直してから返事しろ。 日高クンに聞きたいのだが、全ての自然数と、全ての分数の数はどちらが多いと思う？ (修正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を持つ。 >>352
零点
[予想される質問]
どの部分が零点でしょうか。
[回答]
全部 ＞346 名前：日高[] 投稿日：2020/11/22(日) 16:39:36.51 ID:RmMAvok9 [21/23]
＞>344
＞オウム返ししかできないんだな。
＞
＞どの部分が、オウム返しでしょうか？
日高は悪意があってオウム返しやりまくってるな >>352 日高君
> (2)はa=1、r^(n-1)=nのとき、x^n+y^n=(x+n^{1/(n-1)})^n…(3)となる。
> (3)はyが有理数のとき、xは無理数となるので、x,y,zは整数比とならない。
この言い方は紛らわしいからやめろって言ってるんだよ。
「x,y,zは整数比とならない」が「yが有理数のとき」に限るってことがわかりにくい。
「(3)はyが有理数のとき、x,zはともに有理数にはならない」とか、言い方を工夫しろよ。 ■ このスレッドは過去ログ倉庫に格納されています
