设矩阵A的秩 r(A) = r,A为 m*n 矩阵,则 齐次线性方程组 AX=0 的基础解系含 n - r(A) 个向量.