展开 怎么验证两个向量线性无关