[過去ログ] フェルマーの最終定理の簡単な証明2 (1002レス)
1-

このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
703: 2019/11/22(金)10:50 ID:uCEasFhp(6/23) AAS
ほら、理解できてない。
704: 日高 2019/11/22(金)10:52 ID:8QCwVY78(10/36) AAS
>最初の間違いは「z=x+rとおいて」の部分なんだから、

すみません。「z=x+rとおいて」が間違いとなる理由を教えていただけないでしょうか。
705: 2019/11/22(金)10:53 ID:uCEasFhp(7/23) AAS
>> 704

すでに登場しているzを再定義しているから。
706: 日高 2019/11/22(金)10:56 ID:8QCwVY78(11/36) AAS
>ほら、理解できてない。

すみません。どの部分が理解できていないのでしょうか。
707: 2019/11/22(金)10:58 ID:uCEasFhp(8/23) AAS
>> 706

バカに2つの情報を与えてもどうせ理解できないんだから、まず >> 705 を理解しな。
708: 2019/11/22(金)11:16 ID:c0OMKpQY(1/3) AAS
>>690
ゴミ。
〜を〜とおくというのも使い方が意味不明。二度と使うな
709: 日高 2019/11/22(金)11:27 ID:8QCwVY78(12/36) AAS
>ほら、理解できてない。

すみません。どの部分が、理解できてないかを、教えていただけないでしょうか。
710: 2019/11/22(金)11:30 ID:uCEasFhp(9/23) AAS
>> 709

バカに2つの情報を与えてもどうせ理解できないんだから、まず >> 705 を理解しな。
711: 日高 2019/11/22(金)11:30 ID:8QCwVY78(13/36) AAS
>バカに2つの情報を与えてもどうせ理解できないんだから、まず >> 705 を理解しな。

「まず >> 705 を理解しな。」すみません。理解することができません。
712: 2019/11/22(金)11:32 ID:uCEasFhp(10/23) AAS
>> 711

なら勉強しないとな。日本語を。
713: 日高 2019/11/22(金)11:35 ID:8QCwVY78(14/36) AAS
>〜を〜とおくというのも使い方が意味不明。二度と使うな

すみません。「使い方が意味不明。」がなぜ、意味不明なのかを、教えていただけないでしょうか。
714: 2019/11/22(金)11:36 ID:uCEasFhp(11/23) AAS
>> 713

言語になってないからだろう。
まず言葉の勉強からだな。
715: 日高 2019/11/22(金)11:39 ID:8QCwVY78(15/36) AAS
>なら勉強しないとな。日本語を。

すみません。どの様な、日本語を勉強したらよろしいのでしょうか。
716: 2019/11/22(金)11:41 ID:uCEasFhp(12/23) AAS
>> 716

小学生が習う様な、日本語を。
717: 日高 2019/11/22(金)11:43 ID:8QCwVY78(16/36) AAS
>言語になってないからだろう。
まず言葉の勉強からだな。

すみません。どの部分が、言語になっていないのでしょう?
718: 日高 2019/11/22(金)11:45 ID:8QCwVY78(17/36) AAS
>小学生が習う様な、日本語を。

すみません。どの様な、日本語でしょうか?
719: 2019/11/22(金)11:46 ID:uCEasFhp(13/23) AAS
>> 717

挙げればきりがないが、すでに指摘されている
「〜を〜とおく」
の使い方がおかしく、言語になっていない。

他にはたとえば
「z=x+rと定義することは、x,rを有理数と定義しているので、zを有理数と定義したことには、ならないのでしょうか。」
という文も言語になっていない。

助詞「ので」の使い方が間違っている上に、「定義」という言葉の使い方もおかしい。
720: 2019/11/22(金)11:47 ID:uCEasFhp(14/23) AAS
>> 718

