齐次线性方程组存在非0解,就说明方程组的系数行列式肯定是线性相关的