The eigenvectors of a normal matrix are an orthonormal basis.

Created over 8 years ago, updated 3 months ago