Resultant

Resultant

Résultant

En mathématiques, le résultant est une notion qui s'applique à deux polynômes. Elle est utilisée en théorie de Galois et en théorie algébrique des nombres. Le résultant de deux polynômes est un scalaire qui permet de vérifier s'ils possèdent des facteurs communs. 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.

Sommaire

Définition et expression

Définition

Soient A un anneau commutatif unitaire intègre, P et Q deux polynômes de degré respectifs n et m à coefficients dans A. Les coefficients des polynômes sont notés ai et bi, on a donc les égalités :

P = \sum_{i=0}^n a_iX^i \quad \text{et}\quad Q = \sum_{j=0}^m b_jX^j

Expression

Article détaillé : Matrice de Sylvester.

Avec les notations ci-dessus, le résultant est le déterminant de la matrice M suivante :

M=\begin{pmatrix} a_n & 0 & \cdots & 0 & b_m & 0 & \cdots & 0 \\ a_{n-1} & a_n & \ddots & \vdots & b_{m-1} & b_m & \ddots & \vdots \\ \vdots & a_{n-1}& \ddots & 0 & \vdots & b_{m-1}& \ddots & 0 \\ a_0 & \vdots & \ddots & a_n & b_0 & \vdots & \ddots & b_m \\ 0 & a_0 & & a_{n-1}& 0 & b_0 & & b_{m-1}\\ \vdots & \ddots & \ddots & \vdots &\vdots & \ddots & \ddots & \vdots \\ 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].

Propriétés

Expressions à l'aide du déterminant

La matrice de Sylvester est de taille n + m, avec les n premières lignes linéaires en le polynôme P, les m suivantes en le polynôme Q :

  • Le résultant vérifie les formules :
\forall \lambda \in \mathbb A,\; R(\lambda P,Q)=\lambda^n R(P,Q)\quad\text{et}\quad R(P,\lambda Q)=\lambda^m R(P,Q)

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

  • Le résultant vérifie la formule :
R(P,Q) = (-1)^{n \cdot m} 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 A (resp. B) est un polynôme de degré n - 1 (resp. m - 1) :

\varphi (X^m A + B) = P\cdot A + Q\cdot B\;

Si P et Q ne sont pas premiers entre eux, ils ont un facteur commun C et P (resp. Q) est égal à un produit du type C.P1 (resp. C.Q1). L'égalité suivante :

\varphi (X^m Q_1 - P_1) = P\cdot Q_1 - Q\cdot P_1=0\;

montre qu'alors φ n'est pas injectif et le résultant est nul. Réciproquement une considération de degré montre que si P et Q sont premiers entre eux l'endomorphisme est injectif donc de déterminant non nul :

  • Le résultant est non nul si et seulement si les deux polynômes P et Q sont premiers entre eux.[2]

Expressions à l'aide des racines

La lettre F désigne le corps des fractions de A et K une extension de F contenant toutes les racines des deux polynômes, notées αi pour P et βj pour Q.

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.

  • Le résultant des polynômes P et Q s'exprime de la manière suivante[3] :
R(P,Q) =a_n^m b_m^n \prod_{i,j} (\beta_j - \alpha_i) =b_m^n\prod_jP(\beta_j) =(-1)^{nm}a_n^m\prod_i Q(\alpha_i) \,

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

R(P(X+a),Q(X+a))=R(P(X),Q(X))\;

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

P_1 \equiv P \mod Q\Rightarrow R(P,Q) = b_m^{m - \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.

Démonstration

Supposons dans un premier temps que les deux polynômes soient unitaires, c'est à dire que an et bm soient égaux à un. Chaque coefficient de P et de Q s'exprime comme le produit d'un polynôme symétrique en les racines. Si le pième polynôme symétrique d'ordre q est noté σpq :

\forall i \in [0, n-1],\; a_i = (-1)^i\sigma_{in}(\alpha_1,\cdots,\alpha_n)\quad\text{et}\quad \forall j \in [0, m-1],\; b_j = (-1)^j \sigma_{jm}(\beta_1,\cdots,\beta_m)

Le résultant peut être vu comme un polynôme en les différentes racines de P et Q, il existe un polynôme Rr en n + m variables, tel que :

R(P,Q)= R_r[\alpha_1,\cdots,\alpha_n,\beta_1,\cdots,\beta_m]\;

L'anneau des polynômes à coefficients dans K et à m + n indéterminées est factoriel, Le polynôme Rr possède comme facteur (βj - αi) il existe un polynôme λ[X1, ..., Xn+m] tel que :

R(P,Q) = \lambda[\alpha_1,\cdots,\alpha_n,\beta_1,\cdots,\beta_m]\prod_{i,j}(\beta_j - \alpha_i)\;

Une considération de degré montre que le polynôme λ[X1, ..., Xn+m] est constant. Il suffit de choisir judicieusement les polynômes P et Q, par exemple Xn et Xm pour s'assurer que la constante λ est égale à un. Pour traiter le cas où les polynômes ne sont pas unitaires, la première proposition du paragraphe précédent permet de conclure.

 

Applications

Si x et y sont deux nombres algébriques tels que P(x) = Q(y) = 0, on vérifie aisément que z = x + y est racine du résultant des deux polynômes (en x) P(x) et Q(z − x), ce qui prouve que x + y est aussi algébrique ; en considérant de même xpQ(z / x), on montrerait également que xy est algébrique, et en définitive que les nombres algébriques forment un corps. 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 polynômiale 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 discriminant est une propriété associé à un anneau de Dedekind. Même si la définition est différente, il peut encore se calculer à l'aide d'un résultant. Cette notion est alors intimement liée à celle de norme arithmétique.

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) ou la multiplicité d'un point sur une hypersurface.

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

