x^2+y^2=(y+2)^2は√2が無理数でも互いに素な整数解を持つので
理由として間違い

3^2+4^2=(4+1)^2は、互いに素な整数解を持つので、(√1=1)
4^2+3^2=(3+2)^2も、互いに素な整数解を持ちます。