The eigenvectors of a normal matrix are an orthonormal basis.

Created almost 9 years ago, updated 4 months ago