Cours complet : Résultant et Élimination de
variable
1. Introduction générale
L'élimination de variables est un objectif central en algèbre lorsque l'on veut réduire un
système d'équations polynomiales à une forme plus simple. Le résultant est un outil puissant
pour atteindre cela : il permet d'éliminer une variable entre deux polynômes et de savoir s'ils
ont une racine commune.
Ce cours explore en détail la notion de résultant, la construction des matrices associées
(Sylvester, Macaulay), ainsi que leur utilisation pour l'élimination de variables.
2. Objectif de l'élimination de variables
Soit un système de deux équations polynomiales :
{f(x,y)=0g(x,y)=0\begin{cases} f(x, y) = 0 \\ g(x, y) = 0 \end{cases}
L'objectif de l'élimination est de produire une équation en une seule variable (ex : yy) telle
que la connaissance de yy permette de retrouver les xx correspondants. Le résultant permet
cela : il fournit une condition nécessaire et suffisante pour que les deux équations aient une
solution commune en xx.
3. Définition du résultant
Cas univarié
Soient deux polynômes dans K[x]\mathbb{K}[x] :
f(x)=a0xm+a1xm−1+⋯+amg(x)=b0xn+b1xn−1+⋯+bn f(x) = a_0 x^m + a_1 x^{m-1} + \
dots + a_m \\ g(x) = b_0 x^n + b_1 x^{n-1} + \dots + b_n
Le résultant de ff et gg, noté Res(f,g)\text{Res}(f, g), est un scalaire qui est nul si et
seulement si ff et gg ont une racine commune (c'est-à-dire un facteur non trivial commun).
4. Matrice de Sylvester et calcul du résultant
Construction :
On construit une matrice (m+n)×(m+n)(m+n) \times (m+n), appelée matrice de Sylvester, en
utilisant les coefficients de ff et gg de façon décalée.
Res(f,g)=det(Syl(f,g))\text{Res}(f,g) = \det(\text{Syl}(f,g))
Exemple :
f(x)=x2+2x+1,g(x)=x+1 f(x) = x^2 + 2x + 1, \quad g(x) = x + 1
Matrice de Sylvester :
Syl(f,g)=(121011)\text{Syl}(f,g) = \begin{pmatrix} 1 & 2 & 1 \\ 0 & 1 & 1 \end{pmatrix}
Le résultant est le déterminant du bon mineur.
5. Résultant et élimination pour les polynômes multivariés
a) Réduction à un cas univarié
On peut considérer f(x,y),g(x,y)f(x, y), g(x, y) comme des polynômes en xx, avec des
coefficients dans K[y]\mathbb{K}[y]. On construit alors la matrice de Sylvester en xx et on
obtient un polynôme uniquement en yy.
b) Résultant multivarié
Dans les cas plus complexes, on utilise le résultant de Macaulay, construit à partir d'une
famille de monômes et des combinaisons linéaires des polynômes.
Il donne un résultant multivarié permettant de tester l'existence de racines communes et
d'éliminer plusieurs variables.
6. Propriétés fondamentales du résultant
Res(f,g)=0 ⟺ f\text{Res}(f, g) = 0 \iff f et gg ont une racine commune
1. Res(f,g)∈K[coeffs de f,g]\text{Res}(f, g) \in \mathbb{K}[\text{coeffs de } f, g]
2.
3. Il est invariant par changement de base (jusqu'à un facteur non nul)
4. Il permet d'obtenir des équations de projection : Resx(f,g)=0⇒∃x,f(x,y)=g(x,y)=0\
text{Res}_x(f, g) = 0 \Rightarrow \exists x, f(x,y)=g(x,y)=0
7. Trouver les facteurs communs si le résultant est nul
Si Res(f,g)=0\text{Res}(f,g) = 0, alors il existe un facteur commun entre ff et gg. Pour le
trouver :
PGCD multivarié : en utilisant des bases de Grobner ou algorithmes de division.
Idéal commun : construire l'idéal ⟨f,g⟩\langle f, g \rangle et analyser sa structure.
Factorisation symbolique : avec logiciels comme Maple, SymPy, Sage.
8. Applications de l'élimination par résultant
Résolution de systèmes polynomiaux
Géométrie algébrique (projection d'intersections)
Vision par ordinateur, robotique (cinématique inverse)
Calcul formel et simplification
9. Outils informatiques
SageMath : open source, puissant pour l'élimination
Maple / Mathematica : interfaces conviviales
SymPy (Python) : pratique pour les scripts
Macaulay2 : spécialisé en algèbre commutative
10. Conclusion
Le résultant est un outil fondamental pour l'élimination de variables dans les systèmes
polynomiaux. Il permet de déterminer l'existence de racines communes, de réduire le nombre
de variables et d'étudier les propriétés algébriques des polynômes. Sa construction par
matrices (Sylvester ou Macaulay) permet des calculs effectifs et constitue la base de
nombreux algorithmes modernes en algèbre computationnelle.