已知x,y均为有理数,且x^2 2y