Lemme de gauss (polynômes)

Lemme de Gauss (polynômes)

Pour les articles homonymes, voir Théorème de Gauss.

En mathématiques il existe un résultat appelé lemme de Gauss s'appliquant à la théorie des polynômes. Il énonce que si un polynôme P à coefficients entiers est factorisé en deux polynômes à coefficients rationnels non constants, ceux-ci sont proportionnels à des polynômes à coefficients entiers dont le produit est égal à P.

Il existe une variante de ce lemme, stipulant un résultat analogue si l'anneau est factoriel. Il permet de démontrer le caractère factoriel de l'ensemble des polynômes à coefficients dans un anneau factoriel, précisant le type d'arithmétique des polynômes disponible pour ce cas particulier. Une démonstration du cas général est présenté dans l'article Anneau factoriel.

Ce lemme apparaît dans les Disquisitiones Arithmeticae de Gauss, à l'article 42, sous la forme d'une contraposée^[1].

Énoncé

Théorème — Si les coefficients $a$ , $b$ , $c$ , ..., $n$ ; $a'$ , $b'$ , $c'$ , ..., $n'$ de deux polynômes de la forme $x m + a x m - 1 + ... + n$ et $x m' + a' x m' - 1 + ... + n'$ sont tous rationnels, mais non pas tous entiers, et que le produit soit

x m + m' + A x m + m' - 1 + ... + N

les coefficients $A$ , $B$ , $C$ , ..., $N$ ne peuvent être tous entiers.

Généralisation

Article détaillé : Anneau factoriel.

Une version de ce lemme est valide dans n'importe quel anneau factoriel A (c'est-à-dire possédant une bonne théorie de la divisibilité) à la place de l'anneau des entiers^[2].

Dans un premier temps, on définit le concept de polynôme primitif de A[X] comme un polynôme dont tous les coefficients sont premiers entre eux. On considère alors K le corps des fractions de A, et on montre que tout polynôme f s'écrit comme le produit d'une constante et d'un polynôme à coefficients dans A primitif. Cette constante est appelée contenu du polynôme et est défini à un facteur de A inversible dans A près. On démontre alors le théorème suivant :

Théorème — Soient A un anneau factoriel et K son corps de fractions. Soient f et g deux polynômes à une variable à coefficients dans K>. Alors :

$\operatorname{cont}(fg)= \operatorname{cont}(f) \operatorname{cont}(g)$ .

Il permet de montrer l'équivalent du lemme de Gauss dans le cas général :

Théorème — Soient A un anneau factoriel et K son corps de fractions, un polynôme non constant f à coefficients dans A est irréductible si et seulement si il est primitif et irréductible dans l'ensemble des polynômes à coefficients dans K

Un corollaire de ce lemme de Gauss est que pour tout anneau factoriel A, l'anneau des polynômes en plusieurs indéterminées $A [X 1, X 2,..., X n]$ est aussi factoriel. Le lemme de Gauss peut aussi être utilisé pour démontrer le critère d'irréductibilité d'Eisenstein.

Démonstration

Tout polynôme non nul à coefficients dans Q est produit d'un élément de Q et d'un polynôme à coefficients dans Z primitif :

Soit f un polynôme à coefficient dans Q, f est alors le produit d'une constante rationnelle et d'un polynôme à coefficients dans Z. En effet, soit π le produit des dénominateurs des différents coefficients de f. Soit g le polynôme défini par f = 1/π.g on remarque que g est bien un polynôme à coefficients dans Z.

Soit μ le plus grand commun diviseur des coefficients de g et h le polynôme défini par g = μ.h, on remarque que le polynôme h est primitif.

L'égalité f = μ/π.h permet de conclure.

Il n'existe qu'une unique valeur strictement positive pour le contenu d'un polynôme f à coefficients dans Q non nul :

Supposons deux décompositions de f de la forme précédente :

