>82
>成り立たないことを証明しなければいけないがあんたは証明していない

1で、証明しています。

>y=twならば無理数であるがy=tだから無理数にはならない

(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は無理数となる。

> y^2=4x+4の、
x=5とすればyは無理数になるじゃないですか

yは、有理数とします。

>式が成り立たないことを証明せよと言われても
成り立たない根拠として証明せずに式は成り立ちませんというだけでしょ

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

>【定理】pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
【日高証明】x,y,zが整数比ならば、式は成り立ちません。
∴pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。

1を、よく読んでください。

>【定理】pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
【日高証明】s,tを有理数とすると、式s^p+t^p=(s+1)^pは、成り立ちません。
∴pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。

1を、よく読んでください。