「a^2≠2b+1であっても」を「(1)が整数解を持たない場合であっても」
「x^2+y^2=z^2は整数解を持ちます」を「(1)が(整数解以外の)有理数解を持つ」
と書き直せば良い

よく意味がわかりません。