$f(x) = \frac {a_1}{b_1}\cdot h_1(x) = \frac {a_2}{b_2}\cdot h_2(x)\;$

On en déduit l'égalité des deux polynômes à coefficients dans Z :

$a_1b_2\cdot h_1(x) = a_2b_1\cdot h_2(x) \;$

Un diviseur différent de +/-1 de a₁b₂ ne peut peut diviser chacun des membres de h₂ car sinon, le polynôme ne serait pas primitif. On en déduit que a₁b₂ divise a₂b₁. Un raisonnement analogue montre que a₂b₁ divise a₁b₂. Ces deux valeurs sont positives car les fractions a₁/b₁ et a₂/b₂ sont positives. Deux nombres strictement positifs qui ce divisent l'un l'autre sont égaux, ce qui démontre la proposition.

Dans la suite de la démonstration, le contenu est choisi toujours positif. Cette convention est toujours possible à remplir, quitte à multiplier le polynôme et le contenu par -1.

Le produit de deux polynômes non nuls primitifs est primitif :

Soit h et h deux polynômes à coefficients non nuls primitifs, on les notes de la manière suivante :

$h(x) = a_nx^n + a_{n-1}x^{n-1} + \cdots + a_0 \quad \text{et}\quad k(x) = b_mx^m + b_{m-1}x^{m-1} + \cdots b_0\;$

Soit p un nombre premier, montrons qu'il ne divise pas tous les coefficients du polynôme h.k. Il existe un entier i plus petit que n tel que a_i ne soit pas multiple de p, sinon tous les coefficients de h seraient multiple de p et h ne serait pas primitif. Soit μ le plus petit d'entre eux. De même soit ν le plus grand entier tel que b_ν ne soit pas un multiple de p. Calculons alors le coefficient du monôme de degré μ + ν de h.k, noté α_{μ + ν} :

$\alpha_{\mu + \nu} = a_{\mu}b_{\nu} + \sum_{i=1}^{\mu - 1}a_ib_{\mu + \nu -i}$

Remarque : il se peut que μ + ν - 1 soit plus grand que m, pour que la formule précédente soit valable, il faut utiliser la convention que b_j est égal à zéro si j est strictement plus grand que m.

L'expression trouvée de α_{μ + ν} comporte un terme qui n'est pas multiple de p et d'une somme de multiple de p, ce qui démontre que α_{μ + ν} n'est pas un multiple de p. Aucun nombre premier ne divise le contenu du produit car il existe toujours un coefficient non multiple de ce nombre premier. On en déduit ce contenu est égal à un, car par convention il est positif.

Le contenu du produit de deux polynômes non nul à coefficients dans Q est égal au produit du contenu des deux polynômes :

Soit f et g deux polynômes, c et d leur contenu respectif et h et k les deux polynômes à coefficients dans Z et primitifs tel que f = c.h et g = d.k. L'égalité suivante montre que le contenu du produit est égal à c.d :

$f(x)g(x) = cd\cdot h(x)k(x)\;$

En effet, comme h et k sont deux polynômes non nuls primitifs leur produit est aussi primitif, ce qui termine la démonstration.

Démonstration du lemme de Gauss :

Notons f et g les deux polynômes de l'énoncé. Un des polynômes f ou g (supposons f pour simplifier les notations) possède un contenu fractionnaire a/b avec b différent de un. Le polynôme f s'écrit f = a/b. h ou h est un polynôme à coefficients entiers primitif. Soit h_n le coefficient du monôme dominant (celui de plus haut degré) de h. Comme f est unitaire, on a h_na/b égal à un, en conclusion a est égal à un et h_n à b. Le contenu de f est égal à 1/b avec b différent de un.

De la même manière le contenu de g s'écrit 1/c, le contenu du produit f.g égal au produit des contenus donc égal à 1/bc. Comme b n'est pas égal à un, cette fraction ne peut être élément de Z, le contenu de f.g n'est pas un entier, le produit ne peut avoir ses coefficients dans Z.

