展开 线性方程组系数行列式为零,则必有非零解