The characteristic polynomial of a real matrix is . Thus vanishes exactly when , and vanishes exactly when . These are the required eigenvalue conditions.
For and , the discriminant is negative, and
Their moduli equal one. Taking with gives . The strict trace inequalities exclude and hence exclude the repeated real multipliers .

Articles by others on the same topic (0)

There are currently no matching articles.