x^2+y^2=(y+1)^2が整数解を持つことから証明できなければダメ

x^2+y^2=(y+1)^2は、有理数解をもちます。
よって両辺に適当な数を掛けると、整数解がもとめられます。