Théorème: décomposition QR
Si une matrice A m ? n possède des colonnes linéairement indépendantes, alors A peut être décomposée selon A = QR, où Q est une matrice m ? n dont les colonnes forment une base orthonormale de Col A et R est une matrice n ? n, triangulaire supérieure et réversible, avec tous les éléments de sa diagonale > 0.