Résultant — Wikipédia

En mathématiques, le résultant, ou déterminant de Sylvester, est une notion qui s'applique à deux polynômes. Elle est utilisée en théorie de Galois, en théorie algébrique des nombres, en géométrie algébrique et dans bien d'autres domaines utilisant les polynômes. Le résultant de deux polynômes est un scalaire qui est nul si, et seulement si, les deux polynômes ont un facteur commun. Il peut être calculé à partir des coefficients des polynômes à l'aide d'un déterminant. On peut aussi l'obtenir à partir des racines des polynômes si ceux-ci sont scindés.

Soient A un anneau commutatif, P et Q deux polynômes non nuls de degrés respectifs n et m à coefficients dans A. Les coefficients des polynômes sont notés a_i et b_j, afin d'avoir les égalités :

${\displaystyle P=\sum _{i=0}^{n}a_{i}X^{i}\quad {\text{et}}\quad Q=\sum _{j=0}^{m}b_{j}X^{j}}$.

Le résultant des deux polynômes P et Q est le déterminant de leur matrice de Sylvester. Il est noté dans cet article R(P, Q).

Avec les notations ci-dessus, le résultant est le déterminant de la matrice (m + n)×(m + n) suivante :

${\displaystyle M={\begin{pmatrix}a_{n}&0&\cdots &0&b_{m}&0&\cdots &0\\a_{n-1}&a_{n}&\ddots &\vdots &\vdots &b_{m}&\ddots &\vdots \\\vdots &a_{n-1}&\ddots &0&\vdots &&\ddots &0\\\vdots &\vdots &\ddots &a_{n}&b_{1}&&&b_{m}\\a_{0}&&&a_{n-1}&b_{0}&\ddots &\vdots &\vdots \\0&\ddots &&\vdots &0&\ddots &b_{1}&\vdots \\\vdots &\ddots &a_{0}&\vdots &\vdots &\ddots &b_{0}&b_{1}\\0&\cdots &0&a_{0}&0&\cdots &0&b_{0}\\\end{pmatrix}}_{.}}$

La représentation choisie ici diffère de l'article détaillé. Elle évite une transposition pour exprimer les propriétés du résultant. Comme la transposition ne modifie pas le déterminant, les deux conventions peuvent être choisies^[1].

• La matrice M ci-dessus est de taille n + m, avec les m premières colonnes linéaires en le polynôme P, et les n suivantes en le polynôme Q, donc

${\displaystyle \forall \lambda ,\mu \in A,\;R(\lambda P,\mu Q)=\lambda ^{m}\mu ^{n}R(P,Q)}$.

• La modification de l'ordre des colonnes modifie le signe du déterminant en fonction de sa signature, donc

${\displaystyle R(P,Q)=(-1)^{nm}R(Q,P)}$.

• L'endomorphisme φ de l'espace des polynômes de degré inférieur ou égal à n + m – 1 et de matrice M peut être vu comme une application de l'identité de Bézout. Si U (resp. V) est un polynôme de degré m – 1 (resp. n – 1) :${\displaystyle \varphi (X^{n}U+V)=PU+QV}$.Si P et Q ne sont pas premiers entre eux, ils ont un facteur commun C. Dès lors, P (resp. Q) est un multiple de C, donc un produit de la forme CP₁ (resp. CQ₁). L'égalité :${\displaystyle \varphi (X^{n}Q_{1}-P_{1})=PQ_{1}-QP_{1}=0}$montre qu'alors, φ n'est pas injectif et le résultant est nul. Réciproquement, une considération sur les degrés de P et Q montre que si P et Q sont premiers entre eux, l'endomorphisme est injectif donc de déterminant non nul :

Lorsque l'anneau A est factoriel, le résultant de deux polynômes non nuls est nul si et seulement s'ils ont un diviseur commun non constant^[2].

Supposons que A est intègre et notons F son corps des fractions et K une extension de F contenant toutes les racines des deux polynômes, notées α_i pour P et β_j pour Q.

