Distinct eigenvalues of a Hermitian matrix have orthogonal eigenvectors.

Created almost 9 years ago, updated 4 months ago