A属于Rm*n,证明:线性方程组AX=b有解的充要条件是m维列向量b与线性方程组A^TY=0的解空间正交.