设向量组为齐次线性方程组的一个基础解系