定理 1.2. 秩判别解的存在性

线性方程组 (1.1) 有解的充要条件是系数矩阵 的秩等于增广矩阵 的秩,即