First note that if is normal, then
for every . Hence an eigenvector with also satisfies
Normalize and extend it to an orthonormal basis. Let have these basis vectors as columns. The first column of is . For every ,
so the first row also has no off-diagonal entries. Therefore
Comparing the two block products in the normality identity shows that , so is normal.
The result is trivial in dimension one. Applying the induction hypothesis to and adjoining the eigenvector gives an orthonormal eigenbasis for . This proves the unitary diagonalization of a normal matrix.

Articles by others on the same topic (0)

There are currently no matching articles.