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