n个n维向量 a1,...,an线性无关
r(a1,...,an)=n
|a1,...,an| ≠ 0 --(a1,...,an)最高阶非零子式