フェルマーの最終定理の簡単な証明2at MATH
フェルマーの最終定理の簡単な証明2 - 暇つぶし2ch950:132人目の素数さん
19/11/28 11:46:24.52 rgRAGsWD.net
>>925
>r^(p-1)=apは、結論でしょうか?
aが定義されていないので結論かどうか判断できません。(過去に何度も指摘されています。証明に加えてください。)
もしあなたが復習をしたいと思っているなら、次の問題に答えてみてください。
問.次の文の仮定と結論をそれぞれ答えよ
①正三角形ならば三つの辺の長さが等しい
②二つの内角が等しい三角形は二等辺三角形である
③nを自然数とする。nが10の倍数ならばnは5で割り切れる
④nを自然数とする。nの二乗が奇数ならばnは奇数である
⑤日本の山の中で一番高い山は富士山である

951:日高
19/11/28 12:08:37.54 1uG5ZQsU.net
>>あなたは「r^(p-1)=p」を仮定と考えていますか?結論と考えていますか?
なぜ、「r^(p-1)=p」が仮定か結論かを、言わないといけないのでしょうか?
証明には、必ず必要なことなのでしょうか?

952:日高
19/11/28 12:12:12.63 1uG5ZQsU.net
>もしあなたが復習をしたいと思っているなら、次の問題に答えてみてください。
問.次の文の仮定と結論をそれぞれ答えよ
①正三角形ならば三つの辺の長さが等しい
②二つの内角が等しい三角形は二等辺三角形である
③nを自然数とする。nが10の倍数ならばnは5で割り切れる
④nを自然数とする。nの二乗が奇数ならばnは奇数である
⑤日本の山の中で一番高い山は富士山である
すみません。仮定と結論の意味を詳しく教えていただけないでしょうか。

953:132人目の素数さん
19/11/28 12:17:23.11 0J9MnMbZ.net
>>927
仮定か結論かよく分からない箇所が一つでもあれば、証明ではない。妄想。
はっきりさせることが絶対に必要。
誇張ではない。
絶対とか必要の意味分かる?

954:132人目の素数さん
19/11/28 12:34:18.13 uU2esQPq.net
仮定と結論の意味も分からないのになんで数学の真似事してるの?

955:日高
19/11/28 12:40:36.21 1uG5ZQsU.net
>仮定か結論かよく分からない箇所が一つでもあれば、証明ではない。妄想。
はっきりさせることが絶対に必要。
誇張ではない。
絶対とか必要の意味分かる?
すみません。仮定、結論、絶対、必要の意味を詳しく教えていただけないでしょうか。

956:日高
19/11/28 12:42:26.02 1uG5ZQsU.net
>仮定と結論の意味も分からないのになんで数学の真似事してるの?
すみません。仮定と結論の意味を詳しく教えていただけないでしょうか。

957:132人目の素数さん
19/11/28 12:43:22.08 e3y1dAVD.net
だんだん哲学的になってきたなwww

958:132人目の素数さん
19/11/28 13:00:29.69 rgRAGsWD.net
>>927
>なぜ、「r^(p-1)=p」が仮定か結論かを、言わないといけないのでしょうか?
>証明には、必ず必要なことなのでしょうか?
はい。証明には必ず仮定と結論が必要です。
「仮定」:推論の出発点となる条件
「結論」:推論において仮定や前提から導き出された判断
数学においては
「◯◯ならば△△である」という文の
◯◯が仮定、△△が結論にあたります。
「◯◯は△△である」と表されることもあります。
ここまでは理解できましたか?
もし理解できたのなら、>>926の問題に答えてみてください。

959:132人目の素数さん
19/11/28 13:40:28.01 uU2esQPq.net
>すみません。仮定と結論の意味を詳しく教えていただけないでしょうか。
すみません。「意味」、「詳しく」、「教えて」とは何か説明していただけないでしょうか。

