Eigenvectors of a symmetric matrix with different eigenvalues are orthogonal.

Created over 8 years ago, updated 3 months ago