展开 矩阵lu分解唯一性证明