已知x,y是有理数,并且满足等式x的平方减2y减根号2y