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

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

よく意味がわからないので、詳しく教えて下さい。