Xavier Hubaut - Professeur émérite de l'Université Libre de Bruxelles
Equation du second degré
Que peut-on ajouter à propos des équations du second degré? Tout semble avoir été dit et redit.
Mais pourtant ...
Les Assyriens et les Egyptiens savaient déjà résoudre l'équation du second degré et il semble que nous n'avons guère fait de progrès dans ce domaine. Nous appliquons encore maintenant une recette: mettre un coefficient en facteur, compléter un carré, factoriser, pour enfin arriver à la fameuse formule donnant les solutions.
Pourtant il y a déjà plus d'un siècle un certain Evariste Galois a établi les bases de la théorie des groupes précisément à l'occasion de la résolution des équations algébriques. Comment procédait-il ?
Soit l'équation ax² + bx + c = 0 ; si x1et x2 sont des racines (éventuellement complexes) on obtient par identification:
Résoudre une équation revient à obtenir des fonctions essentiellement non symétriques des racines. Pour une équation du second degré il n'existe qu'une permutation non triviale des racines et par conséquent une fonction non symétrique prendra deux valeurs qui seront solutions d'une équation du deuxième degré. Celle-ci sera résoluble par extraction d'une racine carrée si elle est de la formeX² = A ; ses deux racines seront opposées. Cette fonction doit donc changer de signe lorsqu'on permute les racines x1et x2.
La fonction la plus simple de ce type est x1 - x2; son carré est une fonction symétrique des racines et peut donc s'exprimer à l'aide des coefficients a, b, c. On a:
On obtient:
ce qui ajouté à la relation x1 + x2 = -b/a permet d'obtenir les deux racines x1 et x2.
A propos des fonctions symétriques des racines on voit apparaître les fonctions symétriques dites élémentaires: somme et produit, qui s'obtiennent sans "résoudre" l'équation, c'est-à-dire rationnellement en fonctions des coefficients.
Nous connaissons la condition pour que 2 paires (a, b) et (c, d) soient conjuguées harmoniques:
Là aussi n'interviennent que les fonctions symétriques de (a, b) et de (c, d).
Si (x1, x2) sont les solutions de l'équation ax² + bx + c = 0 , la condition pour que les deux nombres (x3, x4) soient conjugués par rapport aux deux racines de l'équation est: (x1 + x2)(x3 + x4) = 2(x1.x2 + x3.x4) c'est-à-dire:
ce qui peut s'écrire:
ce qui est la forme bilinéaire symétrique associée à la forme quadratique ax² + bx + c = 0. (Cette notion se généralise lorsque l'on étudie les coniques).
Si de plus (x3, x4) sont les racines d'une deuxième équation a'x² + b'x + c' = 0 on aura:
ou encore:
ce qui est la forme bilinéaire symétrique associée cette fois à la forme quadratique b² - 4ac.
Les Assyriens et les Egyptiens savaient déjà résoudre l'équation du second degré et il semble que nous n'avons guère fait de progrès dans ce domaine. Nous appliquons encore maintenant une recette: mettre un coefficient en facteur, compléter un carré, factoriser, pour enfin arriver à la fameuse formule donnant les solutions.
Pourtant il y a déjà plus d'un siècle un certain Evariste Galois a établi les bases de la théorie des groupes précisément à l'occasion de la résolution des équations algébriques. Comment procédait-il ?
Soit l'équation ax² + bx + c = 0 ; si x1et x2 sont des racines (éventuellement complexes) on obtient par identification:
-b/a = x1 + x2
c/a = x1.x2
Ces deux expressions sont des fonctions symétriques des racines (invariantes par permutation de celles-ci).c/a = x1.x2
Résoudre une équation revient à obtenir des fonctions essentiellement non symétriques des racines. Pour une équation du second degré il n'existe qu'une permutation non triviale des racines et par conséquent une fonction non symétrique prendra deux valeurs qui seront solutions d'une équation du deuxième degré. Celle-ci sera résoluble par extraction d'une racine carrée si elle est de la formeX² = A ; ses deux racines seront opposées. Cette fonction doit donc changer de signe lorsqu'on permute les racines x1et x2.
La fonction la plus simple de ce type est x1 - x2; son carré est une fonction symétrique des racines et peut donc s'exprimer à l'aide des coefficients a, b, c. On a:
A propos des fonctions symétriques des racines on voit apparaître les fonctions symétriques dites élémentaires: somme et produit, qui s'obtiennent sans "résoudre" l'équation, c'est-à-dire rationnellement en fonctions des coefficients.
Nous connaissons la condition pour que 2 paires (a, b) et (c, d) soient conjuguées harmoniques:
(a + b)(c + d) = 2(ab + cd).
Là aussi n'interviennent que les fonctions symétriques de (a, b) et de (c, d).
Si (x1, x2) sont les solutions de l'équation ax² + bx + c = 0 , la condition pour que les deux nombres (x3, x4) soient conjugués par rapport aux deux racines de l'équation est: (x1 + x2)(x3 + x4) = 2(x1.x2 + x3.x4) c'est-à-dire:
(-b/a)(x3 + x4) = 2(c/a + x3.x4)
ce qui peut s'écrire:
ax3.x4 + b(x3 + x4)/2 + c = 0
ce qui est la forme bilinéaire symétrique associée à la forme quadratique ax² + bx + c = 0. (Cette notion se généralise lorsque l'on étudie les coniques).
Si de plus (x3, x4) sont les racines d'une deuxième équation a'x² + b'x + c' = 0 on aura:
a.(c'/a') + (b/2)(-b'/a') + c = 0
ou encore:
bb' - 4(ac' + a'c)/2 = 0
ce qui est la forme bilinéaire symétrique associée cette fois à la forme quadratique b² - 4ac.