有关实对称矩阵用正交变换划对角阵问题的求解步骤