基础解系 是齐次线性方程组 AX=0 的所有的解的一个极大无关组
它含 n-r(A) 个解向量
r(A) 是系数矩阵A的秩
它对应 AX=0 中约束未知量的个数
自由未知量的个数即 n-r(A), 对应基础解系所含向量的个数