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

Substitute the QR decomposition into the normal equations:
The diagonal of is nonzero, so is invertible. Cancel it algebraically to obtain
Compute 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!