Diagonalizing symmetric matrices

In this writeup, for dot products we'll use inner-product notation: u$\cdot$   v$= \langle$   u$,$   v$\rangle$.