Solution

ID: past-exam-of-the-mathematical-methods-i-course-of-the-university-of-oxford/2015-resit/8/solution

If for a nonzero eigenvector, then implies , hence . Conversely, the real-symmetric spectral theorem gives with orthogonal . If every diagonal entry of is zero or one, then and therefore . Thus the necessary and sufficient condition is
Such a symmetric idempotent matrix is the orthogonal projection onto its eigenvalue-one eigenspace, with its eigenvalue-zero eigenspace as the kernel. Diagonalizability is essential to the sufficiency argument from eigenvalues alone; symmetry supplies it here.

New to topics? Read the docs here!