正交相似变换下对角形的应用

举例说明了用正交矩阵化实对称矩阵为对角形在证明或计算中的某些应用。