solve over reals y^2+2kx=x^2+2ky=k^2