证明:对任意实矩阵A,有r(ATA)=r(AAT)=r(A)