二項定理を使ったフェルマーの最終定理の証明

【定理】pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
【証明】x^p+y^p=z^pを、z=x+rとおいてx^p+y^p=(x+r)^p…(1)とする。
(1)を積の形にすると、r^(p-1){(y/r)^p-1}=ap{x^(p-1)+…+r^(p-2)x}(1/a)…(2)となる。(aは有理数)
(2)はa=1、r^(p-1)=pのとき、x^p+y^p=(x+p^{1/(p-1)})^p…(3)となる。
(3)の右辺を二項展開すると、yが有理数のとき、xは無理数となるので、x,y,zは整数比とならない。
(2)はa=1以外、rが有理数のとき、x^p+y^p=(x+(ap)^{1/(p-1)})^p…(4)となる。
(4)のx,y,zは、(3)のx,y,zのa^{1/(p-1)}倍となるので、(4)のx,y,zも整数比とならない。
(3)をx=sw、y=twとおいて、(sw)^p+(tw)^p=(sw+p^{1/(p-1)})^pとする。(s,tは有理数、wは無理数)
両辺をw^pで割って、s^p+t^p=(s+(p^{1/(p-1)})/w)^pとする。
(p^{1/(p-1)})/wが無理数の場合は、(3)と同じとなるので、tが有理数のとき、sは無理数となる。
(p^{1/(p-1)})/wが有理数の場合は、(4)となるので、sが有理数のとき、tは無理数となる。
∴pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。

>>550
悪いけど、俺は自分の手柄がひとに勝手に移るのを警戒して意図的に完全な数式を
描きませんでした。５ｃｈじゃ面倒くさいしね。誰かの賞与や名誉のために動く気はありませんから。
そういうことをした連中は今まで徹底的に潰してきましたからね。わたしは。
まぁ、これも自戒だと思ってこらえてください。

>548
また疑問のごまかし。
国語の勉強も必要ですね。中学生程度の国語はマスターしてから掲示板に書き込んでほしいですね。

どの部分が、疑問のごまかしでしょうか？

【定理】pが奇素数のとき、x^p+y^p=z^pは、整数比の解を持たない。
【証明】x^p+y^p=z^pを、z=x+rとおいてx^p+y^p=(x+r)^p…(1)とする。
(1)を積の形にすると、r^(p-1){(y/r)^p-1}=ap{x^(p-1)+…+r^(p-2)x}(1/a)…(2)となる。(aは実数)
(2)はa=1、r^(p-1)=pのとき、x^p+y^p=(x+p^{1/(p-1)})^p…(3)となる。
(3)の右辺を二項展開すると、yが有理数のとき、xは無理数となるので、(3)は整数比の解を持たない。
(2)はa=1以外、r^(p-1)=apのとき、x^p+y^p=(x+(ap)^{1/(p-1)})^p…(4)となる。
(4)の解は、(3)の解のa^{1/(p-1)}倍となるので、(4)は整数比の解を持たない。
∴pが奇素数のとき、x^p+y^p=z^pは、整数比の解を持たない。

【定理】p=2のとき、x^p+y^p=z^pは、整数比の解を持つ。
【証明】x^2+y^p=z^2を、z=x+rとおいてx^2+y^2=(x+r)^2…(1)とする。
(1)を積の形にすると、r{(y/r)^2-1}=a2x(1/a)…(2)となる。(aは実数)
(2)はa=1、r=2のとき、x^2+y^2=(x+2)^2…(3)となる。
(3)の右辺を二項展開すると、yが有理数のとき、xは有理数となるので、(3)は整数比の解を持つ。
(2)はa=1以外、r=a2のとき、x^2+y^2=(x+a2)^2…(4)となる。
(4)の解は、(3)の解のa倍となるので、(4)は整数比の解を持つ。
∴p=2のとき、x^p+y^p=z^pは、整数比の解を持つ。

>>551

じゃあ、数式だけ。ｎ＝１の時は自明なので、最終定理を証明したという前提でｎ＝２のときのみ

A×nC1×(n-1)/nC2 + B×n-1C1×(n-2)/n-2C2 = k^2

これの整数条件を完璧にすると、

（偶数）^2＋（奇数）^2 = K^2

的な一般解が出てきます。

ミスった

A×nC1×(n-1)/nC2 + B×n-1C1×(n-2)/【n-1】C2 = k^2

だ。ご勘違いのなきよう。

日高今だ。何がでしょうかやれ。いけぇ。

>>553
ほらまた。
すぐにどこが？とか聞いてごまかしてるでしょ。
分からないなら勉強不足なんだから、十分に過去ログを見て検討して考え、勉強してから出直せ。

>549
「z-x=(ap)^{1/(p-1)}を満たす x^p+y^p=z^p の解について、すべての解のyが有理数×a^{1/(p-1)} と表せる」は証明できますか？

yを有理数とすると。
x^p+y^p=(x+(ap)^{1/(p-1)})^pの解は、
(x*a^{1/(p-1)})^p+(y*a^{1/(p-1)})^p=(x*a^{1/(p-1)}+(ap)^{1/(p-1)})^p
となります。

>556
（偶数）^2＋（奇数）^2 = K^2
的な一般解が出てきます。

意味が、わからないので、詳しく説明していただけないでしょうか。

>557
A×nC1×(n-1)/nC2 + B×n-1C1×(n-2)/【n-1】C2 = k^2

だ。ご勘違いのなきよう。

意味が、わからないので、詳しく説明していただけないでしょうか。

>559
分からないなら勉強不足なんだから、

どの部分のことでしょうか？

【定理】pが奇素数のとき、x^p+y^p=z^pは、整数比の解を持たない。
【証明】x^p+y^p=z^pを、z=x+rとおいてx^p+y^p=(x+r)^p…(1)とする。
(1)を積の形にすると、r^(p-1){(y/r)^p-1}=ap{x^(p-1)+…+r^(p-2)x}(1/a)…(2)となる。(aは実数)
(2)はa=1、r^(p-1)=pのとき、x^p+y^p=(x+p^{1/(p-1)})^p…(3)となる。
(3)の右辺を二項展開すると、yが有理数のとき、xは無理数となるので、(3)は整数比の解を持たない。
(2)はa=1以外、r^(p-1)=apのとき、x^p+y^p=(x+(ap)^{1/(p-1)})^p…(4)となる。
(4)の解は、(3)の解のa^{1/(p-1)}倍となるので、(4)は整数比の解を持たない。
∴pが奇素数のとき、x^p+y^p=z^pは、整数比の解を持たない。

