线性代数课本上在对称矩阵的对角化那一节有个定理：设A为n阶对称阵,则必有正交阵P,使P^-1AP=P^TAP=^.其中^是以A的n个特征值为对角元的对角阵.所以对陈阵必可以对角化,它的对角矩阵对角线的值就是对称阵的特征值.