Let and such that . Prove that
Since is real, its complex eigenvalues come in conjugate pairs. Thus, in this case we conclude that has eigenvalues .
Now, if is an eigenvalue of , then is an eigenvalue of . Thus, the matrix has eigenvalues and .
Now, is the product of these eigenvalues, which is to say