展开 两向量线性相关的充要条件