已知变量x y满足约束条件x 2y=1