En general, tendremos "x""Mx" > 0 para todo vector real no nulo "x" si la matriz simétrica ("M" + "M") / 2, es definida positiva.