>68
x^p+y^p=(x+1)^pのyに有理数を代入して

(2)はa=1以外、r^(p-1)=apのとき、x^p+y^p=(x+(ap)^{1/(p-1)})^p…(4)となる。
(ap)^{1/(p-1)}=1となります。
(4)の解は、(3)の解のa^{1/(p-1)}倍となるので、rが有理数のとき、x,y,zは整数比となりません。