Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2023/ii/paper-4/40c/e/solution

Let the computed eigenpair residual be
Define the rank-one matrix
Then
so is an exact eigenpair of the perturbed matrix . Moreover,
which is the backward error of an approximate eigenpair.
Follow the simple eigenvalue branch from for . The first-order perturbation of a simple eigenvalue and part (b) give
Since the residual is at the machine precision scale, this proves

New to topics? Read the docs here!