>>651
自分の証明がこれと同じぐらい不完全だって分かってる？
【定理】x^p+y^p=z^p は有理数解を持たない。
【証明】x^p+y^p=z^pを、z=x+rとおいて、x^p+y^p=(x+r)^p…(1)とする。
rは無理数とする。
(1)はxが有理数の時y,zは無理数となる。
∴x^p+y^p=z^p は、有理数解を持たない。