eigenvalues of an involution
Proof. For the first claim suppose is an eigenvaluecorresponding to an eigenvector
of . That is, .Then , so . As an eigenvector, is non-zero, and. Now property (1) follows since the determinant
isthe product of the eigenvalues. For property (2), suppose that, where and are as above.Taking the determinant of bothsides, and using part (1), and the properties of the determinant, yields
Property (2) follows.