对线性方程组：，当满足条件()时有无穷多解，且有两个自由变量.