Proofs from Diagonalisation
All proofs from Diagonalisation.
Let be eigenvectors for distinct eigenvalues and suppose
To isolate one coefficient, fix and apply
to both sides. The factors commute because each is a polynomial in . Every term except the th is killed by one factor, while
Thus the transformed relation is
The scalar product is non-zero and , so . Since was arbitrary, all coefficients vanish.
If are independent eigenvectors, let
The matrix is invertible and applying to each column gives . Hence .
Conversely, if , then . The columns of are therefore eigenvectors corresponding to the diagonal entries of . Since is invertible, its columns are linearly independent.