已知x y都是有理数,并且满足x的平方 2y 根号2y=17 4倍的根号12