小学生が習う様な、日本語を。
721: 日高 2019/11/22(金)11:50 ID:8QCwVY78(18/36) AAS
【定理】pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
【証明】x^p+y^p=z^p…@を、z=x+rとおいて、x^p+y^p=(x+r)^p…Aとする。
Aを積の形に変形してrを求める。x,y,z,rは有理数と仮定する。
Aを(x/r)^p+(y/r)^p=(x/r+1)^p, (y/r)^p-1=p{(x/r)^(p-1)+…+x/r},
r^(p-1){(y/r)^p-1}=p{x^(p-1)+…+r^(p-2)x}…➂とする。
➂はr^(p-1)=pとすると、r=p^{1/(p-1)}となるので、AはX^p+Y^p=(X+p^{1/(p-1)})^p…➃となる。
rは無理数となるので、➃は仮定に反する。
➂の右辺に、a(1/a)を掛けるとr^(p-1){(y/r)^p-1}=pa{x^(p-1)+…+r^(p-2)x}(1/a)…Dとなる。a(1/a)=1となる。
r^(p-1)=p以外の場合は、r^(p-1)=paとなる。r=(pa)^{1/(p-1)}となるのでrは有理数となる。AはX^p+Y^p=(X+(pa)^{1/(p-1)})^p…Eとなる。
EのX,Y,ZはCのx,y,zのa^{1/(p-1)}倍となるので、X:Y:Z=x:y:zとなる。よって、Eも仮定に反する。
722: 2019/11/22(金)11:52 ID:uCEasFhp(15/23) AAS
>> 721

すでに登場しているzを再定義してしまっている「z=x+rとおいて」の部分が間違い。

「すみません、理解できません」と謝ってみれば自分の証明が正当化されるとでも信じてるの?
お前が自分の間違いを理解しようがしまいが、間違いは間違いなんだけど。
723: 日高 2019/11/22(金)11:53 ID:8QCwVY78(19/36) AAS
【定理】pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
【証明】x^p+y^p=z^p…@を、z=x+rとおいて、x^p+y^p=(x+r)^p…Aとする。
Aを積の形に変形してrを求める。x,y,z,rは有理数と仮定する。
Aを(x/r)^p+(y/r)^p=(x/r+1)^p, (y/r)^p-1=p{(x/r)^(p-1)+…+x/r},
r^(p-1){(y/r)^p-1}=p{x^(p-1)+…+r^(p-2)x}…➂とする。
➂はr^(p-1)=pとすると、r=p^{1/(p-1)}となるので、AはX^p+Y^p=(X+p^{1/(p-1)})^p…➃となる。
rは無理数となるので、➃は仮定に反する。
➂の右辺に、a(1/a)を掛けるとr^(p-1){(y/r)^p-1}=pa{x^(p-1)+…+r^(p-2)x}(1/a)…Dとなる。a(1/a)=1となる。
r^(p-1)=p以外の場合は、r^(p-1)=paとなる。r=(pa)^{1/(p-1)}となるのでrは有理数となる。AはX^p+Y^p=(X+(pa)^{1/(p-1)})^p…Eとなる。
EのX,Y,ZはCのx,y,zのa^{1/(p-1)}倍となるので、X:Y:Z=x:y:zとなる。よって、Eも仮定に反する。
省1
724: 2019/11/22(金)11:53 ID:uCEasFhp(16/23) AAS
>> 723

>> 722 の通り。
725: 日高 2019/11/22(金)11:56 ID:8QCwVY78(20/36) AAS
>すでに登場しているzを再定義してしまっている「z=x+rとおいて」の部分が間違い。

rが有理数でも、z=x+rとすることは、できないのでしょうか?
726: 2019/11/22(金)11:57 ID:uCEasFhp(17/23) AAS
>> 725

できない。zはすでに登場しているので「z=..とおいて」と再定義することはできない。
727: 日高 2019/11/22(金)11:59 ID:8QCwVY78(21/36) AAS
>助詞「ので」の使い方が間違っている上に、「定義」という言葉の使い方もおかしい。

すみません。よく分かりません。
728: 2019/11/22(金)12:00 ID:uCEasFhp(18/23) AAS
>> 727

分からないから勉強が必要なんだよ。
何を勉強すればいいかは >> 720 で書いた通り。
729: 2019/11/22(金)12:10 ID:ZhrPTqGx(1) AAS
稀に見る良スレ
730: 日高 2019/11/22(金)12:14 ID:8QCwVY78(22/36) AAS
>何を勉強すればいいかは >> 720 で書いた通り。

