rmula_3的最大线性无关组，则此最大线性无关组的向量个数"r"，即为向量组formula_3的秩。假设矩阵A的列秩为r，记矩阵A的列向量为formula_5，于是能找到r个线性无关的列向量，使得等式formula_6只有零解。另一方面，可知此线性方程组只有零解当且仅当它的行向量组的秩formula_7。于是能在此线性方程组的系数矩阵中找到r个线性无关的行向量。注意到这些行向量是由矩阵A的行向量"缩短"得到的。给这些行向量增加若干个分量，我们就得到矩阵A的r个线性无关的行向量。因此矩阵A的行秩必然fo