实正交矩阵的性质及判定