一个对称矩阵的规范型是指与它合同的最简对角阵，对角线上的元素只可能有1，-1，0且按1,…,1,-1,…,-1,0,…,0排列。
https://zhidao.baidu.com/question/587308148066207285.html
实对称矩阵的正交相似对角化
对实对称矩阵，A’=A，总有正交矩阵T，
使T’AT=T逆AT=diag(lambda1,lambda2,…,lambdan)
https://wenku.baidu.com/view/b729721524c52cc58bd63186bceb19e8b8f6ec80.html