行列式等于零的充要条件是它的行向量组线性无关