设A是实数矩阵,证明AX=0与A(T)AX=0同解,从而矩阵A与ATA的秩相等