Past exam of the mathematics course of the University of Cambridge 2022 iii Paper 225 2 b Solution 2026-09-28
Let , where . Suppose for contradiction thatThen , so every leading eigenpair is also an eigenpair of . Since , the Courant–Fischer min-max principle gives . If in the strictly decreasing spectrum of , this inequality implies . Orthogonality and distinctness forceHence the first eigenvectors of span the same space as . Their assumed orthogonality to would imply for every , contradicting the hypothesis. Therefore some satisfies .