Choose
The Leibniz formula for determinants shows that its leading term is , as required. A scalar is an eigenvalue exactly when has a nonzero kernel, equivalently when it is singular, so
The fundamental theorem of algebra gives a complex root of the degree- polynomial , so every nonempty complex square matrix has at least one complex eigenvalue.
Eigenvectors belonging to distinct eigenvalues are linearly independent. Under the hypothesis they therefore form a basis . For every ,
because . A linear map that vanishes on a basis is zero, hence
This proves the Cayley-Hamilton theorem in the distinct-eigenvalue case.
Over , triangularize and denote its eigenvalues, with algebraic multiplicity, by . Then
The numbers are all the root of unity solutions of , so
Consequently
If is an eigenvalue of , choose with . The displayed identity makes at least one factor zero. Thus is an eigenvalue of and

Articles by others on the same topic (0)

There are currently no matching articles.