- 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 proposition contraposée[1].
Sommaire
Énoncé
Théorème — Soient deux polynômes xm + am − 1xm − 1 + ... + a1x + a0 et xn + bn − 1xn − 1 + ... + b1x + b0.
Si leurs coefficients a0, a1, a2, ... , am − 1, b0, b1, b2, ... , bn − 1 sont tous rationnels, sans être tous entiers,
alors leur produit a au moins un coefficient qui n'est pas entier.
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].
Voici 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 s'il est primitif et irréductible dans l'ensemble des polynômes à coefficients dans K
.
Pour le démontrer, on définit d'abord 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 :
. 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[X1,X2,...,Xn] 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 à coefficients 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 :
On en déduit l'égalité des deux polynômes à coefficients dans Z :
Un diviseur différent de +/-1 de a1b2 ne peut diviser chacun des membres de h2 car sinon, le polynôme ne serait pas primitif. On en déduit que a1b2 divise a2b1. Un raisonnement analogue montre que a2b1 divise a1b2. Ces deux valeurs sont positives car les fractions a1/b1 et a2/b2 sont positives. Deux nombres strictement positifs qui se 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 k deux polynômes à coefficients non nuls primitifs, on les note de la manière suivante :
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 ai 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é αμ + ν :
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 bj 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 :
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 :
Remarquons que le contenu d'un polynôme unitaire est plus petit que 1. En effet, soit P un polynôme unitaire, et c son contenu. On a alors P = c.Q, où Q est un polynôme à coefficients entiers primitif. En notant q le coefficient dominant de Q, on a 1 = cq, d'où c plus petit que 1. De plus, on voit que c = 1 si et seulement si P est à coefficients entiers.
Notons maintenant f et g les deux polynômes unitaires de l'énoncé. Les contenus sont donc tous deux inférieurs à 1, et l'un des deux est même strictement inférieur à 1, puisque l'un des polynômes n'est pas à coefficients entiers. Le contenu du produit f.g, qui est égal au produit des contenus, est donc strictement inférieur à 1, ce qui prouve que f.g n'est pas à coefficients entiers.
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 »).
- Serge Lang, Algèbre [détail des éditions], V, §6 (éd. ang. p. 126-128). Voir
Références
-
Wikimedia Foundation. 2010.