定义

$$ 满足AA^T=A^TA=E的矩阵A是正交矩阵 $$

推论

$$ \begin{aligned} A是正交矩阵 & \Leftrightarrow \textcolor{red}{A^{-1} = A^T } \\ & \Rightarrow |A|^2=1 \\&\Rightarrow A^{*}也是正交矩阵 \end{aligned} $$