展开 齐次线性方程组只有零解则非齐次