Notes et références

Notes

  1. ↑ On trouve cette forme, par exemple sur le site Résultant. Discriminant par les mathématiques.net
  2. ↑ Le site mathpage établit ce résultat sur des exemples de petites dimensions et en anglais The Resultant and Bezout's Theorem.
  3. ↑ On trouve la démonstration par exemple sur le site Le théorème de Bézout et le résultant de deux polynômes par M. Waldschmidt Président de la Société Mathématique de France

Liens externes

Références

  • (fr) Serge Lang, Algèbre, Dunod, 2004, 926 p. (ISBN 2100079808) [détail des éditions]
  • (fr) Pierre Samuel, Théorie algébrique des nombres [détail des éditions]
  • (en) R.J. Walker. Algebraic curves Springer Verlag 1978 (ISBN 0387903615)
  • Portail des mathématiques Portail des mathématiques
Ce document provient de « R%C3%A9sultant ».

Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Resultant de Wikipédia en français (auteurs)

Игры ⚽ Поможем сделать НИР

Regardez d'autres dictionnaires:

  • résultant — résultant, ante [ rezyltɑ̃, ɑ̃t ] adj. • XVIe; de résulter ♦ Vieilli Qui résulte de qqch. ⇒ consécutif. « La confusion résultante d une théorie et d une pratique contradictoires » (Chateaubriand). ♢ Mod. Mus. Son résultant, correspondant à deux… …   Encyclopédie Universelle

  • résultant — résultant, ante (rè zul tan, tan t ) adj. 1°   Qui résulte. Le bien résultant du mal.    Terme de procédure. Les cas résultants du procès. 2°   Terme de mécanique. Force résultante, mouvement résultant, force, mouvement qui provient de la… …   Dictionnaire de la Langue Française d'Émile Littré

  • Resultant — Re*sult ant, a. [L. resultans, p. pr. : cf. F. r[ e]sultant.] Resulting or issuing from a combination; existing or following as a result or consequence. [1913 Webster] {Resultant force} or {Resultant motion} (Mech.), a force which is the result… …   The Collaborative International Dictionary of English

  • Resultant — Re*sult ant, n. That which results. Specifically: (a) (Mech.) A reultant force or motion. (b) (Math.) An eliminant. [1913 Webster] The resultant of homogeneous general functions of n variables is that function of their coefficients which, equaled …   The Collaborative International Dictionary of English

  • Resultant —         (англ.) см. Emergent. Философский энциклопедический словарь. М.: Советская энциклопедия. Гл. редакция: Л. Ф. Ильичёв, П. Н. Федосеев, С. М. Ковалёв, В. Г. Панов. 1983 …   Философская энциклопедия

  • resultant — index amount (result), ancillary (subsidiary), consequential (deducible), constructive (creative) …   Law dictionary

  • resultant — early 15c. (n.); 1610s (adj.); from L. resultantem, prp. of resultare (see RESULT (Cf. result)) …   Etymology dictionary

  • resultant — Resultant, [result]ante. adj. v. Qui resulte. Il ne se dit guere qu en termes de pratique. Les cas resultants du procez. les preuves resultantes …   Dictionnaire de l'Académie française

  • resultant — ► ADJECTIVE ▪ occurring or produced as a result …   English terms dictionary

  • resultant — [ri zult′ nt] adj. [L resultans, prp.] 1. that results; following as a consequence 2. resulting from two or more forces or agents acting together n. 1. something that results; result 2. Physics a force, velocity, etc. with an effect equal to that …   English World dictionary

Share the article and excerpts

Direct link
… Do a right-click on the link above
and select “Copy Link”