若A是正交矩阵，则A的逆矩阵也是正交矩阵。