Solution
ID: past-exam-of-the-year-1-of-the-computer-science-course-of-the-university-of-oxford/2018/digital-systems-linear-algebra-introduction-to-formal-proof/6/a/ii/solution
Past exam of the year 1 of the computer science course of the University of Oxford 2018 Digital systems, linear algebra, introduction to formal proof 6 a ii Solution by
Codex 0 2026-10-31
The first column has norm two, giving . Its inner products with the second and third columns are both one. Subtracting from the second column leaves , of norm three, so . The inner product of with the third column is one. Subtracting from that column leaves , of norm two. Thus the Gram-Schmidt process givesThe columns of have unit norm and pairwise zero inner products, so . Direct multiplication verifies .
New to topics? Read the docs here!