Past exam of the mathematics course of the year 1 of the natural sciences course of the University of Cambridge / 2001 / Paper 1 / 3 / b

Adding and subtracting the two coordinates shows that $A(1,1{)}^T=(c+s)(1,1{)}^T$ and $A(1,-1{)}^T=(c-s)(1,-1{)}^T$. The normalized eigenvectors can therefore be chosen asTheir inner product is $(1-1)/2=0$, and their squared norms are one, proving orthonormality. If $s=0$, every nonzero vector is an eigenvector; this chosen orthonormal basis still works.