线性代数非齐次方程组同解推出增广矩阵行向量组等价