因为 (AA^T)^T = (A^T)^TA^T = AA^T
所以 AA^T 是对称矩阵
同理， 因为 (A^TA)^T = A^T(A^T)^T = A^TA
所以 A^TA是对称矩阵
性质: (AB)^T=B^TA^T
性质
在线性代数中，对称矩阵是其转置矩阵等于自身的平方矩阵。1855，C. Hermite（1822-191年）证明了其他数学家发现的一些矩阵类的一些特征值的特殊性质，如矩阵矩阵的特征根性质。
随后，clebsch（1831-1872）和a.buchheim证明了对称矩阵的特征值性质。H. Taber介绍了矩阵迹的概念，并给出了一些相关结论。
