Déterminer la signature de [formule].
Compléter le carré ou diagonaliser la matrice associée.
Matrice de [formule] : [formule]. Complétion : [formule]. Trois carrés positifs : signature [formule]. Donc [formule] est définie positive. Vérification : [formule], [formule], [formule] (Sylvester). [formule]