 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/4/a/solution

No: the only solution is the zero vector. Subtract the fourth row equation from the first to get

2 x_{3} = 0

. Subtract the third from the fourth to get

2 x_{2} = 0

. With

x_{2} = x_{3} = 0

, any row then gives

x_{1} = 0

 New to topics? Read the docs here!