「(1)の整数解」 (x,y)=(a,b) (a,bは整数)はa^2=2b+1が成立していないといけない
「(1)の有理数解」はx^2+y^2=z^2の整数解

そのとおりですが、どうしてこれが、
> (1)が整数解を持たなくても有理数解を持ちます。
になるのでしょうか？