知识点:齐次线性方程组Ax=0只有零解的充分必要条件是A的列向量组线性无关.
证明:考虑齐次线性方程组 ABx=A(Bx)=0.
由于A的列向量组线性无关,所以 Bx=0
又由B的列向量组线性无关,所以 x=0
所以ABx=0只有零解
所以 AB 的列向量组线性无关.