Polynôme/Arithmétique des polynômes

Leçons de niveau 14
Une page de Wikiversité, la communauté pédagogique libre.
Début de la boite de navigation du chapitre
Arithmétique des polynômes
Icône de la faculté
Chapitre no 2
Leçon : Polynôme
Chap. préc. :Définitions
Chap. suiv. :Dérivation formelle

Exercices :

Arithmétique des polynômes
fin de la boite de navigation du chapitre
En raison de limitations techniques, la typographie souhaitable du titre, « Polynôme : Arithmétique des polynômes
Polynôme/Arithmétique des polynômes
 », n'a pu être restituée correctement ci-dessus.

désigne toujours un corps commutatif et l'anneau des polynômes à coefficients dans ce corps.

Division euclidienne et divisibilité dans K[X][modifier | modifier le wikicode]

Début d’un théorème
Fin du théorème


Exemple : Division de x4-x3+x2-x+8 par x2+3x+1

  • Étape 1 : division de x4-x3+x2 par x2+3x+1 (quotient x2, reste -4x3)
x4 - x 3 + x2 - x + 8 x2 + 3x + 1
x4 + 3x3 + x2 x2
- 4x3
  • Étape 2 : division de -4x3 - x par x2 + 3x + 1 (quotient -4x, reste 12x2 + 3x)
x4 - x 3 + x2 - x + 8 x2 + 3x + 1
x4 -3x3 + x2 x2 - 4x
- 4x3 - x
-4x3 - 12x2 -4x
+ 12x2 + 3x
  • Étape 3 : division de 12x2 - 3x + 8 par x2 + 3x + 1 (quotient 12, reste -33x - 4)
x4 - x 3 + x2 - x + 8 x2 + 3x + 1
x4 + 3x3 + x2 x2 - 4x + 12
- 4x3 - x
-4x3 - 12x2 -4x
+ 12x2 + 3x + 8
12x2 + 36x +12
- 33x - 4
  • Conclusion : x4 - x 3 + x2 - x + 8 = (x2 + 3x + 1)(x2 - 4x + 12) - 33x - 4



Les démonstrations se font comme dans (voir le cours d'arithmétique).

PGCD et PPCM[modifier | modifier le wikicode]

Définitions[modifier | modifier le wikicode]


Remarques :

  • .
  • Deux PGCD ou PPCM d'un même couple de polynômes sont associés (c'est-à-dire égaux à une constante multiplicative près).
  • Comme dans , deux polynômes sont dits premiers entre eux si, et seulement si, leur PGCD vaut 1 (en fait, cela équivaut à dire que leur PGCD est un polynôme constant).

Algorithme d'Euclide[modifier | modifier le wikicode]

Il est le même que dans . On établit le lemme d'Euclide :

Début d'un lemme
Fin du lemme


On en déduit l'algorithme d'Euclide :

Soient tels que .

Opération Reste Commentaires
on divise par
si , on divise par
si , on divise par

Théorèmes d'arithmétique[modifier | modifier le wikicode]

Ces théorèmes se démontrent comme dans .

Début d’un théorème
Fin du théorème


Début d’un théorème
Fin du théorème


Idéaux de K[X][modifier | modifier le wikicode]

Début d’un théorème
Fin du théorème


Polynômes premiers et irréductibles[modifier | modifier le wikicode]


Comme dans tout anneau vérifiant le théorème de Gauss, on a :


Mieux : on a vu que est principal ; on en déduit :