n个n维向量线性无关可以推出它们构成的方阵的行列式等于零