eigenvalues of (real?) orthogonal matrices have magnitude 1

Printable View