Pourquoi parles-tu de base orthonormée ?
Il n'est nulle part question de base orthonormé dans l'énoncé.
On te demande la signature de la forme quadratique et une base orthogonale pour celle-ci.
Base de Sylvester, je n'ai jamais vu employer cette expression, je suppose que ça veut dire base dans laquelle la matrice de la forme quadratique est diagonale avec des
, des
et des
dans la diagonale ? Ça s'obtient alors immédiatement à partir d'une base orthogonale.
La décomposition en carrés de Gauss est le moyen standard d'obtenir tout ça. La famille des formes linéaires apparaissant dans la composition, éventuellement complétée pour obtenir une base de l'espace dual, est la base duale d'une base orthogonale de l'espace. Et tu sais bien comment la décomposition de Gauss donne la signature, n'est-ce pas ?