フェルマーの最終定理の簡単な証明

日高 · 2019/09/23(月) 09:33:36.12

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は自然数解を持たない。

**１３２人目の素数さん** · 2019/09/23(月) 09:50:21.96

ファルマーの冒険って小説なかったっけ？

日高 · 2019/09/23(月) 10:22:04.56

どこか、
おかしいところが、あるでしょうか？

**１３２人目の素数さん** · 2019/09/23(月) 10:52:20.95

>r=p^{1/(p-1)}となるので
なんで？

日高 · 2019/09/23(月) 12:05:14.99

x^p+y^p=(x+r)^pの両辺をr^pで割る。
(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)}となります。

**１３２人目の素数さん** · 2019/09/23(月) 12:46:00.20

(y/r)^p-1=p{(x/r)^(p-1)+...+x/r},

はなぜですか？

日高 · 2019/09/23(月) 13:24:40.70

わかりやすく、p=3の場合で計算します。
(y/r)^3-1=3{(x/r)^2+x/r}, r^2{(y/r)^3-1}=3(x^2+rx),
r^2=3とすると、r=3^(1/2)となります。

**１３２人目の素数さん** · 2019/09/23(月) 15:08:16.60

p=4の時はどうなりますか？

日高 · 2019/09/23(月) 15:22:43.21

r=4^(1/3)となります。

**１３２人目の素数さん** · 2019/09/23(月) 15:25:39.37

(y/r)^p-1=p{(x/r)^(p-1)+...+x/r},

この計算をp=4の場合にもしていただきたいです

日高 · 2019/09/23(月) 16:49:51.72

p=4は、奇素数ではないので、p=5でやります。
(y/r)^5-1=5{(x/r)^(5-1)+...+x/r},
r^(5-1){(y/r)^5-1}=5(x^(5-1)+...+r^(5-2)x},
r^(5-1)=5とすると、r=5^{1/(5-1)}となります。

**１３２人目の素数さん** · 2019/09/23(月) 16:53:14.21

(x+y)^5計算してみてください
そのあと、x=y=1としてみてください

日高 · 2019/09/23(月) 17:28:26.90

(x+y)^5=x^5+5x^4y+10x^3y^2+10x^2y^3+5xy^4+y^5,
=1+5+10+10+5+1
=32
となります。

**１３２人目の素数さん** · 2019/09/25(水) 01:23:26.97

>>5
r^(p-1){(y/r)^p-1}=p(x^(p-1)+...+r^(p-2)x},
r^(p-1)=pとすると、r=p^{1/(p-1)}となります。

ここが理解できない。
r^(p-1)=pとなぜ仮定しちゃってるんですか？？

r^(p-1){(y/r)^p-1}=p(x^(p-1)+...+r^(p-2)x}
の左辺は有理数×有理数という形になっているので、掛け合わしてる数のいずれかは素数の倍数になるという整数の性質は使えないと思うのですが。
違う論法なんですかね。

ちょっと解説を。

日高 · 2019/09/25(水) 06:19:18.74

言われていることの意味は、例えば、
(4/3)*6=2*4という事でしょうか？

**１３２人目の素数さん** · 2019/09/25(水) 21:41:41.34

「r^(p-1){(y/r)^p-1}=p(x^(p-1)+...+r^(p-2)x}
の左辺は有理数×有理数という形になっているので」

左辺は有理数×有理数とは限りません。

**１３２人目の素数さん** · 2019/09/25(水) 22:45:33.47

>>16
でも自然数×自然数であることの証明はできないわけで。
そうであれば、r^(p-1)=pとは言い切れないような。。

日高 · 2019/09/26(木) 05:39:30.95

「でも自然数×自然数であることの証明はできないわけで。」
これは、どの部分を指しているのでしょうか？

**１３２人目の素数さん** · 2019/09/26(木) 05:49:46.28

r^(p-1){(y/r)^p-1}=p(x^(p-1)+...+r^(p-2)x},
の左辺のことです。

r^(p-1)=pとすると、r=p^{1/(p-1)}となります。
というところがよく分かってなくて。

自分なりの解釈として、左辺が自然数×自然数であることを前提に、どちらかは素数の倍数である。ということからr^(p-1)=pとおいたのかなと見ていたのですが、この解釈は違う感じですかね。

日高 · 2019/09/26(木) 05:57:52.61

r^(p-1){(y/r)^p-1}=p{x^(p-1)+...+r^(p-2)x},
r^(p-1)=pとすると、r=p^{1/(p-1)}となります。

「ここが理解できない。
r^(p-1)=pとなぜ仮定しちゃってるんですか？？」

例えば、
AB=CDならば、A=Cとすると、B=Dとなるからです。

**１３２人目の素数さん** · 2019/09/26(木) 06:12:37.00

>>20
レスありがとうございます。

何を前提として仮定として置いているのかとすると
(y/r)^p-1=x^(p-1)+...+r^(p-2)x
と仮定してr^(p-1)=pを導いているのか、それとも逆なのか？どちらでしょうか？

日高 · 2019/09/26(木) 06:56:04.89

r^(p-1)=pとすると、
(y/r)^p-1=x^(p-1)+...+r^(p-2)x
となります。

日高 · 2019/09/26(木) 08:54:19.14

逆もいえます。
r^(p-1){(y/r)^p-1}=p{x^(p-1)+...+r^(p-2)x},
ならば、
{(y/r)^p-1}={x^(p-1)+...+r^(p-2)x}
のとき、
r^(p-1)=pとなります。

日高 · 2019/09/26(木) 09:08:00.78

分かりにくいと思いますので、
p=2を代入して、試してみてください。

**１３２人目の素数さん** · 2019/09/26(木) 12:18:41.11

AB=CDの証明として。

A=Cとすると、B=Dである。
またB=Dとすると、A=Cである。
故にAB=CDとなる。

みたいな話をしようとしてます？
この場合、A=CかB=Dを示さないと証明になってないですよね。そこを聞いてるんですけど。。。

日高 · 2019/09/26(木) 12:48:10.26

AB=CDなので、
A=Cとすると、B=Dとなる。
です。

**１３２人目の素数さん** · 2019/09/26(木) 12:49:44.12

>>26
A=Cが成り立つとなぜ言えるんでしょうか？？
本題ではr^(p-1)=pですけど。。

ID変わってるかもです。

**１３２人目の素数さん** · 2019/09/26(木) 12:51:40.10

> A=Cとすると、B=Dとなる。

A≠Cのときは？

**１３２人目の素数さん** · 2019/09/26(木) 12:53:36.63

あと揚げ足取りになるかもですが。

AB=CDの証明なのに
AB＝CDだからA=C
というのも論理的には成り立っていないですよ。

どんなに考えても、この論法は
有理数×有理数を自然数×自然数と錯覚して証明につなげたようにしか思えません。
それ自体は数学ではしょっちゅうある話ですけど。

日高 · 2019/09/26(木) 13:07:52.77

p=2の場合
r^(p-1)=pは、
r^(2-1)=2となります。
x^2+y^2=(x+2)^2,
x=3, y=4, z=x+2=5
となります。