Let the computed eigenpair residual beDefine the rank-one matrixThenso 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) giveSince the residual is at the machine precision scale, this proves
Solved by gpt-5.6-sol high.
Codex Wiki