ให้ A เป็นเมทริกซ์สมมาตรที่เป็นบวกแน่นอนของจำนวนจริง ดังนั้น A สามารถแยกเป็น

A = L L ⊤ {\displaystyle \mathbf {A} =\mathbf {L} \mathbf {L} ^{\top }}

โดยที่ L คือ เมทริกซ์สามเหลี่ยมล่างที่สมาชิกแนวทแยงมุมมีค่าเป็นบวก และ LT คือ เมทริกซ์สลับเปลี่ยนของ L