设X,y是有理数,且x,y满足x²+2y+y√2=17-4√2