フェルマーの最終定理の簡単な証明2at MATH
フェルマーの最終定理の簡単な証明2 - 暇つぶし2ch1008:日高
19/11/29 08:23:43 yqQadrDU.net
>なんかさ、ジャーナル出してみたら?

意味がわかりません。

1009:132人目の素数さん
19/11/29 08:45:41.11 /m1zJVqd.net
 もうすぐ1000だな。
 何の価値もない、爺さんの愚痴をまとめたような雑文がPart3に入ってしまうのか。

1010:132人目の素数さん
19/11/29 09:47:56.83 YAVvH3FT.net
お前ら、楽しそうだな

1011:日高
19/11/29 10:10:30.65 yqQadrDU.net
>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ではない。
この事が、どうして、私の証明が誤りということになるのでしょうか?

1012:日高
19/11/29 10:34:59 yqQadrDU.net
>まだ確認したいことはありますか?

ありません。

>そろそろ>>926の問題を解けそうですか?

すみません。もうすこし、時間を下さい。

1013:132人目の素数さん
19/11/29 10:40:34 861m1wr5.net
926がぱっと答えられないのに、よくこの問題が解けたと表明する気になったなw
これだから、理解しやすい問題に取り組むアマチュア数学家は笑われるのに。

1014:132人目の素数さん
19/11/29 10:48:43.73 JxAs7OyT.net
あと>>134の指摘も致命的だよね

1015:132人目の素数さん
19/11/29 11:10:49 nbI+bv2q.net
>>374
での自分の間違いもスルー

1016:132人目の素数さん
19/11/29 12:02:31.71 zE26hiXk.net
>>986
>すみません。もうすこし、時間を下さい。
それは構いませんが、その時間であなたは何をするつもりですか?心の整理ですか?
>>926は初学者用の練習問題です。間違えてもいいので答えを書いてみてください。
ヒントとして①の解答を書いておきます
①正三角形ならば三つの辺の長さが等しい
仮定:(ある三角形が)正三角形である
結論:(その三角形の)三つの辺の長さが等しい

1017:日高
19/11/29 12:31:02.01 yqQadrDU.net
>x^2+y^2=(x+π)^2, z=x+π
は有理数解を持たない。
X^2+Y^2=Z^2
は有理数解を持つ。
この事実をどう思っているんだ?
日高の理屈ならx:y:z=X:Y:Zだろ?
「x:y:zが整数比とならないので、X:Y:Zも整数比となりません。」
これは、ま違いでした。訂正します。
x,y,zは、無理数で、整数比になります。よって、x:y:z=X:Y:Zとなります。

1018:132人目の素数さん
19/11/29 12:51:31.50 nbI+bv2q.net
>>991
有理数解が無ければ整数比にならないんじゃないの?

1019:132人目の素数さん
19/11/29 13:54:31 yqQadrDU.net
?正三角形ならば三つの辺の長さが等しい
仮定は、正三角形。結論は、三つの辺の長さが等しい。です。
?二つの内角が等しい三角形は二等辺三角形である
逆にすると、
二等辺三角形ならば二つの内角が等しい。
これならば、仮定は、二等辺三角形。結論は、二つの内角が等しい。です。
?nを自然数とする。nが10の倍数ならばnは5で割り切れる
仮定は、nが10の倍数。結論は、nは5で割り切れる。です。
?nを自然数とする。nの二乗が奇数ならばnは奇数である
仮定は、nの二乗が奇数。結論は、nは奇数。です。
?日本の山の中で一番高い山は富士山である
仮定は、日本の山の中で一番高い山。結論は、富士山。です。

1020:日高
19/11/29 14:09:23 yqQadrDU.net
>有理数解が無ければ整数比にならないんじゃないの?

>x^2+y^2=(x+π)^2, z=x+π
は有理数解を持ちませんが、

無理数解x=3π/2,y=4π/2,z=5π/2を、持ちます。
x:y:zは、整数比になります。

1021:日高
19/11/29 14:12:59 yqQadrDU.net
何度も書くが、Case BとCase Aは独立なので、
* Case Aで書いたことはCase Aの中でのみ有効。
* なのでCase B中でCase A中の式は使えない。(正確に言えば、使おうとするとCase Aのときの証明とは独立に定義・証明が必要)
ということ。

理由を教えていただけないでしょうか。

1022:132人目の素数さん
19/11/29 14:16:39 JxAs7OyT.net
>>995
すまん。俺は
「数学のルールだから」
としか言えない。

1023:日高
19/11/29 14:26:17 yqQadrDU.net
【定理】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は、自然数解を持たない。

1024:132人目の素数さん
19/11/29 14:47:59.60 nbI+bv2q.net
>>994
つまり、有理数解が無ければ整数比にならないと言っていたのは、大嘘確定。

1025:132人目の素数さん
19/11/29 14:48:15.06 nbI+bv2q.net
>>997
反省なし。ゴミ

1026:132人目の素数さん
19/11/29 14:52:27 zE26hiXk.net
>>993
そのとおり!よくできました!
このように推論や証明には必ず仮定と結論があります。

次の段階に進みましょう
? 二つの内角が等しい三角形は二等辺三角形である
仮定:二つの内角が等しい三角形
結論:(その三角形は)二等辺三角形である(つまり二つの辺の長さが等しい)
です。
これを証明してみましょう。

三角形の合同条件を三つ覚えていますか?言えますか?

1027:1001
Over 1000 Thread .net
このスレッドは1000を超えました。
新しいスレッドを立ててください。
life time: 23日 5時間 50分 14秒

1028:過去ログ ★
[過去ログ]
■ このスレッドは過去ログ倉庫に格納されています


最新レス表示
レスジャンプ
類似スレ一覧
スレッドの検索
話題のニュース
おまかせリスト
オプション
しおりを挟む
スレッドに書込
スレッドの一覧
暇つぶし2ch