实对称矩阵的正交矩阵是唯一的吗