Eigenvectors of a symmetric matrix with different eigenvalues are orthogonal.

Created almost 9 years ago, updated 4 months ago