【定理】p=2のとき、x^p+y^p=z^pは、整数比の解を持つ。
【証明】x^2+y^p=z^2を、z=x+rとおいてx^2+y^2=(x+r)^2…(1)とする。
(1)を積の形にすると、r{(y/r)^2-1}=a2x(1/a)…(2)となる。(aは実数)
(2)はa=1、r=2のとき、x^2+y^2=(x+2)^2…(3)となる。
(3)の右辺を二項展開すると、yが有理数のとき、xは有理数となるので、(3)は整数比の解を持つ。
(2)はa=1以外、r=a2のとき、x^2+y^2=(x+a2)^2…(4)となる。
(4)の解は、(3)の解のa倍となるので、(4)は整数比の解を持つ。
∴p=2のとき、x^p+y^p=z^pは、整数比の解を持つ。

一般解を出してから考察したのですが、

a,bが両方偶数だと、cが２の倍数となる
a,bが両方奇数だと、c^2が２の倍数となり、同時にｃが無理数となる
よってa,bは奇数と偶数の組み合わせにならざるを得ない。

まぁ、この説明にアラがあっても、一般解はそれが正しいことを示していますから。
整数条件を当てはめてください。

それに・・・、裏ですから、滅多なことでは協力しませんよｗ

裏ボス系の裏」

>566
a,bが両方偶数だと、cが２の倍数となる
a,bが両方奇数だと、c^2が２の倍数となり、同時にｃが無理数となる
よってa,bは奇数と偶数の組み合わせにならざるを得ない。

このことが、フェルマーの最終定理の証明に関係あるのでしょうか？

>>563
ほら、またすぐに聞く。
考えもせずに聞くなと書いたばかり。

>>568
必要十分条件かな

>>560

> >549
> 「z-x=(ap)^{1/(p-1)}を満たす x^p+y^p=z^p の解について、すべての解のyが有理数×a^{1/(p-1)} と表せる」は証明できますか？
>
> yを有理数とすると。
> x^p+y^p=(x+(ap)^{1/(p-1)})^pの解は、
> (x*a^{1/(p-1)})^p+(y*a^{1/(p-1)})^p=(x*a^{1/(p-1)}+(ap)^{1/(p-1)})^p
> となります。

それでは前回と同じで、存在することの証明にしかなっていません
「すべての解」とあるのが読めないのでしょうか？
yが有理数の解もあれば無理数の解もあるのに勝手に有理数に限定してはいけません

>569
ほら、またすぐに聞く。

わからないので、聞いています。

>570
必要十分条件かな

よく、意味がわかりません。

>571
「すべての解」とあるのが読めないのでしょうか？
yが有理数の解もあれば無理数の解もあるのに勝手に有理数に限定してはいけません

y*a^{1/(p-1)}のyが、有理数のとき、y*a^{1/(p-1)}は、有理数にも、無理数にも
なります。

【定理】p=2のとき、x^p+y^p=z^pは、整数比の解を持つ。
【証明】x^2+y^p=z^2を、z=x+rとおいてx^2+y^2=(x+r)^2…(1)とする。
(1)を積の形にすると、r{(y/r)^2-1}=a2x(1/a)…(2)となる。(aは実数)
(2)はa=1、r=2のとき、x^2+y^2=(x+2)^2…(3)となる。
(3)の右辺を二項展開すると、yが有理数のとき、xは有理数となるので、(3)は整数比の解を持つ。
(2)はa=1以外、r=a2のとき、x^2+y^2=(x+a2)^2…(4)となる。
(4)の解は、(3)の解のa倍となるので、(4)は整数比の解を持つ。
∴p=2のとき、x^p+y^p=z^pは、整数比の解を持つ。

【定理】pが奇素数のとき、x^p+y^p=z^pは、整数比の解を持たない。
【証明】x^p+y^p=z^pを、z=x+rとおいてx^p+y^p=(x+r)^p…(1)とする。
(1)を積の形にすると、r^(p-1){(y/r)^p-1}=ap{x^(p-1)+…+r^(p-2)x}(1/a)…(2)となる。(aは実数)
(2)はa=1、r^(p-1)=pのとき、x^p+y^p=(x+p^{1/(p-1)})^p…(3)となる。
(3)の右辺を二項展開すると、yが有理数のとき、xは無理数となるので、(3)は整数比の解を持たない。
(2)はa=1以外、r^(p-1)=apのとき、x^p+y^p=(x+(ap)^{1/(p-1)})^p…(4)となる。
(4)の解は、(3)の解のa^{1/(p-1)}倍となるので、(4)は整数比の解を持たない。
∴pが奇素数のとき、x^p+y^p=z^pは、整数比の解を持たない。

>>574

> >571
> 「すべての解」とあるのが読めないのでしょうか？
> yが有理数の解もあれば無理数の解もあるのに勝手に有理数に限定してはいけません
>
> y*a^{1/(p-1)}のyが、有理数のとき、y*a^{1/(p-1)}は、有理数にも、無理数にも
> なります。

それは前提である「z-x=(ap)^{1/(p-1)}を満たす」を無視して aを勝手に変更しているからですね
ある一つのx^p+y^p=z^p の解が「z-x=(ap)^{1/(p-1)}を満たす」とき、aの値は一つに決まるので勝手に変えることはできません

>>533
> z=x+√3なので、x,yが共に有理数とは、なりません。
z=x+√3の場合はx,yが共に無理数になることが分からないのならアウト

(x,y,z)=(k*2,k*3,k*35^(1/3)) k=√3/{35^(1/3)-2}
(x,y,z)=(k*3,k*4,k*91^(1/3)) k=√3/{91^(1/3)-3} などはz=x+√3の場合でx,yが共に無理数
z=x+√3の場合でx,yが共に無理数の解をa^{1/(p-1)}=a^(1/2)倍した解の中には
(x,y,z)=(2,3,35^(1/3)),(x,y,z)=(3,4,91^(1/3))などのような
x,yが共に有理数であるような解が含まれる

>>576のあんたの証明では
> (3)の右辺を二項展開すると、yが有理数のとき、xは無理数となるので
x^3+y^3=(x+√3)^p…(3)の右辺を二項展開するとyが有理数のときxは無理数となるので
(x,y,z)=(k*2,k*3,k*35^(1/3)) k=√3/{35^(1/3)-2}
(x,y,z)=(k*3,k*4,k*91^(1/3)) k=√3/{91^(1/3)-3} などを解として持たない
> (4)の解は、(3)の解のa^{1/(p-1)}倍となるので、(4)は整数比の解を持たない。
x^3+y^3=(x+√3)^p…(3)の解をa^(1/2)倍したものに
(x,y,z)=(2,3,35^(1/3)),(x,y,z)=(3,4,91^(1/3))などのような
x,yが共に有理数であるような解は含まれない

