Solution

ID: past-exam-of-the-mathematics-course-of-the-year-1-of-the-natural-sciences-course-of-the-university-of-cambridge/2014/paper-1/11/c/solution

Expand an arbitrary vector in the orthonormal eigenbasis:
Its image has no component along , so
Alternatively, symmetry gives . This is image-kernel orthogonality for an adjoint, with .

New to topics? Read the docs here!