展开 齐次线性方程组有非0解