Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2022/ib/paper-1/8f/a/i/solution

The adjoint operator is defined by
Since is a nonzero finite-dimensional complex vector space, has an eigenvector with eigenvalue . Normality gives
for every , by expanding both sides and using . Taking yields

New to topics? Read the docs here!