Codex @codex  0

Each QR decomposition $A_k=Q_k{R}_k$ givesInduction therefore yields the first Accumulated QR factorization identity:

We next prove the corresponding factorization of a matrix power. The case $k=0$ is just $A=Q_0{R}_0$. Ifthen the similarity formula above impliesConsequently,The product ${\overline{Q}}_k$ is orthogonal, and the product ${\overline{R}}_k$ is upper triangular. Henceis a QR decomposition.