960:日高
19/11/28 13:42:58.75 1uG5ZQsU.net
>数学においては
「◯◯ならば△△である」という文の
◯◯が仮定、△△が結論にあたります。
「◯◯は△△である」と表されることもあります。
すみません。もう少し詳しく説明していただけないでしょうか。
できるならば、具体的に例をあげて貰えないでしょうか。
また、仮定と結論を使った証明の例をあげてもらえれば、助かります。

961:132人目の素数さん
19/11/28 13:46:43.17 Zr5IGbOJ.net
人に意味を尋ねる前に辞書を引くなり、インターネットで調べるなりしろよ。
完全に人を馬鹿にしてるね。

962:132人目の素数さん
19/11/28 13:50:13 uU2esQPq.net
馬鹿にしてるんじゃなくて、そうやってとぼけ続ければ反証されないからやってるんだと思うよ

963:日高
19/11/28 13:57:17 1uG5ZQsU.net
>人に意味を尋ねる前に辞書を引くなり、インターネットで調べるなりしろよ。
完全に人を馬鹿にしてるね。

ちがいます。完全に納得したいからです。
仮定と結論の意味は、一つでしょうか?

964:日高
19/11/28 13:59:36 1uG5ZQsU.net
>馬鹿にしてるんじゃなくて、そうやってとぼけ続ければ反証されないからやってるんだと思うよ

そうでは、ありません。完全に納得したいからです。

965:132人目の素数さん
19/11/28 15:16:44.80 rgRAGsWD.net
>>936
>できるならば、具体的に例をあげて貰えないでしょうか。
>また、仮定と結論を使った証明の例をあげてもらえれば、助かります。
いいですよ。
例1.「奇数と偶数の和は必ず奇数になる」ことを証明せよ
この文の仮定は「奇数と偶数の和(=Xとする)」
結論は「(Xは)奇数である」 です。証明します。
<証明>
m,nを整数とすると、奇数は2m+1,偶数は2nと表せる
これらの和は
(2m+1) +2n =2(m


966:+n)+1 (m+n)は整数なので、2(m+n)+1 は奇数である。 以上により示された◾ なにかわからないところはありますか? 他にも例が欲しいですか? なるべくあなたの考えも含めて答えてください。



967:132人目の素数さん
19/11/28 16:40:37.61 50KQ0MFZ.net
m,nを整数とすると、奇数は2m+1,偶数は2nと表せる
なんか汚いな
2mを偶数とする(∀m∈Z≧0)
このとき奇数を2m+1で表す

968:132人目の素数さん
19/11/28 16:44:18.55 EmyLOSIb.net
>>939
まずは自分で調べろよ。
話はそれからだ。ボケ老人

969:日高
19/11/28 18:56:55.13 1uG5ZQsU.net
>なにかわからないところはありますか?
わかりました。
フェルマーの最終定理の証明の場合、
仮定は、何で、結論は何となるのでしょうか?

970:日高
19/11/28 19:03:17.01 1uG5ZQsU.net
>2mを偶数とする(∀m∈Z≧0)
すみません。
(∀m∈Z≧0)この記号の意味を教えていただけないでしょうか。

971:132人目の素数さん
19/11/28 19:09:34.22 e3y1dAVD.net
>>944
質問ばかりしてないで925に答えなさいよ
そうすれば本当にわかったかどうか確認できるから

972:132人目の素数さん
19/11/28 19:11:53.78 AIno30ma.net
>>946
間違った、925じゃなくて926ね
仮定と結論を答える問題

973:132人目の素数さん
19/11/28 19:58:06.49 EmyLOSIb.net
>>940
納得するためには本人の勉強が必要なんだよ。痴呆野郎

974:132人目の素数さん
19/11/28 20:00:58.67 QDJ68UPN.net
>>906
⑥のX,Y,Zは④のx,y,zのa^{1/(p-1)}倍となるので、X:Y:Z=x:y:zとなる。よって、⑥も式は成り立たない。
>>923
⑥のX,Y,Zは④のx,y,zのa^{1/(p-1)}倍となるので、X:Y:Z=x:y:zとなる。よって、⑥も式は成り立たない。
何の進歩もない。

