其次线性方程组,行列式为0,一定有非0解.