两个向量组互相线性表示的条件