>>572

> >569
> ほら、またすぐに聞く。
>
> わからないので、聞いています。
考えてないだろうが。だからごまかしだって言ってるの。

>>545

ｐが奇素数の時は、そんなことしていないじゃないですか。

なぜ、p=2のときはｙが無理数の時のことを考えるのに、
pが奇素数の時は
> (3)のx,y,zが、無理数で整数比の解となるならば、x,y,zが、有理数で整数比の解となる。ので、
> (3)のx,y,zが、有理数で整数比の解となるかを、検討します。
とかいって、ｙが有理数の時のことだけ考えるのですか？

整合性が取れません。

x^p+y^p=(x+√3)^p…(3)について、
ｐ=2の時にｙが無理数の時のことを考えるならば、同じようにｐが奇素数の時もyが無理数の時のことを考えてください。
ｐが奇素数の時に、ｙが有理数の場合だけ考えるならば、同じようにp=2の時もｙが有理数の時のことを考えてください。

でないと整合性が取れません。

同じように考えるために、p=2の時のことを書いているのですから。

>577
それは前提である「z-x=(ap)^{1/(p-1)}を満たす」を無視して aを勝手に変更しているからですね
ある一つのx^p+y^p=z^p の解が「z-x=(ap)^{1/(p-1)}を満たす」とき、aの値は一つに決まるので勝手に変えることはできません

「z-x=(ap)^{1/(p-1)}を満たす」とき、aの値は一つに決まりますが、
そのとき、
z-x=(ap)^{1/(p-1)}は、有理数でしょうか？無理数でしょうか？

>>581

> >577
> それは前提である「z-x=(ap)^{1/(p-1)}を満たす」を無視して aを勝手に変更しているからですね
> ある一つのx^p+y^p=z^p の解が「z-x=(ap)^{1/(p-1)}を満たす」とき、aの値は一つに決まるので勝手に変えることはできません
>
> 「z-x=(ap)^{1/(p-1)}を満たす」とき、aの値は一つに決まりますが、
> そのとき、
> z-x=(ap)^{1/(p-1)}は、有理数でしょうか？無理数でしょうか？

aに関する条件はa≠1だけですから、もちろん両方ですね

【定理】pが奇素数のとき、x^p+y^p=z^pは、整数比の解を持たない。
【証明】x^p+y^p=z^pを、z=x+rとおいてx^p+y^p=(x+r)^p…(1)とする。
(1)を積の形にすると、r^(p-1){(y/r)^p-1}=ap{x^(p-1)+…+r^(p-2)x}(1/a)…(2)となる。(aは実数)
(2)はa=1、r^(p-1)=pのとき、x^p+y^p=(x+p^{1/(p-1)})^p…(3)となる。
(3)の右辺を二項展開すると、yが有理数のとき、xは無理数となるので、(3)は整数比の解を持たない。
(2)はa=1以外、r^(p-1)=apのとき、x^p+y^p=(x+(ap)^{1/(p-1)})^p…(4)となる。
(4)の解は、(3)の解のa^{1/(p-1)}倍となるので、(4)は整数比の解を持たない。
(2)はa(1/a)=1となるので、a=1、r^(p-1)=pのときのみを考えればよい。
∴pが奇素数のとき、x^p+y^p=z^pは、整数比の解を持たない。

【定理】p=2のとき、x^p+y^p=z^pは、整数比の解を持つ。
【証明】x^2+y^p=z^2を、z=x+rとおいてx^2+y^2=(x+r)^2…(1)とする。
(1)を積の形にすると、r{(y/r)^2-1}=a2x(1/a)…(2)となる。(aは実数)
(2)はa=1、r=2のとき、x^2+y^2=(x+2)^2…(3)となる。
(3)の右辺を二項展開すると、yが有理数のとき、xは有理数となるので、(3)は整数比の解を持つ。
(2)はa=1以外、r=a2のとき、x^2+y^2=(x+a2)^2…(4)となる。
(4)の解は、(3)の解のa倍となるので、(4)は整数比の解を持つ。
(2)はa(1/a)=1となるので、a=1、r=2のときのみを考えればよい。
∴p=2のとき、x^p+y^p=z^pは、整数比の解を持つ。

>578
z=x+√3の場合はx,yが共に無理数になることが分からないのならアウト

x,yが共に無理数の場合、zが無理数となる可能性は、ありますが、
(4)は、整数比の解を持ちません。

>580
pが奇素数の時は
> (3)のx,y,zが、無理数で整数比の解となるならば、x,y,zが、有理数で整数比の解となる。ので、
> (3)のx,y,zが、有理数で整数比の解となるかを、検討します。
とかいって、ｙが有理数の時のことだけ考えるのですか？

y,xが無理数のときは、(4)のzが有理数の場合となります。
(4)は、整数比の解を持ちません。

>582
> z-x=(ap)^{1/(p-1)}は、有理数でしょうか？無理数でしょうか？

aに関する条件はa≠1だけですから、もちろん両方ですね

z-x=(ap)^{1/(p-1)}が、有理数、無理数どちらであっても、
(4)は、整数比の解を持ちません。

>>587

> >582
> > z-x=(ap)^{1/(p-1)}は、有理数でしょうか？無理数でしょうか？
>
> aに関する条件はa≠1だけですから、もちろん両方ですね
>
> z-x=(ap)^{1/(p-1)}が、有理数、無理数どちらであっても、
> (4)は、整数比の解を持ちません。

どちらであってもよいのなら、尋ねる必要はなかったはずですが……

そもそもが「(4)は、整数比の解を持たない」の根拠が不十分だ、という指摘なので、そのような主張をされても「根拠を出せ」としか返せませんよ

>>587
あなたは

> >485
> x^p+y^p=z^p の解が
> ・z-x=p^{1/(p-1)}, y が有理数
> ・z-x=(ap)^{1/(p-1)}, y が有理数×a^{1/(p-1)} (a≠1)
> のどちらかであるときに、整数比にならない
>
> x^p+y^p=z^p の解が整数比にならないことを、示すには十分だと思います。

と書かれましたので、それならば

a≠1、z-x=(ap)^{1/(p-1)}を満たす x^p+y^p=z^p の解について、すべての解のyが有理数×a^{1/(p-1)} と表せる

が証明できるはず(それ以外の解があるなら「十分」と言えない)なのですが、そこに

> z-x=(ap)^{1/(p-1)}が、有理数、無理数どちらであっても、
> (4)は、整数比の解を持ちません。

と返されても
「その根拠が不明だとして始まったやりとりで、何をを言い出すんだ？」
となるのです

