 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/b/ii/solution

x_{0} = 0

, solve

(D - L) x_{1} = b

. Its first row gives

4 (x_{1})_{1} = 1

; its second gives

(x_{1})_{1} + 2 (x_{1})_{2} = - 1

. Therefore

x_{1} = (1/4 - 5/8) .

The second component uses the new first component

1/4

 New to topics? Read the docs here!