フェルマーの最終定理の簡単な証明

x^2+y^2=(y+1)^2を満たす整数解があるので、有理数解もあります。