唐突だがサイモン・シンの「フェルマーの最終定理」を読んだ
数学のド素人だから数学の話はオイラーあたりでもう振り落とされたが
数学者の歴史だけでも凄い面白かった
物理学者出身の癖に文才もあるとかなんかムカつくな

>588
そもそもが「(4)は、整数比の解を持たない」の根拠が不十分だ、という指摘なので、そのような主張をされても「根拠を出せ」としか返せませんよ

根拠は、「(4)の解は、(3)の解のa^{1/(p-1)}倍となるので、(4)は整数比の解を持たない。」です。

>589
> z-x=(ap)^{1/(p-1)}が、有理数、無理数どちらであっても、
> (4)は、整数比の解を持ちません。

と返されても
「その根拠が不明だとして始まったやりとりで、何をを言い出すんだ？」
となるのです

「質問の意味がよくわからない」ので、同じ内容で、
言い方を、変えていただけないでしょうか。

【定理】pが奇素数のとき、x^p+y^p=z^pは、整数比の解を持たない。
【証明】x^p+y^p=z^pを、z=x+rとおいてx^p+y^p=(x+r)^p…(1)とする。
(1)を積の形にすると、r^(p-1){(y/r)^p-1}=ap{x^(p-1)+…+r^(p-2)x}(1/a)…(2)となる。(aは実数)
(2)はa=1、r^(p-1)=pのとき、x^p+y^p=(x+p^{1/(p-1)})^p…(3)となる。
(3)の右辺を二項展開すると、yが有理数のとき、xは無理数となるので、(3)は整数比の解を持たない。
(2)はa=1以外、r^(p-1)=apのとき、x^p+y^p=(x+(ap)^{1/(p-1)})^p…(4)となる。
(4)の解は、(3)の解のa^{1/(p-1)}倍となるので、(4)は整数比の解を持たない。
(2)はa(1/a)=1となるので、a=1、r^(p-1)=pのときのみを考えればよい。
∴pが奇素数のとき、x^p+y^p=z^pは、整数比の解を持たない。

【定理】p=2のとき、x^p+y^p=z^pは、整数比の解を持つ。
【証明】x^2+y^p=z^2を、z=x+rとおいてx^2+y^2=(x+r)^2…(1)とする。
(1)を積の形にすると、r{(y/r)^2-1}=a2x(1/a)…(2)となる。(aは実数)
(2)はa=1、r=2のとき、x^2+y^2=(x+2)^2…(3)となる。
(3)の右辺を二項展開すると、yが有理数のとき、xは有理数となるので、(3)は整数比の解を持つ。
(2)はa=1以外、r=a2のとき、x^2+y^2=(x+a2)^2…(4)となる。
(4)の解は、(3)の解のa倍となるので、(4)は整数比の解を持つ。
(2)はa(1/a)=1となるので、a=1、r=2のときのみを考えればよい。
∴p=2のとき、x^p+y^p=z^pは、整数比の解を持つ。

>>585
> x,yが共に無理数の場合、zが無理数となる可能性は、ありますが、
> (4)は、整数比の解を持ちません。

> (4)は、整数比の解を持ちません。
これが正しいことの証明がありません

(A) x^p+y^p=z^pの3つの変数x,y,zの内2つの値は整数比にできる
(B) x^p+y^p=z^pの3つの変数x,y,zの値を整数比にできる

(A)が正しくないならば(B)は成り立たないから
(A)が正しくないことを用いればフェルマーの最終定理の証明が得られたように
見えるかもしれないがその証明は間違い

>>593
> (3)の右辺を二項展開すると、yが有理数のとき、xは無理数となるので、(3)は整数比の解を持たない。
これは(A)が正しくないので(B)も成り立たないという論理です
(A)は正しいので間違いです

>>592

> >589
> > z-x=(ap)^{1/(p-1)}が、有理数、無理数どちらであっても、
> > (4)は、整数比の解を持ちません。
>
> と返されても
> 「その根拠が不明だとして始まったやりとりで、何をを言い出すんだ？」
> となるのです
>
> 「質問の意味がよくわからない」ので、同じ内容で、
> 言い方を、変えていただけないでしょうか。

まず、あなたは >485 で
> x^p+y^p=z^p の解が
> ・z-x=p^{1/(p-1)}, y が有理数
> ・z-x=(ap)^{1/(p-1)}, y が有理数×a^{1/(p-1)} (a≠1)
> のどちらかであるときに、整数比にならない
>
> x^p+y^p=z^p の解が整数比にならないことを、示すには十分だと思います。

と書いていますが、それでは不十分です
なぜなら、

「(3)の解が整数比にならない」は
> ・z-x=p^{1/(p-1)}, y が無理数
を満たす解を考慮しておらず、

「(4)の解が整数比にならない」は
> ・z-x=(ap)^{1/(p-1)}, y が無理数×a^{1/(p-1)} (a≠1)
を満たす解を考慮していないからです

そして「考慮しないということは、それはあり得ない場合だと考えているのか？」を確認する意図でここまで質問し続けています

あなたは結論が成立するための前提を確認している最中に結論を持ち出したのですよ

>>596 へ追記です

> あなたは結論が成立するための前提を確認している最中に結論を持ち出したのですよ

結論が成立するための根拠に結論を持ち出す
これが「循環論法」と呼ばれる誤謬(論理的な間違い)です

>>593
> (2)はa=1、r^(p-1)=pのとき、x^p+y^p=(x+p^{1/(p-1)})^p…(3)となる。
> (3)の右辺を二項展開すると、yが有理数のとき、xは無理数となるので、(3)は整数比の解を持たない。

どうしてここで整数比の解を持たないと言えるのですか？

>595
(A) x^p+y^p=z^pの3つの変数x,y,zの内2つの値は整数比にできる
(A)は正しいので間違いです

z=(x^p+y^p)^(1/p)ならば、できます。

>>599
> (A)は正しいので間違いです
> z=(x^p+y^p)^(1/p)ならば、できます。
だから(A)は正しいのであんたの証明は間違い

x^p+y^p=z^pならばz=(x^p+y^p)^(1/p)
できることが>>593の一体どこに書いてあるのだね？

> (3)の右辺を二項展開すると、yが有理数のとき、xは無理数となるので、(3)は整数比の解を持たない。
> (2)はa=1以外、r^(p-1)=apのとき、x^p+y^p=(x+(ap)^{1/(p-1)})^p…(4)となる。
> (4)の解は、(3)の解のa^{1/(p-1)}倍となるので、(4)は整数比の解を持たない。
> (2)はa(1/a)=1となるので、a=1、r^(p-1)=pのときのみを考えればよい。
これはできないということだが

>596
「(4)の解が整数比にならない」は
> ・z-x=(ap)^{1/(p-1)}, y が無理数×a^{1/(p-1)} (a≠1)
を満たす解を考慮していないからです

