展开 两个向量线性相关有什么性质