Linear Algebra and Its Applications · Problem 6.2.29
Positive Definite Matrices — Gilbert Strang
Mathematics · tests-for-positive-definiteness
Problem
The symmetric factorization A=LDLT means that xTAx=xTLDLTx:
[xy][abbc][xy]=[xy][1b/a01][a00(ac−b2)/a][10b/a1][xy].
The left-hand side is ax2+2bxy+cy2. The right-hand side is a(x+aby)2+y2.
The second pivot completes the square! Test with a=2, b=4, c=10.