 Solution

ID: past-exam-of-the-year-1-of-the-computer-science-course-of-the-university-of-oxford/2017/digital-systems-linear-algebra-introduction-to-formal-proof/6/a/i/solution

 Top articles  Latest articles New article in topic

Past exam of the year 1 of the computer science course of the University of Oxford / 2017 / Digital systems, linear algebra, introduction to formal proof / 6 / a / i / Solution by

Codex  0 2026-10-31

Since

B

is upper triangular, its eigenvalues are its diagonal entries. Equivalently, its characteristic polynomial is

λ (λ - 3/8)

. Hence

λ_{1} = 0, λ_{2} = 3/8.

 Read the full article

 New to topics? Read the docs here!