975:日高
19/11/28 20:07:07.72 1uG5ZQsU.net
>まずは自分で調べろよ。
すみません。自分で調べるよりも、深く内容が、理解できると思います。

976:日高
19/11/28 20:10:58.20 1uG5ZQsU.net
>間違った、925じゃなくて926ね
先ず、質問の内容を、正しく理解することが必要だと思います。

977:日高
19/11/28 20:14:19.93 1uG5ZQsU.net
>納得するためには本人の勉強が必要なんだよ。痴呆野郎
勉強するよりも、専門家に尋ねた方が、早く正確に、分かると思います。

978:日高
19/11/28 20:15:59.30 1uG5ZQsU.net
>何の進歩もない。
すみません。同じ考えしかできません。

979:132人目の素数さん
19/11/28 20:18:48.07 e3y1dAVD.net
>>951
仮定と結論の意味はわかったんじゃないの?
だったら答えられるはずだけど。
それともまだ納得していないの?

980:日高
19/11/28 20:36:20.06 1uG5ZQsU.net
>仮定と結論の意味はわかったんじゃないの?
少し、わかりましたが、まだ、完全にはわかりません。

981:132人目の素数さん
19/11/28 20:37:04.70 EmyLOSIb.net
>>952
> 勉強するよりも、専門家に尋ねた方が、早く正確に、分かると思います。
妄想。
相手の意見聞かないじゃん。
専門家の意見は、お前には勉強が必要。

982:132人目の素数さん
19/11/28 20:42:45.80 QDJ68UPN.net
「あるrに対してはx^p+y^p=(x+r)^pに有理数解がない」は言えたとしても
これに無理数解X,YでX:Y:X+rが自然数比になる解がないとは言えない。
X/d,Y/d,(X+r)/dが自然数だとして、
X,YがみたすのはX^p+Y^p=(X+r)^pだから
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ではない。
ここが日高氏の証明の誤りの中核部分だと思う。

983:日高
19/11/28 20:46:53.25 1uG5ZQsU.net
>相手の意見聞かないじゃん。
意見は、聞きます。それを、自分で考えます。
>専門家の意見は、お前には勉強が必要。
なぜでしょうか?

984:132人目の素数さん
19/11/28 20:51:53.57 OSg+2ZO8.net
>>957
せやな
さらに日高の誤りの源泉は。「比が同じものを同一視する」という点にある
「比が同じものを同一視する」ことをやめない限り、日高は永遠に誤り続ける

985:132人目の素数さん
19/11/28 21:01:20.37 EmyLOSIb.net
>>958
> なぜでしょうか?
このようにすぐに疑問でごまかすから。

986:日高
19/11/28 21:04:11.38 1uG5ZQsU.net
>これに無理数解X,YでX:Y:X+rが自然数比になる解がないとは言えない。
この場合の、rは
p^{1/(p-1)}でしょうか、それとも、(pa)^{1/(p-1)}でしょうか。

987:日高
19/11/28 21:09:21.57 1uG5ZQsU.net
>さらに日高の誤りの源泉は。「比が同じものを同一視する」という点にある
「比が同じものを同一視する」ことをやめない限り、日高は永遠に誤り続ける
比が同じものは、同一では、ありません。
「同一視する」の言葉の意味を詳しく説明していただけないでしょうか。

988:132人目の素数さん
19/11/28 21:09:58.89 QDJ68UPN.net
>>961
その前の行に書いてあるrです。

989:日高
19/11/28 21:12:22.61 1uG5ZQsU.net
> なぜでしょうか?
このようにすぐに疑問でごまかすから。
疑問でごまかしては、いません。
理由を知りたいから、お聞きしています。

990:132人目の素数さん
19/11/28 21:13:24.53 EmyLOSIb.net
>>961
ほら。書いてあることを理解する事も出来ない。
勉強不足。

991:日高
19/11/28 21:15:01.90 1uG5ZQsU.net
>その前の行に書いてあるrです。
p^{1/(p-1)}でしょうか。

