Die Eigenwerte sind die Lösungen von
det ( f - x*id) = 0
Wenn also f die Matrix hat
a b
c d
dann ist diese Determinante =
(a-x)*(d-x) - cd = x^2 - (a+d)x + (ad-cd)
bzw. = x^2 - tr(f)*x + det(f) .
Und das gleich 0 gesetzt hat Lösungen
nur, wenn die Diskriminante nicht
negativ ist, also wenn gilt
tr(f)^2 - 4 * det(f) ≥ 0 bzw
tr(f)^2 ≥ 4 * det(f)
Das ist wohl die gesuchte Bedingung.