实对称矩阵正交的充要条件