En algèbre, la réduction de Gauss est un algorithme qui permet d'écrire toute forme quadratique comme une combinaison linéaire de carrés de formes linéaires linéairement indépendantes (une forme quadratique est un polynôme homogène de degré 2 avec un nombre quelconque de variables ; une forme linéaire est une combinaison linéaire de ces variables).
La méthode employée est proche de la mise sous forme canonique d'une équation du second degré. Cet algorithme est nommé ainsi en l'honneur du mathématicien Carl Friedrich Gauss.
Soit
un tel polynôme, supposé non identiquement nul.
Si le coefficient a est non nul, on procède par complétion du carré :
Si a est nul et c non nul, on procède de même avec c.
Si a et c sont tous deux nuls, on remarque que
On va montrer par récurrence forte sur n que pour toute forme quadratique q à n variables, il existe n combinaisons linéaires li des variables (autrement dit n formes linéaires) linéairement indépendantes et n nombres ci tels que
.
Si n = 0, il n'y a rien à démontrer.
Supposons maintenant n > 0. Si q est nulle, ci = 0 convient, avec (par exemple) li(x) = xi. Supposons donc q non nulle et écrivons-la sous la forme :
.
On distingue deux cas.
1) L'un des coefficients
des termes carrés est non nul.
On peut, quitte à permuter les vecteurs de base, supposer que
. On écrit séparément les termes où
intervient :
.
On écrit ces derniers sous forme canonique :
.
On obtient ainsi que
,
où
et
;
est un polynôme homogène de degré 2 par rapport à
.
L'hypothèse de récurrence nous dit que
,
où
sont des combinaisons linéaires de
, indépendantes. La coordonnée
n'apparaît pas dans leur écriture, et apparaît dans celle de
. Il en résulte que les formes
sont encore indépendantes, d'où le résultat.
2) Tous les
sont nuls.
Puisque q est supposée non nulle, il existe des entiers i et j distincts tels que
. Comme dans le premier cas, on peut supposer qu'il s'agit de
. On écrit
.
La somme des termes en
ou
s'écrit aussi
.
On voit que
est de la forme
,
où
ne dépend que de
. On conclut en appliquant l'hypothèse de récurrence à
, et en remarquant que
.
L'indépendance des formes
se montre comme dans le premier cas.
- Soit
Alors
.
- Autre exemple :
On a alors![{\displaystyle q(x)=(x_{1}+x_{3})(x_{2}+x_{3})-x_{3}^{2}={\frac {1}{4}}(x_{1}+x_{2}+2x_{3})^{2}-{\frac {1}{4}}(x_{1}-x_{2})^{2}-x_{3}^{2}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5ba90c33cec0d2cc43e05f857f65d0586fedb752)
- Ces calculs sont valables pour tout corps de caractéristique différente de 2.
- Le nombre de carrés est égal au rang de la forme quadratique étudiée.
- Si les coefficients sont réels, le nombre de carrés positifs, comme de carrés négatifs, ne dépend pas de la méthode employée (loi d'inertie de Sylvester).
Marcel Berger, Géométrie [détail des éditions], vol. 2, Nathan, 1990, 13.4.8
Matrices congruentes