因为 A+B 的列向量组 可由 A的列向量组的一个极大无关组 与 B的列向量组的一个极大无关组 合并的向量组 线性表示