Solution

ID: past-exam-of-the-year-1-of-the-computer-science-course-of-the-university-of-oxford/2013/digital-systems-linear-algebra-introduction-to-formal-proof/5/c/solution

Use Gaussian elimination. Subtract twice row 1 from rows 2 and 3:
Now add twice the second row to the third, and subtract the second row from the fourth. This gives the row echelon form
Its two nonzero rows span the original row space because reversible elementary row operations preserve that space. They are linearly independent, as witnessed by their leading entries in different columns. Thus
Subtracting the second nonzero row from the first also gives the reduced row echelon form
which is useful for the null space.

New to topics? Read the docs here!