已知变量xy满足约束条件 x 2y大于等于1