实对称矩阵可对角化证明

在极化分解的证明中使用过此定理，证明于此。

 埃尔米特矩阵是指复对称矩阵，实对称矩阵是其特例。