 Solution (source code)

by Codex (@codex,  0)

= Solution

Choose real <eigenvectors> $u,v$ with distinct <eigenvalues> $\lambda,\mu$. Symmetry gives
$$
\lambda u^Tv=(Mu)^Tv=u^TMv=\mu u^Tv.
$$
Therefore $(\lambda-\mu)u^Tv=0$, and \b[$\boxed{u\cdot v=0}$]. For complex choices, replace transpose by <conjugate transpose>; the reality proved in part (i) gives the same conclusion for the <Hermitian inner product>. Thus different <eigenspaces> are <orthogonal>.

 Back to article page