设A,B是n阶矩阵,证明:矩阵方程AX=B有解的充分必要条件是r(A)=r([A,B])