齐次线性方程组有非零解的充要条件是系数行列式等于零。