如图所示, 因为A的解都是B的解,因此,A的解包含在B的解当中,那么两个方程取交集和单独A的方程是等价的。因此有这两组方程【A|B和A】的解空间是等价的(可以推出极大线性无关组秩相同(反过来不成立))增广矩阵的秩和A的秩相同A的行向量可以表示B中的任意行向量,B的行向量组可以被A的行向量组线性表示A的秩大于等于B的秩