(1)が整数解を持つならば(x^2+y^2=(y+2)^2の両辺を2で割った場合の)有理数解Aを持つ

この部分がわかりません。くわしく教えていただけないでうか？