展开 行列式等于零齐次线性方程组有非零解