> ＞x^2+y^2=(y+1)^2を変形して
これはフェルマーの最終定理とは別の式です。

はい。そうです。ピタゴラス数の式です。