已知变量x y满足不等式组x-y 2大于等于0