§3 实对称阵的正交对角化