关于正交矩阵的一道证明题,求高手出现.