【计算题】设A为m×n维的实矩阵，求证AA^T，A^TA均为对称阵。