QR分解
formula_9 is a QR decomposition of formula_17.