A Proof of the Sylvester Criterion for Quadratic Forms via Optimality Conditions for Quadratic Functions

Abstract

We give a proof of the so-called Sylvester criterion for quadratic forms (for real symmetric matrices), based on elementary optimality properties of quadratic functions.