展开 基础解系只有齐次线性方程组才有吗