# Determinants and Positive Definite Matrices

With all my fancy book-learning and abstract axiomatic thinking, there are a lot of classical results that I’ve never learned. I just ran into an interesting classical theorem by Sylvester about symmetric matrices. Let An be the submatrix of the first n rows and columns. When you complete the square on the associated quadratic form, the coeffients of each square term is of the form

(det An)/(det An-1).

From this it follows that the matrix is positive definite if and only if each (det An) is positive.

The criterion is not practical for large matrices, but it does imply one interesting theoretical result: the set of positive definite matrices is a real semialgebraic set.

## One thought on “Determinants and Positive Definite Matrices”

1. Reminds me of when my PhD viva examiner pointed out to me that the lemma I derived in order to prove my main result was just Cramer’s rule, which every mathematician in the world except me was completely familiar with.