Solution
= Solution
The <normal equations for linear least squares> are
$$
\boxed{A^TAx=A^Tb.}
$$
The supplied <QR decomposition> gives <full column rank> because $R$ is invertible and $Q^TQ=I$. Hence, for every nonzero $u$, $u^TA^TAu=\|Au\|_2^2>0$. Thus $A^TA$ is a <symmetric positive-definite matrix> and the displayed square system is nonsingular.