Solution

ID: past-exam-of-the-mathematics-course-of-the-year-2-of-the-natural-sciences-course-of-the-university-of-cambridge/2016/paper-1/10/a/i/solution

For an eigenfunction in the operator domain, . Substitution into the Rayleigh quotient gives
The cancellation only needs a finite nonzero norm; orthonormalization makes both denominator and norm equal to one.

New to topics? Read the docs here!