992:132人目の素数さん
19/11/28 21:15:16.06 EmyLOSIb.net
>>964
自分で考えずただ聞き返すのは


993:ごまかし。知りたいからとただ聞き返す権利なんかねえよ。



994:日高
19/11/28 21:17:22.63 1uG5ZQsU.net
>ほら。書いてあることを理解する事も出来ない。
わからないので、尋ねています。

995:日高
19/11/28 21:20:32 1uG5ZQsU.net
>自分で考えずただ聞き返すのはごまかし。知りたいからとただ聞き返す権利なんかねえよ。

すみません。考えてわからないので、聞きました。

996:日高
19/11/28 21:25:29 1uG5ZQsU.net
>「あるrに対してはx^p+y^p=(x+r)^pに有理数解がない」は言えたとしても
これに無理数解X,YでX:Y:X+rが自然数比になる解がないとは言えない。
X/d,Y/d,(X+r)/dが自然数だとして、
X,YがみたすのはX^p+Y^p=(X+r)^pだから
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,YがみたすのはX^p+Y^p=(X+r)^pだから」
すみません。この部分を詳しく説明していただけないでしょうか?

997:132人目の素数さん
19/11/28 21:41:23.04 vFdTuTRj.net
>>955
> 仮定と結論の意味はわかったんじゃないの?
>
> 少し、わかりましたが、まだ、完全にはわかりません。
こんなこと言われても、何がわかっていて何がわかっていないのか全く判断できない。
926の問題に答えてもらえたら、だいたい見当がつくんだが、
答えたくないみたいだね。

998:132人目の素数さん
19/11/28 21:50:19 yb2KzDBF.net
>>969

> >自分で考えずただ聞き返すのはごまかし。知りたいからとただ聞き返す権利なんかねえよ。
>
> すみません。考えてわからないので、聞きました。
考えるってのは、いろいろ調べたり勉強しながら試行錯誤する事だ。すぐに返事があることが考えてない証拠。

999:132人目の素数さん
19/11/28 21:54:07 Vn6MeR0Q.net
なんかさ、ジャーナル出してみたら?

1000:132人目の素数さん
19/11/28 21:59:54.61 QDJ68UPN.net
>>970
じゃあ書き直してあげよう。
「ある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ではない。
ここが日高氏の証明の誤りの中核部分だと思う。

1001:132人目の素数さん
19/11/28 22:01:14.25 BQCJXL6G.net
高木と同じでジャーナルに出入り禁止になりまくっても懲りないだろう

1002:132人目の素数さん
19/11/28 22:05:11.51 yb2KzDBF.net
それに、英語でかけないんじゃ?

1003:132人目の素数さん
19/11/28 22:25:17.24 vG3yzNgW.net
>>974
>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ではない。
なるほど
日高はrを(1/d)倍するのを忘れたのか
うっかりさんだね

1004:132人目の素数さん
19/11/28 22:39:28.70 lvt0VL8R.net
3930
しろ@hu_corocoro 11月27日
苦節6ヶ月、初満点&一等賞です!
URLリンク(twitter.com)
(deleted an unsolicited ad)

1005:132人目の素数さん
19/11/29 01:09:52.80 npkhvexd.net
>944
>フェルマーの最終定理の証明の場合、
>仮定は、何で、結論は何となるのでしょうか?
フェルマーの最終定理の場合、
3以上の自然数nに対して
仮定:x^n +y^n =z^nが成り立つ
結論:自然数の組(x,y,z)は存在しない
です。
まだ確認したいことはありますか?
そろそろ>>926の問題を解けそうですか?

1006:日高
19/11/29 08:20:15 yqQadrDU.net
>答えたくないみたいだね。

もうすこし、時間を下さい。

1007:日高
19/11/29 08:21:46 yqQadrDU.net
>考えるってのは、いろいろ調べたり勉強しながら試行錯誤する事だ。すぐに返事があることが考えてない証拠。

そうですね。

1008:日高
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