[過去ﾛｸﾞ] フェルマーの最終定理の簡単な証明 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
1(23): 日高 [kokaji222@yahoo.co.jp] 2019/09/23(月)09:33 ID:HXbAy1I+(1/7) AAS
pが奇素数のとき、x^p+y^p=z^pは自然数解を持たない。
x^p+y^p=z^pをz=x+rとおいて、x^p+y^p=(x+r)^pとする。
r=p^{1/(p-1)}となるので、x^p+y^p=(x+p^{1/(p-1)})^p=z^pとなる。
xを有理数とすると、zは無理数となる。
∴x^p+y^p=z^pは自然数解を持たない。
903(1): 日高 [、] 2019/11/02(土)11:43 ID:Nft3SdkQ(8/19) AAS
>それは r=p^{1/(p-1)} という追加の仮定が入ってるからでしょ。
rが有理数の場合は成り立たないから関係ない。
rが有理数の場合は、r=(pa)^{1/(p-1)}となります。
904: 2019/11/02(土)11:57 ID:Ey8aL91h(1/7) AAS
>>901
証明されていないという指摘中に、証明したと主張するのは、痴呆だからですか？
905: 2019/11/02(土)12:05 ID:Ey8aL91h(2/7) AAS
>>892
> 具体的に、間違いの箇所と理由を指摘していただけないでしょうか。
なぜ？十分な情報は既に大量に出ているのだから、本人が努力して解決するべき。
指摘を求めるっていうのはそういうことだろ。
そして、解決したら、改めて主張を述べろ。そして、それが相手が納得して初めてやりとりが終了するのだ。
単に質問しただけで勝手に終わったことにするな。
906: 2019/11/02(土)12:28 ID:euCID9Bn(2/2) AAS
>>903
> rが有理数の場合は、r=(pa)^{1/(p-1)}となります。
aについて何も説明がないのも問題ですが、
それではrが有理数の場合の証明はどこにあるのですか？
863は、
rは、有理数となる。
と書いてあるだけで、rが有理数の場合の証明には全くなっていないですね。
907: 日高 [、] 2019/11/02(土)13:35 ID:Nft3SdkQ(9/19) AAS
>aについて何も説明がないのも問題ですが、
例えば、p=3, r=6の場合、(3a)^{1/(3-1)なので、a=12となります。
それではrが有理数の場合の証明はどこにあるのですか？
827と863にあります。
863は、
rは、有理数となる。
と書いてあるだけで、rが有理数の場合の証明には全くなっていないですね。
省3
908: 2019/11/02(土)14:08 ID:xce1HTyZ(1) AAS
XとかZって証明と無関係だよね
xやzが有理数かどうか言えばいいのになんで無関係な変数の話ばかりするの？
909: 2019/11/02(土)14:09 ID:qqs3qXFs(1/2) AAS
ホントに底知れぬほどのヴァカなんだなあ（笑）。
数学のホントのおもしろさを知ることはないだろうから
哀れでもあるけど。
910(1): 日高 [、] 2019/11/02(土)14:19 ID:Nft3SdkQ(10/19) AAS
>XとかZって証明と無関係だよね
xやzが有理数かどうか言えばいいのになんで無関係な変数の話ばかりするの？
rが無理数、xが有理数のとき、zは無理数となります。
rが有理数のとき、Xは無理数となります。Zも無理数となります。
911: 2019/11/02(土)14:32 ID:UpbtGP9c(3/4) AAS
>>910
＞rが有理数のとき、Xは無理数となります。Zも無理数となります。
で？ X:Zが整数比でない証明は結局ないのね
912(2): 日高 [、] 2019/11/02(土)14:43 ID:Nft3SdkQ(11/19) AAS
>X:Zが整数比でない証明は結局ないのね
X:Z=x:zとなります。
x:zは整数比となりません。
913: 2019/11/02(土)15:31 ID:Ey8aL91h(3/7) AAS
>>912
> X:Z=x:zとなります。
はあ。
> x:zは整数比となりません。
不成立。二度と同じことを書き込むな。
x,zが有理数なら整数比だろが。
x,zが無理数でも整数比になる可能性があるだろうが。
914: 2019/11/02(土)15:39 ID:Ey8aL91h(4/7) AAS
ついでに。
x,y,zに関する方程式
x^p+y^p=z^p （ただしz=x+r, r=p^{1/(p-1)}）
と、
X,Y,Zに関する方程式
X^p+Y^p=Z^p
が同値だと思い込んでいるようだが、有理数解を探す上では、同値ではない。
省2
915(1): 2019/11/02(土)15:44 ID:nG28EdXl(1/2) AAS
x+y=z の解 x=1，y=1，z=2
X+Y=Z の解 X=1，Y=2，Z=3
比は一緒？？？
916: 2019/11/02(土)15:49 ID:UpbtGP9c(4/4) AAS
>>912
＞X:Z=x:zとなります。
＞x:zは整数比となりません。
証明は結局ないね
がっかりだ
917: 2019/11/02(土)15:50 ID:yBqcqFd7(1) AAS
よく読んでないけど、必要十分条件わかってない感じかな？
そうなら高木と一緒だね。
918: 日高 [、] 2019/11/02(土)15:59 ID:Nft3SdkQ(12/19) AAS
>x,zが有理数なら整数比だろが。
x,zが無理数でも整数比になる可能性があるだろうが。
x,zが共に有理数となることは、ありません。
x,zが無理数でも整数比になる場合は、共通の無理数の積となります。
919(1): 日高 [、] 2019/11/02(土)16:05 ID:Nft3SdkQ(13/19) AAS
>x,y,zに関する方程式
x^p+y^p=z^p （ただしz=x+r, r=p^{1/(p-1)}）
と、
X,Y,Zに関する方程式
X^p+Y^p=Z^p
が同値だと思い込んでいるようだが、有理数解を探す上では、同値ではない。
なので、同値だと思うなら、証明して、その証明が認められたうえで使え。
認められていないなら使うな。
省1
920(1): 日高 [、] 2019/11/02(土)16:08 ID:Nft3SdkQ(14/19) AAS
>x+y=z の解 x=1，y=1，z=2
X+Y=Z の解 X=1，Y=2，Z=3
比は一緒？？？
一緒ではありません。
921: 日高 [、] 2019/11/02(土)16:11 ID:Nft3SdkQ(15/19) AAS
>＞X:Z=x:zとなります。
＞x:zは整数比となりません。
証明は結局ないね
がっかりだ
827を読んで下さい。
922: 2019/11/02(土)16:25 ID:Ey8aL91h(5/7) AAS
>>919
> X^p+Y^p=Z^pのX,Y,Zは、x^p+y^p=z^pのx,y,zの定数倍となります。
定数倍になろうが、同値ではない。有理数の定数倍は無理数かもしれないので。
これが分からないなら、勉強不足。勉強しろ。なぜ無視する？
そして、過去の証明とやらは全て間違いなので、それを理由に説明するな。なぜ無視する？
923: 日高 [、] 2019/11/02(土)17:06 ID:Nft3SdkQ(16/19) AAS
>有理数の定数倍は無理数かもしれないので。
有理数の定数倍は無理数になる場合もあります。
>過去の証明とやらは全て間違いなので、それを理由に説明するな。なぜ無視する？
全て間違いとは、思っていません。
間違いを具体的に指摘してください。
924: 2019/11/02(土)17:27 ID:qqs3qXFs(2/2) AAS
>全て間違いとは、思っていません。
>間違いを具体的に指摘してください。
>>827
>③はr^(p-1)=pとすると、r=p^{1/(p-1)}となるので、②はx^p+y^p=(x+p^{1/(p-1)})…④
この行以降はデタラメ。
925: 2019/11/02(土)17:37 ID:Ey8aL91h(6/7) AAS
数学の証明において、一か所でも本質的な間違いがあれば、結論は不成立。
それが成立するかのように書いてある以上、全くの間違いと言って良い。
間違ったものを正しいかのように引用してはいけない。
そして、間違いは具体的に指摘されている。本人が無視しているだけ。
926: 2019/11/02(土)17:40 ID:Ey8aL91h(7/7) AAS
> 全て間違いとは、思っていません。
> 間違いを具体的に指摘してください。
間違っている部分が指摘されているのをふまえて、どこが正しいのか具体的に指摘してくれ。
927(1): 2019/11/02(土)17:43 ID:0EXzgLN8(1) AAS
>>920
x+y=z と X+Y=Z の場合は比が一緒にならないということだね
これが x^p+y^p=z^p と X^p+Y^p=Z^p の場合は何故比が一緒になる（定数倍になる）んですか？
928: 日高 [、] 2019/11/02(土)19:03 ID:Nft3SdkQ(17/19) AAS
>③はr^(p-1)=pとすると、r=p^{1/(p-1)}となるので、②はx^p+y^p=(x+p^{1/(p-1)})…④
この行以降はデタラメ。
デタラメの理由を教えて下さい。
929(1): 日高 [、] 2019/11/02(土)19:05 ID:Nft3SdkQ(18/19) AAS
>そして、間違いは具体的に指摘されている。本人が無視しているだけ。
どの部分でしょうか？
930(2): 日高 [、] 2019/11/02(土)19:40 ID:Nft3SdkQ(19/19) AAS
>x^p+y^p=z^p と X^p+Y^p=Z^p の場合は何故比が一緒になる（定数倍になる）んですか？
r=p^{1/(p-1)の場合のx,y,zの比と、r=(pa)^{1/(p-1)}の場合のX,Y,Zの比が一緒になります。
931: 2019/11/02(土)23:40 ID:nG28EdXl(2/2) AAS
>>930
r=p^{1/(p-1)} でない場合については何も示せてないんですね？
932: 2019/11/03(日)02:08 ID:Rtp/vN6k(1/3) AAS
>>929
無視している部分が多過ぎでわからん。
どの指摘に対してどんな返事をして、それがどう解決したのかしてないのか、具体的かつ網羅的にまとめてくれ。
933: 2019/11/03(日)02:09 ID:Rtp/vN6k(2/3) AAS
>>930
根拠不明。説明不足。疑問に答えてないのでだめ。
934: 2019/11/03(日)05:39 ID:ssgmiZNH(1) AAS
＞ r=p^{1/(p-1)の場合のx,y,zの比と、r=(pa)^{1/(p-1)}の場合のX,Y,Zの比が一緒になります。
これは成立しないって言ったろ？
r=p^{1/(p-1)の場合のx,y,zの比 は整数比ではない (xが有理数かつr,zが無理数だから）
r=(pa)^{1/(p-1)}の場合のX,Y,Zの比は整数比でしかない (xが有理数かつr,zが有理数だから）
よって、この二つの比が一致することはありえない。
935: 2019/11/03(日)05:50 ID:YAos4y0a(1/2) AAS
>>827
よく見たら、ひと続きの文章のなかに
「r^(p-1)=pとすると」と「rが有理数のとき」の矛盾する条件があるね。
この2つの条件が同時に成り立つことはない。致命的に反則。
けっきょく今回もこの反則によって証明は正しくないんだね。
936(1): 日高 [、] 2019/11/03(日)07:41 ID:gnkDQCgm(1/9) AAS
>r=p^{1/(p-1)} でない場合については何も示せてないんですね？
r=p^{1/(p-1)} でない場合は、r=(ap)^{1/(p-1)}になります。
937: 日高 [、] 2019/11/03(日)07:50 ID:gnkDQCgm(2/9) AAS
＞ r=p^{1/(p-1)の場合のx,y,zの比と、r=(pa)^{1/(p-1)}の場合のX,Y,Zの比が一緒になります。
これは成立しないって言ったろ？
r=p^{1/(p-1)の場合のx,y,zの比 は整数比ではない (xが有理数かつr,zが無理数だから）
r=(pa)^{1/(p-1)}の場合のX,Y,Zの比は整数比でしかない (xが有理数かつr,zが有理数だから）
よって、この二つの比が一致することはありえない。
例
x^2+y^2=(x+2)^2
x=3, y=4, z=5
X^2+Y^2=(X+4)^2
X=6, Y=8, Z=10
省1
938(2): 日高 [、] 2019/11/03(日)07:55 ID:gnkDQCgm(3/9) AAS
>よく見たら、ひと続きの文章のなかに
「r^(p-1)=pとすると」と「rが有理数のとき」の矛盾する条件があるね。
この2つの条件が同時に成り立つことはない。致命的に反則。
けっきょく今回もこの反則によって証明は正しくないんだね。
「rが有理数のとき」は、r=(pa)^{1/(p-1)}のときです。
939(1): 日高 [、] 2019/11/03(日)08:02 ID:gnkDQCgm(4/9) AAS
>無視している部分が多過ぎでわからん。
どの指摘に対してどんな返事をして、それがどう解決したのかしてないのか、具体的かつ網羅的にまとめてくれ。
ひとつづつ、疑問を指摘してください。お答えします。
940: 2019/11/03(日)08:08 ID:OEwGJXZC(1/2) AAS
>>936
a って何ですか？
r=p^{1/(p-1)} でも r=(ap)^{1/(p-1)} でもない場合については何も示せてないんですね？
941: 2019/11/03(日)08:23 ID:OEwGJXZC(2/2) AAS
読み返してたんだけど>>81とか>>142は結局無視されて終わってるのかな？
942: 2019/11/03(日)08:39 ID:YAos4y0a(2/2) AAS
>>938
＞r=(pa)^{1/(p-1)}のときです。
827にはそんな記載はないなあ。
いずれにしても、「r=p^{1/(p-1)}とすると」と「a^{1/(p-1)}が無理数」とr=(pa)^{1/(p-1)}は同時に成立しない。
反則状態には違いないよ。
943: 2019/11/03(日)08:46 ID:FEVXZANT(1) AAS
>>938
➂はr^(p-1)=pとすると、…④となる。④は…⑤となる。⑤は…⑥となる。
と言ってるんだから、⑥は④や⑤の前提条件であるr^(p-1)=pの時にしか成立しないのだろう。
つまり「⑥はrが有理数のとき、」と書いた時点で反則ってことなんだよ。
944: 2019/11/03(日)08:54 ID:Rtp/vN6k(3/3) AAS
>>939
> ひとつづつ、疑問を指摘してください。お答えします。
いやだね。そんな義務ないし。指摘が欲しい人が作業しろよ。
そして、どんな指摘だって答えてないじゃん。
単に一言、過去言ったことを繰り返すのは答えと言わない。その答えじゃ不足だから複数回指摘されるのだ。
同じ返答はいらない。
そして、同じ間違いを繰り返すから同じ指摘がされるのだ。
945: 2019/11/03(日)09:04 ID:UMW9vyrA(1) AAS
この屑スレも、もうすぐ1000か
数学ではない文字の羅列を議論の対象としても
永遠に同じことが繰り返されるだけだろう。
946: 2019/11/03(日)09:10 ID:bsdN5+4W(1) AAS
テンプレ置いとくか
・新しい変数を説明なしで使う
・一度定義した変数を別の意味で使う
・式の形が同じだから同値だと言い張る
・指摘してくださいと言いつつ指摘を聞く気はない
・指摘に反論できなくなるとトボけ倒して逃げる
・問い詰められると関係ない話をして逃げる
日高珍答集
・（A=Cの理由を問われて）AB=CDなので、A=Cとすると、B=Dとなる。(26ほか)
・r^(1-1)=1とすると、r=1^{1/(1-1)}となる (346)
省2
947(1): 日高 [、] 2019/11/03(日)10:12 ID:gnkDQCgm(5/9) AAS
>r=p^{1/(p-1)} でも r=(ap)^{1/(p-1)} でもない場合については何も示せてないんですね？
r=p^{1/(p-1)}でない場合は、r=(ap)^{1/(p-1)}となります。
aは、実数です。
948(1): 2019/11/03(日)10:32 ID:SXUXf31l(1/2) AAS
>>947
いいえ。aが未定義なので。
949: 2019/11/03(日)10:33 ID:SXUXf31l(2/2) AAS
>>948
証明中に未定義なので。
950(2): 日高 [、] 2019/11/03(日)17:00 ID:gnkDQCgm(6/9) AAS
>読み返してたんだけど>>81とか>>142は結局無視されて終わってるのかな？
y=b^3とおいたらどうでしょうか。
951: 日高 [、] 2019/11/03(日)17:05 ID:gnkDQCgm(7/9) AAS
>いずれにしても、「r=p^{1/(p-1)}とすると」と「a^{1/(p-1)}が無理数」とr=(pa)^{1/(p-1)}は同時に成立しない。
反則状態には違いないよ。
すみません。具体的にご指摘いただけないでしょうか。よく意味を理解することができません。
952: 日高 [、] 2019/11/03(日)17:14 ID:gnkDQCgm(8/9) AAS
>⑥は④や⑤の前提条件であるr^(p-1)=pの時にしか成立しないのだろう。
つまり「⑥はrが有理数のとき、」と書いた時点で反則ってことなんだよ。
⑥はr=(pa)^{1/(p-1)}のときです。
953: 日高 [、] 2019/11/03(日)17:23 ID:gnkDQCgm(9/9) AAS
>いいえ。aが未定義なので。
r=(ap)^{1/(p-1)}より、
a=(r/p^{1/(p-1)})^(p-1)となります。
954: 2019/11/03(日)20:23 ID:JJeedV4e(1) AAS
＞>⑥は④や⑤の前提条件であるr^(p-1)=pの時にしか成立しないのだろう。
＞つまり「⑥はrが有理数のとき、」と書いた時点で反則ってことなんだよ。
＞⑥はr=(pa)^{1/(p-1)}のときです。
それは反則だろ
r^(p-1)=pの時にしか成立しないことが
r=(pa)^{1/(p-1)}のときに成立する理由がない。
aは１じゃないんだろ？ だったら反則だ
955: 2019/11/04(月)06:37 ID:7ACp+B7J(1/5) AAS
>>950
どういうことでしょうか？
956(1): 日高 [、] 2019/11/04(月)07:57 ID:KAsH+tSd(1/7) AAS
>それは反則だろ
r^(p-1)=pの時にしか成立しないことが
r=(pa)^{1/(p-1)}のときに成立する理由がない。
aは１じゃないんだろ？ だったら反則だ
r^(p-1)=pの時に,x,y,zが整数比とならないので、
r=(pa)^{1/(p-1)}のときにX,Y,Zは整数比となりません。
957(1): 2019/11/04(月)08:11 ID:oT5agyWd(1/2) AAS
>>956
比が等しくなるとは限りません（>>915
>>927）
958(1): 日高 [、] 2019/11/04(月)08:18 ID:KAsH+tSd(2/7) AAS
>>950
どういうことでしょうか？
例
x^2+y=z^2
x=3, y=4, z=√13
両辺を2^2倍すると、
X=6, Y=16, Z=2 √13
x:y:z=X:Y:Zとなりません。
y=b^2とおくと、
x:y:z=X:Y:Zとなります。
959: 2019/11/04(月)08:19 ID:oT5agyWd(2/2) AAS
>>958
それじゃよくわかりません
何が言いたいでしょうか？
960(1): 日高 [、] 2019/11/04(月)10:25 ID:KAsH+tSd(3/7) AAS
>それじゃよくわかりません
何が言いたいでしょうか？
x^2+y=z^2とx^2+y^2=z^2は式の性質が違うということです。
961: 2019/11/04(月)10:34 ID:7ACp+B7J(2/5) AAS
>>960
どう違うのですか？
962(1): 日高 [、] 2019/11/04(月)17:11 ID:KAsH+tSd(4/7) AAS
>どう違うのですか？
958の例を見て下さい。
963(2): 2019/11/04(月)17:13 ID:7ACp+B7J(3/5) AAS
>>962
だからどう違うのですか？
あと>>957も読んでください
964(1): 日高 2019/11/04(月)17:37 ID:KAsH+tSd(5/7) AAS
>x+y=z の解 x=1，y=1，z=2
X+Y=Z の解 X=1，Y=2，Z=3
比は一緒？？？
比は一緒では、ありません。
965(2): 2019/11/04(月)20:52 ID:7ACp+B7J(4/5) AAS
>>964
それはもう聞きました
966(3): 日高 2019/11/04(月)20:59 ID:KAsH+tSd(6/7) AAS
【定理】pが奇素数のとき、x^p+y^p=z^pは自然数解を持たない。
【証明】z=x+rとおくと、x^p+y^p=(x+r)^p…(1)となる。
これを変形すると、r^(p-1){(y/r)^p-1}=p{x^(p-1)+…+r^(p-2)x}…(2)となる。
r^(p-1)=pとなるので、(1)は、x^p+y^p=(x+p^{1/(p-1)})^p…(3)となる。
(1)は、xを有理数とすると、zは無理数となる。
(2)の右辺にa(1/a)を掛けると、r^(p-1){(y/r)^p-1}=ap{x^(p-1)+…+r^(p-2)x}(1/a)…(4)となる。
(4)はr^(p-1)=apとなるので、(1)はx^p+y^p=(x+(ap)^{1/(p-1)})^p…(5)となる。
(5)の解は、(3)の解のa^{1/(p-1)}倍となる。よって、(1),(3),(5)は有理数解を持たない。
∴pが奇素数のとき、x^p+y^p=z^pは自然数解を持たない。
967: 2019/11/04(月)21:11 ID:fvckr+LD(1/2) AAS
>>966
あのな、指摘を無視し同じ内容を繰り返すのは嵐と同じ。
小学生程度の学力しかないのだから、問題を明確にするために、
当面 p=3 に限って議論したら。それで十分すぎるのだから。
968: 2019/11/04(月)21:19 ID:VG3wCasH(1) AAS
証明のはじめにxなどの定義なし。
ダメ
969(1): 日高 [、] 2019/11/04(月)21:27 ID:KAsH+tSd(7/7) AAS
>xなどの定義なし。
定義なしでは、だめなのでしょうか？
970: 2019/11/04(月)21:39 ID:7ACp+B7J(5/5) AAS
>>966
>>963,965を無視しないでください
971: 2019/11/04(月)21:54 ID:nAZ4Pnia(1) AAS
某スレの高木もそうだけど、pが奇数であることを使ってない証明は自動的に誤りになるとは気付けないのかな
972: 2019/11/04(月)23:34 ID:fvckr+LD(2/2) AAS
>定義なしでは、だめなのでしょうか？
あたりまえじゃないか。そんなこともわからんのか？
973: 2019/11/05(火)00:38 ID:7D8nr4At(1/2) AAS
>>969
ダメと書いた。根拠無く疑問を投げかけるな。
974(1): 2019/11/05(火)06:18 ID:zg4o2TsN(1) AAS
定義も何も、自然数解の有無を論じるんだから、
x,y,zはすべて自然数でなければNGやろ
x,y,zが、自然数じゃなくてもいいって日高の論を受け入れてる時点で日高の策にはまっている
比が等しいからどうこうって論もそもそもNG
975: 日高 2019/11/05(火)08:00 ID:lG9JzYXO(1/13) AAS
【定理】pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
【証明】pは奇素数とする。x^p+y^p=z^p…①が、有理数解を持つかを検討する。
①をz=x+rとおくと、x^p+y^p=(x+r)^p…②となる。②を積の形に変形してrを求める。
②を(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)})…④
となる。
④はxを有理数とすると、zは無理数となる。よって、④,②,①は有理数解を持たない。
rが有理数ならば、④の両辺に(a^{1/(p-1)})^pを掛けた
(xa^{1/(p-1)})^p+(ya^{1/(p-1)})^p=(xa^{1/(p-1)}+(pa)^{1/(p-1)})^p…⑤となる。
省3
976: 2019/11/05(火)08:07 ID:lSqxSY9n(1/5) AAS
日本語がわからんのか。
x,y,zは複素数rは四元数なのか。
977(1): 2019/11/05(火)08:12 ID:7D8nr4At(2/2) AAS
>>974
楕円曲線の有理点の立場が･･･
978: 2019/11/05(火)08:23 ID:+lbPVybl(1/2) AAS
「x:y:z=X:Y:Z のとき、x^p+y^p=z^p ならば X^p+Y^p=Z^p」は正しいが
「x^p+y^p=z^p ならば X^p+Y^p=Z^p のとき x:y:z=X:Y:Z」は正しくない
日高はこのことを理解していない
同様に
「A=C かつ B=D のとき AC=BD」は正しいが
「AC=BD のとき A=C かつ B=D」は正しくない
979: 日高 [、] 2019/11/05(火)08:23 ID:lG9JzYXO(2/13) AAS
>>966
>>963,965を無視しないでください
具体的に書いて下さい。
980: 2019/11/05(火)08:26 ID:+lbPVybl(2/2) AAS
>>977
楕円曲線の有理点を使うにしても、自然数でなければならない x,y,z とは別の変数を使うべきだろう。
日高のような誤りを引き起こしやすい（現に誤っている）初心者は特にそう
981: 日高 2019/11/05(火)08:28 ID:lG9JzYXO(3/13) AAS
>x,y,zはすべて自然数でなければNGやろ
「xを有理数とすると」としています。
982: 日高 2019/11/05(火)08:33 ID:lG9JzYXO(4/13) AAS
>当面 p=3 に限って議論したら。それで十分すぎるのだから。
pに3を代入してみて下さい。
983: 日高 2019/11/05(火)08:36 ID:lG9JzYXO(5/13) AAS
>某スレの高木もそうだけど、pが奇数であることを使ってない証明は自動的に誤りになるとは気付けないのかな
よく意味がわかりません。
984(2): 日高 2019/11/05(火)08:39 ID:lG9JzYXO(6/13) AAS
>x,y,zは複素数rは四元数なのか。
違います。
x,y,z,rは、実数です。
985(1): 日高 2019/11/05(火)08:42 ID:lG9JzYXO(7/13) AAS
>「x:y:z=X:Y:Z のとき、x^p+y^p=z^p ならば X^p+Y^p=Z^p」は正しいが
「x^p+y^p=z^p ならば X^p+Y^p=Z^p のとき x:y:z=X:Y:Z」は正しくない
日高はこのことを理解していない
同様に
「A=C かつ B=D のとき AC=BD」は正しいが
「AC=BD のとき A=C かつ B=D」は正しくない
すみません。詳しく説明していただけないでしょうか。
986: 日高 2019/11/05(火)08:45 ID:lG9JzYXO(8/13) AAS
>楕円曲線の有理点を使うにしても、自然数でなければならない x,y,z とは別の変数を使うべきだろう。
日高のような誤りを引き起こしやすい（現に誤っている）初心者は特にそう
楕円曲線については、まったくわかりません。
987: 2019/11/05(火)09:25 ID:NdMcsV0C(1) AAS
>>985
そんなことも知らないで証明なんかできんだろ
原因と結果を入れ換えちゃダメだって学校で習わなかったかい？？
988: 日高 [、] 2019/11/05(火)09:40 ID:lG9JzYXO(9/13) AAS
>原因と結果を入れ換えちゃダメだって学校で習わなかったかい？？
該当する部分はどこでしょうか？
989: 2019/11/05(火)10:26 ID:lSqxSY9n(2/5) AAS
>>984
>違います。
>x,y,z,rは、実数です。
pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
を証明するにx,y,z,rを実数と仮定してどうするのだw
---------------------------------
990: 日高 [、] 2019/11/05(火)11:12 ID:lG9JzYXO(10/13) AAS
>pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
を証明するにx,y,z,rを実数と仮定してどうするのだw
証明の途中で、「xを有理数とすると」としています。
991: 2019/11/05(火)11:33 ID:Su4gHmrG(1) AAS
>>984
後からの説明に意味はない。
とにかく証明が間違い。
992: 2019/11/05(火)15:43 ID:lSqxSY9n(3/5) AAS
> 証明の途中で、「xを有理数とすると」としています。
君の頭はホントに大丈夫かwwww
x,y,z のうち、どれか1つでも実数なら、pが奇素数のとき
x^p+y^p=z^p
は成り立ってしまうじゃないか。
最初はx,y,zは実数であると仮定しておいて、途中からxだけ有理数
とするようなデタラメ極まる証明に何の価値がある。
993(1): 日高 [、] 2019/11/05(火)16:03 ID:lG9JzYXO(11/13) AAS
>最初はx,y,zは実数であると仮定しておいて、途中からxだけ有理数
とするようなデタラメ極まる証明に何の価値がある。
どうして駄目でしょうか？
実数と仮定することは、有理数、無理数どちらも可能性があるということです。
994: 2019/11/05(火)16:55 ID:lSqxSY9n(4/5) AAS
> 実数と仮定することは、有理数、無理数どちらも可能性があるということです
もちろんその通りだ。しかし、x,y,z および z = x + r で定義される r のどれか 1つでも無理数だったら
pが奇素数のとき、x^p+y^p=z^p
は成り立ってしまうのだから、最初に実数と仮定した x,y,z,r のどれか1つだけを途中で有理数と仮定して
証明を展開するのはバカげている。
995: 2019/11/05(火)17:23 ID:HwGAerQf(1) AAS
>>993
＞有理数、無理数どちらも可能性があるということです。
君は嘘つきだね
xとzが共に有理数である可能性は、最初から無視してるじゃないか
996: 日高 [、] 2019/11/05(火)20:13 ID:lG9JzYXO(12/13) AAS
> 実数と仮定することは、有理数、無理数どちらも可能性があるということです
もちろんその通りだ。しかし、x,y,z および z = x + r で定義される r のどれか 1つでも無理数だったら
pが奇素数のとき、x^p+y^p=z^p
は成り立ってしまうのだから、最初に実数と仮定した x,y,z,r のどれか1つだけを途中で有理数と仮定して
成り立ってしまうのだから証明を展開するのはバカげている。
「成り立つとき」x,y,zが共に有理数とならないならば、x,y,zは、自然数解を持たないことになります。
997: 日高 [、] 2019/11/05(火)20:21 ID:lG9JzYXO(13/13) AAS
＞君は嘘つきだね
xとzが共に有理数である可能性は、最初から無視してるじゃないか
「最初から無視」ではありません。
r=p^{1/(p-1)}, x^p+y^p=(x+p^{1/(p-1)})の部分からです。
998: 2019/11/05(火)20:57 ID:VHe6nz/g(1) AAS
言い訳はいらない。
必要なのは反省と修正のみ。
999: 2019/11/05(火)22:05 ID:lSqxSY9n(5/5) AAS
このヴァカはやはり次スレを立てるのだろうか（笑）
1000: 2019/11/05(火)22:56 ID:gRxHzYnm(1) AAS
１０００なら永久に
このスレ終了！！！！！！！！！！！！！！！！！！
1001(1): 1001 Over 1000 Thread AAS
このスレッドは１０００を超えました。
新しいスレッドを立ててください。
life time: 43日 13時間 22分 53秒
1002(1): 1002 Over 1000 Thread AAS
5ちゃんねるの運営はプレミアム会員の皆さまに支えられています。
運営にご協力お願いいたします。
───────────────────
《プレミアム会員の主な特典》
★ 5ちゃんねる専用ブラウザからの広告除去
★ 5ちゃんねるの過去ログを取得
★ 書き込み規制の緩和
───────────────────
会員登録には個人情報は一切必要ありません。
月300円から匿名でご購入いただけます。
省4
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.240s*