设A是m*n矩阵,B是n*s矩阵,x是列向量,证明：AB=O的充分必要条件是B的每一列都是齐次线性方程组AX=O的解

设B=[b1,b2,……,bs]
那么
AB=O
A[b1,b2,……,bs]=[O,O,……,O]
Abi=0,(i=1……s)
即bi(i=1,2,...,s)是AX=O的解