フェルマーの最終定理の簡単な証明8at MATH
フェルマーの最終定理の簡単な証明8 - 暇つぶし2ch1011:日高
20/05/16 20:57:33 eJ54C5Ma.net
>980
違いますけど、興味があるから聞いてます。

興味があるなら、計算してみて下さい。

1012:132人目の素数さん
20/05/16 20:58:19 +W822fZd.net
>>981
あなたが何を言いたいのかわかりません。もういいです。

1013:日高
20/05/16 20:59:23 eJ54C5Ma.net
(改15)
【定理】pが奇素数のとき、x^p+y^p=z^pの解x,y,zは0以外の有理数とならない。
【証明】x^p+y^p=z^pを、z=x+rとおいてx^p+y^p=(x+r)^p…(1)とする。
(1)の両辺をr^pで割って、両辺を積の形にすると、
r^(p-1){(y/r)^p-1}=p{x^(p-1)+…+r^(p-2)x}…(2)となる。
(2)はr^(p-1)=pのとき、x^p+y^p=(x+p^{1/(p-1)})^p…(3)となる。
(3)はrが無理数なので、yを0以外の有理数とすると、xは有理数とならない。
∴pが奇素数のとき、x^p+y^p=z^pの解x,y,zは0以外の有理数とならない。

1014:日高
20/05/16 21:00:20 eJ54C5Ma.net
【定理】p=2のとき、x^p+y^p=z^pの解x,y,zは0以外の有理数となる。
【証明】x^p+y^p=z^pを、z=x+rとおいてx^p+y^p=(x+r)^p…(1)とする。
(1)の両辺をr^pで割って、両辺を積の形にすると、
r^(p-1){(y/r)^p-1}=p{x^(p-1)}…(2)となる。
(2)はr^(p-1)=pのとき、x^p+y^p=(x+p^{1/(p-1)})^p…(3)となる。
(3)はrが有理数なので、yを0以外の有理数とすると、xは有理数となる。
∴pが奇素数のとき、x^p+y^p=z^pの解x,y,zは0以外の有理数となる。

1015:132人目の素数さん
20/05/16 21:01:39 +W822fZd.net
>>982
私には計算できないので、教えてください。

1016:132人目の素数さん
20/05/16 21:01:55 N+ROc4mq.net
>>977
まずキミの計算内容をこのスレに貼り付けろよw
キミの計算では無理数になったんだろ?
その計算をこのスレに貼り付けろよ。

1017:132人目の素数さん
20/05/16 21:01:56 jn0w7PjV.net
>>959

わけわからんが、とりあえず進んでみよう

、x=αs,y=αt,z=αuを代入したとき,z=x+rが、z=ax+αrになるので、

αu=aαs+αrとなる、でいいですか?

で、これだと>>945の証明でx^pの候が消えないので(1)が(2)に変形できませんけどそこはどうします?

1018:132人目の素数さん
20/05/16 21:03:41 0oTmN93N.net
>>984 日高
rが特別な値のときしか調べていないので誤りです。

1019:132人目の素数さん
20/05/16 21:06:57 jIGJy8X1.net
そろそろこのスレは終わるけど、日高は次スレを立てる前にせめて中学数学ぐらいは勉強してきてほしい

1020:132人目の素数さん
20/05/16 21:28:05 jn0w7PjV.net
>>981

もともと、スレリンク(math板)>>1から>>541で、

(改10)
【定理】pが奇素数のとき、x^p+y^p=z^pの解x,y,zは整数比とならない。
【証明】x^p+y^p=z^pを、z=x+rとおいてx^p+y^p=(x+r)^p…(1)とする。

x、y、zが無理数で整数比の時の話が全然証明できていなかった
それをあなたが スレリンク(math板)>>546

(改11)
【定理】pが奇素数のとき、x^p+y^p=z^pの解x,y,zは整数比とならない。
【証明】x,yは有理数とする。

と置いて一応は回避したのに、またあなたが スレリンク(math板)>>768

(改13)
【定理】pが奇素数のとき、x^p+y^p=z^pの解x,y,zは0以外の有理数とならない。
【証明】x^p+y^p=z^pを、z=x+rとおいてx^p+y^p=(x+r)^p…(1)とする。

と元に戻したのですから、解決していなかったx、y、zが無理数で整数比の時の話が復活してくるのは当然です。
復活させたのはあなたです。

1021:132人目の素数さん
20/05/16 21:35:31 rJTfhTN8.net
>>976
> >967
> どうしてか聞く前に、全ての指摘について、あてはまるかどうか検討し、解決していないものが当てはまれば、解決してから証明書け。
>
> よく意味がわかりません。
また出たよ。誤魔化し。

間違いが指摘されているのだから、直さない限り同じことを書くな。ゴミ。

1022:132人目の素数さん
20/05/17 05:20:23.50 SqLUwrly.net
>>961
日高の無理数判定方法がおかしいから
(27+6√21)^{1/3} + (27-6√21)^{1/3}
は3と等しいのだけどこれを無理数だと勘違いしてしまう

1023:日高
20/05/17 07:30:38 e9XxUXKw.net
>993
日高の無理数判定方法がおかしいから
(27+6√21)^{1/3} + (27-6√21)^{1/3}
は3と等しいのだけどこれを無理数だと勘違いしてしまう

すみません。3でした。

でも、この問題と、x^p+y^p=(x+p^{1/(p-1)})^pの
無理数判定方法は、違います。

1024:日高
20/05/17 07:36:24 e9XxUXKw.net
>987
まずキミの計算内容をこのスレに貼り付けろよw
キミの計算では無理数になったんだろ?

計算間違いでした。有理数です。

1025:132人目の素数さん
20/05/17 08:00:47 AJ5LlY01.net
>>994
この例は、

>>882
> 有理数になる場合は、
> 片方の無理数が、有理数ー無理数の場合のみだと思います。
の反例にもなっているよね。

1026:日高
20/05/17 08:56:36 e9XxUXKw.net
>988
z=ax+αrになるので、

この部分が、わかりません。

1027:132人目の素数さん
20/05/17 08:59:51 /v33qvWM.net
>>997
> >988
> z=ax+αrになるので、
>
> この部分が、わかりません。

認知症が悪化してるようだな。
自分が書いたことも忘れたのか。

1028:日高
20/05/17 09:01:14 e9XxUXKw.net
>989
rが特別な値のときしか調べていないので誤りです。

rが別の値(式の中で)となっても、x,y,zの比は、変わりません。

1029:日高
20/05/17 09:05:11 e9XxUXKw.net
>991
と元に戻したのですから、解決していなかったx、y、zが無理数で整数比の時の話が復活してくるのは当然です。
復活させたのはあなたです。

すみません。そうでした。

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

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


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