Un scalaire, fréquemment exprimé comme le déterminant d'une matrice construite à cet effet (pour deux polynômes univariés, la matrice de Sylvester), qui s'annule exactement lorsque les polynômes ont une racine commune non triviale en espace projectif. Le résultant est un objet d'élimination : il condense la condition « il existe x tel que f(x)=g(x)=0 » en une seule expression polynomiale en les coefficients.

Principe

Élimination par relations linéaires entre vecteurs de coefficients décalés : construire un déterminant bilinéaire dont l'annulation équivaut à l'existence d'une racine commune. Algébriquement, le résultant est un polynôme en les coefficients qui encode la résolvabilité du système polynomial après élimination de la variable.

Démonstration

Pour deux polynômes univariés f et g de degrés m et n, construire la matrice de Sylvester à m+n lignes formée par des décalages de vecteurs de coefficients ; son déterminant est le résultant Res(f,g). Si g est linéaire, Res(f,g) se réduit (à une unité près) à l'évaluation de g sur les racines de f : le déterminant s'annule précisément lorsque le polynôme linéaire partage une racine avec f.

Mauvaise application

Utiliser le résultant calculé sur un anneau non intègre (par exemple un anneau avec diviseurs de zéro) sans vérifier la saturation peut produire de fausses conclusions d'annulation ; traiter une évaluation numérique flottante du résultant comme exacte peut engendrer des racines communes apparentes à cause de l'instabilité numérique et des problèmes d'échelle.

Conséquence

Un résultant non nul atteste que les polynômes n'ont pas de racine commune dans une clôture algébrique, tandis qu'un résultant nul fournit une condition algébrique à approfondir (calcul du pgcd, détection de facteurs, ou relèvement d'une racine) ; les résultants permettent des algorithmes basés sur l'élimination pour résoudre et décider de la solvabilité.

Inversion

Au lieu d'éliminer les variables pour obtenir un certificat scalaire de racines communes, l'approche inverse consiste à construire des solutions communes explicites ou à calculer un plus grand commun diviseur : l'élimination donne une information d'existence, alors que la factorisation explicite fournit les facteurs de racine partagée.

Limite

S'applique proprement aux polynômes univariés sur des domaines intègres et s'étend avec précaution aux résultants multivariés (Macaulay, résultants creux). Il ne fournit pas directement la structure des multiplicités sans raffinements et doit être adapté lorsque les coefficients vivent dans des anneaux à torsion ou sont spécialisés.

Tension sémantique

Étroitement lié au pgcd : les deux détectent des facteurs communs, mais le résultant est un polynôme d'élimination unique en les coefficients tandis que le pgcd est un polynôme factoriel explicite ; on échange une information d'existence condensée (résultant) contre des données constructives de factorisation (pgcd).

Synthèse

Le résultant est un déterminant d'élimination qui encode si des polynômes partagent des racines : construit à partir de relations de coefficients décalés (constructions de type Sylvester), il fournit une condition polynomiale unique de solvabilité complémentaire aux méthodes basées sur le pgcd et la factorisation.