2002年，数字三考研。

1.你的k2不对。在k2和M的关系中，系数m2的符号应该是正的。这个说法可以用M代替K，提取公因子m1和m2来验证。

2.如果找到这样的关系群，并不意味着任意给定m1，m2，就可以推导出对应的k1和k2成为这个解。那么你就要考虑了，如果你随意给k1，k2，能不能得到对应的m1，m2成为这个解？也有可能(如果你把这个想成方程组，就会有R(系数矩阵)=r(增广矩阵)=2)，那么你的两个基本解系实际上代表的是同一套解，但是这样看就很奇怪了。