Past exam of the year 1 of the computer science course of the University of Oxford / 2022 / Digital systems, linear algebra, introduction to formal proof / 4 / b

Let $PA{P}^{-1}=\mathrm{diag}({\alpha }_1,\dots ,{\alpha }_n)$ and $PB{P}^{-1}=\mathrm{diag}({\beta }_1,\dots ,{\beta }_n)$. ThenBy matrix similarity, every eigenvalue of $A+B$ is ${\alpha }_i+{\beta }_i$ for some $i$. These are corresponding eigenvalues on the common eigenbasis, rather than every possible pairwise sum. This is eigenvalue addition in a common eigenbasis.