因为 x1,x2,x3……xm 与 x1+x2,x2,x3……xm 可互相线性表示
所以 r(x1+x2,x2,x3……xm) = r(x1,x2,x3……xm)=m
所以 x1+x2,x2,x3……xm 线性无关,且可表示任一解向量
故 x1+x2,x2,x3……xm 是基础解系