◎正当な理由による書き込みの削除について： 生島英之 とみられる方へ:フェルマーの最終定理の簡単な証明3 YouTube動画>1本 ->画像>1枚
動画、画像抽出 ｜｜
この掲示板へ
類似スレ
掲示板一覧 人気スレ 動画人気順
このスレへの固定リンク： http://5chb.net/r/math/1575007235/ ヒント： http ://xxxx.5chb .net/xxxx のようにb を入れるだけでここでスレ保存、閲覧できます。
【定理】pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
>つまり、有理数解が無ければ整数比にならないと言っていたのは、大嘘確定。
>反省なし。ゴミ
>次の段階に進みましょう
>次の段階に進みましょう
***** このスレを初めてご覧になる方へ（歴史に残る日高語録）*****
>>2 > p=2の場合は、x,y,zが無理数で、整数比となります。
だから、大嘘確定。
>>1 >>1 「あるrに対してはx^p+y^p=(x+r)^pに有理数解がない」は言えたとしても
これの無理数解X,YでX:Y:X+rが自然数比になるものがないとは言えない。
X,YがX^p+Y^p=(X+r)^pをみたしX/d,Y/d,(X+r)/dが自然数だとする。
X/d,Y/dがみたすのは(X/d)^p+(Y/d)^p=(X/d+r/d)^pであって
(X/d)^p+(Y/d)^p=(X/d+r)^pではない。
ここが日高氏の証明の誤りの中核部分だと思う。
（スレッドが変わったので再投稿。）
>>3 > >反省なし。ゴミ
>
> すみません。よく見て貰えないでしょうか。
～となるというのは意味不明だろ言われているだろうが。直らない限りみる価値無し。
>>3 > すみません。よく見て貰えないでしょうか。
よく見てと言われたって，肝心のところは証明が書かれていないのだから，
どうしようもありません。
>a^{1/(1-1)}は、計算できない数ですが、a^{1/(1-1)}が、数であることには
>p=2の場合は、x,y,zが無理数で、整数比となります。
>>15 > 理由を教えていただけないでしょうか。
何で理由を教えなければならないのか、具体的に説明してくれ。
>>16 日高に何かを教える必要はないよ
日高ははどんなに具体的に説明されても、自分の意見に沿わないものは徹底的に無視する
こんな無駄な行為が他にあろうか
>〔コメント〕
いちおう貼っとく
----------
988 名前：１３２人目の素数さん[sage] 投稿日：2019/11/29(金) 10:48:43.73 ID:JxAs7OyT [1/2]
あと
>>134 の指摘も致命的だよね
995 名前：日高[] 投稿日：2019/11/29(金) 14:12:59.47 ID:yqQadrDU [9/10]
何度も書くが、Case BとCase Aは独立なので、
* Case Aで書いたことはCase Aの中でのみ有効。
* なのでCase B中でCase A中の式は使えない。（正確に言えば、使おうとするとCase Aのときの証明とは独立に定義・証明が必要）
ということ。
理由を教えていただけないでしょうか。
996 名前：１３２人目の素数さん[sage] 投稿日：2019/11/29(金) 14:16:39.12 ID:JxAs7OyT [2/2]
>>995 すまん。俺は
「数学のルールだから」
としか言えない。
>X/d,Y/dがみたすのは(X/d)^p+(Y/d)^p=(X/d+r/d)^pであって
>～となるというのは意味不明だろ言われているだろうが。直らない限りみる価値無し。
>よく見てと言われたって，肝心のところは証明が書かれていないのだから，
>>20 > >X/d,Y/dがみたすのは(X/d)^p+(Y/d)^p=(X/d+r/d)^pであって
> (X/d)^p+(Y/d)^p=(X/d+r)^pではない。
>
> これは、正しいと、思いますが、
そう思われるなら、ご自分の誤りに気づかれると思います。
>何で理由を教えなければならないのか、具体的に説明してくれ。
>>23 > >よく見てと言われたって，肝心のところは証明が書かれていないのだから，
> どうしようもありません。
>
> どの部分でしょうか？
>>1 の
> ⑥のX,Y,Zは④のx,y,zのa^{1/(p-1)}倍となるので、X:Y:Z=x:y:zとなる。
と
> よって、⑥も式は成り立たない。
との間です。
> >X/d,Y/dがみたすのは(X/d)^p+(Y/d)^p=(X/d+r/d)^pであって
>>25 > >何で理由を教えなければならないのか、具体的に説明してくれ。
>
> >p=2の場合は、x,y,zが無理数で、整数比となります。
> だから、大嘘確定。
>
> 「大嘘確定。」といわれたからです。
フーン。
で説明しなければならない理由ではないね。単なる事実だから。
> ⑥のX,Y,Zは④のx,y,zのa^{1/(p-1)}倍となるので、X:Y:Z=x:y:zとなる。
>>27 rを最初に決めた値とするときx^p+y^p=(x+r)^pに有理数解がないという推論は正しい。
しかしX/d,Y/dはこの方程式の解ではなくx^p+y^p=(x+r/d)^pの解だから何の矛盾も生じない。
>>29 > すみません。もうすこし、詳しく説明していただけないでしょうか。
この意味がわかりませんか？ 隣接する文章の間です。そこの理由が述べられていません。
>rを最初に決めた値とするときx^p+y^p=(x+r)^pに有理数解がないという推論は正しい。
>31
【定理】pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
>>32 3行目は
＞ x^p+y^p=(x+r/d)^p
5行目は
＞ x^p+y^p=(x+r)^p
になってるよ
>>34 > 【定理】pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
> 【証明】x^p+y^p=z^p…①を、z=x+rとおいて、x^p+y^p=(x+r)^p…②とする。
> ②を積の形に変形してrを求める。x,y,z,r,aは0をのぞく有理数とする。
> ②を(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)}となる。②は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)…⑤となる。a(1/a)=1となる。
> r^(p-1)=p以外の場合は、r^(p-1)=paとなる。r=(pa)^{1/(p-1)}となるのでrは有理数となる。②はX^p+Y^p=(X+(pa)^{1/(p-1)})^p…⑥となる。
> ⑥のX,Y,Zは④のx,y,zのa^{1/(p-1)}倍となるので、X:Y:Z=x:y:zとなる。よって、⑥も式は成り立たない。
> ∴pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
ゴミ。
5行目は
>>38 >>32 の3,4行目で
x^p+y^p=(x+r/d)^p から X^p+Y^p=(X+r)^p
を導いたんでしょ？
だったら、5行目の
＞ x^p+y^p=(x+r)^p
からは何も言えないんじゃない？
【定理】pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
>>32 は？勝手に問題を変えるな痴呆野郎。
どういうことでしょうか？
>>32 の3,4行目で
x^p+y^p=(x+r/d)^p から X^p+Y^p=(X+r)^p
を導いたんでしょ？
だったら、5行目の
＞ x^p+y^p=(x+r)^p
からは何も言えないんじゃない？
x^p+y^p=(x+r/d)^pは、(X/d)^p+(Y/d)^p=(X/d+r/d)^pのことです。
x^p+y^p=(x+r)^pは、有理数解をもちません。
よって、X^p+Y^p=(X+r)^pの、X,Yは、無理数ですが、整数比となりません。
>>42 ひょっとして『式の形が同じだから』
＞ x^p+y^p=(x+r)^p から X^p+Y^p=(X+r)^p
が言えると思ってる？
>>42 ,43
前スレでやってたわ。
----------
>>331 あたりから、
>>495 まで。
----------
俺はもう大丈夫だ。
ひょっとして『式の形が同じだから』
>>40 > 【定理】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)とする。
> (2)を積の形に変形してrを求める。x,y,z,r,aは0をのぞく有理数とする。
> (2)を(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}…(3)とする。
> (3)はr^(p-1)=pとなるので、r=p^{1/(p-1)}となる。(2)はx^p+y^p=(x+p^{1/(p-1)})^p…(4)となる。
> (4)はrが無理数となるので、式は成り立たない。
> (3)の右辺に、a(1/a)を掛けるとr^(p-1){(y/r)^p-1}=pa{x^(p-1)+…+r^(p-2)x}(1/a)…(5)となる。a(1/a)=1となる。
> r^(p-1)=p以外の場合は、r^(p-1)=paとなる。r=(pa)^{1/(p-1)}となるのでrは有理数となる。(2)はX^p+Y^p=(X+(pa)^{1/(p-1)})^p…(6)となる。
> (6)のX,Y,Zは(4)のx,y,zのa^{1/(p-1)}倍となるので、X:Y:Z=x:y:zとなる。よって、(6)も式は成り立たない。
> ∴pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
ゴミ
>>41 >
>>32 > は？勝手に問題を変えるな痴呆野郎。
>
> どういうことでしょうか？
ああ、問題の区別もできない痴呆老人だったんだっけ。
>>42 > x^p+y^p=(x+r)^pは、有理数解をもちません。
> よって、X^p+Y^p=(X+r)^pの、X,Yは、無理数ですが、整数比となりません。
大嘘付き
>>42 > x^p+y^p=(x+r/d)^pは、(X/d)^p+(Y/d)^p=(X/d+r/d)^pのことです。
>
> x^p+y^p=(x+r)^pは、有理数解をもちません。
この２つのことから
> よって、X^p+Y^p=(X+r)^pの、X,Yは、無理数ですが、整数比となりません。
を結論とする理由が全くわかりません。
詳しく説明してください。
x^p+y^p=(x+r/d)^pは、(X/d)^p+(Y/d)^p=(X/d+r/d)^pのことです。
>>42 > x^p+y^p=(x+r)^pは、有理数解をもちません。
> よって、X^p+Y^p=(X+r)^pの、X,Yは、無理数ですが、整数比となりません。
大嘘付き
理由を教えていただけないでしょうか？
>>51 X/d,Y/d,Z/dが有理数だとなぜ最後の式が成り立たないのですか?
ここの
>>1 も、どっかの誰かさんみたいに
必要条件と十分条件が分かってないのかなあ。
>>51 X/d,Y/d,Z/dが有理数だとなぜ最後の式が成り立たないのですか?
rが無理数なので、
x^p+y^p=(x+r)^pは、x,y,zが有理数のとき、式は成り立ちません。
>>51 X/d,Y/d,Z/dが有理数だとなぜ最後の式が成り立たないのですか?
rが無理数なので、
x^p+y^p=(x+r)^pは、x,y,zが有理数のとき、式は成り立ちません。
>ここの
>>1 も、どっかの誰かさんみたいに
必要条件と十分条件が分かってないのかなあ。
すみません。ま違い箇所をを指摘していただけないでしょうか。
>>56 X/d,Y/d,Z/dはこの式の解にはならないので関係ないと思います。
【定理】pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
>>56 X/d,Y/d,Z/dはこの式の解にはならないので関係ないと思います。
「この式」とは、どの式のことでしょうか。
>>60 x^p+y^p=(x+r)^p
x^p+y^p=(x+r)^pこの式は、x,y,zを、有理数とした場合の式です。
X/d,Y/d,Z/dも、有理数です。
>>63 >x^p+y^p=(x+r)^pこの式は、x,y,zを、有>理数とした場合の式です。
>X/d,Y/d,Z/dも、有理数です。
X/d, Y/dは x^p+y^p=(x+r)^p の解にならないので、矛盾はありません
>>45 ＞x^p+y^p=(x+r)^pのx,yは、有理数です。
＞X^p+Y^p=(X+r)^pのX,Yは、無理数です。
＞X,Yを、共通の無理数dでわると、有理数となります。
＞つまり、x,yと同じとなります。
ほらね。案の定 x,y と X,Y が同じだと思ってる
「比が同じ」理論はrを固定したら成り立たない
ハイ、やり直し
>>45 ＞x^p+y^p=(x+r)^pのx,yは、有理数です。
＞X^p+Y^p=(X+r)^pのX,Yは、無理数です。
＞X,Yを、共通の無理数dでわると、有理数となります。
＞つまり、x,yと同じとなります。
ほらね。案の定 x,y と X,Y が同じだと思ってる
「比が同じ」理論はrを固定したら成り立たない
ハイ、やり直し
整数比となる X,Yは、 x,yと同じとなります。
指摘が理解できないなら、数学を勉強しなおすべきでは？
>>66 > 整数比となる X,Yは、 x,yと同じとなります。
でもX=x,Y=yではありませんよね。どの観点から「同じ」なのか説明してください。
この人質問ばっかりかよ。誰でもなんでも教えてくれると勝手に勘違いしてない？てか、こんな問題といてないで他にやる事あるだろwww
>指摘が理解できないなら、数学を勉強しなおすべきでは？
>>66 > 整数比となる X,Yは、 x,yと同じとなります。
でもX=x,Y=yではありませんよね。どの観点から「同じ」なのか説明してください。
整数比となる無理数 X,Yは、 X,Yが無理数であっても、共通の無理数ｄで割ると、
X/d,Y/dは、有理数となります。
【定理】pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
>>72 爺さん、零点だ
理由を教えていただけないでしょうか。
>>73 爺さんが零点というのは、リーマン予想と関係ありますか？
>>71 >
>>66 > > 整数比となる X,Yは、 x,yと同じとなります。
>
> でもX=x,Y=yではありませんよね。どの観点から「同じ」なのか説明してください。
>
> 整数比となる無理数 X,Yは、 X,Yが無理数であっても、共通の無理数ｄで割ると、
> X/d,Y/dは、有理数となります。
この説明ではx,yが登場しないので「x,yと同じ」の説明になっていません。
>>71 >
>>66 > > 整数比となる X,Yは、 x,yと同じとなります。
>
> でもX=x,Y=yではありませんよね。どの観点から「同じ」なのか説明してください。
>
> 整数比となる無理数 X,Yは、 X,Yが無理数であっても、共通の無理数ｄで割ると、
> X/d,Y/dは、有理数となります。
この説明ではx,yが登場しないので「x,yと同じ」の説明になっていません。
X/d,Y/dは、有理数,となります。x,yも有理数です。
>>77 > X/d,Y/dは、有理数,となります。x,yも有理数です。
有理数ならなんでも「同じ」ですか？
>>77 > X/d,Y/dは、有理数,となります。x,yも有理数です。
有理数ならなんでも「同じ」ですか？
有理数ならなんでも「同じ」ですか？
すみません。この意味はどんな意味でしょうか？
>>79 >>68 に「どの観点から「同じ」なのか説明してください」と書きました。
>>77 で「X/d,Y/dは、有理数,となります。x,yも有理数です」とだけ
答えられたので，「有理数ならなんでも「同じ」ですか？」とお尋ねしました。
確認ですが、X/d Y/d は(X/d)^p+(Y/d)^p=(X/d+r)^pをみたす、で合っていますか？
奇数芸人とフェルマー芸人の共通点
>>72 > 【定理】pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
> 【証明】x^p+y^p=z^p…①を、z=x+rとおいて、x^p+y^p=(x+r)^p…②とする。
> ②を積の形に変形してrを求める。x,y,z,r,aは0をのぞく有理数とする。
> ②を(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)}となる。②は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)…⑤となる。a(1/a)=1となる。
> r^(p-1)=p以外の場合は、r^(p-1)=paとなる。r=(pa)^{1/(p-1)}となるのでrは有理数となる。②はX^p+Y^p=(X+(pa)^{1/(p-1)})^p…⑥となる。
> ⑥のX,Y,Zは④のx,y,zのa^{1/(p-1)}倍となるので、X:Y:Z=x:y:zとなる。よって、⑥も式は成り立たない。
> ∴pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
ゴミ
>>79 >>68 に「どの観点から「同じ」なのか説明してください」と書きました。
>>77 で「X/d,Y/dは、有理数,となります。x,yも有理数です」とだけ
答えられたので，「有理数ならなんでも「同じ」ですか？」とお尋ねしました。
確認ですが、X/d Y/d は(X/d)^p+(Y/d)^p=(X/d+r)^pをみたす、で合っていますか？
X/d Y/d は(X/d)^p+(Y/d)^p=(X/d+r)^pを満たしません
>奇数芸人とフェルマー芸人の共通点
>>72 > 【定理】pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
> 【証明】x^p+y^p=z^p…①を、z=x+rとおいて、x^p+y^p=(x+r)^p…②とする。
> ②を積の形に変形してrを求める。x,y,z,r,aは0をのぞく有理数とする。
> ②を(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)}となる。②は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)…⑤となる。a(1/a)=1となる。
> r^(p-1)=p以外の場合は、r^(p-1)=paとなる。r=(pa)^{1/(p-1)}となるのでrは有理数となる。②はX^p+Y^p=(X+(pa)^{1/(p-1)})^p…⑥となる。
> ⑥のX,Y,Zは④のx,y,zのa^{1/(p-1)}倍となるので、X:Y:Z=x:y:zとなる。よって、⑥も式は成り立たない。
> ∴pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
ゴミ
申し訳ございません
�は推理してもらえないでしょうか
【定理】pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
>>86 もっかいいうが
数学板の中の
フェルマー最終定理について
のスレッドの一番上の数式を見なかったのか。
あの式計算すると合ってるぞ。
それかお前はぼっとのふりしたろしあのすぱいか! ！?？
いつか何人か気付いてるとおもうが
>>86 > 【定理】pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
> 【証明】x^p+y^p=z^p…①を、z=x+rとおいて、x^p+y^p=(x+r)^p…②とする。
> ②を積の形に変形してrを求める。x,y,z,r,aは0をのぞく有理数とする。
> ②を(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)}となる。②は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)…⑤となる。a(1/a)=1となる。
> r^(p-1)=p以外の場合は、r^(p-1)=paとなる。r=(pa)^{1/(p-1)}となるのでrは有理数となる。②はX^p+Y^p=(X+(pa)^{1/(p-1)})^p…⑥となる。
> ⑥のX,Y,Zは④のx,y,zのa^{1/(p-1)}倍となるので、X:Y:Z=x:y:zとなる。よって、⑥も式は成り立たない。
> ∴pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
ゴミ
>一つの整数を二つの平方数の差で表すのスレ主です。
まあ、書きましょう。
名前は梅田悠祐で
(31104)’3+(1292966)’3=(1292972)’3
です。
>>86 もっかいいうが
数学板の中の
フェルマー最終定理について
のスレッドの一番上の数式を見なかったのか。
あの式計算すると合ってるぞ。
それかお前はぼっとのふりしたろしあのすぱいか! ！?？
「あの式計算すると」
手計算、もしくは、計算ソフトで確認してみてください。
間違っています。
>>90 関数電卓で計算してください。
移項して右辺を左辺にマイナスすれば0です。
まずあなた常人からしてあれだけの式正しく計算できないでしょ。
>>92 手計算の事ね。
あなたしてないでしょ。それか間違えてるか。
恒等式から論理的に生成したものだから
>>92 手計算の事ね。
あなたしてないでしょ。それか間違えてるか。
手計算は、していません。計算ソフトを使いました。
>>95 計算ソフトの扱い方も常人なら数週間かかります。
入力ミスか計算ソフトが回避しているか。
回避とは意図して違う値を出すことです。
例えばペル方程式61の一般解は関数電卓でも合っているようになりますが、手計算するとまた恒等式の論理からいくと解が違うものになります。
つまり巷が嘘をつき始めている訳です。
>恒等式から論理的に生成したものだから
関数電卓は整数の話しなので嘘をつきません。
>>97 5000枚入った段ボールに無造作に入っているので出せません。
知りたければスレッドの一番上の一つの整数を二つの平方数の差で表す方法のスレでさがしてください。
lかmに100までの値を入れました。
>>99 因みに私の昔のスレです。
私の文です。
生成の論理は二度とやりません。
忘れました。
やると頭がおかしくなります。
>関数電卓は整数の話しなので嘘をつきません。
>>99 そしたら平方根が外れました。
よく意味がわかりません。
>>103 返事は無理しなくてもいいよ。
あのやりとりちゃんとみてきな。
【定理】pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
ごめん。言って良い!！?？
>>106 > 【定理】pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
> 【証明】x^p+y^p=z^p…①を、z=x+rとおいて、x^p+y^p=(x+r)^p…②とする。
> ②を積の形に変形してrを求める。x,y,z,r,aは0をのぞく有理数とする。
> ②を(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)}となる。②は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)…⑤となる。a(1/a)=1となる。
> r^(p-1)=p以外の場合は、r^(p-1)=paとなる。r=(pa)^{1/(p-1)}となるのでrは有理数となる。
> ②はX^p+Y^p=(X+(pa)^{1/(p-1)})^p…⑥となる。
> ⑥のX,Y,Zは④のx,y,zのa^{1/(p-1)}倍となるので、X:Y:Z=x:y:zとなる。よって、⑥も式は成り立たない。
> ∴pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
ゴミ
引用するだけで文字が変になるし。
会社によってネット計算機ソフト値が違うから。
解ったよ手計算すればいいんだろ。
【定理】pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
>>120 > 【定理】pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
> 【証明】x^p+y^p=z^p…①を、z=x+rとおいて、x^p+y^p=(x+r)^p…②とする。
> ②を積の形に変形してrを求める。x,y,z,r,aは0をのぞく有理数とする。
> ②を(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)}となる。②は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)…⑤となる。a(1/a)=1となる。
> r^(p-1)=p以外の場合は、r^(p-1)=paとなる。r=(pa)^{1/(p-1)}となるのでrは有理数となる。
> ②はX^p+Y^p=(X+(pa)^{1/(p-1)})^p…⑥となる。
> ⑥のX,Y,Zは④のx,y,zのa^{1/(p-1)}倍となるので、X:Y:Z=x:y:zとなる。よって、⑥も式は成り立たない。
> ∴pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
ゴミ。反省ゼロ
>>122 > >ゴミ。反省ゼロ
>
> 申し訳ございません。
これもゴミ。
>>83 > X/d Y/d は(X/d)^p+(Y/d)^p=(X/d+r)^pを満たしません
では、どういう式を満たしますか？
>>83 > X/d Y/d は(X/d)^p+(Y/d)^p=(X/d+r)^pを満たしません
では、どういう式を満たしますか？
わかりません。
>>125 >
>>83 > > X/d Y/d は(X/d)^p+(Y/d)^p=(X/d+r)^pを満たしません
>
> では、どういう式を満たしますか？
>
> わかりません。
それがわからないと、矛盾することを示せないのではありませんか？
>>125 >
>>83 > > X/d Y/d は(X/d)^p+(Y/d)^p=(X/d+r)^pを満たしません
>
> では、どういう式を満たしますか？
>
> わかりません。
それがわからないと、矛盾することを示せないのではありませんか？
X/d Y/d が有理数となるので、(X/d)^p+(Y/d)^p=(X/d+r)^pは、成り立ちません。
どういう式を満たすかは、関係ないと思います。
>>127 >
>>125 > >
>>83 > > > X/d Y/d は(X/d)^p+(Y/d)^p=(X/d+r)^pを満たしません
> >
> > では、どういう式を満たしますか？
> >
> > わかりません。
>
> それがわからないと、矛盾することを示せないのではありませんか？
>
> X/d Y/d が有理数となるので、(X/d)^p+(Y/d)^p=(X/d+r)^pは、成り立ちません。
> どういう式を満たすかは、関係ないと思います。
間違い。考え直し。
> X/d Y/d が有理数となるので、(X/d)^p+(Y/d)^p=(X/d+r)^pは、成り立ちません。
┌日┐
>>129 関係ない、はずがない。
すみません。どういう意味でしょうか？
＞毎日毎日、暇を持て余している爺さんです。(´・ω・｀)
【定理】pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
>>134 > 【定理】pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
> 【証明】x^p+y^p=z^p…①を、z=x+rとおいて、x^p+y^p=(x+r)^p…②とする。
> ②を積の形に変形してrを求める。x,y,z,r,aは0をのぞく有理数とする。
> ②を(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)}となる。②は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)…⑤となる。a(1/a)=1となる。
> r^(p-1)=p以外の場合は、r^(p-1)=paとなる。r=(pa)^{1/(p-1)}となるのでrは有理数となる。
> ②はX^p+Y^p=(X+(pa)^{1/(p-1)})^p…⑥となる。
> ⑥のX,Y,Zは④のx,y,zのa^{1/(p-1)}倍となるので、X:Y:Z=x:y:zとなる。よって、⑥も式は成り立たない。
> ∴pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
はい。ゴミ。何で反省しないの？
>>132 >
>>129 > 関係ない、はずがない。
>
> すみません。どういう意味でしょうか？
日本語が理解できないなら書き込むな。
>はい。ゴミ。何で反省しないの？
>>132 >
>>129 > 関係ない、はずがない。
>
> すみません。どういう意味でしょうか？
日本語が理解できないなら書き込むな。
日本語が、理解できていないのでしょうか？
関係ないと主張するなら根拠を示さなければ。
>>127 > X/d Y/d が有理数となるので、(X/d)^p+(Y/d)^p=(X/d+r)^pは、成り立ちません。
> どういう式を満たすかは、関係ないと思います。
X,Yはフェルマーの最終定理のX^p+Y^p=Z^pとは関係ないのですね？
それでは証明になっていないことが明らかです。
>>127 > X/d Y/d が有理数となるので、(X/d)^p+(Y/d)^p=(X/d+r)^pは、成り立ちません。
> どういう式を満たすかは、関係ないと思います。
X,Yはフェルマーの最終定理のX^p+Y^p=Z^pとは関係ないのですね？
それでは証明になっていないことが明らかです。
この場合の、X,Yは、無理数です。
>関係ないと主張するなら根拠を示さなければ。
>>141 > この場合の、X,Yは、無理数です。
それで？ フェルマーの最終定理とは関係ないんでしょう？
>>141 > この場合の、X,Yは、無理数です。
それで？ フェルマーの最終定理とは関係ないんでしょう？
すみませんが、やり取りを、最初から、読まれましたか？
>>144 > すみませんが、やり取りを、最初から、読まれましたか？
５ちゃんねるに移ってきてからは最初から読んでいます。
>>144 >
>>141 > > この場合の、X,Yは、無理数です。
>
> それで？ フェルマーの最終定理とは関係ないんでしょう？
>
> すみませんが、やり取りを、最初から、読まれましたか？
ごまかすなよ。
そういうなら最初から最後までまとめて全部書け。
>>144 >
>>141 > > この場合の、X,Yは、無理数です。
>
> それで？ フェルマーの最終定理とは関係ないんでしょう？
>
> すみませんが、やり取りを、最初から、読まれましたか？
ごまかすなよ。
そういうなら最初から最後までまとめて全部書け。
X/d Y/d が有理数となるので、(X/d)^p+(Y/d)^p=(X/d+r)^pは、成り立ちません。
どういう式を満たすかは、関係ないと思います。
満たす式は、書くことは、できますが、意味はありません。
>>147 > X/d Y/d が有理数となるので、(X/d)^p+(Y/d)^p=(X/d+r)^pは、成り立ちません。
> どういう式を満たすかは、関係ないと思います。
> 満たす式は、書くことは、できますが、意味はありません。
では、これはフェルマーの最終定理とは無関係ですね？
>>147 >>11 には
＞ X/d,Y/dがみたすのは(X/d)^p+(Y/d)^p=(X/d+r/d)^pであって
＞ (X/d)^p+(Y/d)^p=(X/d+r)^pではない。
＞ ここが日高氏の証明の誤りの中核部分だと思う。
とあるのですが、
(X/d)^p+(Y/d)^p=(X/d+r)^p が『成り立たない』
事がフェルマーの最終定理の証明につながる、という事ですか？
指摘されても受け入れる気はない癖に、何が目的で数学板でスレ立てしてんの？
そういう意味では、本当に高木と同じだね。
>>147 > X/d Y/d が有理数となるので、(X/d)^p+(Y/d)^p=(X/d+r)^pは、成り立ちません。
> どういう式を満たすかは、関係ないと思います。
> 満たす式は、書くことは、できますが、意味はありません。
以前は満たす式はわかりませんと言ってましたね。 (
>>125 )
書くことができるようになったんですか？
満たす式は
(X/d)^p+(Y/d)^p=(X/d+r/d)^p
だと思いますが、違いますか？
r=p^{1/(p-1)}なのかr=(pa)^{1/(p-1)}なのかで話が変わってくる局面もあるので要注意。
>>147 > X/d Y/d が有理数となるので、(X/d)^p+(Y/d)^p=(X/d+r)^pは、成り立ちません。
> どういう式を満たすかは、関係ないと思います。
> 満たす式は、書くことは、できますが、意味はありません。
では、これはフェルマーの最終定理とは無関係ですね？
これは、x^p+y^p=(x+p^{1/(p-1)})^pのx,yが無理数のとき、式が成り立つかどうかの
話でした。
>>147 >>11 には
＞ X/d,Y/dがみたすのは(X/d)^p+(Y/d)^p=(X/d+r/d)^pであって
＞ (X/d)^p+(Y/d)^p=(X/d+r)^pではない。
＞ ここが日高氏の証明の誤りの中核部分だと思う。
とあるのですが、
(X/d)^p+(Y/d)^p=(X/d+r)^p が『成り立たない』
事がフェルマーの最終定理の証明につながる、という事ですか？
(X/d),(Y/d)は、有理数となるので、(X/d)^p+(Y/d)^p=(X/d+r)^pは、成り立ちません。
>>147 > X/d Y/d が有理数となるので、(X/d)^p+(Y/d)^p=(X/d+r)^pは、成り立ちません。
> どういう式を満たすかは、関係ないと思います。
> 満たす式は、書くことは、できますが、意味はありません。
以前は満たす式はわかりませんと言ってましたね。 (
>>125 )
書くことができるようになったんですか？
満たす式は
(X/d)^p+(Y/d)^p=(X/d+r/d)^p
だと思いますが、違いますか？
(X/d)^p+(Y/d)^p=(X/d+r/d)^pの両辺を、d^pで割ると、
X^p+Y^p=(X+r)^pとなるので、満たさない式になります。
>r=p^{1/(p-1)}なのかr=(pa)^{1/(p-1)}なのかで話が変わってくる局面もあるので要注意。
***** このスレを初めてご覧になる方へ（歴史に残る日高語録）*****
>>157 >
>>147 >
> > X/d Y/d が有理数となるので、(X/d)^p+(Y/d)^p=(X/d+r)^pは、成り立ちません。
> > どういう式を満たすかは、関係ないと思います。
> > 満たす式は、書くことは、できますが、意味はありません。
>
> 以前は満たす式はわかりませんと言ってましたね。 (
>>125 )
> 書くことができるようになったんですか？
>
> 満たす式は
> (X/d)^p+(Y/d)^p=(X/d+r/d)^p
> だと思いますが、違いますか？
>
> (X/d)^p+(Y/d)^p=(X/d+r/d)^pの両辺を、d^pで割ると、
> X^p+Y^p=(X+r)^pとなるので、満たさない式になります。
意味不明な回答はやめてください。
X/d, Y/d は
(X/d)^p+(Y/d)^p=(X/d+r/d)^p
を満たしますか？
>意味不明な回答はやめてください。
【定理】pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
>>162 > 【定理】pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
> 【証明】x^p+y^p=z^p…①を、z=x+rとおいて、x^p+y^p=(x+r)^p…②とする。
> ②を積の形に変形してrを求める。x,y,z,r,aは0をのぞく有理数とする。
> ②を(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)}となる。②は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)…⑤となる。a(1/a)=1となる。
> r^(p-1)=p以外の場合は、r^(p-1)=paとなる。r=(pa)^{1/(p-1)}となるのでrは有理数となる。
> ②はX^p+Y^p=(X+(pa)^{1/(p-1)})^p…⑥となる。
> ⑥のX,Y,Zは④のx,y,zのa^{1/(p-1)}倍となるので、X:Y:Z=x:y:zとなる。よって、⑥も式は成り立たない。
> ∴pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
ゴミクズ
>a^{1/(1-1)}は、計算できない数ですが、a^{1/(1-1)}が、数であることには
>>164 > >a^{1/(1-1)}は、計算できない数ですが、a^{1/(1-1)}が、数であることには
> 変わりはありません。
>
> まちがいでしょうか？
間違い。
>>166 > 理由を教えていただけないでしょうか。
正しい主張じゃないから。
>正しい主張じゃないから。
>>168 > >正しい主張じゃないから。
>
> なぜ、正しくないのでしょうか？
なぜ正しいのでしょうか？
>a^{1/(1-1)}は、計算できない数ですが、a^{1/(1-1)}が、数であることには
>正しいか、正しくないか、決めることはできない
>それでは、そのような数体系をご自身で構築してから、証明してください
>>172 > >それでは、そのような数体系をご自身で構築してから、証明してください
>
> 私の「フェルマーの最終定理の簡単な証明」には、a^{1/(1-1)}は、出てきません。
自分が証明できない通常と異なる解釈を正しいと主張することは出来ない。
なので、やはり間違い。
>>155 > では、これはフェルマーの最終定理とは無関係ですね？
>
> これは、x^p+y^p=(x+p^{1/(p-1)})^pのx,yが無理数のとき、式が成り立つかどうかの
話でした。
「無関係である」「無関係でない」のどちらかで答えてください。
>間違いかどうか自分で聞いておいて証明放棄ってw
>自分が証明できない通常と異なる解釈を正しいと主張することは出来ない。
>>155 > では、これはフェルマーの最終定理とは無関係ですね？
>
> これは、x^p+y^p=(x+p^{1/(p-1)})^pのx,yが無理数のとき、式が成り立つかどうかの
話でした。
「無関係である」「無関係でない」のどちらかで答えてください。
すみません。もう一度最初から、説明していただけないでしょうか。
【定理】pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
>>179 > 【定理】pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
> 【証明】x^p+y^p=z^p…①を、z=x+rとおいて、x^p+y^p=(x+r)^p…②とする。
> ②を積の形に変形してrを求める。x,y,z,r,aは0をのぞく有理数とする。
> ②を(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)}となる。②は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)…⑤となる。a(1/a)=1となる。
> r^(p-1)=p以外の場合は、r^(p-1)=paとなる。r=(pa)^{1/(p-1)}となるのでrは有理数となる。
> ②はX^p+Y^p=(X+(pa)^{1/(p-1)})^p…⑥となる。
> ⑥のX,Y,Zは④のx,y,zのa^{1/(p-1)}倍となるので、X:Y:Z=x:y:zとなる。よって、⑥も式は成り立たない。
> ∴pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
ゴミクズ
いい加減反省しろ。
文字化けもゴミ
>>176 > >間違いかどうか自分で聞いておいて証明放棄ってw
>
> a^{1/(1-1)}は、計算できない数です。
>
> a^{1/(1-1)}は、この証明には、出てきません。
出てこようが何だろうが、変な用語を使うこと自体間違い。数学でない証拠。数学じゃないもので書かれた証明は、数学的には間違いのデタラメ。
>>176 だから何？早くa^{1/(1-1)}が「計算できない数」であることを証明してよ
まずa^{1/(1-1)}が計算できない数であると主張してることが面白いし、
一方で
>>170 ではa^{1/(1-1)}が計算できない数であることを「正しいかか、正しくないか、決めることはできないと思います。」と矛盾してること言ってるのも面白いし、
おまけにその根拠を「a^{1/(1-1)}は、計算できないので」と答えてるのも面白い
>ゴミクズ
> >間違いかどうか自分で聞いておいて証明放棄ってw
>だから何？早くa^{1/(1-1)}が「計算できない数」であることを証明してよ
>>186 いや、俺に聞かずに自分で証明してよ
特にa^{1/0}が「数」だと主張していることに興味があるからw
>まずa^{1/(1-1)}が計算できない数であると主張してることが面白いし、
一方で
>>170 ではa^{1/(1-1)}が計算できない数であることを「正しいかか、正しくないか、決めることはできないと思います。」と矛盾してること言ってるのも面白いし、
おまけにその根拠を「a^{1/(1-1)}は、計算できないので」と答えてるのも面白い
すみません。なぜ、面白いのかがわかりません。
>いや、俺に聞かずに自分で証明してよ
【定理】pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
>>189 え！？あんなに自慢顔で「a^{1/0}は計算できない数です」って主張してたのに証明できないの！？
じゃあもしかして、主張は嘘だったってこと？
>え！？あんなに自慢顔で「a^{1/0}は計算できない数です」って主張してたのに証明できないの！？
>>190 > 【定理】pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
> 【証明】x^p+y^p=z^p…①を、z=x+rとおいて、x^p+y^p=(x+r)^p…②とする。
> ②を積の形に変形してrを求める。x,y,z,r,aは0をのぞく有理数とする。
> ②を(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)}となる。②は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)…⑤となる。a(1/a)=1となる。
> r^(p-1)=p以外の場合は、r^(p-1)=paとなる。r=(pa)^{1/(p-1)}となるのでrは有理数となる。
> ②はX^p+Y^p=(X+(pa)^{1/(p-1)})^p…⑥となる。
> ⑥のX,Y,Zは④のx,y,zのa^{1/(p-1)}倍となるので、X:Y:Z=x:y:zとなる。よって、⑥も式は成り立たない。
> ∴pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
ゴミクズが。
>>192 > >え！？あんなに自慢顔で「a^{1/0}は計算できない数です」って主張してたのに証明できないの！？
> じゃあもしかして、主張は嘘だったってこと？
>
> 「a^{1/0}は計算できない数です」誰か証明できる人が、いたら、証明お願いします。
さすが痴呆老人
>>184 > >ゴミクズ
> いい加減反省しろ。
> 文字化けもゴミ
>
> 申し訳ございません。
謝っても許される訳じゃない。直せ。
>謝っても許される訳じゃない。直せ。
>>197 > >謝っても許される訳じゃない。直せ。
>
> 全ての人が文字化けしているのでしょうか？
環境によるが、機種依存文字やめろって言われてたろうが。ボケ老人
>環境によるが、機種依存文字やめろって言われてたろうが。ボケ老人
>>199 > >環境によるが、機種依存文字やめろって言われてたろうが。ボケ老人
>
> 前に、( )に変えましたので、文字化けするひとは、それを見ていただけないでしょうか。
> ただ、文字化けしても、前後から推測ことは、できると思います。
自分の都合を他人に押しつけるな。
そんなんだから証明もでたらめなんだろが。
>>178 「すみませんが、やり取りを、最初から、読まれましたか？」という
>>144 をそのままお返しします。
>>199 > >環境によるが、機種依存文字やめろって言われてたろうが。ボケ老人
>
> 前に、( )に変えましたので、文字化けするひとは、それを見ていただけないでしょうか。
ということは、証明を手直しする気はまったくない、ということ？
>自分の都合を他人に押しつけるな。
>>178 「すみませんが、やり取りを、最初から、読まれましたか？」という
>>144 をそのままお返しします。
最初の、指摘がなにであったか、わからなくなったので、一番最初に戻っていただけないのでしょうか？
>ということは、証明を手直しする気はまったくない、ということ？
【定理】pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
>>205 > >ということは、証明を手直しする気はまったくない、ということ？
>
> どうしたら、よろしいのでしょうか？
ここに証明を書き込んで、指摘があったら書き直す、直せないミスがあったら取り下げる、
そういうつもりで書き込んでいるのではないの？
なんのために書き込んでいるの？
>>204 人には「最初から読んだのか？」と聞いといて、
自分がそれを返されたら「わからないので最初に戻ってやり直して」
というのは通らないんじゃない？
>ここに証明を書き込んで、指摘があったら書き直す、直せないミスがあったら取り下げる、
>>204 人には「最初から読んだのか？」と聞いといて、
自分がそれを返されたら「わからないので最初に戻ってやり直して」
というのは通らないんじゃない？
申し訳ございません。指摘が、はっきり、わからなくなったからです。
具体的にに、その都度書いてもらったら、わかると思います
>>209 > 細かな書き直しは、していますが、大筋は、書き直していないと思います。
それじゃあ一生間違ったままだよ。
自分ではできたと思って満足していれば、それでいいんじゃない？
>>161 >
> X/d, Y/d は
> (X/d)^p+(Y/d)^p=(X/d+r/d)^p
> を満たしますか？
>
> 満たしません。
X^p+Y^p=(X+r)^p が最初の前提になっているので、当然これは成り立ちます。
両辺をd^p で割ると
(X/d)^p+(Y/d)^p=(X/d+r/d)^p
になります。両辺を同じ数で割っただけなので、この式も成り立ちます。
それでもやはり
X/d, Y/d は
(X/d)^p+(Y/d)^p=(X/d+r/d)^p
を満たさないと主張されますか？
>>206 > 【定理】pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
> 【証明】x^p+y^p=z^p…①を、z=x+rとおいて、x^p+y^p=(x+r)^p…②とする。
> ②を積の形に変形してrを求める。x,y,z,r,aは0をのぞく有理数とする。
> ②を(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)}となる。②は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)…⑤となる。a(1/a)=1となる。
> r^(p-1)=p以外の場合は、r^(p-1)=paとなる。r=(pa)^{1/(p-1)}となるのでrは有理数となる。
> ②はX^p+Y^p=(X+(pa)^{1/(p-1)})^p…⑥となる。
> ⑥のX,Y,Zは④のx,y,zのa^{1/(p-1)}倍となるので、X:Y:Z=x:y:zとなる。よって、⑥も式は成り立たない。
> ∴pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
ゴミクズ。
>>210 >
>>204 > 人には「最初から読んだのか？」と聞いといて、
> 自分がそれを返されたら「わからないので最初に戻ってやり直して」
> というのは通らないんじゃない？
>
> 申し訳ございません。指摘が、はっきり、わからなくなったからです。
> 具体的にに、その都度書いてもらったら、わかると思います
分からねえじゃん。いつも。嘘つきが。
>>212 よろしくお願いします。
こちらは、日高氏に通じるとは思わないが、少しずつ
>>1 を読み解きます。
丸囲みの数字は(n)と書き換えます。
> 【定理】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)とする。
日高氏の頭の中には、たぶん、背理法はない。
だから「(1)をみたす自然数x,y,zがあって……」とは考えない。
(1)を見てそれに自然数解あるいは有理数解があるかどうか考えている。
そう思うと「z=x+rとおいて」もそれほど変ではない。
定数rを決めるごとに(2)の有理数解x,yがあるかどうかを判定しようとしているのである。
> (2)を積の形に変形してrを求める。x,y,z,r,aは0をのぞく有理数とする。
> (2)を(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}…(3)とする。
> (3)はr^(p-1)=pとなるので、r=p^{1/(p-1)}となる。(2)はX^p+Y^p=(X+p^{1/(p-1)})^p…(4)となる。
ここはまったくのナンセンス。
日高氏は「●▲＝■★ならば●＝■」だと信じている。
「r^(p-1)=pと仮定すると」なら問題はない。その場合、
> (4)はrが無理数となるので、式は成り立たない。
これは正しい。
「式は成り立たない」を「式をみたす有理数X,Yは存在しない」と読めば、であるが。
>>215 の続き。
> (3)の右辺に、a(1/a)を掛けるとr^(p-1){(y/r)^p-1}=pa{x^(p-1)+…+r^(p-2)x}(1/a)…(5)となる。a(1/a)=1となる。
> r^(p-1)=p以外の場合は、r^(p-1)=paとなる。r=(pa)^{1/(p-1)}となるのでrは有理数となる。(2)はX^p+Y^p=(X+(pa)^{1/(p-1)})^p…(6)となる。
「r^(p-1)=paとなる」もナンセンス。そのようにaを定めるととるしかなかろう。
a=r^(p-1)/pである。rは有理数とする、の意味であろう。すると(2)は確かに(6)になる。
> (6)のX,Y,Zは(4)のx,y,zのa^{1/(p-1)}倍となるので、X:Y:Z=x:y:zとなる。よって、(6)も式は成り立たない。
(6)は成り立たないのに「(6)のX,Y,Zは」と言っているのは、おそらく意味がわかっていない。
a^{1/(p-1)}はr/[p^{1/(p-1)}]に等しいので無理数である。これをdと書こう。
(6)をみたすX,Y,Z(=X+R)があればx=X/d,y=Y/d,z=Z/d(=X/d-R/d)は(2)をみたす、の意味と思われる。
次に、日高氏の大誤謬がある。(2)についていえたのは有理数解がないことだけであって、
背理法で考えるならばX,Yは自然数なのでx=X/d,y=Y/dは無理数である。よって矛盾は生じない。
> ∴pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
これはまったく証明されていない。
フェルマーの最終定理？ もう釣れないよ
>X^p+Y^p=(X+r)^p が最初の前提になっているので、当然これは成り立ちます。
>>219 > >X^p+Y^p=(X+r)^p が最初の前提になっているので、当然これは成り立ちます。
> 両辺をd^p で割ると
> (X/d)^p+(Y/d)^p=(X/d+r/d)^p
> になります。両辺を同じ数で割っただけなので、この式も成り立ちます。
>
> 成り立つでしょうか？
> 成り立つ可能性があるだけでは、ないのでしょうか？
考え直せ。やり直し。
216について、
,､i｀ヽ ,r‐'ァ
>>219 何が言いたいのかわかりませんが、
反論があるのなら根拠を示してください。
>X^p+Y^p=(X+r)^p が最初の前提になっているので、当然これは成り立ちます。
命題の仮定とは存在の可能性をいうものではない
>>224 日高
> >X^p+Y^p=(X+r)^p が最初の前提になっているので、当然これは成り立ちます。
>
> X^p+Y^p=(X+r)^pが成り立つ理由を教えていただけないでしょうか。
わかったよ。日高氏は背理法を理解していない。
だから、最後には成り立たないことがわかる式
「X^p+Y^p=(X+r)^pが成り立つ理由」を求めているんだ。
> スレ主は以下の命題の真偽がわかるかね？
>>224 >>X^p+Y^p=(X+r)^p が最初の前提になっているので、当然これは成り立ちます。
>X^p+Y^p=(X+r)^pが成り立つ理由を教えていただけないでしょうか。
X^p+Y^p=(X+r)^p
は前提です。もともと
>>11 から始まった議論です。
X,YがX^p+Y^p=(X+r)^pをみたしX/d,Y/d,(X+r)/dが自然数だとするとどうなるかという流れの話です。
用語としては、前提でなく仮定と言った方が正しそうですね。
訂正しておきます。
11を再掲しておきます。
「あるrに対してはx^p+y^p=(x+r)^pに有理数解がない」は言えたとしても
これの無理数解X,YでX:Y:X+rが自然数比になるものがないとは言えない。
X,YがX^p+Y^p=(X+r)^pをみたしX/d,Y/d,(X+r)/dが自然数だとする。
X/d,Y/dがみたすのは(X/d)^p+(Y/d)^p=(X/d+r/d)^pであって
(X/d)^p+(Y/d)^p=(X/d+r)^pではない。
ここが日高氏の証明の誤りの中核部分だと思う。
>11を再掲しておきます。
>>229 > X,YがX^p+Y^p=(X+r)^pをみたしX/d,Y/d,(X+r)/dが自然数だとする。
> X/d,Y/dがみたすのは(X/d)^p+(Y/d)^p=(X/d+r/d)^pでした。
>
> ただ、X:Y:Z=x:y:zとなるので、X,Y,Zは、X^p+Y^p=(X+r)^pをみたしません。
よろしければ、この最後の行を詳しく説明して、いただけないでしょうか。
>>230 の最後の文は
>>221 の
> よろしければ、この部分を詳しく説明して、いただけないでしょうか。
を踏まえている。
>>229 > X,YがX^p+Y^p=(X+r)^pをみたしX/d,Y/d,(X+r)/dが自然数だとする。
> X/d,Y/dがみたすのは(X/d)^p+(Y/d)^p=(X/d+r/d)^p
>
> ただ、X:Y:Z=x:y:zとなるので、X,Y,Zは、X^p+Y^p=(X+r)^pをみたしません。
X^p+Y^p=(X+r)^p=Z^pが式を満たすかは、不明
x^p+y^p=(x+r)^p=z^pは、式を満たさない。（確定）
X:Y:Z=x:y:zとなるので、X^p+Y^p=(X+r)^p=Z^pも、式を満たさない。
【定理】pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
>>232 > X:Y:Z=x:y:zとなるので、X^p+Y^p=(X+r)^p=Z^pも、式を満たさない。
よろしければ、この部分を詳しく説明して、いただけないでしょうか。
X^p+Y^p=(X+r)^p=Z^pが式を満たすかは、不明
X^p+Y^p=(X+r)^p=Z^pが整数比となるかは、不明
>>236 > X^p+Y^p=(X+r)^p=Z^pが式を満たすかは、不明
> x^p+y^p=(x+r)^p=z^pは、式を満たさない。（確定）
x y zが何であるか制限されてないので嘘つきのデタラメ。
> X^p+Y^p=(X+r)^p=Z^pが式を満たすかは、不明
>>239 > > x^p+y^p=(x+r)^p=z^pは、式を満たさない。（確定）
> x,y,zを有理数とした場合です。
x y zが無理数の場合を考えてないじゃんか。
> > x^p+y^p=(x+r)^p=z^pは、式を満たさない。（確定）
>>241 そういう仮定だったら
X:Y:Z=x:y:z
なんて言えないですね
>そういう仮定だったら
>日本語がわかりませんか？
フェルマーの最終定理？ もう釣れないよ
【定理】pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
>>235 >
>>232 > > X:Y:Z=x:y:zとなるので、X^p+Y^p=(X+r)^p=Z^pも、式を満たさない。
>
> よろしければ、この部分を詳しく説明して、いただけないでしょうか。
は無視ですか？
>>247 > (6)のX,Y,Zは(4)のx,y,zのa^{1/(p-1)}倍となるので、X:Y:Z=x:y:zとなる。よって、(6)も式は成り立たない。
>248
>>250 途中からだと記号の意味がわかりづらいので、
これも含めた証明全体を載せてください。
>251
爺さん、爺さん、零点もやれんぞ。まるで進歩がないwwwwwww
【定理】pが奇素数ならば、x^p+y^p=z^pは、自然数解を持たない。
>>254 > 【定理】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を求める。
> (2)を(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}…(3)とする。
> (3)はr^(p-1)=pとなるので、r=p^{1/(p-1)}となる。(2)はx^p+y^p=(x+p^{1/(p-1)})^p…(4)となる。
> (4)はrが無理数なので、xを有理数としたとき、x,y,zは整数比とならない。
> (3)の右辺に、a(1/a)を掛けるとr^(p-1){(y/r)^p-1}=pa{x^(p-1)+…+r^(p-2)x}(1/a)…(5)となる。
> r^(p-1)=p以外の場合は、r^(p-1)=paとなる。r=(pa)^{1/(p-1)}となるのでrは有理数となる。(2)はX^p+Y^p=(X+(pa)^{1/(p-1)})^p…(6)となる。
> (6)のX,Y,Zは(4)のx,y,zのa^{1/(p-1)}倍となるので、X:Y:Z=x:y:zとなる。よって、(6)も整数比とならない。
> (6),(4)は、整数比とならないので、有理数解を持たない。
> ∴pが奇素数ならば、x^p+y^p=z^pは、自然数解を持たない。
>
> 【補足】(4)のx,y,zが無理数で、整数比となるかを考える。
> x',y',z'を無理数とする。dを共通の無理数とする。
> (x'/d)^p+(y'/d)^p=(x'/d+r/d)^p,r=p^{1/(p-1)},x'/d=x,y'/d=y,z'/d=z
> r/dが無理数の場合は、x^p+y^p=(x+r/d)^pは、有理数解を持たない。
> r/d=mの場合は、有理数解を持つ可能性がある。(mは有理数)
> x^p+y^p=(x+m)^pを、m=(pa)^{1/(p-1)}とおいて、(6)のX^p+Y^p=(X+(pa)^{1/(p-1)})^pとする。
> (6)のX,Y,Zは、(4)のx,y,zのa^{1/(p-1)}倍となるので、X:Y:Z=x:y:zとなる。
> x:y:zが整数比とならないので、X:Y:Zも整数比とならない。
補足などは不可。頭から順に読めないようではゴミクズ。やり直し。
>補足は証明じゃないから
>>259 > >補足は証明じゃないから
>
> 補足は間違いでしょうか？
何百ページ補足をしようが、証明がでたらめで間違いなのは変わらない。
証明を直さないなら進歩はない。ゴミ。
>>254 > 【補足】(4)のx,y,zが無理数で、整数比となるかを考える。
(4)は「x^p+y^p=(x+p^{1/(p-1)})^p」であった。
> x',y',z'を無理数とする。dを共通の無理数とする。
「共通の無理数」って何？ x',y',z'が自然数比になるとき、
x'/dが有理数になればy'/d=(x'/d)(y'/x')も有理数。
> (x'/d)^p+(y'/d)^p=(x'/d+r/d)^p,r=p^{1/(p-1)},x'/d=x,y'/d=y,z'/d=z
x',y',z'は(4)をみたすx,y,z？
> r/dが無理数の場合は、x^p+y^p=(x+r/d)^pは、有理数解を持たない。
これはその通り。
> r/d=mの場合は、有理数解を持つ可能性がある。(mは有理数)
> x^p+y^p=(x+m)^pを、m=(pa)^{1/(p-1)}とおいて、(6)のX^p+Y^p=(X+(pa)^{1/(p-1)})^pとする。
> (6)のX,Y,Zは、(4)のx,y,zのa^{1/(p-1)}倍となるので、X:Y:Z=x:y:zとなる。
(6)に解X,Y,Zがあったとするとその1/a^{1/(p-1)}は(4)をみたす、と言いたいのであろう。
> x:y:zが整数比とならないので、X:Y:Zも整数比とならない。
(4)のx:y:zが整数比にならないのはx,y,zが有理数の場合である。
無理数の場合については何も示されていない。
補足したつもりかもしれないが、ここに肝心な部分を押し込んだだけ。
>261
>ここに肝心な部分を押し込んだだけ。
【定理】pが奇素数ならば、x^p+y^p=z^pは、自然数解を持たない。
>>262 > x:y:zが整数比とならないので、X:Y:Zも整数比となりません。
これは示されていません。
言えているのは「有理数解x,y,zは存在しない」だけです。
>>263 > >ここに肝心な部分を押し込んだだけ。
>
> 「肝心な部分」とは、どの部分のことでしょうか？
フェルマーの最終定理の証明の肝心な部分です。
日高氏の証明には全く書かれていません。
> x:y:zが整数比とならないので、X:Y:Zも整数比となりません。
>フェルマーの最終定理の証明の肝心な部分です。
>>267 > > x:y:zが整数比とならないので、X:Y:Zも整数比となりません。
>
> >これは示されていません。
> 言えているのは「有理数解x,y,zは存在しない」だけです。
>
> X:Y:Z=x:y:zならば、
> 「x:y:zが整数比とならないので、X:Y:Zも整数比とならない。」
> が、言えるのではないでしょうか。
「x:y:zが整数比とならない」は言えていません。
>「x:y:zが整数比とならない」は言えていません。
>>270 日高
> >「x:y:zが整数比とならない」は言えていません。
>
> (4)で言っていますが、間違いでしょうか？
(4)に有理数解がないことは確かです。
しかし、(4)の解x,y,zでx:y:zが整数比になるものがないとは言えていません。
>(4)に有理数解がないことは確かです。
>そうです。
>>274 言及はされていますが、証明にはなっていません。
【定理】pが奇素数ならば、x^p+y^p=z^pは、自然数解を持たない。
>言及はされていますが、証明にはなっていません。
>>276 いつのまにかxなどが0でないという条件が消えています。
証明の中で使っていなかったから忘れたのでしょうね。
>>277 >>言及はされていますが、証明にはなっていません。
>
> 「証明にはなっていません。」
> 理由を教えていただけないでしょうか。
x,y,zが(4)の無理数解になる場合を考察していないから。
>いつのまにかxなどが0でないという条件が消えています。
>>280 そうやって言い逃れをしても、何もよいことはありませんよ。
中等教育の範囲でフェルマーの最終定理を証明しようとしておられるなら、
それは無謀というものです。
>>276 > 【定理】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を求める。
> (2)を(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}…(3)とする。
> (3)はr^(p-1)=pとなるので、r=p^{1/(p-1)}となる。(2)はx^p+y^p=(x+p^{1/(p-1)})^p…(4)となる。
> (4)はrが無理数なので、xを有理数としたとき、x,y,zは整数比とならない。
> (3)の右辺に、a(1/a)を掛けるとr^(p-1){(y/r)^p-1}=pa{x^(p-1)+…+r^(p-2)x}(1/a)…(5)となる。
> r^(p-1)=p以外の場合は、r^(p-1)=paとなる。r=(pa)^{1/(p-1)}となるのでrは有理数となる。
> (2)はX^p+Y^p=(X+(pa)^{1/(p-1)})^p…(6)となる。
> (6)のX,Y,Zは(4)のx,y,zのa^{1/(p-1)}倍となるので、X:Y:Z=x:y:zとなる。よって、(6)も整数比とならない。
> (6),(4)は、整数比とならないので、有理数解を持たない。
> ∴pが奇素数ならば、x^p+y^p=z^pは、自然数解を持たない。
>
> 【補足】(4)のx,y,zが無理数で、整数比となる場合を、考える。
> x',y',z'を無理数とする。dを共通の無理数とする。
> (x'/d)^p+(y'/d)^p=(x'/d+r/d)^p,r=p^{1/(p-1)},x'/d=x,y'/d=y,z'/d=z
> r/dが無理数の場合は、x^p+y^p=(x+r/d)^pは、整数比とならない。
> r/dが有理数の場合は、整数比となる可能性がある。
> x^p+y^p=(x+r/d)^pを、r/d=(pa)^{1/(p-1)}とおいて、(6)のX^p+Y^p=(X+(pa)^{1/(p-1)})^pとする。
> (6)のX,Y,Zは、(4)のx,y,zのa^{1/(p-1)}倍となるので、X:Y:Z=x:y:zとなる。
> x:y:zが整数比とならないので、X:Y:Zも整数比とならない。
補足は証明ではない。ゴミクズ。二度と止めろ。
>279
>中等教育の範囲でフェルマーの最終定理を証明しようとしておられるなら、
>>283 日高
> >279
>
> >x,y,zが(4)の無理数解になる場合を考察していないから。
>
> x,y,zが(4)の無理数解になる場合は、補足で説明しています。
これで証明になっていると思えるならそう思っておられれば幸せかと思います。
>>284 日高
> >中等教育の範囲でフェルマーの最終定理を証明しようとしておられるなら、
> それは無謀というものです。
>
> 理由を教えていただけないでしょうか？
中等教育の範囲で証明されたのを見たことがないからです。
【定理】pが奇素数ならば、x^p+y^p=z^pは、自然数解を持たない。
>>287 > 【定理】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を求める。
> (2)を(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}…(3)とする。
> (3)はr^(p-1)=pとなるので、r=p^{1/(p-1)}となる。(2)はx^p+y^p=(x+p^{1/(p-1)})^p…(4)となる。
> (4)はrが無理数なので、xを有理数としたとき、x,y,zは整数比とならない。
> (3)の右辺に、a(1/a)を掛けるとr^(p-1){(y/r)^p-1}=pa{x^(p-1)+…+r^(p-2)x}(1/a)…(5)となる。
> r^(p-1)=p以外の場合は、r^(p-1)=paとなる。r=(pa)^{1/(p-1)}となるのでrは有理数となる。
> (2)はX^p+Y^p=(X+(pa)^{1/(p-1)})^p…(6)となる。
> (6)のX,Y,Zは(4)のx,y,zのa^{1/(p-1)}倍となるので、X:Y:Z=x:y:zとなる。よって、(6)も整数比とならない。
> (6),(4)は、整数比とならないので、有理数解を持たない。
> ∴pが奇素数ならば、x^p+y^p=z^pは、自然数解を持たない。
>
> 【補足】(4)のx,y,zが無理数で、整数比となる場合を、考える。
> x',y',z'を無理数とする。dを共通の無理数とする。
> (x'/d)^p+(y'/d)^p=(x'/d+r/d)^p,r=p^{1/(p-1)},x'/d=x,y'/d=y,z'/d=z
> r/dが無理数の場合は、x^p+y^p=(x+r/d)^pは、整数比とならない。
> r/dが有理数の場合は、整数比となる可能性がある。
> x^p+y^p=(x+r/d)^pを、r/d=(pa)^{1/(p-1)}とおいて、(6)のX^p+Y^p=(X+(pa)^{1/(p-1)})^pとする。
> (6)のX,Y,Zは、(4)のx,y,zのa^{1/(p-1)}倍となるので、X:Y:Z=x:y:zとなる。
> x:y:zが整数比とならないので、X:Y:Zも整数比とならない。
ゴミ
>>287 日高
何度書いても、証明になっていないものはなっていません。
> x:y:zが整数比とならないので、X:Y:Zも整数比とならない。
x:y:zが整数比とならない理由を説明してごらん。
***** このスレを初めてご覧になる方へ（歴史に残る日高語録）*****
>289
>>291 (3)はr^(p-1)=pとなる理由がない。
＞rが無理数
は日高が勝手に決めつけているだけで正しくない。いい加減に諦めろ。
>>291 > >289
>
> >x:y:zが整数比とならない理由を説明してごらん。
>
> (4)はrが無理数なので、xを有理数としたとき、x,y,zは整数比とならない。
xが無理数のときはどうなるのかな？
【定理】pが奇素数ならば、x^p+y^p=z^pは、自然数解を持たない。
>292
>293
>>296 x^p+y^p=(x+r)^pで、xが無理数のときに
x,y,zが整数比にならないことの証明はどこにもないですね。
>297
>>298 > >297
>
> >x^p+y^p=(x+r)^pで、xが無理数のときに
> >x,y,zが整数比にならないことの証明はどこにもないですね。
>
> 296に書いています。
296のどこに書いてあるのですか？
x^p+y^p=(x+r)^p, r=p^{1/(p-1)} …(4) で、xが無理数のときですよ。
ごまかさずに、きちんと説明してください。
>299
>>295 ＞>(3)はr^(p-1)=pとなる理由がない。
＞どうしてでしょうか？
r^(p-1)=pでなくても(3)は成立するから。
どこまで行っても日高が間違い。諦めろ。
>301
>>303 では
>>287 の「(3)はr^(p-1)=pとなる」は成立しない。日高が誤りだ。諦めろ。
>304
【定理】pが奇素数ならば、x^p+y^p=z^pは、自然数解を持たない。
ｗｗｗ．ｍａｔｈｎａｖｉ．ｓａｋｕｒａ．ｎｅ．ｊｐ／ｂｂｓ／ｆｉｌｅ１／１５６６９９４７７４．ｐｎｇ
http://2chb.net/r/math/1572998533/516 >>305 >>303 で「(3)はr^(p-1)=pとなる」が成立しないことを日高が認めた。諦めろ。
【定理】pが奇素数ならば、x^p+y^p=z^pは、自然数解を持たない。
>309
【定理】pが奇素数ならば、x^p+y^p=z^pは、自然数解を持たない。
【定理】pが奇素数ならば、x^p+y^p=z^pは、自然数解を持たない。
***** このスレを初めてご覧になる方へ（歴史に残る日高語録）*****
>>311 >>303 で日高は確かに「r^(p-1)=p以外の場合」があることを認めている。
すなわち、日高は09 「(3)はr^(p-1)=pとなる」が誤りであることを認めているのだ。諦めろ。
>314
316
>>303 で日高は確かに「r^(p-1)=p以外の場合」があることを認めている。
すなわち、日高は09 「(3)はr^(p-1)=pとなる」が誤りであることを認めているのだ。諦めろ。
「r^(p-1)=p以外の場合」も、あります。r^(p-1)=apも、あります。
「(3)はr^(p-1)=pとなる」が誤りと言う訳では、ありません、
>316
>>303 で日高は確かに「r^(p-1)=p以外の場合」があることを認めている。
すなわち、日高は09 「(3)はr^(p-1)=pとなる」が誤りであることを認めているのだ。諦めろ。
「r^(p-1)=p以外の場合」も、あります。r^(p-1)=apも、あります。
「(3)はr^(p-1)=pとなる」が誤りと言う訳では、ありません。
r^(p-1)=pの場合は、x^p+y^p=(x+p^{1/(p-1)})^p…(4)となります。
r^(p-1)=apの場合は、X^p+Y^p=(X+(ap)^{1/(p-1)})^p…(6)となります。
> 「(3)はr^(p-1)=pとなる」の「となる」ってどういう意味ですか？
>320
>322
>>323 日高
> >322
> >「等しくなる」の「なる」とはどういう意味ですか？
>
> 「等しい」という意味です。
> r^(p-1)=apも、r^(p-1)とapは、等しくなります。
「r^(p-1)とapは等しい」と言いかえていいんですね？
>324
>>313 に戻ります。
「(3)はr^(p-1)=pとなるので」「r^(p-1)=p以外の場合は」とありますが
r^(p-1)=pならばそれ以外の場合はないのでは？
>326
【定理】pが奇素数ならば、x^p+y^p=z^pは、自然数解を持たない。
>>327 > >326
> >「(3)はr^(p-1)=pとなるので」「r^(p-1)=p以外の場合は」とありますが
> r^(p-1)=pならばそれ以外の場合はないのでは？
>
> r^(p-1)=apの場合も、あります。
r^(p-1)はpに等しいと言い切ったのにそうでない場合があるんですか？
>329
>>330 (3)と(5)はまったく同じ式ですが。
>331
>>330 r^(p-1)はpに等しかったりapに等しかったりするのですか？
>334
>>335 そういう場合に使う言いかたを知らないんですね。
>336
>>337 中学・高等学校の数学の教科書を読めばわかります。
>332
>339
>338
【定理】pが奇素数ならば、x^p+y^p=z^pは、自然数解を持たない。
>>341 日高
> >338
> >中学・高等学校の数学の教科書を読めばわかります。
>
> 中学・高等学校の数学の教科書のどこを読めばよいのでしょうか？
全部読めないならフェルマーの最終定理はあきらめるべきです。
>343
>>344 >全部を読む必要があるのでしょうか？
読めないならフェルマーの最終定理はあきらめるべきである。
読んでいるならああいう書き方にはならないと思う。
>345
>>344 > >343
> >全部読めないならフェルマーの最終定理はあきらめるべきです。
>
> 全部を読む必要があるのでしょうか？
必要があるってさんざんいわれてるじゃん。
で、無視してるから未だに何にも出来てないんでしょ。
反論があるなら、全部読んで理解してから反論すればよい。
証明とやらが間違いで意味のないものであることはみんな分かっているんだよ。
>347
>348
>349
【定理】pが奇素数ならば、x^p+y^p=z^pは、自然数解を持たない。
>>351 > >348
> >全部読んで理解してから反論すればよい。
>
> 全部読むことは、無理だと思いますので、どこを読めばよいのでしょうか？
全部。
>>355 > >354
> >全部
>
> 全部は、無理です。
働く気はないし、何も提供する気はないけど、金をくれ。などと要求するのと同様の行為ですね。
虫酸が走りますね。
>>336 日高は過去に「r^(p-1)=pは仮定ではなく結論です」と言ってたよ
>356
>357
***** このスレを初めてご覧になる方へ（歴史に残る日高語録）*****
なんでこうも証明できない r^(p-1)=p にこだわるんだろう
>361
>>361 その前の、意味のない展開が自慢なんだろう。
>363
【定理】pが奇素数ならば、x^p+y^p=z^pは、自然数解を持たない。
>>362 r^(p-1)=pが 証明できてないからなんの意味もないんだけど...
指摘を受け入れることは費やした時間が全くの無駄だったと認めることに他ならないからね、本能が認めることを拒んでるんじゃないの
>366
>367
＞正しい理由のある指摘は、受け入れます。
>>369 > 正しい理由のある指摘は、受け入れます。
正しい理由があるかどうか、判断できるだけの
数字力があるのかな？
>370
>371
>373
「r^(p-1)=pは、左辺の頭＝右辺の頭としただけです。両辺が、積の形の式はそうなります。」
>>346 どの単元とは言えないが「……のとき」「……ならば」なる言いかたは現れている。
ここは「r=p^{1/(p-1)}のとき」「r=p^{1/(p-1)}ならば」とすべきところだ。
>377
>379
【定理】pが奇素数ならば、x^p+y^p=z^pは、自然数解を持たない。
>>364 > (2)を変形して、(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}…(3)とする。
の部分が「意味のない展開」です。
>>380 「左辺の頭＝右辺の頭」とのことなので、
上から4番目の式から 3=3/2 になるんですけどいいんですか？
>>386 日高
> r^(p-1)=pは、左辺の頭＝右辺の頭としただけです。両辺が、積の形の式はそうなります。
そんなことはない。２×６＝３×４だけど２＝３ではない。
>>386 間違えたので書き直し。
>>368 日高
> r^(p-1)=pは、左辺の頭＝右辺の頭としただけです。両辺が、積の形の式はそうなります。
そんなことはない。２×６＝３×４だけど２＝３ではない。
>>370 日高氏が「上から目線」ってことばを理解すると思う？
>383
>384
>>390 日高
> >384
> > (2)を変形して、(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}…(3)とする。
>
> の部分が「意味のない展開」です。
>
> 理由を、教えていただけないでしょうか。
何か意味のあることが出てきていますか？
>387
>日高氏が「上から目線」ってことばを理解すると思う？
>391
>>389 ,392
数字同士だと等しくならないんですか？
2*3=2*3ですが、数字同士なので2≠2ということですか？
>395
【定理】pが奇素数ならば、x^p+y^p=z^pは、自然数解を持たない。
>>396 x=2、y=3とします。xy=yxなので、あなたの理屈ではx=y、つまり2=3となりますね。
いいんですか？
>398
>400
数字が入ってたらダメ、ならば、pもrも何らかの数値なのでダメですよね
>402
>403
>>406 xとzは何らかの数字なので、rも数字ですね
なんかもうよくわからないので、
>405
>407
>>410 数字ならダメなんですよね？
「左辺の頭=右辺の頭」
を証明してください
aは0である可能性があります。
>>397 を p が 3 の場合に限って書き直すことができますが、その場合
「r^(p-1){(y/r)^p-1}=p{x^(p-1)+…+r^(p-2)x}…(3)」の p は数字です。
この先の議論はどうなりますか？
>>358 > >356
> >働く気はないし、何も提供する気はないけど、金をくれ。などと要求するのと同様の行為ですね。
>
> >虫酸が走りますね。
>
> もし、どこが間違いかが、わかっておられるなら、教えていただけないでしょうか。
さんざん指摘されてるじゃん。今日も。
そして数学として正しくないか意味の分からない返答しまくってるだろが。
間違いを間違いと理解できないのだから、一から全て勉強するべき。
間違いを指摘してほしいとのたまいながら、実際指摘されると頓珍漢な理屈で必死に反論してきてるんだよなあ
412補足
>408
***** このスレを初めてご覧になる方へ（歴史に残る日高語録）*****
>>417 > >408
> >なんかもうよくわからないので、
> 「左辺の頭=右辺の頭」
> を証明してください
>
> 【定理】AB=CDならば、A=Cのとき、B=Dとなる。
> 【証明】AB=CDを、左辺の頭=右辺の頭とすると、A=Cなので、CB=CDとなる。
> 両辺をCで割ると、B=Dとなる。
要求と違う主張。ゴミクズ
>>418 爺さんノリノリだな
だんだんアホらしくなってきた。
p が明らかに偽なる命題のときの「p ならば q」の真偽は
> 【定理】AB=CDならば、A=Cのとき、B=Dとなる。
日高クンはフェルマーの最終定理など止めて
数字だとか数字でないだとか、そういうことがわからない小学二年生でも
>>417 その例で言うなら A=C を証明してください
>418
>419
>420
>421
>422
>>431 A=CでもA=Dでもなかったらどうなりますか？
>423
>424
p が奇素数であることが仮定されているだけで、x、y、z、r が何か仮定されていない。
>>428 > >419
> >要求と違う主張。ゴミクズ
>
> 要求と違うでしょうか？
違う。
【定理(日高の大定理)】左辺の頭と右辺の頭が数字同士でなければ, (左辺の頭)=(右辺の頭)である.
>>437 wwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwww
日高の最終大定理
>425
>>417 その例で言うなら A=C を証明してください
AB=CD
A=Cとすると、CB=CD
両辺をCで割ると、B=Dとなります。
>>439 前スレで「仮定」と「結論」をあなたは学習したはずですが、439を見る限り残念ながら身に付いていませんね。
「仮定」:推論の出発点となる条件
「結論」:推論において仮定や前提から導き出された判断
数学においては
「◯◯ならば△△である」という文の
◯◯が仮定、△△が結論にあたります。
「◯◯は△△である」と表されることもあります。
「AB=CD ならば A=C である」
の仮定と結論を言えますか？
>432
>435
>436
>437
>438
>
>>437 wwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwww
日高の最終大定理
わかりません。
>440
>
>>439 前スレで「仮定」と「結論」をあなたは学習したはずですが、439を見る限り残念ながら身に付いていませんね。
「仮定」:推論の出発点となる条件
「結論」:推論において仮定や前提から導き出された判断
数学においては
「◯◯ならば△△である」という文の
◯◯が仮定、△△が結論にあたります。
「◯◯は△△である」と表されることもあります。
「AB=CD ならば A=C である」
の仮定と結論を言えますか？
仮定は、AB=CD
結論は、A=C
です。
>442
>
>>439 C＝0ならB≠Dです
そうでした。
> x、y、z、rを自然数と仮定すると、z=x+rは、成り立ちません。
>>444 > >436
> >> >419
> > >要求と違う主張。ゴミクズ
> >
> > 要求と違うでしょうか？
> 違う。
>
> どう、違うのでしょうか？
今教えてもらってるだろうが。
その程度が出来ないやつは自分の主張をする権利なしの
>>444 > >436
> >> >419
> > >要求と違う主張。ゴミクズ
> >
> > 要求と違うでしょうか？
> 違う。
>
> どう、違うのでしょうか？
今教えてもらってるだろうが。
この程度が理解出来ないやつは自分の主張をする権利なし。
>>447 >仮定は、AB=CD
>結論は、A=C
>です。
その通りです。
では>439のあなたの証明
>AB=CD
>A=Cとすると、CB=CD
>両辺をCで割ると、B=Dとなります。
の仮定と結論を言えますか？
>449
>450
>
>>1 に数学を教えるスレになってる
よろしくお願いします。
>451
>453
>
>>441 >aって何？ 「もしくは」の意味は？
r=(ap)^{1/(p-1)}ですので、a=r^(p-1)/pとなります。
「もしくは」の意味は、または、と同じ意味です。
>454
そもそも、x、y、z、を自然数、p を奇素数とするとき
君の論法だとこんなおかしなことが言えてしまう。
>460
>461
【定理】pが奇素数ならば、x^p+y^p=z^pは、自然数解を持たない。
>>439 A=Cとすると、ではなく、A=Cを示してください
>465
AB=CD ⇒ A=C
>>459 >いえません
それでは話になりません。
質問とは全く別のトンチンカンな回答をしていては、お互いに時間の無駄だと思いませんか？
他の人もアドバイスしてくれているように、中学レベルの数学から復習することを強く勧めます。
具体的には、中2の三角形の合同の証明です。仮定から結論を導く書き方を勉強しましょう。
>467
>>469 AB=CD ⇒ A=C
仮定AB=CDにおいて
何らかの操作により
BとDを消去できるという結論を得ること
を示せという意味
>468
>470
>>466 A=Cが成立することを証明してください、という意味です
>>472 それじゃあ
AB=CD かつ B=D ならば A=C
を証明してみて
>>471 >私の証明には、必要なことなのでしょうか？トンチンカンならば、どこが、トンチンカンなのかを、教えていただけないでしょうか。
いいですよ。
あなたのものにら限らず、全ての証明には仮定と結論が必要です。(これは中学高校の数学を学習すれば自然と理解できることです。)
>>439 のあなたの証明
>AB=CD
>A=Cとすると、CB=CD
>両辺をCで割ると、B=Dとなります。
この仮定は「AB=CD かつ A=C」
結論は 「B=D」 です。
これに対し我々があなたに求めているのは
仮定「AB=CD」
結論「A=C」 です。
仮定と結論がズレているのがわかりますか？
>473
>>466 A=Cが成立することを証明してください、という意味です
AB=CDならば、A=Cのとき、B=Dとなるので、
B=Dのとき、A=Cとなります。
>474
【定理】pが奇素数ならば、x^p+y^p=z^pは、自然数解を持たない。
ｘ、ｙ、ｚ は自然数という仮定より
>>478 AB=CD
かつ
B=D
と仮定する
これより
AD=CD
と言いたいんでしょ
じゃあB=Dより
①AB=CB
②AD=CB
の場合は何なの？
>>471 > >468
> >いえません
>
> >それでは話になりません。
> 質問とは全く別のトンチンカンな回答をしていては、お互いに時間の無駄だと思いませんか？
>
> 私の証明には、必要なことなのでしょうか？トンチンカンならば、どこが、
> トンチンカンなのかを、教えていただけないでしょうか。
お前の返答がほとんどすべてトンチンカンである。
>>479 > 【定理】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)とする。
> (2)を変形して、(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}…(3)とする。
> (3)はr^(p-1)=pのとき、r=p^{1/(p-1)}となる。(2)はx^p+y^p=(x+p^{1/(p-1)})^p…(4)となる。
> (4)はrが無理数なので、xを有理数としたとき、x,y,zは整数比とならない。
> (4)のx,y,zが無理数x',y',z'で、整数比となる場合を考える。dを共通の無理数とする。
> (x'/d)^p+(y'/d)^p=(x'/d+r/d)^pとなる。x'/d=x,y'/d=yとなるので、x^p+y^p=(x+r/d)^pとなる。
> r/dが無理数の場合は、整数比とならない。
> (3)の右辺に、a(1/a)を掛けるとr^(p-1){(y/r)^p-1}=ap{x^(p-1)+…+r^(p-2)x}(1/a)…(5)となる。
> r^(p-1)=p以外の場合は、r^(p-1)=apとなる。r=(ap)^{1/(p-1)}となるのでrは有理数となる。
> (2)はX^p+Y^p=(X+(ap)^{1/(p-1)})^p…(6)となる。r/dが有理数の場合も、(6)となる。
> (6)のX,Y,Zは(4)のx,y,zのa^{1/(p-1)}倍となるので、X:Y:Z=x:y:zとなる。よって、(6)も整数比とならない。
> (6),(4)は、整数比とならないので、有理数解を持たない。
> ∴pが奇素数ならば、x^p+y^p=z^pは、自然数解を持たない。
ゴミクズ
>>481 追記だけど
仮定したこと(AB=CD)を
仮定したこと(B=D)で変形をするというのは
数学ではないと思うよ
>>430 日高
> >p が明らかに偽なる命題のときの「p ならば q」の真偽は
> 高等学校初年級レベルの論証ができるようになってもむずかしい。
>
> >ここはそれほどむずかしくはない。
>
> 意味を詳しく説明していただけないでしょうか。
文字通りの意味です。
>>458 日高
> >453
> >
>>441 >
> >aって何？ 「もしくは」の意味は？
>
> r=(ap)^{1/(p-1)}ですので、a=r^(p-1)/pとなります。
> 「もしくは」の意味は、または、と同じ意味です。
これはAB=CDの話でrもpもaも出てきませんが
どうなっているのでしょう？
>>463 日高
> >461
> >君の論法だとこんなおかしなことが言えてしまう。
> だから君の論法は誤り 、という論法が通じる相手と
> そうでない相手とがいる。
>
> どういう意味でしょうか？
文字通りの意味です。
>>487 誤：rもpもaも出てきませんが
正：rもpも出てきませんが
>>477 A=Cのときどうかは聞いていません
A=Cを証明してください
>480
>481
>>478 AB=CD
かつ
B=D
と仮定する
これより
AD=CD
と言いたいんでしょ
じゃあB=Dより
①AB=CB
②AD=CB
の場合は何なの？
①は、A=Cとなりますが、
②AD=CBは、どういう意味でしょうか？
>482
>483
>484
>487
>490
【定理】pが奇素数ならば、x^p+y^p=z^pは、自然数解を持たない。
>>498 これも意味がわからないで投稿しているのですか？
指摘されてる意味が分からないなら、ここに書き込む意味ないんじゃないの？荒らしたいだけ？
>>498 証明になっていません。
もう指摘は出つくしたと思うので
本質的に新しい証明が書き込まれるまでレスは自粛します。
p が奇素数であることが仮定されているだけで、x、y、z、r が何か仮定されていない。
他にもボロはいろいろあるが
>>503 の指摘だけでもまったく屑のような証明であることがわかる。
>>450 つくづくみんな親切よね
日高が独りで間違ってるだけで他に誰も困ってないし
誰も相手にしなければそれでスッキリ解決なのにね
まぁ某スレ同様、その内愛想尽かされて誰も相手してくれなくなるでしょう
>499
>500
>501
>503
>505
>506
>507
>>513 > >505
> >背理法使わないことそのものはまぁいいのでは？
>
> そのとおりですね。
偉そうにw
意味わかってないだろ
>511
>A=Cを証明してください
>が、わかりません。
仮定「AB=CD」から
結論「A=C」を示してください
という意味です。
>>475 も合わせて読んで返事をしてください。
>517
>518
【定理】pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
>>520 >B=Dとすると、AD=CDとなる。
>両辺をDで割ると、
>A=Cとなる。
「〇〇とすると」というのは
「〇〇であると仮定すると」という意味です。
あなたは、仮定「B=D」を自分勝手に加えています。
元の問題に別の仮定が加わると、それはもう元の問題とは違う問題です。つまり
>>520 の証明は間違っています。
仮定「AB=CD」のみから
結論「A=C」を示すことができますか？
>522
日高のよりも簡単な証明ができたぞ
>524
>>524 奇素数のときは実際に自然数解はないから、皮肉にはなってないな。
やるなら p＝2 でなければね。
【定理】x^2＋y^2＝z^2 は自然数解を持たない。
【証明】x^2＝z^2－y^2＝(z＋y)*(z－y) すなわち x * x ＝ (z＋y)*(z－y) なので、
左辺と右辺の頭を見れば x＝z＋y である。これを x^2＋y^2＝z^2 に代入して
(z＋y)^2＋y^2＝z^2 である。整理して 2y^2＋2yz＝0 であるが、
yとzが両方とも自然数なら 2y^2＋2yz＝0 にはならないので、
yとzのうち少なくとも片方は自然数ではない。
よって、x^2＋y^2＝z^2 は自然数解を持たないｗｗ
>>523 >A,B,C,Dは、すべて文字なので、「A=C」となります。
それはなぜですか？詳しく説明出来ますか？
もしかしてあなたは
仮定「AB=CD」
結論「A=CのときもあればA≠Cのときもある」
と勘違いしていませんか？
これらの違いがわかりますか？
>>524 AとCに未知数が含まれる場合
AB=CDでもA=Cとは限りません。
そう答えると思う。
>>527 p=2の場合は3^2+4^2=5^2となるので間違いです。
そう答えると思う。
> 4*3=1*12
>524
>>532 x^p+y^p=(x+y){x^(p-1)-x^(p-2)y+…+y^(p-1)}
z^p=z×z^(p-1)
をx^p+y^p=z^pに代入
>527
>528
>529
>530
>
>>527 >p=2の場合は3^2+4^2=5^2となるので間違いです。
>そう答えると思う。
どういう意味でしょうか？
>531
日高語録
>533
>>542 日高のルールはよく分からんが、とりあえず分かりました、訂正します:
日高のより簡単な証明ができたぞ
【定理】pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
【証明】pは奇数なので、x^p+y^p=(x+y){x^(p-1)-x^(p-2)y+…+y^(p-1)}と因数分解できる。したがって(x+y){x^(p-1)-x^(p-2)y+…+y^(p-1)}=z^p×1…(1)となる。
(1)で左辺の頭と右辺の頭は等しいから、x+y=z^p…(2)である。(2)をx^p+y^p=z^pに代入して、x^p+y^p=x+y…(3)なる。ここでx,y>1ならばx^p>x,y^p>yだから(3)は成り立たず不適である。したがってx=y=1となるがz^p=2を満たす自然数zはないのでやはり不適である。
∴pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
>539
要するにあなたのやり方では証明できません、ということを言ってるの
>544
>546
>>512 >549
>>551 それを議論するために A=C をちゃんと証明してほしいのですが、
できないのならば証明失敗です
>544
>
>>542 日高のルールはよく分からんが、とりあえず分かりました、訂正します:
日高のより簡単な証明ができたぞ
【定理】pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
【証明】pは奇数なので、x^p+y^p=(x+y){x^(p-1)-x^(p-2)y+…+y^(p-1)}と因数分解できる。したがって(x+y){x^(p-1)-x^(p-2)y+…+y^(p-1)}=z^p×1…(1)となる。
(1)で左辺の頭と右辺の頭は等しいから、x+y=z^p…(2)である。(2)をx^p+y^p=z^pに代入して、x^p+y^p=x+y…(3)なる。ここでx,y>1ならばx^p>x,y^p>yだから(3)は成り立たず不適である。したがってx=y=1となるがz^p=2を満たす自然数zはないのでやはり不適である。
∴pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
多分、正しいと思います。（検討中です。）
>550
日高氏は「～となります」を「～となる可能性があります」の意味で使っているのではなかろうか。
>552
> rは、文字
>553
>556
>558
>>560 > >556
> >日高氏は「～となります」を「～となる可能性があります」の意味で使っているのではなかろうか。
>
> そういう使い方をしている部分もあります。
そういう使い方をしていない部分もあるのですか？
具体的に、証明のどこがどちらの使い方か示してもらえますか？
【定理】pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
>562
>564
>>556 > 日高氏は「～となります」を「～となる可能性があります」の意味で使っているのではなかろうか。
は
>>523 日高
> >522
> >仮定「AB=CD」のみから
> 結論「A=C」を示すことができますか？
>
> A,B,C,Dは、すべて文字なので、「A=C」となります。
> A,B,C,Dが数字ならば、「A=C」となるとは、限りません。
を見て書いたものです。
>>555 ,559
r^(p-1)=p を証明できてないので証明失敗ということです
>>1 は「r^(p-1)=pとなるので」と書いているので間違い。
>>563 などでは「r^(p-1)=pのとき」と書いているのでこの部分はとりあえず正しいのでは。
>567
>568
>569
>
>>1 は「r^(p-1)=pとなるので」と書いているので間違い。
>>563 などでは「r^(p-1)=pのとき」と書いているのでこの部分はとりあえず正しいのでは。
どちらも、間違いではないと、思います。
>>554 より簡単な証明が発見されたんだから、
もう日高の証明には何の価値もないね、お疲れ様でした
>>524 いやもっと簡単にできる
【定理】pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
【日高式証明】x^p+y^p=z^pを変形するとx(x^(p-1)+(y/x)y^(p-1))=z(z^(p-1)))…(1)となる。
(1)で左辺の頭と右辺の頭は等しいから、x=z…(2)である。よってx^p+y^p=x^pであり、y=0となる。よってyは自然数となりえない。QED
>>571 1. a とはなにか明記し
2. a=1 を証明してください
>>507 その某スレが寂れたのはこのスレの、つまり日高の功績が大きい。
同様に、日高を上回る狂人が現れればこのスレも打ち捨てられる。
>573
>
>>554 より簡単な証明が発見されたんだから、
もう日高の証明には何の価値もないね、お疲れ様でした
検討中です。
>574
【定理】pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
>575
>
>>571 1. a とはなにか明記し
2. a=1 を証明してください
579を読んで下さい。
>576
>>566 > >564
> >見事な零点
>
> 理由を教えていただけないでしょうか。
数学用語をきちんと使えていない箇所が一カ所以上ある。つまり、数学の証明ではない。
>580
>
>>580 書いてありませんが
a(1/a)=1となるaです。
>583
> a(1/a)=1となるaです。
>586
>>542 日高のルールはよく分からんが、とりあえず分かりました、訂正します:
>日高のより簡単な証明ができたぞ
【定理】pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
【証明】pは奇数なので、x^p+y^p=(x+y){x^(p-1)-x^(p-2)y+…+y^(p-1)}と因数分解できる。したがって(x+y){x^(p-1)-x^(p-2)y+…+y^(p-1)}=z^p×1…(1)となる。
(1)で左辺の頭と右辺の頭は等しいから、x+y=z^p…(2)である。(2)をx^p+y^p=z^pに代入して、x^p+y^p=x+y…(3)なる。ここでx,y>1ならばx^p>x,y^p>yだから(3)は成り立たず不適である。したがってx=y=1となるがz^p=2を満たす自然数zはないのでやはり不適である。
∴pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
これは、正しいです。
> これは、正しいです。
>589
>>585 > >583
> >数学用語をきちんと使えていない箇所が一カ所以上ある。つまり、数学の証明ではない。
>
> その箇所を教えて下さい。
少なくとも証明の一行目の文章はおかしい。
>591
>>587 じゃあaは０でもいいんですね。
それから、何度も指摘されてもaの説明を証明にいれないのはなぜですか?
>593
>
>>587 >じゃあaは０でもいいんですね。
それから、何度も指摘されてもaの説明を証明にいれないのはなぜですか?
aは、0を除く適当な数です。
aの説明を証明にいれないのはa*(1/a)=1だからです。
>595
日高氏にならって証明してみる。
>597
>598
>>596 r = p^{1/(p-1)} （ r^(p-1) = p より）
だから
a = 1
ということかな？
>>601 a=1であることの証明をしてください、ということです
>>592 > >591
> >少なくとも証明の一行目の文章はおかしい。
>
> どう、おかしいのでしょうか？
わざわざ親切に指摘したんだから自分で考えろや。
分からないなら勉強不足。黙ってろ。
>599
>602
>603
>
>>601 a=1であることの証明をしてください、ということです
すみません。質問の意味がよくわかりません。
>604
>>542 日高のルールはよく分からんが、とりあえず分かりました、訂正します:
>日高のより簡単な証明ができたぞ
>【定理】pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
>【証明】pは奇数なので、x^p+y^p=(x+y){x^(p-1)-x^(p-2)y+…+y^(p-1)}と因数分解できる。したがって(x+y){x^(p-1)-x^(p-2)y+…+y^(p-1)}=z^p×1…(1)となる。
>(1)で左辺の頭と右辺の頭は等しいから、x+y=z^p…(2)である。(2)をx^p+y^p=z^pに代入して、x^p+y^p=x+y…(3)なる。ここでx,y>1ならばx^p>x,y^p>yだから(3)は成り立たず不適である。したがってx=y=1となるがz^p=2を満たす自然数zはないのでやはり不適である。
>.∴pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
これは、正しいです。
日高氏にならってもう一つ証明してみる。
>610
>611
>
>>607 何がわからないんですか？
すみません。質問の意味がよくわからないので、
最初から、具体的に説明していただけないでしょうか。
【定理】pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
>>614 > 【定理】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)とする。
> (2)の両辺を積の形に変形して、(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}…(3)とする。
> (3)はr^(p-1)=pのとき、r=p^{1/(p-1)}となる。(2)はx^p+y^p=(x+p^{1/(p-1)})^p…(4)となる。
> (4)はrが無理数なので、xを有理数としたとき、x,y,zは整数比とならない。
> (4)のx,y,zが無理数x',y',z'で、整数比となる場合を考える。dを共通の無理数とする。
> (x'/d)^p+(y'/d)^p=(x'/d+r/d)^pとなる。x'/d=x,y'/d=yとなるので、x^p+y^p=(x+r/d)^pとなる。
> r/dが無理数の場合は、整数比とならない。
> (3)の右辺に、a(1/a)を掛けるとr^(p-1){(y/r)^p-1}=ap{x^(p-1)+…+r^(p-2)x}(1/a)…(5)となる。
> r^(p-1)=p以外の場合は、r^(p-1)=apとなる。r=(ap)^{1/(p-1)}となるのでrは有理数となる。
> (2)はX^p+Y^p=(X+(ap)^{1/(p-1)})^p…(6)となる。r/dが有理数の場合も、(6)となる。
> (6)のX,Y,Zは(4)のx,y,zのa^{1/(p-1)}倍となるので、X:Y:Z=x:y:zとなる。よって、(6)も整数比とならない。
> (6),(4)は、整数比とならないので、有理数解を持たない。
> ∴pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
ゴミ
>>614 日高
> (6)のX,Y,Zは(4)のx,y,zのa^{1/(p-1)}倍となるので、X:Y:Z=x:y:zとなる。よって、(6)も整数比とならない。
> (6),(4)は、整数比とならないので、有理数解を持たない。
(4)は有理数解を持たないが(4)の無理数解x,y,x+p^{1/(p-1)}で整数比になるものがないとは言えない。
A^p+B^p=C^pをフェルマーの最終定理の反例とするとA^p+B^p={A+(C-A)}^pだから
[A*p^{1/(p-1)}/(C-A)]^p+[B*p^{1/(p-1)/(C-A)]^p=[A*p^{1/(p-1)}/(C-A)+p^{1/(p-1)}]^pとなり
A*p^{1/(p-1)}/(C-A),B*p^{1/(p-1)/(C-A),A*p^{1/(p-1)}/(C-A)+p^{1/(p-1)}は(4)の無理数解で比はA:B:Cである。
>>594 >>618 >>594 >>613 a=1が成り立つことを証明してください、ということです
>616
>
>>614 日高
> (6)のX,Y,Zは(4)のx,y,zのa^{1/(p-1)}倍となるので、X:Y:Z=x:y:zとなる。よって、(6)も整数比とならない。
> (6),(4)は、整数比とならないので、有理数解を持たない。
>(4)は有理数解を持たないが(4)の無理数解x,y,x+p^{1/(p-1)}で整数比になるものがないとは言えない。
>A^p+B^p=C^pをフェルマーの最終定理の反例とするとA^p+B^p={A+(C-A)}^pだから
[A*p^{1/(p-1)}/(C-A)]^p+[B*p^{1/(p-1)/(C-A)]^p=[A*p^{1/(p-1)}/(C-A)+p^{1/(p-1)}]^pとなり
A*p^{1/(p-1)}/(C-A),B*p^{1/(p-1)/(C-A),A*p^{1/(p-1)}/(C-A)+p^{1/(p-1)}は(4)の無理数解で比はA:B:Cである。
A=x',B=y',C=z'として、614を読み返していただけないでしょうか。
>617
>
>>616 すご。
A=x',B=y',C=z'として、614を読み返していただけないでしょうか。
>618
>619
>620
>623
>
>>621 そんな難しいことわかるわけないだろ。
544の証明は、簡単ですので、そちらを読まれたらいかがでしょうか。
検討しましたが、正しいです。
>627
>日高のより簡単な証明ができたぞ
>>629 a=1を証明してください、のどこが言葉足らずなんですか？
具体的にどこがどうわからないんですか？
>631
日本語が難しいようなら、
a=1となることを証明してください、の意味ですよ。
>634
日高氏的には、
>>606 でオッケー
という事なんじゃないかな
>637
>日高氏的には、
>>606 でオッケー
という事なんじゃないかな
私的には、そうです。
>>649 >>639 宛ですかね？
何がわからないか聞いてるんですけど
>日高のより簡単な証明ができたぞ
【定理】pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
>>644 > 【定理】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)とする。
> (2)の両辺を積の形に変形して、(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}…(3)とする。
> (3)はr^(p-1)=pのとき、r=p^{1/(p-1)}となる。(2)はx^p+y^p=(x+p^{1/(p-1)})^p…(4)となる。
> (4)はrが無理数なので、xを有理数としたとき、x,y,zは整数比とならない。
> (4)のx,y,zが無理数x',y',z'で、整数比となる場合を考える。dを共通の無理数とする。
> (x'/d)^p+(y'/d)^p=(x'/d+r/d)^pとなる。x'/d=x,y'/d=yとなるので、x^p+y^p=(x+r/d)^pとなる。
> r/dが無理数の場合は、整数比とならない。
> (3)の右辺に、a(1/a)を掛けるとr^(p-1){(y/r)^p-1}=ap{x^(p-1)+…+r^(p-2)x}(1/a)…(5)となる。
> r^(p-1)=p以外の場合は、r^(p-1)=apとなる。r=(ap)^{1/(p-1)}となるのでrは有理数となる。
> (2)はX^p+Y^p=(X+(ap)^{1/(p-1)})^p…(6)となる。r/dが有理数の場合も、(6)となる。
> (6)のX,Y,Zは(4)のx,y,zのa^{1/(p-1)}倍となるので、X:Y:Z=x:y:zとなる。よって、(6)も整数比とならない。
> (6),(4)は、整数比とならないので、有理数解を持たない。
> ∴pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
ゴミを量産して、どうしたいんだ？
>>619 あー、なるほど。
「適当な」ってのは「任意の」の意じゃなくて、
「適切な」ほどの意味なんですね。
堂々巡りで一歩も前進してないですね、
>645
>641
>あー、なるほど。
>適当な元とは∃(存在量化子)を意味する
>>650 他人のレスを引用して自分の功績みたいに発表するのやめてくれない？いずれにせよ、もう日高の証明には何の価値もないってことが分かって良かったね、お疲れ様でした
>652
>
>>650 他人のレスを引用して自分の功績みたいに発表するのやめてくれない？いずれにせよ、もう日高の証明には何の価値もないってことが分かって良かったね、お疲れ様でした
650は、私は正しいと思いますが、あなたは、どう思われますか？
間違いました、
>日高のより簡単な証明ができたぞ
>>653 俺が正しいと思ってようが間違ってると思ってようが日高の証明に価値がないことには変わりないんだから関係ないよねw
>>655 他人のレスを引用して自分の功績みたいに発表するのはやめろと書いたはずだが
>>655 > これは、正しいです。
wwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwww
wwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwww
wwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwww
wwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwww
wwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwww
wwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwww
wwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwww
wwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwww
wwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwww
>657
>
>>655 >他人のレスを引用して自分の功績みたいに発表するのはやめろと書いたはずだが
自分の功績とは，思っていません。
>657
【定理】pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
>>661 wwwwwwwwwwwwwwwwwwwwwwwwwwwwwww
wwwwwwwwwwwwwwwwwwwwwwwwwwwwwww
wwwwwwwwwwwwwwwwwwwwwwwwwwwwwww
wwwwwwwwwwwwwwwwwwwwwwwwwwwwwww
wwwwwwwwwwwwwwwwwwwwwwwwwwwwwww
wwwwwwwwwwwwwwwwwwwwwwwwwwwwwww
wwwwwwwwwwwwwwwwwwwwwwwwwwwwwww
wwwwwwwwwwwwwwwwwwwwwwwwwwwwwww
wwwwwwwwwwwwwwwwwwwwwwwwwwwwwww
wwwwwwwwwwwwwwwwwwwwwwwwwwwwwww
wwwwwwwwwwwwwwwwwwwwwwwwwwwwwww
wwwwwwwwwwwwwwwwwwwwwwwwwwwwwww
wwwwwwwwwwwwwwwwwwwwwwwwwwwwwww
wwwwwwwwwwwwwwwwwwwwwwwwwwwwwww
wwwwwwwwwwwwwwwwwwwwwwwwwwwwwww
wwwwwwwwwwwwwwwwwwwwwwwwwwwwwww
wwwwwwwwwwwwwwwwwwwwwwwwwwwwwww
wwwwwwwwwwwwwwwwwwwwwwwwwwwwwww
wwwwwwwwwwwwwwwwwwwwwwwwwwwwwww
wwwwwwwwwwwwwwwwwwwwwwwwwwwwwww
wwwwwwwwwwwwwwwwwwwwwwwwwwwwwww
wwwwwwwwwwwwwwwwwwwwwwwwwwwwwww
>>661 wwwwwwwwwwwwwwwwwwwwwwwwwwwwwww
wwwwwwwwwwwwwwwwwwwwwwwwwwwwwww
wwwwwwwwwwwwwwwwwwwwwwwwwwwwwww
wwwwwwwwwwwwwwwwwwwwwwwwwwwwwww
wwwwwwwwwwwwwwwwwwwwwwwwwwwwwww
wwwwwwwwwwwwwwwwwwwwwwwwwwwwwww
wwwwwwwwwwwwwwwwwwwwwwwwwwwwwww
wwwwwwwwwwwwwwwwwwwwwwwwwwwwwww
wwwwwwwwwwwwwwwwwwwwwwwwwwwwwww
wwwwwwwwwwwwwwwwwwwwwwwwwwwwwww
wwwwwwwwwwwwwwwwwwwwwwwwwwwwwww
wwwwwwwwwwwwwwwwwwwwwwwwwwwwwww
wwwwwwwwwwwwwwwwwwwwwwwwwwwwwww
wwwwwwwwwwwwwwwwwwwwwwwwwwwwwww
wwwwwwwwwwwwwwwwwwwwwwwwwwwwwww
wwwwwwwwwwwwwwwwwwwwwwwwwwwwwww
wwwwwwwwwwwwwwwwwwwwwwwwwwwwwww
wwwwwwwwwwwwwwwwwwwwwwwwwwwwwww
wwwwwwwwwwwwwwwwwwwwwwwwwwwwwww
wwwwwwwwwwwwwwwwwwwwwwwwwwwwwww
wwwwwwwwwwwwwwwwwwwwwwwwwwwwwww
wwwwwwwwwwwwwwwwwwwwwwwwwwwwwww
>>612 日高
結論が違っている、だけでなく、私の推論のどこが誤りか指摘してください。
>>621 日高
> A=x',B=y',C=z'として、614を読み返していただけないでしょうか。
すみませんがrとaをA,B,Cの式で書いていただけないでしょうか。
また「X:Y:Z=x:y:zとなる」とのことですがX:xの比の値をA,B,Cの式で書いていただけないでしょうか。
>>625 日高
> 「元のr」の意味がよくわからないので、教えていただけないでしょうか。
自分がやっていることの意味がわかっていない人にはわかるはずないよ。
>>661 wwwwwwwwwwwwwwwwwwwwwwwwwwwwwww
wwwwwwwwwwwwwwwwwwwwwwwwwwwwwww
wwwwwwwwwwwwwwwwwwwwwwwwwwwwwww
wwwwwwwwwwwwwwwwwwwwwwwwwwwwwww
wwwwwwwwwwwwwwwwwwwwwwwwwwwwwww
wwwwwwwwwwwwwwwwwwwwwwwwwwwwwww
wwwwwwwwwwwwwwwwwwwwwwwwwwwwwww
wwwwwwwwwwwwwwwwwwwwwwwwwwwwwww
wwwwwwwwwwwwwwwwwwwwwwwwwwwwwww
wwwwwwwwwwwwwwwwwwwwwwwwwwwwwww
wwwwwwwwwwwwwwwwwwwwwwwwwwwwwww
wwwwwwwwwwwwwwwwwwwwwwwwwwwwwww
wwwwwwwwwwwwwwwwwwwwwwwwwwwwwww
wwwwwwwwwwwwwwwwwwwwwwwwwwwwwww
wwwwwwwwwwwwwwwwwwwwwwwwwwwwwww
wwwwwwwwwwwwwwwwwwwwwwwwwwwwwww
wwwwwwwwwwwwwwwwwwwwwwwwwwwwwww
wwwwwwwwwwwwwwwwwwwwwwwwwwwwwww
wwwwwwwwwwwwwwwwwwwwwwwwwwwwwww
wwwwwwwwwwwwwwwwwwwwwwwwwwwwwww
wwwwwwwwwwwwwwwwwwwwwwwwwwwwwww
wwwwwwwwwwwwwwwwwwwwwwwwwwwwwww
>>661 wwwwwwwwwwwwwwwwwwwwwwwwwwwwwww
wwwwwwwwwwwwwwwwwwwwwwwwwwwwwww
wwwwwwwwwwwwwwwwwwwwwwwwwwwwwww
wwwwwwwwwwwwwwwwwwwwwwwwwwwwwww
wwwwwwwwwwwwwwwwwwwwwwwwwwwwwww
wwwwwwwwwwwwwwwwwwwwwwwwwwwwwww
wwwwwwwwwwwwwwwwwwwwwwwwwwwwwww
wwwwwwwwwwwwwwwwwwwwwwwwwwwwwww
wwwwwwwwwwwwwwwwwwwwwwwwwwwwwww
wwwwwwwwwwwwwwwwwwwwwwwwwwwwwww
wwwwwwwwwwwwwwwwwwwwwwwwwwwwwww
wwwwwwwwwwwwwwwwwwwwwwwwwwwwwww
wwwwwwwwwwwwwwwwwwwwwwwwwwwwwww
wwwwwwwwwwwwwwwwwwwwwwwwwwwwwww
wwwwwwwwwwwwwwwwwwwwwwwwwwwwwww
wwwwwwwwwwwwwwwwwwwwwwwwwwwwwww
wwwwwwwwwwwwwwwwwwwwwwwwwwwwwww
wwwwwwwwwwwwwwwwwwwwwwwwwwwwwww
wwwwwwwwwwwwwwwwwwwwwwwwwwwwwww
wwwwwwwwwwwwwwwwwwwwwwwwwwwwwww
wwwwwwwwwwwwwwwwwwwwwwwwwwwwwww
wwwwwwwwwwwwwwwwwwwwwwwwwwwwwww
>日高氏にならってもう一つ証明してみる。
>665
>666
【定理】pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
>日高のより簡単な証明ができたぞ
>>672 >>673 wwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwww
wwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwww
wwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwww
wwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwww
wwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwww
wwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwww
wwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwww
wwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwww
wwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwww
wwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwww
wwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwww
wwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwww
wwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwww
wwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwww
wwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwww
wwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwww
wwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwww
wwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwww
wwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwww
>>673 これでもいいの？
【定理】pが2のとき、x^p+y^p=z^pは、自然数解を持たない。
【証明】pは2なので、x^p+y^p=(x+y){x^(p-1)-2x^(p-1)y^(p-1)/(x^(p-1)+y^(p-1))+y^(p-1)}となる。したがって(x+y){x^(p-1)-2x^(p-1)y^(p-1)/(x^(p-1)+y^(p-1))+y^(p-1)}=z^p×1…(1)となる。
(1)で左辺の頭と右辺の頭は等しいから、x+y=z^p…(2)である。(2)をx^p+y^p=z^pに代入して、x^p+y^p=x+y…(3)なる。ここでx,y>1ならばx^p>x,y^p>yだから(3)は成り立たず不適である。したがってx=y=1となるがz^p=2を満たす自然数zはないのでやはり不適である。
∴pが2のとき、x^p+y^p=z^pは、自然数解を持たない。
これは、正しいです。
>>669 日高
> 【定理】x^2+y^2=z^2は自然数解を持たない。
なので負の数は無効です。
推論のどこが誤りかを指摘してください。
>>655 日高
> >日高のより簡単な証明ができたぞ
> 【定理】pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
> 【証明】pは奇数なので、x^p+y^p=(x+y){x^(p-1)-x^(p-2)y+…+y^(p-1)}と因数分解できる。したがって(x+y){x^(p-1)-x^(p-2)y+…+y^(p-1)}=z^p×1…(1)となる。
> (1)で左辺の頭と右辺の頭は等しいから、x+y=z^p…(2)である。
ここまでの議論はx,y,zが自然数という事実を使っていないからx=2^(1/p),y=3^(1/p),z=5^(1/p)でも通用する。
(2)より2^(1/p)+3^(1/p)=5となるはずだが。
>675
>>676 【定理】x^2+y^2=z^2は自然数解を持たない。
なので負の数は無効です。
>推論のどこが誤りかを指摘してください。
正しい【定理】は、x^2+y^2=z^2は有理数解を持つ。です。
なので、負の数は、有効です。
>>679 >
>>676 > 【定理】x^2+y^2=z^2は自然数解を持たない。
> なので負の数は無効です。
>
> >推論のどこが誤りかを指摘してください。
>
> 正しい【定理】は、x^2+y^2=z^2は有理数解を持つ。です。
> なので、負の数は、有効です。
推論の誤りを指摘しろっていわれてるだろが 。おまえが得意なように、具体的に、誤りの箇所を指摘しろよ。
多分
>>669 が誤りの指摘だと言って、
譲らないと思うよ
>675
>677
>680
>>684 > >680
> >推論の誤りを指摘しろっていわれてるだろが 。おまえが得意なように、具体的に、誤りの箇所を指摘しろよ。
>
> 誤りの箇所は、「x^2+y^2=z^2は自然数解を持たない。」です。
何で誤りなのか理由が説明されてないが。理由は？
そこは推論なのか？
他は正しいのか？
他人に聞く前に自分で検証したらどうなんだい
日高はx^p+y^p=(x+y){x^(p-1)-x^(p-2)y+…+y^(p-1)}が正しいかどうかも知らないのに、なぜ
>>673 を正しいって判断するんだ？
適当な奴だな
推論とはどのような行為なのか、がわかっていないのでは。
>685
>686
>687
>日高はx^p+y^p=(x+y){x^(p-1)-x^(p-2)y+…+y^(p-1)}が正しいかどうかも知らないのに、なぜ
>>673 を正しいって判断するんだ？
>適当な奴だな
スレ番号のタイプミスでした。
x^p+y^p=(x+y){x^(p-1)-x^(p-2)y+…+y^(p-1)}は、正しいです。
>688
>日高のより簡単な証明ができたぞ
>>689 > >685
> > 誤りの箇所は、「x^2+y^2=z^2は自然数解を持たない。」です。
> 何で誤りなのか理由が説明されてないが。理由は？
> そこは推論なのか？
> 他は正しいのか？
>
> x^2+y^2=z^2はx=3,y=4,z=5の自然数解を持つからです。
> 「他は正しいのか？」の他とは、どのようなことでしょうか？
日本語勉強不足
>>691 タイプミスより証明の誤りを認めるべき
何百回指摘受けてると思ってんの？
>>690 で？
＞ pは2なので、x^p+y^p=(x+y){x^(p-1)-2x^(p-1)y^(p-1)/(x^(p-1)+y^(p-1))+y^(p-1)}となる。
は正しいだろ？
日高が x^2+y^2=(x+y){x-2xy/x+y)+y} となるって言うんだったらそうなんじゃないか？
>>690 日高
> >686
> ＞>【証明】pは2なので、x^p+y^p=(x+y){x^(p-1)-2x^(p-1)y^(p-1)/(x^(p-1)+y^(p-1))+y^(p-1)}となる。
> ＞この因数分解は、正しいでしょうか？
こういうのはふつう因数分解と呼ばないよ
>>683 > x=2^(1/p),y=3^(1/p),z=5^(1/p)のとき、
> x^p+y^p=z^pは、満たしますが、
> x+y=z^pは、満たしません。
それで？
>695
>696
>697
>698
>699
>
>>683 > x=2^(1/p),y=3^(1/p),z=5^(1/p)のとき、
> x^p+y^p=z^pは、満たしますが、
> x+y=z^pは、満たしません。
>それで？
どういうことでしょうか？
>日高のより簡単な証明ができたぞ
【定理】pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
z^2-x^2を因数分解すると、(z+x)(z-x)となる。
0でない任意のr、奇素数pにたいして
>709
>>705 普通、正しくない式が出てきたら、
どこで推論を間違えたかと考えるものです。
>711
AB=CDならば、A=aCのとき、C=D/aとなる。
>>713 > AB=CDならば、A=aCのとき、C=D/aとなる。
証明してください。
>714
>>715 日高
> >714
> >> AB=CDならば、A=aCのとき、C=D/aとなる。
>.
> 証明してください
>
> AB=aCD/a=CDa/a=CD*1=CD
仮定と結論の区別ができていない。中学生未満。
……っつーか、これ、成り立たないだろ。
>>710 同じ式、とはどういうことですか？
709の(2)はrとpが決まればaが決まる、という式で、これ以上簡単には書けません。
(3)はaの式の中にrが含まれていますから、両辺にrを含んだ等式です。左辺はもっと整理できます。
>>718 は間違えました。
最後の部分
左辺はもっと整理できます。
正しくは
右辺はもっと整理できます。
>>704 ＞x^p+y^p=(x+y)(x-y)となります。
日高数学ではそうなるのか
我々の数学とは違う世界の話なんだね
>716
>717
>719
>720
>日高のより簡単な証明ができたぞ
【定理】pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
>727
【定理】p=2のとき、x^p+y^p=z^pは、自然数解を持つ。
【定理】pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
>>728 > >727
> >数学ではない。
>
> 理由を教えていただけないでしょうか。
間違ってるから。
既に大量に指摘済み。
【定理】2以上の任意の自然数は素数である。
【定理】p=2のとき、x^p+y^p=z^pは、自然数解を持つ。
>>733 全然だめ。
xが自然数のとき、x^2の約数は「少なくとも」1,x,x^2なだけであって、
(2)が必ず成り立つとは限らない。
>732
>734
反例が上がらなければ証明で滅茶苦茶やっても許す(
>>544 )癖に、同じ論法でも反例が容易に上がる証明は断固許さない(
>>733 )。おまけに、反例を上げるだけで証明の内容には一切触れない。
>>736 (x,y,z)＝(8,15,17)はピタゴラス数ですが、
1=(z－y)を満たしません
日高氏は数学の基礎知識が不足している上に、日本語の理解力も極めて低いので、会話が成り立たない。
>737
>反例が上がらなければ証明で滅茶苦茶やっても許す(
>>544 )癖に、同じ論法でも反例が容易に上がる証明は断固許さない(
>>733 )。おまけに、反例を上げるだけで証明の内容には一切触れない。
どういう意味でしょうか？もうすこし、詳しく説明していただけないでしょうか。
>738
>
>>733 ではなく
>>732 だったね、失礼
すみません。どういうことでしょうか？
>739
>>743 1/2という約数を考えることは素因数分解の一意性に反しますからダメです。
>744
>744
>747
【定理】p=2のとき、x^p+y^p=z^pは、自然数解を持つ。
【定理】p=2のとき、x^p+y^p=z^pは、自然数解を持つ。
【定理】pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
(2)のところ
>752
>754
>>721 日高
> >716
> >仮定と結論の区別ができていない。中学生未満。
>
> 理由を教えていただけないでしょうか。
いいよ。
>>715 日高
> >714
> >> AB=CDならば、A=aCのとき、C=D/aとなる。
>
> 証明してください
>
> AB=aCD/a=CDa/a=CD*1=CD
君が最後に示したのはAB=CD。それは仮定です。
>>722 日高
> >717
> >……っつーか、これ、成り立たないだろ。
> >文字に0が含まれていないと追加の仮定をおいても。
>
> 理由を教えていただけないでしょうか。
いいよ。
>>715 日高
> >714
> >> AB=CDならば、A=aCのとき、C=D/aとなる。
>
> 証明してください
>
> AB=aCD/a=CDa/a=CD*1=CD
A=B=2,C=1,D=4とするとABもCDも4だからAB=CDが成り立つ。
A=2cだからaは2だ。しかし1=4/2は成り立たない。
>>730 日高
> 【定理】pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
> 【証明】pは奇数なので、x^p+y^p=(x+y){x^(p-1)-x^(p-2)y+…+y^(p-1)}と因数分解できる。
> したがって、z^p×1=(x+y){x^(p-1)-x^(p-2)y+…+y^(p-1)}…(1)となる。
> (1)の左辺の右側と右辺の右側は等しいので、
これは誤り。
pが3でx=2,y=3のとき(x^3+y^3)*1=(x+y)(x^2-xy+y^2)は
35*1=5*(4-6+9)でx^2+xy+y^2は7。
（まだこれがz^3に等しいということは使っていない。）
>758
>>756 x^2=2(1/2)(z+y)(z-y)という式変形をするところまではいいのですよ。
問題は次のステップなのです。
次にあなたはどのような理屈で話を進めるんですか？
>>748 日高
> >747
> >みましたが、それがどうしたのですか？
>
> 定数倍だけ異なる多項式は、基本的に同じものと考えます。
> 例. x^6+x^4+x^3+1=(x^2+1)(x^4+1)=(2x^4+2)((1/2)x^2+1/2)
>
> と書いてありますが。
多項式の因数分解ではそうですが、整数の素因数分解では同じと考えるのは-1倍だけです。
またそれは多項式の計算で定数倍を無視してよいという意味ではありません。
>>760 日高
> >758
> >> AB=aCD/a=CDa/a=CD*1=CD
>
> A=B=2,C=1,D=4とするとABもCDも4だからAB=CDが成り立つ。
> A=2cだからaは2だ。しかし1=4/2は成り立たない
>
> 「しかし1=4/2は成り立たない」
> この部分を、詳しく説明していただけないでしょうか。
いいよ。君の主張は
>>713 日高
> AB=CDならば、A=aCのとき、C=D/aとなる。
だった。A=B=2,C=1,D=4,a=2は「AB=CDならば、A=aCのとき」を満たす。
しかしC=D/aではない。
>759
>>764 日高
> >759
> >これは誤り。
> pが3でx=2,y=3のとき(x^3+y^3)*1=(x+y)(x^2-xy+y^2)は
> 35*1=5*(4-6+9)でx^2+xy+y^2は7。
> （まだこれがz^3に等しいということは使っていない。）
>
> 「（まだこれがz^3に等しいということは使っていない。）」
>
> このことの意味を教えていただけないでしょうか。
実際にはz^3=35の自然数解はありませんがまだその事実を使っていないでしょう？
使ったというならその箇所を明確に示してください。
>761
>762
>>767 日高
> >762
> >> 定数倍だけ異なる多項式は、基本的に同じものと考えます。
> > 例. x^6+x^4+x^3+1=(x^2+1)(x^4+1)=(2x^4+2)((1/2)x^2+1/2)
> >
> > と書いてありますが。
>
> >多項式の因数分解ではそうですが、整数の素因数分解では同じと考えるのは-1倍だけです。
> またそれは多項式の計算で定数倍を無視してよいという意味ではありません。
>
> 意味が、理解できません。詳しく説明していただけないでしょうか。
意味が理解できないのは算数・数学の学習が足りないからです。
高等学校２年生までの算数・数学を学習すればわかるようになります。
それでもわからなければ再度質問してください。
>763
>>769 日高
> >763
> >> AB=CDならば、A=aCのとき、C=D/aとなる。
>
> だった。A=B=2,C=1,D=4,a=2は「AB=CDならば、A=aCのとき」を満たす。
> しかしC=D/aではない。
>
> すみません。間違えていました。
> C=D/aは、B=D/aの間違いでした。
じゃあそれ
きちんと証明してください
>765
>>771 日高
> >765
> >実際にはz^3=35の自然数解はありませんがまだその事実を使っていないでしょう？
> 使ったというならその箇所を明確に示してください。
>
> すみません。なぜz^3=35の自然数解はありませんがその事実を使わないといけないのでしょうか？
使っていないと認められるならそれで構いません。
>770
【定理】p=2のとき、x^p+y^p=z^pは、自然数解を持つ。
【定理】pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
>>773 日高
> >770
> >AB=CDならば、A=aCのとき、B=D/aとなる。
>
> AB=CDに、A=aC,B=D/aを代入すると、CD=CDとなる。
初学者によくあるミスです。
これが間違いだとわからないならフェルマーの最終定理など百万年かかっても無理です。
>>775 日高
> 【定理】pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
> 【証明】pは奇数なので、x^p+y^p=(x+y){x^(p-1)-x^(p-2)y+…+y^(p-1)}と因数分解できる。
> したがって、z^p×1=(x+y){x^(p-1)-x^(p-2)y+…+y^(p-1)}…(1)となる。
> (1)の左辺の右側と右辺の右側は等しいので、1={x^(p-1)-x^(p-2)y+…+y^(p-1)}…(2)となる。
x^p+y^p=(x+y){x^(p-1)-x^(p-2)y+…+y^(p-1)}ならば右辺の{...}は1とおっしゃるわけですよね。
2^3+3^3=(2+3)*(2^2-2*3+3^2)、この右辺は5*7ですぜ。
日高氏の敗因は、どこかで多項式とその（0でない）定数倍とは同じものと思い込んでしまったことにある。
>777
>779
>776
>>782 > >776
> >> >AB=CDならば、A=aCのとき、B=D/aとなる。
> >
> > AB=CDに、A=aC,B=D/aを代入すると、CD=CDとなる。
>
> 初学者によくあるミスです。
> これが間違いだとわからないならフェルマーの最終定理など百万年かかっても無理です。
>
> 「初学者によくあるミスです。」ミスの部分の指摘をしていただけないでしょうか。
分からないなら分かるまで勉強してから出直せよ。
>783
何が仮定で何が結論かを整理してみたら？
【定理】p=2のとき、x^p+y^p=z^pは、自然数解を持つ。
> 【定理】p=2のとき、x^p+y^p=z^pは、自然数解を持つ。
【定理】pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
>787
>>789 > >787
> >【定理】p=2のとき、x^p+y^p=z^pは、自然数解を持つ。
> 3^2+4^2=5^2と例をあげればそれでおしまい。
>
> 確かにそうですが、pが奇素数の場合も、考え方は同じということを、示したいから
> p=2の場合も、示しました。
どちらもでたらめ。
>>746 のページを見てみたが、一意性を間違ってとらえているな
間違いを指摘するのにどこから手を付けていいかわからないが、とりあえず
x^2=x^2×1=x^2×1×1=x^2×1×1×1=x^2×1×1×1×1×1=…
×1（かけるいち）を入れていいことにすると、書き方が一意どころか無限になってしまうので、
×1を因数に含めてはいけない
r=15,x=17,y=8のとき
r^2=x＾2-y^2
両辺を因数分解して
r×r=(x+y)×(x-y)
左辺はこれ以外の形に因数分解できない(一意性)
右辺はこれ以外の形に因数分解できない(一意性)
そしてもちろん
(左辺の左側は15)≠(右辺の左側=25)
(左辺の右側は15)≠(右辺の右側=9)
>>523 日高
> >522
> >仮定「AB=CD」のみから
> 結論「A=C」を示すことができますか？
>
> A,B,C,Dは、すべて文字なので、「A=C」となります。
> A,B,C,Dが数字ならば、「A=C」となるとは、限りません。
これがあるから、道は遠いよ。
>790
>791
>792
>793
いや任意の整数a，bで
【定理】p=2のとき、x^p+y^p=z^pは、自然数解を持つ。
>798
【定理】pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
>802
【定理】p=2のとき、x^p+y^p=z^pは、自然数解を持つ。
【定理】pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
>>805 >(1)の左辺の右側と右辺の右側は等しいので
(1)の左辺の右側と右辺の右側が等しくない場合はあると考えていますか？
>806
>>807 > 等しくない場合も、あります。
>そのときは、等しくなるように、定数倍します。
等しくない場合の定数倍した証明を書いていただけますか。
日高さん、算数を勉強しなおしてください。
>>804 前も言ったけど、(2)の結論は導けない。
なぜならxが素数であるとは限らないから。
反例として、8,15,17を挙げた。
これは8が素数でないからです。
そして日高さんがこういう推論をしてしまうのは、素因数分解の一意性を理解してないからです。
>808
>809
>>815 因数分解と素因数分解の違いすら理解できてないからです。
>810
なぜ勝手にxを素数だと思い込むのでしょうか。
>812
>811
>813
>816
>819
で、1=(x-y)(1/a)をどうするんですって？
>827
【定理】p=2のとき、x^p+y^p=z^pは、自然数解を持つ。
【定理】pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
オウム返しに返答しまくるだけなんて知性が低すぎるよ・・・・
>>830 日高
> 【定理】pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
> 【証明】pは奇数なのでx^p+y^p=(x+y){x^(p-1)-x^(p-2)y+…+y^(p-1)}と変形できる。
> したがって、z^p×1=(x+y){x^(p-1)-x^(p-2)y+…+y^(p-1)}…(1)となる。
> (1)の左辺の右側と右辺の右側は等しいので、1={x^(p-1)-x^(p-2)y+…+y^(p-1)}…(2)となる。
「(1)の左辺の右側と右辺の右側」が等しくない場合
a(x+y){x^(p-1)-x^(p-2)y+…+y^(p-1)}(1/a)とするのだろうけど
このときのaをx,yの式で書くとどうなりますか？
>831
>832
>>834 > 「(1)の左辺の右側と右辺の右側」が等しくない場合
> a(x+y){x^(p-1)-x^(p-2)y+…+y^(p-1)}(1/a)とするのだろうけど
> >このときのaをx,yの式で書くとどうなりますか？
>
> 1={x^(p-1)-x^(p-2)y+…+y^(p-1)}(1/a)ですので、
> a={x^(p-1)-x^(p-2)y+…+y^(p-1)}となります。
するとそのあとの議論はどうなりますか？
>>737 もう皆わかっているだろうが、この日高は、「自分は全て正しい、反論は認めない」というタイプの輩だ。
故に、こういう輩を相手にしてはならない。時間とサーバー資源の無駄である。
>>817 > 【定理】p=2のとき、x^p+y^p=z^pは、自然数解を持つ。
いえ、私が
>>810 で尋ねているのはその定理ではなくて
>>805 の
> 【定理】pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
こちらの方です。これの
「(1)の左辺の右側と右辺の右側が等しくない場合の証明」を書いていただけますか？
>835
>838
>836
>837
理由が正しい反論は、認めます。(ただし理由が正しいとは認めない)
【定理】pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
【定理】p=2のとき、x^p+y^p=z^pは、自然数解を持つ。
>843
>>839 日高
> >835
> > 1={x^(p-1)-x^(p-2)y+…+y^(p-1)}(1/a)ですので、
> > a={x^(p-1)-x^(p-2)y+…+y^(p-1)}となります。
> >するとそのあとの議論はどうなりますか？
>
> z^p×1=(x+y){x^(p-1)-x^(p-2)y+…+y^(p-1)}は、
> z^p×1=a(x+y){x^(p-1)-x^(p-2)y+…+y^(p-1)}1/aとなります。
> a={x^(p-1)-x^(p-2)y+…+y^(p-1)}より、
> (左辺の左側)=(右辺の左側)は、z^p=a(x+y)となります。
> z={a^(1/p)}{(x+y)^(1/p)}となるので、aと、(x+y)がp乗数の場合は、zが自然数となる可能性がありますが、
> a(1/a)=1なので、z^p×1=a(x+y){x^(p-1)-x^(p-2)y+…+y^(p-1)}1/aは、z^p×1=(x+y){x^(p-1)-x^(p-2)y+…+y^(p-1)}となります。
> よって、zは、自然数となりません。
最初の式に戻っただけだろうが。
こんなごまかしにはだまされないぞ。
>>840 日高
> >838
> >「(1)の左辺の右側と右辺の右側が等しくない場合の証明」を書いていただけますか？
>
> z^p×1=(x+y){x^(p-1)-x^(p-2)y+…+y^(p-1)}の、
> 左辺の右側と右辺の右側が等しくない場合は、
> 1={x^(p-1)-x^(p-2)y+…+y^(p-1)}(1/a)となります。
> a={x^(p-1)-x^(p-2)y+…+y^(p-1)}となります。
> (左辺の左側)=(右辺の左側)は、z^p=a(x+y)となるので、
> z^p={x^(p-1)-x^(p-2)y+…+y^(p-1)}(x+y)となります。
> 1*z^p={x^(p-1)-x^(p-2)y+…+y^(p-1)}(x+y)となるので、
> (左辺の左側)=(右辺の左側)を満たすx,yを求めれば、よいことになります。
最初の式をAB=CDとするとそれをBA=DCに書き換えただけ。
こんなごまかしにはだまされないぞ。
>847
>>841 > >836
> >もう皆わかっているだろうが、この日高は、「自分は全て正しい、反論は認めない」というタイプの輩だ。
> >故に、こういう輩を相手にしてはならない。時間とサーバー資源の無駄である。
>
> 理由が正しい反論は、認めます。
大嘘付きじゃねえか。
正しい理由で認めてないものが死ぬほどたくさんあるだろが。
>848
>850
>>852 > >850
> >正しい理由で認めてないものが死ぬほどたくさんあるだろが。
>
> 何番でしょうか？
ほら、認めないじゃん。
850だって正しい理由があるよ。
用語が狂っているのだって、ほとんどなおしてこなかったのだし。
>853
>>854 > >853
> >> 何番でしょうか？
> ほら、認めないじゃん。
> 850だって正しい理由があるよ。
> 用語が狂っているのだって、ほとんどなおしてこなかったのだし。
>
> すみません。850の正しい理由とは、どんな内容でしょうか？
こうやってごまかし続けるんでしょ。
>>846 ざっと見だけど
10,11,30,35,39,43,53,58,64,65,68,76,78,
126,140,148,149,153,
212,215,216,228,238,240,242,248,261,265,271,279,292,297,299,
301,316,329,378,384,387,
408,422,435,,437,449,460,480,487,
503,522,524,531,544,549,553,568,573,574,583,593,599,
603,610,616,618,619,675,677,
709,711,714,716,732,734,737,744,757,758,762,763,768,770,777,791,
812,819,832,838番
x^2+y^2=z^2において、
>856
>>858 で？全部正しい理由とは認めないんでしょ？
>859
【定理】p=2のとき、x^p+y^p=z^pは、自然数解を持つ。
【定理】pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
>>860 返事(反論)してるってことは正しい指摘だと認めてないんでしょ？
指摘してくださいって言っといて正しい理由と認めないんだったら、ここに居座る意味ないよね？
>863
battle field of logic
>866
>865
>>864 > >863
> >返事(反論)してるってことは正しい指摘だと認めてないんでしょ？
> 指摘してくださいって言っといて正しい理由と認めないんだったら、ここに居座る意味ないよね？
>
> 返事(反論)は、します。
> それに対してまた返事をしてほしいです。
反論になってないんだよ。数学じゃない思い込みでだだこねてるだけ。いいとこ５歳児くらい。
>>858 > >856
> >ざっと見だけど
> 10,11,30,35,39,43,53,58,64,65,68,76,78,
> 126,140,148,149,153,
> 212,215,216,228,238,240,242,248,261,265,271,279,292,297,299,
> 301,316,329,378,384,387,
> 408,422,435,,437,449,460,480,487,
> 503,522,524,531,544,549,553,568,573,574,583,593,599,
> 603,610,616,618,619,675,677,
> 709,711,714,716,732,734,737,744,757,758,762,763,768,770,777,791,
> >812,819,832,838番
>
> 全部は、確認していませんが、答えています。
本人が答えていようが何だろうが、正しい理由がある指摘を受け入れていないというのが客観的な事実。
>869
>870
>>873 それがわからないならここに書き込んでも無意味でしょう。
>871
>874
【定理】p=2のとき、x^p+y^p=z^pは、自然数解を持つ。
【定理】pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
正しい理由がある指摘は受け入れる。
>879
「正しい理由がわからない」の意味を説明してください。
>>867 >>868 >>880 > >879
> >正しい理由がある指摘は受け入れる。
> >でもどれが正しい理由かはわからない。
>
> 正しい理由がわからない場合は、尋ねます。
本人が思いこんでいるのを分かったとは言わないんだよ。正しい理由が分かってないんだよ。
いまだに証明が間違っていることが理解できないこと自体が、正しい指摘を無視している証拠。
自分以外に日高の証明が正しいと主張してる人はただの1人も居ないのに、よく自分が正しいと思い込めるな
>>849 日高
> >847
> >最初の式に戻っただけだろうが。
> こんなごまかしにはだまされないぞ。
>
> AB=CDならば、
> A=aCのとき、B=C(1/a)となります。
ならないよ。これもまたごまかしだろうが。
>>851 日高
> >848
> >最初の式をAB=CDとするとそれをBA=DCに書き換えただけ。
> こんなごまかしにはだまされないぞ。
>
> AB=CDならば、BA=DCとなります。
そんなことはわかっている。aと1/aはどこへ行ったんだよ。
>>875 日高
> x,y,z=15,8,17は、必ず(1) ,(2)が必要です。
意味不明。15^2+8^2=17^2は計算してみればこれだけで成り立つよ。
>881
>882
>883
>>889 日高
> >881
> >「正しい理由がわからない」の意味を説明してください。
>
> 指摘に対して、理由を求めています。
もしかして「正しくない理由がわからない」の間違いですか？
>884
>885
>886
> 間違いの理由が見つかるまで、正しいと思い込みます。
>>895 日高
> すみません。B=D(1/a)の間違いでした。
で
>>839 はどうなるの？
ごまかしだろうが。
日高には一生間違いの理由は見つけられないだろうし、正しいと錯覚したままにしといてやるのが幸せだろう
若い世代を中心に年賀メールを送る人が増加
20～60代の人を対象に行った調査によると、世代全体では約37％の方が電子メールやSNSなど、オンライン上での新年の挨拶をしています。そしてこの調査結果を世代別に見ていくと、20代の人の実に55％が、オンライン上で年始の挨拶をしていることがわかります。
https://www.happy-bears.com/column/life/3643.html でも間違いは「AB=CDならばB=D」という小学生レベルのところにあるので
>887
>892
> AB=aCD1/aなので、D1/a=1となります。a=Dとなります。
>896
また書いてあげよう。「AB=CDならばB=D」が成り立つと思い込んでいること。
>897
>で
>>839 はどうなるの？
ごまかしだろうが。
「ごまかし」の箇所を、教えていただけないでしょうか。
>898
>>906 日高
>>839 何やら式の変形をしているが最後は最初に戻っただけ。
その次の行に「よって、zは、自然数となりません」とまだ証明されていないことを書いている。
>900
>>910 じゃあ
>>839 の最後の行の主張の根拠を書いてみて。
>903
>>912 日高
> >903
> >元にもどっただけだろ。
>
> そうです。もとに戻ります。
もしかして
証明という行為を成り立ちそうな式・事実を羅列すること
だと思い込んでいないか？
>905
>908
>>914 日高
> >905
> >また書いてあげよう。「AB=CDならばB=D」が成り立つと思い込んでいること。
>
> 正確には、AB=CDならばA=aC,B=D(1/a)です。
でもそれを使って証明してないだろ？
>>915 日高
> >908
> >何やら式の変形をしているが最後は最初に戻っただけ。
> その次の行に「よって、zは、自然数となりません」とまだ証明されていないことを書いている。
>
> 最後は最初に戻ります。
最初に戻ったらどうしてその次に「よって、zは、自然数となりません」となるんだよ。
日高(熱烈歓迎食堂)では
>916
>>920 最後の「よって、zは、自然数となりません」の根拠はなんなんだよ。
【定理】p=2のとき、x^p+y^p=z^pは、自然数解を持つ。
【定理】pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
>>922 > (1)の左辺の右側と、右辺の右側は等しいので、1=(z-y)…(2)となる。
ならねえよ。そうならないピタゴラス数があるから。
>921
>>923 > (1)の左辺の右側と右辺の右側は等しいので、1={x^(p-1)-x^(p-2)y+…+y^(p-1)}…(2)となる。
ならねえよ。aとか1/aを使うんだろ？
>>925 日高
> >921
> >最後の「よって、zは、自然数となりません」の根拠はなんなんだよ。
>
> a(1/a)=1なので、最初の式と同じ結果となる。です。
そのことからどうして「よって、zは、自然数となりません」が出るのさ。
「～となる」の使い方すらいまだに理解してない。
事実に対して理由を聞くふりしてごまかすのはもう飽きた。
>924
>926
>927
>928
屑スレ3も、もうすぐ1000かぁ・・・・・・何の進歩もないねwwwwwwwwwwww
>929
>935
>>934 > >928
> >「～となる」の使い方すらいまだに理解してない。
> 「～となる」と書いてあるものは全て間違い。デタラメ。ゴミ。
>
> 箇所を、指摘していただけないでしょうか。
「～となる」と書いてある箇所といってるじゃん。
>>936 > >929
> >反論があれば、根拠も含めて自分の考えを述べるところから始めろ。
>
> 自分の考えを述べました。
独りよがりの思い込みは根拠ではない。
根拠がないから全くダメ
【定理】p=2のとき、x^p+y^p=z^pは、自然数解を持つ。
【定理】pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
>>940 > 【定理】p=2のとき、x^p+y^p=z^pは、自然数解を持つ。
> 【証明】p=2なので、z^2-y^2=(z+y)(z-y)と変形できる。
> したがって、x^2×1=(z+y)(z-y)…(1)となる。
ゴミ
>938
>939
>942
>>943 > どのように、書いたらよいのでしょうか？
場合分けによる解法を練習したことはありますか？
例えば不等式
|x+3|>4x を解けますか？
>946
>>947 すみませんがお断りします。
その不等式は高校一年生レベルです。
まずは自分の学力をきちんと把握して、それに見合った勉強をしてください。教科書や問題集にはていねいな解説が載っています。
手元に教科書や問題集はありますか？
>948
>949
【定理】p=2のとき、x^p+y^p=z^pは、自然数解を持つ。
【定理】pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
しれっと
>>544 をパクってて笑う、人間性も最悪だな
>954
>しれっと
>>544 をパクってて笑う、人間性も最悪だな
544をパクっては、いません。
本当に正しいか、確認しています。
私は、正しいと思います。
あなたは、どう思われますか？
スレ主可哀想。。。
>954
>956
ここの日高が頑張ってどうするの？
>958
>959
>961
ならば、あなた以外全員間違っていると言っているので、それで話は終わりでしょう
>>953 > 【定理】pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
> 【証明】pは奇数なのでx^p+y^p=(x+y){x^(p-1)-x^(p-2)y+…+y^(p-1)}と変形できる。
> したがって、z^p×1=(x+y){x^(p-1)-x^(p-2)y+…+y^(p-1)}…(1)となる。
> (1)の左辺の右側と右辺の右側は等しいので、1={x^(p-1)-x^(p-2)y+…+y^(p-1)}…(2)となる。
いいえ。
>965
>>967 > >965
> >ならば、あなた以外全員間違っていると言っているので、それで話は終わりでしょう
>
> 間違っていると言ったでしょうか？
数学的に正しいという意見はあったのか？
>966
>968
>>969 > >966
> >いいえ。
>
> 理由を教えていただけないでしょうか。
数学的な事実だから。
【定理】p=2のとき、x^p+y^p=z^pは、自然数解を持つ。
>>696 左辺の右側と右辺の右側が等しいという乱暴な議論が成立しないからです。
だから因数についてわかってないだの、整数論を勉強しろだの言われるの。
数学的な事実に対して、反論があるなら、思いこみではない根拠・客観的な資料などを用いて反論しろよ。
【定理】pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
>973
正しいと言い張る以上、あなた以外があなたを納得させるのではなく、あなたがあなた以外を納得させるのが筋です。
>974
>977
日高氏へ：次の議論は正しいでしょうか？
>980
>>975 > 【定理】pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
> 【証明】pは奇数なのでx^p+y^p=(x+y){x^(p-1)-x^(p-2)y+…+y^(p-1)}と変形できる。
> したがって、z^p×1=(x+y){x^(p-1)-x^(p-2)y+…+y^(p-1)}…(1)となる。
> (1)の左辺の右側と右辺の右側は等しいので、1={x^(p-1)-x^(p-2)y+…+y^(p-1)}…(2)となる。
いいえ。数学的な事実として、これは間違いだとコメントしたばかり。
>いいえ。数学的な事実として、これは間違いだとコメントしたばかり。
>984
>985
【定理】p=2のとき、x^p+y^p=z^pは、自然数解を持つ。
>>987 > >985
> >根拠が示せないなら二度と繰り返すな。
>
> よく意味がわかりません。
日本語が分からないなら書き込むな。
【定理】pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
>989
>>981 pに3,xに2,yに3を代入してごらん。
>992
***** このスレを初めてご覧になる方へ（歴史に残る日高語録）*****
ｗｗｗ．ｍａｔｈｎａｖｉ．ｓａｋｕｒａ．ｎｅ．ｊｐ／ｂｂｓ／ｆｉｌｅ１／１５６６９９４７７４．ｐｎｇ
>994
>995
【定理】p=2のとき、x^p+y^p=z^pは、自然数解を持つ。
>>994
このスレへの固定リンク： http://5chb.net/r/math/1575007235/ ヒント： http ://xxxx.5chb .net/xxxx のようにb を入れるだけでここでスレ保存、閲覧できます。TOPへ TOPへ
全掲示板一覧 この掲示板へ 人気スレ |
Youtube 動画
>50
>100
>200
>300
>500
>1000枚
新着画像 ↓「フェルマーの最終定理の簡単な証明3 YouTube動画>1本 ->画像>1枚 」 を見た人も見ています：・フェルマーの最終定理の簡単な証明 フェルマーの最終定理の簡単な証明2 フェルマーの最終定理の簡単な証明6 フェルマーの最終定理の簡単な証明8 フェルマーの最終定理の簡単な証明7 フェルマーの最終定理の簡単な証明７ フェルマーの最終定理の簡単な証明11 フェルマーの最終定理の簡単な証明６ フェルマーの最終定理の簡単な証明その3 フェルマーの最終定理の簡単な証明その５ 簡単なフェルマーの最終定理の証明 簡単なフェルマーの最終定理の証明 フェルマーの最終定理の反例が見つかる フェルマーの最終定理の証明 フェルマーの最終定理の証明 フェルマーの最終定理の証明 フェルマーの最終定理の証明 (2) フェルマーの最終定理の普通の証明 変形によるフェルマーの最終定理の証明 やさしいフェルマーの最終定理の証明４ 因数分解によるフェルマーの最終定理の証明 二項定理を使ったフェルマーの最終定理の証明 初等数学によるフェルマーの最終定理の証明 フェルマーの最終定理の多項式版は正しいの？ フェルマーの最終定理証明したったwwww 【数学】京大の望月教授が超難問・ABC予想を「証明」..フェルマーの最終定理やポアンカレ予想の解決と並ぶ快挙★9 フェルマーの最終定理ってあるけど フェルマータの最終定理が理解出来ん 誰かフェルマーの最終定理をおしえて フェルマーの最終定理がむずかしいと勘違いしてるバカ ワイ＊＊「チノちゃん、フェルマーの最終定理激しく解かないで」 【数学】フェルマーの最終定理「おまけで証明」 IUT理論、京大・望月教授 [すらいむ★] フェルマー最終定理について 安倍総理のキャッシュレス体験「簡単だったw」4000円の会計に3326円しか払わず満足げに立ち去る もうこれ泥棒やろ… 蓮舫の最終定理 奥山武司の最終定理 【とても】アルモデルを楽しむ 二作品目【簡単】 簡単なお仕事です 悟りの真実を簡単に知りたい 安く簡単に酔える方法ってある？ リーマン予想を簡単に説明してくれ 地帝より簡単な国公立医学部ある？ 金を儲けるって簡単なことなのに難しいよな 全統記述第2回の英語って簡単だった？ 出会い系ってこんなに簡単なもんなのか？ リモコンに付いた汚れを簡単にきれいにするには 簡単に人妻とSEXができた方法★出会い系 13 簡単に大量の写真のやりとりが(ry「写真袋」214袋目 【依頼先行】簡単に占います 22【占術不問】 ポケモンの名前を使って簡単な文を作りなさい 新基準で一撃20000万発出すのが一番簡単な台って何？ 【TDA1552Q】ICで簡単アンプを作ろうよ6【TA7368P】 簡単に大量の写真(ry「写真カプセル」9個目 【悲報】 ニシくん こんな簡単な算数もできない 嫌韓ゴキニートを発狂させること（簡単）が大好きな奥様★8 お前らって他人の夢を簡単に無理って決めつけるよね 簡単に人妻とSEXができた方法★出会い系 26 YouTuber「誰でも簡単にクリアできます^^」 鉄道駅名は簡単に変更できないんじゃなかったの？ 1＜ｘ＜4のとき、|ｘ－1|＋2|ｘ－4|を簡単にすると トライク化トリシティ等 Part1【簡単改造】 ファミコンのゲームはほとんど難しいけど比較的簡単なの教えてくれ バイナリーオプション(BO)は追証がなく簡単に儲かる 「スパロボ簡単すぎ」「じゃ縛れよ」←これ本当アホ AVで簡単に女の服や下着脱がさせてるけど現実でも出来るもんなの？
ブックマークへ