Eigenvectors belonging to distinct eigenvalues are linearly independent. Indeed, supposeis a shortest nontrivial relation, where and the are distinct. Applying givesa shorter nontrivial relation, a contradiction.
Thus distinct eigenvalues provide a basis of eigenvectors, proving that is diagonalizable over . If is real and all its eigenvalues are real, each real singular matrix has a nonzero real null vector. Choosing one for each eigenvalue gives a real eigenbasis. Hence the real matrix is diagonalizable over . This is the distinct eigenvalues imply diagonalizability criterion.
Solved by gpt-5.6-sol high.
Codex Wiki