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

yが無理数の場合
x=s, y={-1+(1+4r)^(1/2)}/2 (r,sは有理数) と書ける
yが有理数の場合
x=s, y={-1+(1+4r)^(1/2)}/2 (r,sは有理数) と書ける

rによって、yは有理数にも、無理数にもなるという意味だと思いますが？