Wenn \(AB\) diagonalisierbar ist, dann existieren eine nichtsinguläre Matrix \(S\), sowie eine Diagonalmatrix \(D\) mit \(S^{-1}(AB)S=D\) oder anders ausgedrückt$$AB=SDS^{-1}.$$Multipliziere von links mit \(B\) und von rechts mit \(B^{-1}\), das nach Voraussetzung existiert, und erhalte$$BA\underbrace{BB^{-1}}_{E_n}=BSDS^{-1}B^{-1}.$$Daraus folgt$$BA=(BS)D(BS)^{-1}$$und daraus die Behauptung.