Sei
invertierbar mit
in Jordanform.
Sei nun umgekehrt
einziger Eigenwert von
. Dann sind alle auftretenden Jordanblöcke der Form
für gewisse
, und es ist
. Sei
die maximale Kantenlänge aller auftretenden Jordanblöcke. Dann ist
, und es folgt
.
Alternativ ist
für ein
genau dann, wenn
für ein
, was wiederum genau dann gilt, wenn
einziger Eigenwert von
ist.
Daher ist
genau dann, wenn
ist für alle
, was genau dann der Fall ist, wenn für jedes
genau ein Jordanblock existiert,
und zwar mit Kantenlänge
, was schließlich dazu äquivalent ist, daß jeder Eigenwert geometrische Vielfachheit eins besitzt.
Alternativ, mit
gilt
. Daher ist
ein Teiler von
. Die Nullstellen von
sind genau die
-ten Einheitswurzeln
für
, und diese sind paarweise verschieden. Es folgt
. Also besitzt
und somit auch
nur einfache Nullstellen, und folglich ist
diagonalisierbar.
Zum Beispiel erfüllt die Matrix
die Gleichung
.