Here we present a non-inductive proof of the spectral theorem for normal matrices (which doesn’t use, for instance, proposition 8.6.4 in Artin’s Algebra). (But it does seem to be the same as the proof in Herstein’s Topics in algebra.) It is motivated by a similar direct proof (presented in my class) for Hermitian operators with distinct eigenvalues.
We work in matrix form, so we need to prove that there exists an orthonormal basis of consisting of eigenvectors of a normal matrix .
First we show that has no generalized eigenvectors of order (or higher). Fix , and define . Since commutes with every matrix, is normal. It suffices to show that whenever (here is a vector). Suppose the latter holds. Since commute,
from which it similarly follows that
Hence has all Jordan blocks of size ( is diagonalizable). Let be the distinct eigenvalues of , with corresponding eigenspaces , so that .
We now prove that the are pairwise orthogonal. Let be two distinct indices and take , . Let , so is normal as before. Then (by definition), so
so forces , establishing the desired orthogonality.
Finally, we can just choose arbitrary orthonormal bases for the (nondegenerate) individual , and merge the resulting bases into a single orthonormal basis of eigenvectors for , so we’re done.