已知方程组 的解满足方程x y=， 求k的值。