(3)のx,y,zが、無理数で、整数比の解となるならば、x,y,zが有理数で、整数比の解となります。

>597
結論が成立するための根拠に結論を持ち出す
これが「循環論法」と呼ばれる誤謬(論理的な間違い)です

これは、(3)で、yが無理数の場合を検討していないのに、結論を持ち出していると
いうことでしょうか？

>>601

> >596
> 「(4)の解が整数比にならない」は
> > ・z-x=(ap)^{1/(p-1)}, y が無理数×a^{1/(p-1)} (a≠1)
> を満たす解を考慮していないからです
>
> (3)のx,y,zが、無理数で、整数比の解となるならば、x,y,zが有理数で、整数比の解となります。

はて、確かに「z-x=p^{1/(p-1)}を満たすx^p+y^p=z^p の整数比の解」が存在するならば
「z-x=(ap)^{1/(p-1)} (a≠1)を満たすx^p+y^p=z^p の整数比の解」が存在しますが、それが何か？

>>602
「『根拠に』結論を持ち出す」の意味がわかっていない。

>598
> (3)の右辺を二項展開すると、yが有理数のとき、xは無理数となるので、(3)は整数比の解を持たない。

どうしてここで整数比の解を持たないと言えるのですか？

(3)のyが無理数の場合は、(4)のrが有理数の場合となります。この場合も、x,yは
整数比の解となりません。

>600
x^p+y^p=z^pならばz=(x^p+y^p)^(1/p)
できることが>>593の一体どこに書いてあるのだね？

自明です。

>>605 日高
> >598
> > (3)の右辺を二項展開すると、yが有理数のとき、xは無理数となるので、(3)は整数比の解を持たない。
>
> どうしてここで整数比の解を持たないと言えるのですか？
>
> (3)のyが無理数の場合は、(4)のrが有理数の場合となります。この場合も、x,yは
> 整数比の解となりません。

(4)までゆかないと言えないことなら、ここに「整数比の解を持たない」と書くのはおかしいでしょう？

>>602

> >597
> 結論が成立するための根拠に結論を持ち出す
> これが「循環論法」と呼ばれる誤謬(論理的な間違い)です
>
> これは、(3)で、yが無理数の場合を検討していないのに、結論を持ち出していると
> いうことでしょうか？

その通りです
あなたのこれまでの回答を見ていると、

「(4)が整数比の解を持たない」のために
「(3)が整数比の解を持たない」を

「(3)が整数比の解を持たない」のために
「(3)がyが有理数の整数比の解を持たない」を前提として持ち出してきますが、
ここで「(3)のyが無理数の場合」について指摘されると
「(4)が整数比の解を持たない」を持ち出してきます

>>608

> >>602
>
> > >597
> > 結論が成立するための根拠に結論を持ち出す
> > これが「循環論法」と呼ばれる誤謬(論理的な間違い)です
> >
> > これは、(3)で、yが無理数の場合を検討していないのに、結論を持ち出していると
> > いうことでしょうか？
>
> その通りです
> あなたのこれまでの回答を見ていると、
>
> 「(4)が整数比の解を持たない」のために
> 「(3)が整数比の解を持たない」を
>
> 「(3)が整数比の解を持たない」のために
> 「(3)がyが有理数の整数比の解を持たない」を前提として持ち出してきますが、
> ここで「(3)のyが無理数の場合」について指摘されると
> 「(4)が整数比の解を持たない」を持ち出してきます

「(4)が整数比の解を持たない」
の根拠の
「(3)が整数比の解を持たない」
の根拠の
「(3)のyが無理数の整数比の解を持たない」
の根拠は
「(4)が整数比の解を持たない」

と、ここで根拠が循環していますね
これが「循環論法」です

>>606
> 自明です。

そういう書き方で良いのならば
あんたの証明が間違っていることは自明
で済むんだけれども

>>593
> (3)の右辺を二項展開すると、yが有理数のとき、xは無理数となる
> (4)の解は、(3)の解のa^{1/(p-1)}倍となる
これはx^p+y^p=z^pならばz=(x^p+y^p)^(1/p)より間違い

>>610
少し具体的にすると

x,yの値を有理数に決めてzの値が有理数になるかどうかを調べる

例
x=2,y=3とするつまり解(2,3,z)のzの値の検討

>>593
> (3)の右辺を二項展開すると、yが有理数のとき、xは無理数となる
> (4)の解は、(3)の解のa^{1/(p-1)}倍となる

この方法にならってx^3+y^3=(x+√3)^3のyに1を代入してxを求めたとする
y=1であるから3倍したときに上の解(2,3,z)のzの値の検討ができるか？
yが他の有理数ではどうか？

xは無理数となりできないので日高の証明は間違い

>>593
p=2の時を考えてみましょう。

593より> 【証明】x^p+y^p=z^pを、z=x+rとおいてx^p+y^p=(x+r)^p…(1)とする。
593より> (1)を積の形にすると、r^(p-1){(y/r)^p-1}=ap{x^(p-1)+…+r^(p-2)x}(1/a)…(2)となる。(aは実数)

(1)が成り立つとき、aは0以外のどんな数の時でも、(2)は成り立ちます。
p=2のとき、a=(√3)/2としたほうがrが無理数になってpが奇素数の時と考え方が同じになります。

593より> (2)はa=a=(√3)/2、r^(p-1)=pのとき、x^p+y^p=(x+√3)^p…(3)となる。
593より> (3)の右辺を二項展開すると、yが有理数のとき、xは無理数となるので、(3)は整数比の解を持たない。
545より> (3)の右辺を二項展開すると、yが無理数のとき、xは無理数となるので、(3)は整数比の解を持つ。
417より> (3)のx,y,zが、無理数で整数比の解となるならば、x,y,zが、有理数で整数比の解となる。ので、
417より> (3)のx,y,zが、有理数で整数比の解となるかを、検討します。
593より> (3)のyが有理数のとき、xは無理数となるので、(3)は整数比の解を持たない。

593より> (2)はa=1、r^(p-1)=apのとき、x^p+y^p=(x+2)^p…(4)となる。
(4)の解は、(3)の解の1/a倍となる。(4)は整数比の解を持つ

p=2の時ときと、pが奇素数の時で、整合性がとれません。

