>222
>>205の通り、(5)式はr=1でもr=2でも成り立ちます。
たとえばZ=2,X=1の時X：Z=1：2です。

x^p+y^p=(x+(ap)^{1/(p-1)})^p…(5)

p=3,x=1,z=2,r=1とすると、
1^3+y^3=(1+1)^3

yは、無理数となります。