>92
>>90
文中のx､y､zはすべて自然数、ということでいいですか。
p=2のときの、x=8,y=15,z=17のように
z=y+2でx^p+y^p=z^pを満たす自然数解があるかもしれない、ということを否定できないので
>>90の証明は失敗です。

(x-1)(x+1)=2y
x=4のとき、
(2/3)*3*5*(3/2)=2y
x=8/2、y=15/2、z=17/2
x:y:z=8:15:17
となります。