>>500
x-y = k
から、y+k と yという組を選んでも

xy = (4-k^2)/3
を満たさないといけない。

逆もそう。
どんな数でもいいというわけにはいかない。