线性代数
相容
方程组至少有一个解
不相容
方程组无解
求解线性方程组的步骤
存在于唯一性定理
线性方程组相容的充要条件是增广矩阵的最右列不是主元列，也就是说，增广矩阵的阶梯形没有形如：\begin{bmatrix}
0&\cdots&0 &b
\end{bmatrix}
b \neq0的行，若线性方程组相容，他的解集可能有两种情况：(1)当没有自由变量时，有唯一解；(2)若至少有一个自由变量，有无穷多解
阶梯型
一个mxn的矩阵B是阶梯型的，如果
1. 所有完全由零组成的行集中在矩阵最下方
2. 在每一个非零行，第一个非零元素是1
3. 如果第i+1行有非零元素，那么第一个非零元素所在的列位于第行第一个非零元素的右侧
简化阶梯型
一个阶梯型矩阵，如果任一行的非零首元素都是它所在列的唯一非零元，则该阶梯型是简化阶梯行矩阵