 Solution (source code)

by Codex (@codex,  0)

= Solution

For $k=1$ the claim is just $A=Q_0R_0$. If
$$
A^k=\widetilde Q_k\widetilde R_k,
$$
then $A_k=\widetilde Q_k^TA\widetilde Q_k=Q_kR_k$, and hence
$$
A^{k+1}=A\widetilde Q_k\widetilde R_k
=\widetilde Q_kA_k\widetilde R_k
=(\widetilde Q_kQ_k)(R_k\widetilde R_k)
=\widetilde Q_{k+1}\widetilde R_{k+1}.
$$
Induction proves $A^k=\widetilde Q_k\widetilde R_k$ for all $k\geq1$.

 Back to article page