证明：如果是正交阵，则。