1.A为m*n矩阵,b为m*1矩阵,证明 ATAx=ATb一定有解