初等数学によるフェルマーの最終定理の証明

>>230
> x=s, y={-1+(1+4r}^(1/2)}/2 (r,sは有理数)である解を持つことを
>
> この式の意味を教えて下さい。

(x-1)(x^2+x+1)/3=ay(y+1)/a…(3)は
x=s (sは有理数)のとき y={-1+(1+4r}^(1/2)}/2 (rは有理数)である実数解を持つ