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

x^3+y^3=(y+1)^3
x^3=3y^2+3y+1
y=-3+√{3^2-4*3(1-x^3)}/6
yが有理数になるには、{3^2-4*3(1-x^3)}=t^2。tは有理数。
x=b/aとおく。
-3+12*(b/a)^3=t^2
(b^3)/(a^3)=(t^2+3)/12
b^3=(a^3)(t^2+3)/12
b={a*(t^2+3)^(1/3)}/12^(1/3)
12^(1/3)が無理数なので、b,xは無理数。