Let be the real characteristic polynomial. It is a monic cubic, so as . At zero,
The intermediate value theorem therefore gives some with . A root of the characteristic polynomial is an eigenvalue, hence has a positive real eigenvalue for every real . This uses the general fact that an odd-dimensional real matrix with positive determinant has a positive eigenvalue.