实对称矩阵对角化的正交矩阵是方阵吗?