(3)が有理数の解を持たなくても、(3)が無理数で整数比の解をもつなら、(4)は整数比の解をもつのです。
p=2のとき、x^p+y^p=(x+√3)^p…(3)が有理数の解を持たなくても、(3)がx=4√3,y=3√3,z=x+√3を解に持つなら
(4)はx=8,y=6,z=x+2を解に持つのです。
pが奇素数のとき、x^p+y^p=(x+√3)^p…(3)が有理数の解を持たなくても、(3)がx=sw,y=tw,z=sw+√3を解に持つなら
(4)はx=s,y=t,z=s+({(s^p+t^p)^(1/p)}-s)を解に持つのです。(s,tは有理数,w=(p^{1/(p-1)})/({(s^p+t^p)^(1/p)}-s))

p=2のときも、ｐが奇素数の時も、このことは同じように成り立ちます。
証明は、失敗です。

>>593

> (2)はa(1/a)=1となるので、a=1、r^(p-1)=pのときのみを考えればよい。

aはもともと、元の式x^p+y^p=z^pとは全く関係なく決めた数だからどんな数でもどうでもいいですよ。

ｒは元の式に出てくるｘ、ｚに対して、z=x+rを満たさないといけないのでそうはいきません。勝手に1つの値に決めることはできません。

p=2でr^(p-1)=pのとき、ｘ=5、ｙ=12、ｚ=13はx^p+y^p=(x+r)^p…(1)を満たさないのでx^p+y^p=z^pの答えではないことになってしまいます。

というわけで、この文章はインチキのウソです。

【定理】pが奇素数のとき、x^p+y^p=z^pは、整数比の解を持たない。
【証明】x^p+y^p=z^pを、z=x+rとおいてx^p+y^p=(x+r)^p…(1)とする。
(1)を積の形にすると、r^(p-1){(y/r)^p-1}=ap{x^(p-1)+…+r^(p-2)x}(1/a)…(2)となる。(aは実数)
(2)はa=1、r^(p-1)=pのとき、x^p+y^p=(x+p^{1/(p-1)})^p…(3)となる。
(2)はa=1以外、r^(p-1)=apのとき、x^p+y^p=(x+(ap)^{1/(p-1)})^p…(4)となる。rは有理数となる。
(4)の解は、(3)の解のa^{1/(p-1)}倍となる。
(3)の右辺を二項展開すると、yが有理数のとき、xは無理数となるので、(3)は整数比の解を持たない。
(3)をx=sw、y=twとおいて、(sw)^p+(tw)^p=(sw+p^{1/(p-1)})^pとする。(s,tは有理数、wは無理数)
両辺をw^pで割って、s^p+t^p=(s+(p^{1/(p-1)})/w)^pとする。
(p^{1/(p-1)})/wが有理数の場合は、(4)となるので、s,tは整数比とならない。
∴pが奇素数のとき、x^p+y^p=z^pは、整数比の解を持たない。


(p^{1/(p-1)})/wが無理数の場合は、(3)と同じとなるので、tが有理数のとき、sは無理数となる。

日高さん、自信があるなら査読付きの論文誌に投稿したら？
自信がないから5ちゃんの曖昧なところでダダ捏ねてるんでしょ？

【定理】pが奇素数のとき、x^p+y^p=z^pは、整数比の解を持たない。
【証明】x^p+y^p=z^pを、z=x+rとおいてx^p+y^p=(x+r)^p…(1)とする。
(1)を積の形にすると、r^(p-1){(y/r)^p-1}=ap{x^(p-1)+…+r^(p-2)x}(1/a)…(2)となる。(aは実数)
(2)はa=1、r^(p-1)=pのとき、x^p+y^p=(x+p^{1/(p-1)})^p…(3)となる。
(2)はa=1以外、r^(p-1)=apのとき、x^p+y^p=(x+(ap)^{1/(p-1)})^p…(4)となる。rは有理数となる。
(4)の解は、(3)の解のa^{1/(p-1)}倍となる。
(3)の右辺を二項展開すると、yが有理数のとき、xは無理数となるので、(3)は整数比の解を持たない。
(3)をx=sw、y=twとおいて、(sw)^p+(tw)^p=(sw+p^{1/(p-1)})^pとする。(s,tは有理数、wは無理数)
両辺をw^pで割って、s^p+t^p=(s+(p^{1/(p-1)})/w)^pとする。
(p^{1/(p-1)})/wが有理数の場合は、(4)となるので、s,tは整数比とならない。
∴pが奇素数のとき、x^p+y^p=z^pは、整数比の解を持たない。

>>614

> 【定理】pが奇素数のとき、x^p+y^p=z^pは、整数比の解を持たない。
> 【証明】x^p+y^p=z^pを、z=x+rとおいてx^p+y^p=(x+r)^p…(1)とする。
> (1)を積の形にすると、r^(p-1){(y/r)^p-1}=ap{x^(p-1)+…+r^(p-2)x}(1/a)…(2)となる。(aは実数)
> (2)はa=1、r^(p-1)=pのとき、x^p+y^p=(x+p^{1/(p-1)})^p…(3)となる。
> (2)はa=1以外、r^(p-1)=apのとき、x^p+y^p=(x+(ap)^{1/(p-1)})^p…(4)となる。rは有理数となる。

rは常に有理数になるわけではないので「rは有理数となる」はおかしいですね
例によって実際には「rは有理数となる(場合がある)」か、前提条件が欠落しているのでしょう

> (4)の解は、(3)の解のa^{1/(p-1)}倍となる。
> (3)の右辺を二項展開すると、yが有理数のとき、xは無理数となるので、(3)は整数比の解を持たない。
> (3)をx=sw、y=twとおいて、(sw)^p+(tw)^p=(sw+p^{1/(p-1)})^pとする。(s,tは有理数、wは無理数)
> 両辺をw^pで割って、s^p+t^p=(s+(p^{1/(p-1)})/w)^pとする。
> (p^{1/(p-1)})/wが有理数の場合は、(4)となるので、s,tは整数比とならない。
> ∴pが奇素数のとき、x^p+y^p=z^pは、整数比の解を持たない。
>
>
> (p^{1/(p-1)})/wが無理数の場合は、(3)と同じとなるので、tが有理数のとき、sは無理数となる。

>>616
> (3)をx=sw、y=twとおいて
> s,tは有理数
この時点で(3)のx,yは整数比でa^{1/(p-1)}倍しても比は変わらないので
> s,tは整数比とならない
これはあり得ないです

>>616

> 【定理】pが奇素数のとき、x^p+y^p=z^pは、整数比の解を持たない。
> 【証明】x^p+y^p=z^pを、z=x+rとおいてx^p+y^p=(x+r)^p…(1)とする。
> (1)を積の形にすると、r^(p-1){(y/r)^p-1}=ap{x^(p-1)+…+r^(p-2)x}(1/a)…(2)となる。(aは実数)
> (2)はa=1、r^(p-1)=pのとき、x^p+y^p=(x+p^{1/(p-1)})^p…(3)となる。
> (2)はa=1以外、r^(p-1)=apのとき、x^p+y^p=(x+(ap)^{1/(p-1)})^p…(4)となる。rは有理数となる。
> (4)の解は、(3)の解のa^{1/(p-1)}倍となる。
> (3)の右辺を二項展開すると、yが有理数のとき、xは無理数となるので、(3)は整数比の解を持たない。