${\displaystyle P=a_{n}\prod _{i=1}^{n}(X-\alpha _{i})\quad {\text{et}}\quad Q=b_{m}\prod _{j=1}^{m}(X-\beta _{j})}$.

Quitte à travailler dans K et non plus dans A, les deux polynômes sont scindés, c'est-à-dire qu'ils se décomposent en produit de polynômes du premier degré et ils admettent chacun autant de racines que leur degré. L'usage de l'extension K offre une nouvelle expression du résultant^[3],[4] :

${\displaystyle R(P,Q)=a_{n}^{m}b_{m}^{n}\prod _{i,j}(\alpha _{i}-\beta _{j})=a_{n}^{m}\prod _{i}Q(\alpha _{i})=(-1)^{nm}\,b_{m}^{n}\prod _{j}P(\beta _{j})}$.

Cette formule montre par exemple que translater les deux polynômes ne change pas leur résultant :

${\displaystyle R(P(X+a),Q(X+a))=R(P(X),Q(X))}$.

Si l'on ajoute à P un multiple de Q, seul le coefficient du second membre est susceptible d'être modifié.

${\displaystyle P_{1}\equiv P\mod Q\Rightarrow R(P,Q)=b_{m}^{n-\deg P_{1}}R(P_{1},Q)}$.

En suivant un algorithme analogue à celui d'Euclide, on obtient un procédé de calcul de résultant en temps quadratique (soit plus efficace que le procédé trivial du calcul d'un déterminant).

Si x et y sont deux nombres algébriques tels que P(x) = Q(y) = 0 et si z = x + y, on vérifie aisément que le résultant des deux polynômes (en X) P(X) et Q(z – X) est nul, ce qui démontre que z est aussi algébrique. De même si t = xy, en considérant le résultant de P(X) et X^pQ(t/X), on montrerait également que t est algébrique, et en définitive que les nombres algébriques forment un corps (la même technique permet de montrer que, plus précisément, les entiers algébriques forment un anneau)^[5]. Une application un peu plus élaborée de la même idée permet d'ailleurs de montrer que ce corps est algébriquement clos.

Une application naturelle du résultant est le discriminant. Cette notion correspond au résultant d'un polynôme et de sa dérivée. Par delà l'intérêt de la résolution d'une équation polynomiale de degré deux, le discriminant permet de déterminer si un polynôme admet des racines multiples ou non. Cette propriété est importante en théorie de Galois car la théorie est différente si une extension n'est pas séparable. En théorie algébrique des nombres, le mot « discriminant » désigne une autre notion : une propriété associée à un anneau de Dedekind et intimement liée à celle de norme arithmétique ; notons que ce discriminant peut également se calculer à l'aide d'un résultant.

Le résultant est un outil permettant de déterminer l'intersection de deux courbes algébriques (c'est le théorème de Bézout)^[6] ou la multiplicité d'un point sur une hypersurface. Si, par exemple, on a une courbe paramétrée (x(t) = A(t)/B(t), y(t) = C(t)/D(t)), où A, B, C et D sont des polynômes tels que l'une au moins des fractions A/B, C/D est irréductible, alors les points de la courbe vérifient R(x, y) = 0, où R est un polynôme non nul qui est le résultant des deux polynômes (en t) xB – A et yD – C. Plus généralement, dans un système d'équations algébriques à plusieurs inconnues, on élimine une des inconnues entre deux équations — de la forme P(x₁, x₂, … , x_n) = 0 — en prenant le résultant de ces deux équations, considérées comme des polynômes en l'inconnue qu'on veut éliminer.

En théorie de l'information, le résultant est utilisé en arithmétique modulaire pour calculer des diviseurs communs à deux polynômes, en général sur un corps fini.

Théorie de l'élimination

• Serge Lang, Algèbre [détail des éditions]
• Pierre Samuel, Théorie algébrique des nombres [détail de l’édition]
• (en) Robert J. Walker, Algebraic Curves, Springer, 1978 (ISBN 978-03-879-0361-3)

• (en) Eric W. Weisstein, « Resultant », sur MathWorld
• « Résultant et discriminant », sur bibmath.net

• Portail de l’algèbre