已知方程组x+2y=k 2x+y=1 的解满足x-y