解线性方程组什么时候用系数矩阵什么时候用增广矩阵