>216
「z = 0.5とおく。これは自然数ではないので方程式は自然数解を持たない」で証明終わりですね笑

それでは、
z=x+rとおいてx^n+y^n=(x+r)^n…(1)とする。は、間違いでしょうか？