 Solution

The pairwise dot products of the normalized vectors areTheir squared norms are respectively $(1+2+1)/4$, $(1+1)/2$, and $(1+2+1)/4$, all one. Hence they form an orthonormal basis. This also follows from the spectral theorem for real symmetric matrices, because $D$ is symmetric and its three eigenvalues are distinct.