展开 齐次方程组系数行列式为零,则一定有非零解