Le calcul d'un polynôme de type déterminant (le résultant) en les coefficients de deux polynômes ou plus dont l'annulation est la condition nécessaire et suffisante pour que ces polynômes aient une racine commune dans une clôture algébrique.

Principe

Construire une matrice de Sylvester (ou de Macaulay) à partir des coefficients et prendre son déterminant ; algébriquement, le résultant engendre l'idéal d'élimination caractérisant les solutions communes lors de l'élimination d'une variable.

Démonstration

Pour f(x)=ax^2+bx+c et g(x)=dx+e, monter la matrice de Sylvester 3×3 à partir des coefficients et calculer son déterminant pour obtenir un polynôme en a,b,c,d,e qui s'annule exactement quand f et g ont une racine commune.

Mauvaise application

Utiliser le résultant pour déduire des informations de multiplicité ou décider d'un facteur commun en multivarié sans tenir compte des facteurs extrinsèques introduits par l'homogénéisation ou l'élimination, conduisant à des faux positifs.

Conséquence

Un calcul de résultant correct élimine des variables pour produire une condition polynomiale unique, utile pour l'implicitation, l'élimination, le calcul de discriminants et la décision de résolubilité ; il permet l'élimination symbolique dans des systèmes algébriques.

Inversion

Plutôt que d'éliminer par déterminants, on peut calculer des gcds de polynômes ou utiliser des bases de Gröbner ; l'inverse consiste à récupérer des racines candidates puis à les vérifier dans le système d'origine.

Limite

Plus direct pour l'élimination univariée ou pour éliminer une seule variable en contexte multivarié ; sur des anneaux non-UFD ou en cas de spécialisation de paramètres, le comportement du résultant peut changer et nécessite une normalisation.

Tension sémantique

Tension avec les méthodes de PGCD et les bases de Gröbner : le résultant offre un test polynomial unique mais peut être de haut degré et introduire facteurs extrinsèques, tandis que gcd/Gröbner contrôlent différemment la multiplicité et la structure.

Synthèse

Le calcul du résultant produit une condition polynomiale déterminantale éliminant des variables et caractérisant les racines communes ; c'est un outil d'élimination algébrique compact qui échange le coût matrice/déterminant contre la factorisation ou les calculs de Gröbner.