Développement : Critère de Sylvester pour la signature

Détails/Enoncé :

Soit A une matrice symétrique réelle de taille n.
1) A est sym. déf. positive ssi tous ses mineurs sont strictement positifs
2) Si A est symétrique définie, de signature (r,s), alors elle est congruente a $diag(I_r,- I_s)$

Versions :