小学生が習う様な、日本語の、どのような言葉を勉強すれば、よろしいのでしょうか。
731: 日高 2019/11/22(金)12:18 ID:8QCwVY78(23/36) AAS
>稀に見る良スレ

すみません。意味を教えていただけないでしょうか。
732: 2019/11/22(金)12:21 ID:FInCMaaI(1) AAS
わざとやってるだろ
733: 日高 2019/11/22(金)12:28 ID:8QCwVY78(24/36) AAS
>わざとやってるだろ

すみません。どういう意味でしょうか。
734: 2019/11/22(金)12:28 ID:uCEasFhp(19/23) AAS
>> 730

国語の教科書に出てくるような言葉を。
735
(1): 日高 2019/11/22(金)12:31 ID:8QCwVY78(25/36) AAS
【定理】pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
【証明】x^p+y^p=z^p…@を、z=x+rとおいて、x^p+y^p=(x+r)^p…Aとする。
Aを積の形に変形してrを求める。x,y,z,rは有理数と仮定する。
Aを(x/r)^p+(y/r)^p=(x/r+1)^p, (y/r)^p-1=p{(x/r)^(p-1)+…+x/r},
r^(p-1){(y/r)^p-1}=p{x^(p-1)+…+r^(p-2)x}…➂とする。
➂はr^(p-1)=pとすると、r=p^{1/(p-1)}となるので、AはX^p+Y^p=(X+p^{1/(p-1)})^p…➃となる。
rは無理数となるので、➃は仮定に反する。
➂の右辺に、a(1/a)を掛けるとr^(p-1){(y/r)^p-1}=pa{x^(p-1)+…+r^(p-2)x}(1/a)…Dとなる。a(1/a)=1となる。
r^(p-1)=p以外の場合は、r^(p-1)=paとなる。r=(pa)^{1/(p-1)}となるのでrは有理数となる。AはX^p+Y^p=(X+(pa)^{1/(p-1)})^p…Eとなる。
EのX,Y,ZはCのx,y,zのa^{1/(p-1)}倍となるので、X:Y:Z=x:y:zとなる。よって、Eも仮定に反する。
省1
736: 日高 2019/11/22(金)12:34 ID:8QCwVY78(26/36) AAS
>国語の教科書に出てくるような言葉を。

国語の教科書に出てくるどのような言葉でしょうか。
737: 2019/11/22(金)12:38 ID:uCEasFhp(20/23) AAS
>> 735

>> 722 の通り。
738: 2019/11/22(金)12:39 ID:uCEasFhp(21/23) AAS
>> 736

国語の教科書に出てくるすべての言葉をだよ。
739: 2019/11/22(金)12:58 ID:c0OMKpQY(2/3) AAS
>>735
ゴミ。やり直し。
740: 日高 2019/11/22(金)13:30 ID:8QCwVY78(27/36) AAS
>国語の教科書に出てくるすべての言葉をだよ。

申し訳ございません。無理だと思います。
741
(1): 日高 2019/11/22(金)13:36 ID:8QCwVY78(28/36) AAS
>ゴミ。やり直し。

申し訳ございません。やり直しは、出来ません。
742: 2019/11/22(金)14:10 ID:c0OMKpQY(3/3) AAS
>>741
なら二度と投稿するな。
743
(1): 日高 2019/11/22(金)14:40 ID:8QCwVY78(29/36) AAS
>なら二度と投稿するな。

申し訳ございません。意にそうことが出来ません。
ご容赦していただくよう、お願い申し上げます。
744: 2019/11/22(金)14:46 ID:j25QDbIw(1/3) AAS
>>743
> ご容赦していただくよう、お願い申し上げます。
やだね。投稿するな。
745
(1): 日高 2019/11/22(金)14:49 ID:8QCwVY78(30/36) AAS
>やだね。投稿するな。

