Valeurs propres de matrices orthogonales

Toutes les valeurs propres complexes d’une matrice orthogonale sont de module $1$.

Soit $A\in\mathcal{O}_n(\mathbb{R})$, c’est-à-dire $A^{\mathsf T}A=I_n$. On travaille dans $\mathbb{C}^{n}$, muni du produit hermitien $\langle x,y\rangle=\overline{x}^{\mathsf T}y$.
Soit $\lambda\in\mathbb{C}$ une valeur propre de $A$ et $x\in\mathbb{C}^{n}\setminus\{0\}$ un vecteur propre associé. Alors
$$\|x\|^{2}=\overline{x}^{\mathsf T}x=\overline{x}^{\mathsf T}A^{*}Ax=\overline{(Ax)}^{\mathsf T}(Ax)=\|Ax\|^{2}=\|\lambda x\|^{2}=|\lambda|^{2}\|x\|^{2}.$$Comme $x\neq 0$, on a $\|x\|^{2}>0$ et l’on peut simplifier. Ainsi $|\lambda|^{2}=1$, donc $|\lambda|=1$.