Notes

↑ Cité d'après la traduction française faite par Poullet-Delisle de 1807 (le traducteur utilise le mot « fonctions » à la place de « polynômes »).
↑ Voir Serge Lang, Algèbre, Dunod, 2004, 926 p. (ISBN 2100079808) [détail des éditions], V, §6 (éd. ang. p. 126-128).

Références

Portail des mathématiques

Ce document provient de « Lemme de Gauss (polyn%C3%B4mes) ».

Catégories : Polynôme | Carl Friedrich Gauss

Wikimedia Foundation. 2010.

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

Игры ⚽ Нужно решить контрольную?

Regardez d'autres dictionnaires:

Lemme de Gauss (polynomes) — Lemme de Gauss (polynômes) Pour les articles homonymes, voir Théorème de Gauss. En mathématiques il existe un résultat appelé lemme de Gauss s appliquant à la théorie des polynômes. Il énonce que si un polynôme P à coefficients entiers est… … Wikipédia en Français
Lemme de Gauss (polynômes) — Pour les articles homonymes, voir Théorème de Gauss. En mathématiques il existe un résultat appelé lemme de Gauss s appliquant à la théorie des polynômes. Il énonce que si un polynôme P à coefficients entiers est factorisé en deux polynômes à… … Wikipédia en Français
Gauss (homonymie) — Cette page d’homonymie répertorie les différents sujets et articles partageant un même nom. Carl Friedrich Gauss (1777 1855), mathématicien, astronome et physicien allemand. Le gauss, une unité de mesure du champ magnétique, noté G. GAUSS, un… … Wikipédia en Français
Lemme d'Euclide — En mathématiques le lemme d Euclide est un résultat d arithmétique élémentaire qui correspond à la Proposition 30 du Livre VII des Éléments d Euclide. Il énonce que : Théorème Si un nombre premier p divise le produit de deux… … Wikipédia en Français
Arithmétique des polynômes — En algèbre, l arithmétique des polynômes décrit les propriétés des polynômes qui peuvent se déduire de l arithmétique et qui sont un peu analogues à celles des nombres entiers. Par exemple, l anneau commutatif des polynômes K[X] à une… … Wikipédia en Français
Lemme De Farkas — Le lemme de Farkas est un résultat de géométrie convexe essentiel en programmation linéaire où il fonde la théorie de la dualité pour les programmes linéaires, ainsi qu en théorie des jeux. Il intervient dans la preuve du théorème de Karush Kuhn… … Wikipédia en Français
Lemme de farkas — Le lemme de Farkas est un résultat de géométrie convexe essentiel en programmation linéaire où il fonde la théorie de la dualité pour les programmes linéaires, ainsi qu en théorie des jeux. Il intervient dans la preuve du théorème de Karush Kuhn… … Wikipédia en Français
Lemme des noyaux — En algèbre linéaire, le lemme des noyaux est un résultat sur la réduction des endomorphismes. Dans un espace vectoriel E sur un corps K, si un opérateur u de E est annulé par un polynôme P(X) à coefficients dans K, alors ce lemme prévoit une… … Wikipédia en Français
Lemme de Farkas — Le lemme de Farkas est un résultat d analyse convexe (une branche des mathématiques) qui s exprime et s interprète de multiples manières. Sous une forme assez générale, il donne une expression duale de l adhérence de l image d un cône convexe K… … Wikipédia en Français
Lemme de Bézout — Théorème de Bachet Bézout Cet article parle de l identité de Bézout et du théorème de Bézout en arithmétique. Pour le théorème de Bézout en géométrie algébrique voir Théorème de Bézout. En mathématiques, le théorème de Bachet Bézout ou identité… … Wikipédia en Français

Dictionnaires et Encyclopédies sur 'Academic'

Lemme de gauss (polynômes)