正交矩阵的逆矩阵等于其转置。