そう言われても、困ります。
746
(2): 日高 2019/11/22(金)14:50 ID:8QCwVY78(31/36) AAS
【定理】pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
【証明】x^p+y^p=z^p…@を、z=x+rとおいて、x^p+y^p=(x+r)^p…Aとする。
Aを積の形に変形してrを求める。x,y,z,rは有理数と仮定する。
Aを(x/r)^p+(y/r)^p=(x/r+1)^p, (y/r)^p-1=p{(x/r)^(p-1)+…+x/r},
r^(p-1){(y/r)^p-1}=p{x^(p-1)+…+r^(p-2)x}…➂とする。
➂はr^(p-1)=pとすると、r=p^{1/(p-1)}となるので、AはX^p+Y^p=(X+p^{1/(p-1)})^p…➃となる。
rは無理数となるので、➃は仮定に反する。
➂の右辺に、a(1/a)を掛けるとr^(p-1){(y/r)^p-1}=pa{x^(p-1)+…+r^(p-2)x}(1/a)…Dとなる。a(1/a)=1となる。
r^(p-1)=p以外の場合は、r^(p-1)=paとなる。r=(pa)^{1/(p-1)}となるのでrは有理数となる。AはX^p+Y^p=(X+(pa)^{1/(p-1)})^p…Eとなる。
EのX,Y,ZはCのx,y,zのa^{1/(p-1)}倍となるので、X:Y:Z=x:y:zとなる。よって、Eも仮定に反する。
省1
747: 2019/11/22(金)15:32 ID:j25QDbIw(2/3) AAS
>>745

> >やだね。投稿するな。
>
> そう言われても、困ります。
困れば?ゴミは永遠にゴミ。
748: 2019/11/22(金)15:32 ID:j25QDbIw(3/3) AAS
>>746
ゴミ。
749: 日高 2019/11/22(金)16:12 ID:8QCwVY78(32/36) AAS
>ゴミ。

申し訳ございません。
750: 2019/11/22(金)21:29 ID:uCEasFhp(22/23) AAS
>> 740

それが無理なら、間違いを理解することも無理だね。
なんせ指摘されても、相手の使った言葉を理解することが無理なんだから。
751: 日高 2019/11/22(金)21:34 ID:8QCwVY78(33/36) AAS
>それが無理なら、間違いを理解することも無理だね。
なんせ指摘されても、相手の使った言葉を理解することが無理なんだから。

よく分かりませんが、努力はつづ
752: 日高 2019/11/22(金)21:38 ID:8QCwVY78(34/36) AAS
>それが無理なら、間違いを理解することも無理だね。
なんせ指摘されても、相手の使った言葉を理解することが無理なんだから。

失礼しませた。よく分かりませんが、努力は続けていくつもりです。
753: 日高 2019/11/22(金)21:41 ID:8QCwVY78(35/36) AAS
>それが無理なら、間違いを理解することも無理だね。
なんせ指摘されても、相手の使った言葉を理解することが無理なんだから。

度重なるタイプミス失礼しました。よく分かりませんが、努力は続けていくつもりです。
754: 2019/11/22(金)22:22 ID:uCEasFhp(23/23) AAS
>> 753

がんばって。いつか他人の指摘を理解できるようになれば(そして自分の間違いに自分で気づけるようになれば)いいね。

国語の教科書を小学校までさかのぼって5-10年くらいかけてしっかり勉強すれば夢ではないよ。
755
(1): 日高 2019/11/22(金)23:55 ID:8QCwVY78(36/36) AAS
>がんばって。

頑張ります。
756: 2019/11/23(土)02:22 ID:LhP79503(1/3) AAS
>>755
> 頑張ります。
でも勉強はしないって言い切ってるんだろ、ゴミクズ。
757
(1): 日高 2019/11/23(土)08:02 ID:YC5V5015(1/12) AAS
>でも勉強はしないって言い切ってるんだろ、ゴミクズ。

