3元齐次线性方程组x1+2x2=0 x3=0的一个基础解系