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

＞a=(s-1)/y (y>0), x=s (sは有理数)の場合
yだけを右辺に集めて左辺をr (rは有理数)とおけば
r=y(y+1), y={-1+(1+4r)^(1/2)}/2 (r,sは有理数)
B-D=0

よく意味がわかりません。