例によって例の如く、「yが無理数の場合は？」ですね
yが無理数の場合について証明が完了するまで「(3)は整数比の解を持たない」を前提として使うことは許されません

> (3)をx=sw、y=twとおいて、(sw)^p+(tw)^p=(sw+p^{1/(p-1)})^pとする。(s,tは有理数、wは無理数)
> 両辺をw^pで割って、s^p+t^p=(s+(p^{1/(p-1)})/w)^pとする。
> (p^{1/(p-1)})/wが有理数の場合は、(4)となるので、s,tは整数比とならない。

「(3)は整数比の解を持たない」は使えません
「(4)は整数比の解を持たない」も使えません
仮に整数比にならないとしても「x:y:zが整数比にならない」なので「x:yが整数比」はありえます

> ∴pが奇素数のとき、x^p+y^p=z^pは、整数比の解を持たない。

間違いばかりで証明になっていませんね

>603
616を見てください。

>604
616を見てください。

>607
616を見てください。

>608
616を見てください。

>609
616を見てください。

>610
616を見てください。

>611
616を見てください。

>612
616を見てください。

>613
616を見てください。

【定理】pが奇素数のとき、x^p+y^p=z^pは、整数比の解を持たない。
【証明】x^p+y^p=z^pを、z=x+rとおいてx^p+y^p=(x+r)^p…(1)とする。
(1)を積の形にすると、r^(p-1){(y/r)^p-1}=ap{x^(p-1)+…+r^(p-2)x}(1/a)…(2)となる。(aは実数)
(2)はa=1、r^(p-1)=pのとき、x^p+y^p=(x+p^{1/(p-1)})^p…(3)となる。
(2)はa=1以外、r^(p-1)=apのとき、x^p+y^p=(x+(ap)^{1/(p-1)})^p…(4)となる。rは有理数となりえる。
(4)の解は、(3)の解のa^{1/(p-1)}倍となる。
(3)の右辺を二項展開すると、yが有理数のとき、xは無理数となるので、(3)は整数比の解を持たない。
(3)をx=sw、y=twとおいて、(sw)^p+(tw)^p=(sw+p^{1/(p-1)})^pとする。(s,tは有理数、wは無理数)
両辺をw^pで割って、s^p+t^p=(s+(p^{1/(p-1)})/w)^pとする。
(p^{1/(p-1)})/wが有理数の場合は、(4)となるので、s,tは整数比とならない。
∴pが奇素数のとき、x^p+y^p=z^pは、整数比の解を持たない。

>>616
ちょっど丁寧に指摘しなおしますね

> 【定理】pが奇素数のとき、x^p+y^p=z^pは、整数比の解を持たない。
> 【証明】x^p+y^p=z^pを、z=x+rとおいてx^p+y^p=(x+r)^p…(1)とする。
> (1)を積の形にすると、r^(p-1){(y/r)^p-1}=ap{x^(p-1)+…+r^(p-2)x}(1/a)…(2)となる。(aは実数)
> (2)はa=1、r^(p-1)=pのとき、x^p+y^p=(x+p^{1/(p-1)})^p…(3)となる。
> (2)はa=1以外、r^(p-1)=apのとき、x^p+y^p=(x+(ap)^{1/(p-1)})^p…(4)となる。rは有理数となる。
> (4)の解は、(3)の解のa^{1/(p-1)}倍となる。
> (3)の右辺を二項展開すると、yが有理数のとき、xは無理数となるので、(3)は整数比の解を持たない。

例によって例の如く、「yが無理数の場合は？」ですね
yが無理数の場合について証明が完了するまで「(3)は整数比の解を持たない」を前提として使うことは許されません

> (3)をx=sw、y=twとおいて、(sw)^p+(tw)^p=(sw+p^{1/(p-1)})^pとする。(s,tは有理数、wは無理数)
> 両辺をw^pで割って、s^p+t^p=(s+(p^{1/(p-1)})/w)^pとする。
> (p^{1/(p-1)})/wが有理数の場合は、(4)となるので、s,tは整数比とならない。

「s,tは整数比とならない」の根拠がありません

「(4)は整数比の解を持たない」が使えればよいのですが、
これは証明の中の記述だと
「(3)は整数比の解を持たない」と
「(4)の解は、(3)の解のa^{1/(p-1)}倍となる」
から導かれます
「(3)は整数比の解を持たない」が証明されていないので「(4)は整数比の解を持たない」は使えません

> ∴pが奇素数のとき、x^p+y^p=z^pは、整数比の解を持たない。

書き方を少し変えただけで、「(3)はyが無理数の場合に整数比の解を持たない」の証明のために「(3)は整数比の解を持たない」を持ち出しているのは変わらないようですね

>>618
> >>616
> > (3)をx=sw、y=twとおいて
> > s,tは有理数
> この時点で(3)のx,yは整数比でa^{1/(p-1)}倍しても比は変わらないので
> > s,tは整数比とならない
> これはあり得ないです

