Distinct eigenvalues of a Hermitian matrix have orthogonal eigenvectors.

Created over 8 years ago, updated 2 months ago