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 / 5 / b / iii / Solution

They are similar matrices, so their eigenvalues, with algebraic multiplicities, are identical. Explicitly,Moreover their eigenvectors correspond by $Av=\lambda v⟺(D^{-1}AD)(D^{-1}v)=\lambda D^{-1}v$. Since the transformed matrix is a real symmetric matrix, the spectral theorem for real symmetric matrices also shows that $A$ has real eigenvalues and is a diagonalizable matrix.