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

■整数解判定アルゴリズム

x^3+y^3=(y+1)^3 (x,yは有理数)に
自然数解があるかを調査

x^3=(y+1)^3-y^3
x^3=3y^2+3y+1
1(x^3)=1(3y^2+3y+1)

x^3=1
3y^2+3y+1=1

∴x=1

3y^2+3y=0
3y(y+1)=0

∴y=0

整数解はx=1，y=0