Solution

ID: 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-resit/4/e/solution

The requested order is . To obtain this order directly, put the transposes of the two eigenvectors in the rows of , using the fact that is symmetric:
Then , so is an invertible matrix, with
Multiplication gives , since and . Multiplying by proves the required diagonalization. Putting the eigenvectors in columns would instead give the equally standard order , so the convention must be checked rather than copied mechanically.

New to topics? Read the docs here!