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