Jetzt habe ich doch noch eine Idee:
Die Potenzen von A erzeugen einen Vektorraum mit einer Dimension
kleiner oder gleich n. Also gibt es für A^(n+1) eine Linearkombination
x1*A + x2*A^2 + …. + xn*A^n = A^(n+1) #
Andererseits ist das char. Polynom p von A vom
Grad n und es gilt p(A) = 0
=> Es gibt mo, m1,...,mn aus K mit
mo*E +m1*A + m2*A^2 + ….. + mn*A^n = 0 ##
Wegen grad=n ist mn≠0 und somit lässt
sich ## nach A^n auflösen und bei #
einsetzen. Dann hat man bei # auf der
linken Seite ein Polynom vom Grad kleiner oder gleich n-1.