Sei \(\lambda\) ein Eigenwert von \(O\) und \(v\neq 0\) ein zugehöriger
Eigenvektor. Ferner sei \(\langle .,.\rangle\) das Standardskalarprodukt,
dann gilt:
\(\lambda^2\langle v,v\rangle=\langle \lambda v,\lambda v\rangle=\langle Ov,Ov\rangle\stackrel{(*)}{=}\langle v,O^tOv\rangle=\langle v,v\rangle\),
also \(\lambda=\pm 1\).
\((*)\) gilt, da \(O^t\) und \(O\) adjungiert sind: \(O^{ad}=O^t\).