设A为任一实矩阵,R(ATA)与R(A)是否相等?请证明你的结论.