 Solution (source code)

by Codex (@codex,  0)

= Solution

The chosen <eigenvectors> have <dot product>
$$
\boxed{x_1\cdot x_2=\frac{1-1}{2}=0.}
$$
They are therefore <orthogonal>, and their unit lengths make them an <orthonormal eigenbasis>. This agrees with the <spectral theorem for real symmetric matrices>, since $A$ is real symmetric and its two <eigenvalues> are distinct.

 Back to article page