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

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 gives
The columns of have unit norm and pairwise zero inner products, so . Direct multiplication verifies .

New to topics? Read the docs here!