なるべく、自分の頭で考えるようにします。
758
(1): 日高 2019/11/23(土)08:05 ID:YC5V5015(2/12) AAS
【定理】pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
【証明】x^p+y^p=z^p…@を、z=x+rとおいて、x^p+y^p=(x+r)^p…Aとする。
Aを積の形に変形してrを求める。x,y,z,rは有理数と仮定する。
Aを(x/r)^p+(y/r)^p=(x/r+1)^p, (y/r)^p-1=p{(x/r)^(p-1)+…+x/r},
r^(p-1){(y/r)^p-1}=p{x^(p-1)+…+r^(p-2)x}…➂とする。
➂はr^(p-1)=pとすると、r=p^{1/(p-1)}となるので、AはX^p+Y^p=(X+p^{1/(p-1)})^p…➃となる。
rは無理数となるので、➃は仮定に反する。
➂の右辺に、a(1/a)を掛けるとr^(p-1){(y/r)^p-1}=pa{x^(p-1)+…+r^(p-2)x}(1/a)…Dとなる。a(1/a)=1となる。
r^(p-1)=p以外の場合は、r^(p-1)=paとなる。r=(pa)^{1/(p-1)}となるのでrは有理数となる。AはX^p+Y^p=(X+(pa)^{1/(p-1)})^p…Eとなる。
EのX,Y,ZはCのx,y,zのa^{1/(p-1)}倍となるので、X:Y:Z=x:y:zとなる。よって、Eも仮定に反する。
省1
759: 2019/11/23(土)08:10 ID:SHm4s5Er(1/2) AAS
ずーっと同じ書き込みばっかりして荒らしじゃん
760
(1): 日高 2019/11/23(土)08:26 ID:YC5V5015(3/12) AAS
>ずーっと同じ書き込みばっかりして荒らしじゃん

違います。見やすくするためです。ときどき、修正しています。
同じ書き込みばかりではありません。
761: 2019/11/23(土)08:36 ID:SOFHhtFu(1/3) AAS
>>760
746と758は全く同じ。何が見やすいのかわからん。無駄。
762
(1): 日高 2019/11/23(土)08:43 ID:YC5V5015(4/12) AAS
>746と758は全く同じ。何が見やすいのかわからん。無駄。

これは、最初の画面に表示するためです。(最初50)に戻る必要をなくすためです。
763: 2019/11/23(土)08:45 ID:SOFHhtFu(2/3) AAS
>>762
要するに自分の都合のためね。他の人には邪魔なだけ。
764
(1): 日高 2019/11/23(土)08:52 ID:YC5V5015(5/12) AAS
>要するに自分の都合のためね。他の人には邪魔なだけ。

申し訳ございません。他の人も見やすいのではないかと思って表示しています。
765: 2019/11/23(土)09:15 ID:SHm4s5Er(2/2) AAS
邪魔なだけなんだけど
766: 2019/11/23(土)09:25 ID:30feOc/R(1/2) AAS
専ブラ使おうぜ
767: 2019/11/23(土)09:28 ID:LhP79503(2/3) AAS
>>764
見やすくはない。変えたか変えてないのかわかんないのが沢山あるだけで迷惑極まりない。
768: 2019/11/23(土)09:29 ID:LhP79503(3/3) AAS
>>757

> >でも勉強はしないって言い切ってるんだろ、ゴミクズ。
>
> なるべく、自分の頭で考えるようにします。
勉強が必要だという指摘は徹底的に無視ですか。
769: 日高 2019/11/23(土)09:41 ID:YC5V5015(6/12) AAS
>邪魔なだけなんだけど

申し訳ございません。
770: 2019/11/23(土)09:41 ID:jFQnXbOI(1/2) AAS
AA省
771
(1): 日高 2019/11/23(土)09:43 ID:YC5V5015(7/12) AAS
>専ブラ使おうぜ

専ブラの意味を、教えていただけないでしょうか。
772: 日高 2019/11/23(土)09:45 ID:YC5V5015(8/12) AAS
>見やすくはない。変えたか変えてないのかわかんないのが沢山あるだけで迷惑極まりない。

申し訳ございません。
773: 2019/11/23(土)09:45 ID:30feOc/R(2/2) AAS
>>771
「専ブラ」でググると良いよ
774
(1): 日高 2019/11/23(土)09:47 ID:YC5V5015(9/12) AAS
>勉強が必要だという指摘は徹底的に無視ですか。

