证明：若 是对称的，而且其前 个顺序主子阵均非奇异，则 有唯一的分解式
其中 是单位下三角矩阵， 是对角矩阵。
未設定截止日期。
This issue currently doesn't have any dependencies.
刪除分支是永久的。 此動作無法復原，繼續？
证明：若
是对称的，而且其前 
个顺序主子阵均非奇异，则 
有唯一的分解式
其中
是单位下三角矩阵，
是对角矩阵。