设齐次线性方程组x1 x2有非零解