AA^T是对称矩阵吗,为什么啊