Les-Mathematiques.net - Cours de mathématiques supérieures

A lire

Deug/Prépa

Licence

Agrégation
A télécharger

Télécharger

47 personne(s) sur le site en ce moment

E. Cartan

Les maths pour l'agreg

A lire

Articles

Math/Infos

Récréation
A télécharger

Télécharger

Théorème de Cantor-Bernstein

Théo. Sylow

Théo. Ascoli

Théo. Baire

Loi forte grd nbre

Nains magiques

Polynômes irréductibles

suivant: Résultant. Discriminant monter: Zoologie des polynômes précédent: Relations entre les racines Index

Polynômes irréductibles

Définition Un polynôme appartenant à $\mathbb{K}[X]$ est dit polynôme irréductible si il est irréductible en tant qu'élément de l'anneau $\mathbb{K}[X]$ , c'est-à-dire s'il n'est pas inversible et si tout diviseur de est une unité ou est produit de par une unité.

Pour plus d'informations sur la recherche de facteurs irréductibles communs à deux polynômes, on consultera le théorème .

Théorème

$\bullet$ Les polynômes irréductibles de $\mathbb{C}[X]$ sont les polynômes de degré .

$\bullet$ Les polynômes irréductibles de $\mathbb{R}[X]$ sont les polynômes de degré et les polynômes , avec $a\neq 0$ et .

Démonstration: Il est évident que les polynômes considérés sont bel et bien irréductibles, dans les deux cas réel et complexe. Réciproquement, le théorème de D'Alembert-Gauss donne le résultat dans le cas complexe. Dans le cas réel, on procède comme suit:

$\bullet$ Supposons $P \in \mathbb{R}[X]$ irréductible dans $\mathbb{R}[X]$ .

$\bullet$ Par simplicité et sans perte de généralité, on va supposer unitaire.

$\bullet$ Si est racine de dans $\mathbb{C}$ , alors $\overline x$ l'est aussi, avec le même ordre de multiplicité.

$\bullet$ n'a pas de racine réelle , sinon diviserait et ne serait pas irréductible.

$\bullet$ peut donc s'écrire $P=\Pi_{i=1}^r (X-r_i)^{n_i} (X-\overline r_i)^{n_i}$ .

$\bullet$ $(X-r_i)(X-\overline r_i)$ est alors un polynôme réel (on le voit simplement en le développant), donc est un produit de polynômes de discriminants négatifs strictement (là aussi il suffit de développer pour le voir). Il n'est irréductible que s'il contient un et un seul tel terme.