设A和B都是m*n实矩阵,满足r(A+B)=n,证明A^TA+B^TB正定