なるべく、自分の頭で考えるつもりです。
775: 日高 2019/11/23(土)09:49 ID:YC5V5015(10/12) AAS
>a^{1/(1-1) は特定できない「数」です。

すみません。間違いでしょうか。
776: 2019/11/23(土)10:10 ID:jFQnXbOI(2/2) AAS
>>758
 日本語の中に数式がゴチャゴチャ入っているので実に見にくい。長い数式や、短くても特に重要な数式は適切に改行した方がいい。また式だけの行はインデント(字下げ)する。

【定理】pが奇素数のとき
  x^p+y^p=z^p ・・・・・@
は、自然数解を持たない。

【証明】
 @をz=x+r とおいて
  x^p+y^p=(x+r)^p ・・・・・A
とする。
 Aを積の形に変形してrを求める。x,y,z,rは有理数と仮定する。Aを
省19
777: 2019/11/23(土)10:19 ID:mEml5L+Q(1/3) AAS
>>774

> >勉強が必要だという指摘は徹底的に無視ですか。
>
> なるべく、自分の頭で考えるつもりです。
必要の意味分かってますか?
778
(3): 日高 2019/11/23(土)10:27 ID:YC5V5015(11/12) AAS
>それにCの大文字の X、Y、Z と Dの a が何であるかも不明だぞ。

大文字の X、Y、Zは、r=(pa)^{1/(p-1)}のときの、x,y,zです。
aは、(pa)^{1/(p-1)}が有理数のときのaです。
779: 2019/11/23(土)10:28 ID:mEml5L+Q(2/3) AAS
考えることが今までほとんど出来てないし。
780: 日高 2019/11/23(土)10:30 ID:YC5V5015(12/12) AAS
>こうしてみると、この証明のヴァカらしさが際立つなあwwwww。

「この証明のヴァカらしさ」が、どの箇所かを、教えていただけないでしょうか。
781: 2019/11/23(土)10:30 ID:mEml5L+Q(3/3) AAS
>>778
証明が直らない限り、どんな説明も無駄。
782: 2019/11/23(土)10:48 ID:SOFHhtFu(3/3) AAS
>>778
> それにCの大文字の X、Y、Z と Dの a が何であるかも不明だぞ。
>
> 大文字の X、Y、Zは、r=(pa)^{1/(p-1)}のときの、x,y,zです。
> aは、(pa)^{1/(p-1)}が有理数のときのaです。

全部意味不明。
783: 2019/11/23(土)23:41 ID:cAGqeRUo(1) AAS
動画リンク[YouTube]
784
(1): 日高 2019/11/24(日)18:12 ID:WKgCBUrz(1/8) AAS
> それにCの大文字の X、Y、Z と Dの a が何であるかも不明だぞ。
>
> 大文字の X、Y、Zは、r=(pa)^{1/(p-1)}のときの、x,y,zです。
> aは、(pa)^{1/(p-1)}が有理数のときのaです。

>全部意味不明。

どの部分が、意味不明でしょうか?
785: 日高 2019/11/24(日)18:28 ID:WKgCBUrz(2/8) AAS
>必要の意味分かってますか?

すみません。よく分かりません。
786: 2019/11/24(日)18:50 ID:4tvvSOt6(1/5) AAS
>>784
だから全部。
数学的な表現になってないので、何が言いたいのか推測するのも難しい。
数Iの教科書からやり直さないとどうしようもないレベルだと思う。
証明問題で変数の定義をどうやっているか勉強しろ。
787
(1): 日高 2019/11/24(日)19:01 ID:WKgCBUrz(3/8) AAS
>数学的な表現になってないので、何が言いたいのか推測するのも難しい。

すみません。最初の、どの部分から、数学的な表現になってないので、何が言いたいのか推測するのも難しくなっているのかを、教えていただけないでしょうか。
788: 2019/11/24(日)19:06 ID:4tvvSOt6(2/5) AAS
>>787
> 数学的な表現になってないので、何が言いたいのか推測するのも難しい。
>
> すみません。最初の、どの部分から、数学的な表現になってないので、何が言いたいのか推測するのも難しくなっているのかを、教えていただけないでしょうか。

最初から最後まで。
789: 2019/11/24(日)19:46 ID:4QKX+gcl(1) AAS
AA省
790
(1): 日高 2019/11/24(日)20:04 ID:WKgCBUrz(4/8) AAS
>最初から最後まで。

最初の一行目の、何文字目からでしょうか。
791: 日高 2019/11/24(日)20:06 ID:WKgCBUrz(5/8) AAS
>a^{1/(1-1) は特定できない「数」です。

間違いでしょうか?
792: 2019/11/24(日)20:16 ID:4tvvSOt6(3/5) AAS
>>790
文章全体だから、1文字目からですよ。
793
(1): 日高 2019/11/24(日)20:26 ID:WKgCBUrz(6/8) AAS
>文章全体だから、1文字目からですよ。

pからでしょうか?
794: 2019/11/24(日)20:47 ID:4tvvSOt6(4/5) AAS
>>793
???

意味不明だと言ってるのは、 >>778 のレスに関してですよ。

大文字の X、Y、Zは、r=(pa)^{1/(p-1)}のときの、x,y,zです。
aは、(pa)^{1/(p-1)}が有理数のときのaです。

この2行が意味不明です。
795
(1): 日高 2019/11/24(日)20:56 ID:WKgCBUrz(7/8) AAS
>大文字の X、Y、Zは、r=(pa)^{1/(p-1)}のときの、x,y,zです。

この行のどの部分でしょうか?
796
(2): 日高 2019/11/24(日)21:01 ID:WKgCBUrz(8/8) AAS
【定理】pが奇素数のとき
  x^p+y^p=z^p ・・・・・@
は、自然数解を持たない。

【証明】
 @をz=x+r とおいて
  x^p+y^p=(x+r)^p ・・・・・A
とする。
 Aを積の形に変形してrを求める。x,y,z,rは有理数と仮定する。Aを
  (x/r)^p+(y/r)^p=(x/r+1)^p
  (y/r)^p-1=p{(x/r)^(p-1)+…+x/r}
省14
797: 2019/11/24(日)21:16 ID:4tvvSOt6(5/5) AAS
>>795
> 大文字の X、Y、Zは、r=(pa)^{1/(p-1)}のときの、x,y,zです。
>
> この行のどの部分でしょうか?

全部。
これは、X,Y,Zの定義のつもりですか?
798
(1): 2019/11/24(日)21:19 ID:S74m1sjf(1) AAS
日高氏が言いたいのは次のようなことかと。

【定理】pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
【証明】x^p+y^p=z^p…(1)の有理数解を調べる。z=x+rとおいて、x^p+y^p=(x+r)^p…(2)とする。
r^(p-1)=pとすると、r=p^{1/(p-1)}となるので、(2)はx^p+y^p=(x+p^{1/(p-1)})^p…(4)となる。
rが無理数なので、xを有理数とするとz=x+rは無理数となる。よって(4)は有理数解をもたない。
rがそれ以外のとき、X^p+Y^p=(X+R)^pと書く。この解をX,Y,Z(=X+R)と書くと、
Xr/R,Yr/R,Zr/R=Xr/R+rは(4)の解となるが(4)は解をもたないのでこれも解をもたない。

(1)は有理数解(x,y,z)=(0,q,q),(q,0,q),(q,-q,0)をもつ。
偽なる命題を“証明”した日高氏の証明は明らかに誤り。
(この論法が日高氏に通じるとは思えんが。)
799: 2019/11/25(月)01:46 ID:D3hi30e+(1/4) AAS
>> @をz=x+r とおいて

なんですでに存在しているzをここで定義してるの?
その時点で間違い。後ろの部分は読む価値なし。
800
(1): 2019/11/25(月)02:08 ID:g8V67tbk(1) AAS
>>799
日高氏の頭の中では背理法は用いておらず、
x^p+y^p=z^pの解を求めようとしている。
その際、定数rを用いてx^p+y^p=(x+r)^pとx,yの二変数にして
rごとに有理数解x,y,x+rをさがしているのでは。
801
(1): 日高 2019/11/25(月)07:42 ID:GLgYCARi(1/17) AAS
>これは、X,Y,Zの定義のつもりですか?

はい。
802
(1): 日高 2019/11/25(月)07:44 ID:GLgYCARi(2/17) AAS
>偽なる命題を“証明”した日高氏の証明は明らかに誤り。

すみません。どれが、「偽なる命題」に当たるかを、教えていただけないでしょうか。
1-
あと 200 レスあります
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル

ぬこの手 ぬこTOP 0.021s