证明:线性方程组AX=B有解的充要条件是:B与A'X=0的解空间正交.