x1,x2不是基础解系,基础解析必然和原始方程中x的分量个数一样,x1,x2只是用于解出基础解系的中间变量而已.n1,n2才是基础解系
所有解向量(个数无限)都可以由基础解系线性表示
解向量的极大线性无关组就是基础解系