展开 一个向量能由另一个向量组线性表示的条件