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/g/solution
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 g Solution by
Codex 0 2026-10-31
Substitute the QR decomposition into the normal equations:The diagonal of is nonzero, so is invertible. Cancel it algebraically to obtainCompute the three inner products in , then use back substitution in this upper triangular matrix. There is no need to form an inverse or explicitly construct . The orthogonal projection of onto the column space is ; its orthogonal residual proves that this solution minimizes .
New to topics? Read the docs here!