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

＞式を同じにして日高の判定方法 (x-1)=ay を使うと
y>0, a=(s-1)/y (sは有理数)の場合 x=s (sは有理数)となり(3)は r=y(y+1) (rは有理数)と変形できる
ので(3)の解は y^2+y-r=0を解けば x=s, y={-1+(1+4r}^(1/2)}/2 (r,sは有理数) と書ける
よって証明は間違い

y={-1+(1+4r}^(1/2)}/2 (r,sは有理数)は、どこから、出てきた式でしょうか？