Independence of eigenvectors for distinct eigenvalues
= Independence of eigenvectors for distinct eigenvalues
{title2=$\prod_{j\ne k}(M-\lambda_jI)\sum_i c_i e_i=0$}
Applying the product of the other eigenvalue factors to a linear relation isolates each coefficient. Distinct <eigenvalues> therefore give <linearly independent> <eigenvectors>. A complete eigenvector <basis> diagonalizes the associated <linear system of ordinary differential equations>.