これ自分も思うのだけれど、
> (s,tは有理数
って定義しておいて、あとで
> s,tは整数比とならない。
ってなるの、ありえないよね。

【定理】p=2のとき、x^p+y^p=z^pは、整数比の解を持つ。
【証明】x^2+y^p=z^2を、z=x+rとおいてx^2+y^2=(x+r)^2…(1)とする。
(1)を積の形にすると、r{(y/r)^2-1}=a2x(1/a)…(2)となる。(aは実数)
(2)はa=1、r=2のとき、x^2+y^2=(x+2)^2…(3)となる。
(3)の右辺を二項展開すると、yが有理数のとき、xは有理数となるので、(3)は整数比の解を持つ。
(2)はa=1以外、r=a2のとき、x^2+y^2=(x+a2)^2…(4)となる。
(4)の解は、(3)の解のa倍となるので、(4)は整数比の解を持つ。
∴p=2のとき、x^p+y^p=z^pは、整数比の解を持つ。

>>629
x,yが整数比になる場合の扱いが間違っているのでアウト

s,tは有理数とする
x^p+y^p=z^pにおいてx=s,y=tとするとx,yは整数比
s^p+t^p=z^p=(s+(z-s))^p x,yは整数比
(s/(z-s))^p+(t/(z-s))^p=(s/(z-s)+1)^p…(4) x,yは整数比
これをp^{1/(p-1)}倍すれば(3)になりx,yは整数比

(s/(z-s))^p+(t/(z-s))^p=(s/(z-s)+1)^p…(4)において
zが無理数ならばx,yは整数比
zが有理数ならばx,yは整数比かつzが有理数であることからx,y,zが整数比

「x,yは整数比」を否定することで
pが奇素数のときx^p+y^p=z^pは整数比の解を持たない
を証明した場合はその証明は間違い

> (3)の右辺を二項展開すると、yが有理数のとき、xは無理数となる
日高アウト
> s,tは整数比とならない
日高アウト

【定理】pが奇素数のとき、x^p+y^p=z^pは、整数比の解を持たない。
【証明】x^p+y^p=z^pを、z=x+rとおいてx^p+y^p=(x+r)^p…(1)とする。
(1)を積の形にすると、r^(p-1){(y/r)^p-1}=ap{x^(p-1)+…+r^(p-2)x}(1/a)…(2)となる。(aは実数)
(2)はa=1、r^(p-1)=pのとき、x^p+y^p=(x+p^{1/(p-1)})^p…(3)となる。
(2)はa=1以外、r^(p-1)=apのとき、x^p+y^p=(x+(ap)^{1/(p-1)})^p…(4)となる。rは有理数となりえる。
(4)の解は、(3)の解のa^{1/(p-1)}倍となる。
(3)の右辺を二項展開すると、yが有理数のとき、xは無理数となるので、(3)は整数比の解を持たない。
(3)をx=sw、y=twとおいて、(sw)^p+(tw)^p=(sw+p^{1/(p-1)})^pとする。(s,tは有理数、wは無理数)
両辺をw^pで割って、s^p+t^p=(s+(p^{1/(p-1)})/w)^pとする。
(p^{1/(p-1)})/wが有理数の場合は、(4)と同じ形となるので、s,tは整数比とならない。
∴pが奇素数のとき、x^p+y^p=z^pは、整数比の解を持たない。

>631
> (s,tは有理数
って定義しておいて、あとで
> s,tは整数比とならない。
ってなるの、ありえないよね。

634を見てください。

>>635
> >631
> > (s,tは有理数
> って定義しておいて、あとで
> > s,tは整数比とならない。
> ってなるの、ありえないよね。
>
> 634を見てください。

いや、変わってないと思うけど。

>>635
> 634を見てください。
>>616
(2)はa=1以外、r^(p-1)=apのとき、x^p+y^p=(x+(ap)^{1/(p-1)})^p…(4)となる。rは有理数となる。
(p^{1/(p-1)})/wが有理数の場合は、(4)となるので、s,tは整数比とならない。
>>634
(2)はa=1以外、r^(p-1)=apのとき、x^p+y^p=(x+(ap)^{1/(p-1)})^p…(4)となる。rは有理数となりえる。
(p^{1/(p-1)})/wが有理数の場合は、(4)と同じ形となるので、s,tは整数比とならない。

よくこれで634を見てくださいと言えるものだね
>>616
> s,tは整数比とならない
日高アウト
>>634
> s,tは整数比とならない
日高アウト

>>637
何か言い返しさえすればいいと思ってるのかな。
幼稚園児なみですね。

>>638
もちろんこれは日高氏の書き込みに対する感想です。

>>634
> (3)の右辺を二項展開すると、yが有理数のとき、xは無理数となるので、(3)は整数比の解を持たない。
> (3)をx=sw、y=twとおいて、

自然数比の解を持たないと言った直後にこうおくのはなぜ？

指摘された事を考えてから回答するには最低2日間は要る。即座に意味がわからない、説明してくれ、というのは考えていないに等しい。

>630
yが無理数の場合について証明が完了するまで「(3)は整数比の解を持たない」を前提として使うことは許されません

「(3)は整数比の解を持たない」は、ｙが、有理数の場合です。

>>642
> >630
> yが無理数の場合について証明が完了するまで「(3)は整数比の解を持たない」を前提として使うことは許されません
>
> 「(3)は整数比の解を持たない」は、ｙが、有理数の場合です。

だったら、「yが有理数の場合」とはっきり書かなくては。

【定理】pが奇素数のとき、x^p+y^p=z^pは、整数比の解を持たない。
【証明】x^p+y^p=z^pを、z=x+rとおいてx^p+y^p=(x+r)^p…(1)とする。
(1)を積の形にすると、r^(p-1){(y/r)^p-1}=ap{x^(p-1)+…+r^(p-2)x}(1/a)…(2)となる。(aは実数)
(2)はa=1、r^(p-1)=pのとき、x^p+y^p=(x+p^{1/(p-1)})^p…(3)となる。
(2)はa=1以外、r^(p-1)=apのとき、x^p+y^p=(x+(ap)^{1/(p-1)})^p…(4)となる。rは有理数となりえる。
(4)の解は、(3)の解のa^{1/(p-1)}倍となる。
(3)の右辺を二項展開すると、yが有理数のとき、xは無理数となる。xが有理数のとき、yは無理数となる。
(3)をx=sw、y=twとおいて、(sw)^p+(tw)^p=(sw+p^{1/(p-1)})^pとする。(s,tは有理数、wは無理数)
両辺をw^pで割って、s^p+t^p=(s+(p^{1/(p-1)})/w)^pとする。
(p^{1/(p-1)})/wが有理数の場合は、(4)と同じ形となるので、s,tは整数比とならない。
∴pが奇素数のとき、x^p+y^p=z^pは、整数比の解を持たない。

>630
644を見てください。

>>644
> 両辺をw^pで割って、s^p+t^p=(s+(p^{1/(p-1)})/w)^pとする。
> (p^{1/(p-1)})/wが有理数の場合は、(4)と同じ形となるので、s,tは整数比とならない。

(4)と同じ形だとなぜ自然数比にならないのですか？

>633
644を見てください。

>634
644を見てください。

>637
644を見てください。

>646
(4)と同じ形だとなぜ自然数比にならないのですか？

(p^{1/(p-1)})/wが有理数のとき、
s^p+t^p=(s+(p^{1/(p-1)})/w)^pは、成り立ちません。
s,tが整数比でないならば、成り立ちます。

>>650
> (p^{1/(p-1)})/wが有理数のとき、
> s^p+t^p=(s+(p^{1/(p-1)})/w)^pは、成り立ちません。

なぜですか？

>651
> (p^{1/(p-1)})/wが有理数のとき、
> s^p+t^p=(s+(p^{1/(p-1)})/w)^pは、成り立ちません。

x^p+y^p=(x+(ap)^{1/(p-1)})^pの
x,yは、ともに、有理数とならないからです。