>>168
> > x^3+y^3=(x+2)^3のyを有理数とすると、xは無理数となります。
> これは証明されていない
>
> (3)(4)の解の比は同じなので、(4)の解も有理数とならない。
> からです。
>>179
> (3)の解は有理数とならない。
> (3)(4)の解の比は同じなので、(4)の解も有理数とならない。
(3)(4)の解の比が同じ場合を考えたとき
(4)の解が有理数解になるような(3)の解は有理数解ではない
ことの説明(具体例)

i,j,kを自然数としてi:j:kつまり整数比になる解を考える
n=2とn≧3の場合で全く同じでありnの値は関係ない
(x,y,z)=(i,j,k)であればr=z-x=k-i
よってx,y,zがi:j:kとなる解は
r=1ならば(x,y,z)=(i/(k-i),j/(k-i),k/(k-i)) z-x=(k-i)/(k-i)=1
r=2ならば(x,y,z)=(2*i/(k-i),2*j/(k-i),2*k/(k-i))
r=√3ならば(x,y,z)=(√3*i/(k-i),√3*j/(k-i),√3*k/(k-i))