Ici,

désigne un corps commutatif.
I. Généralités sur les polynômes
1. Définitions
a) Définitions
Définitions
Pour toute suite
_{n\in\mathbb{N}})
de

, on appelle support de
_{n\in\mathbb{N}})
l'ensemble des

de

tels que

.

On appelle
polynôme à coefficients dans 
toute suite
_{n\in\mathbb{N}})
de

à
support fini, les termes d'une telle suite sont appelés :
coefficients du polynôme.

L'ensemble des polynômes à coefficients dans

est noté
![\mathbb{K}[X]](https://latex.ilemaths.net/latex-0.tex?\mathbb{K}[X])
, soit alors :
![\mathbb{K}[X]= \lbrace (a_n)_{n\in\mathbb{N}} \in \mathbb{K}^{\mathbb{N}} / \exists N\in\mathbb{N}, \forall n\geq N , a_n=0 \rbrace](https://latex.ilemaths.net/latex-0.tex?\mathbb{K}[X]= \lbrace (a_n)_{n\in\mathbb{N}} \in \mathbb{K}^{\mathbb{N}} / \exists N\in\mathbb{N}, \forall n\geq N , a_n=0 \rbrace)
.

On note

la suite constante nulle
_{n\in\mathbb{N}})
de

définie par :

, appelée
polynôme nul.

On appelle
polynômes constants les polynômes dont tous les termes sont nuls à partir de l'indice 1, c'est-à-dire les polynômes
![(a_n)_{n\in\mathbb{N}} \in \mathbb{K}[X]](https://latex.ilemaths.net/latex-0.tex?(a_n)_{n\in\mathbb{N}} \in \mathbb{K}[X])
tels que :

.

On appelle
monôme tout polynôme dont tous les termes sont nuls sauf un, c'est-à-dire tout polynôme
![(a_n)_{n\in\mathbb{N}} \in \mathbb{K}[X]](https://latex.ilemaths.net/latex-0.tex?(a_n)_{n\in\mathbb{N}} \in \mathbb{K}[X])
tel que :

.
b) Degré et valuation d'un polynôme
Soit
![P=(a_n)_{n\in\mathbb{N}} \in \mathbb{K}[X]](https://latex.ilemaths.net/latex-0.tex?P=(a_n)_{n\in\mathbb{N}} \in \mathbb{K}[X])
.
si

, alors tous les coefficients de

sont nuls, si

, alors l'ensemble des indices des coefficients non nuls de

n'est pas vide, et il est majoré (les coefficients sont nuls à partir d'un certain
rang), donc cet ensemble admet un plus grand élément.
Définitions :
Si

:

On appelle
degré de

, et on note
})
, le plus grand entier naturel

tel que

. L'élément
})
est appelé
le coefficient dominant de

.

On dit que

est
unitaire ou
normalisé ssi

et
}}=1)
.

On appelle
valuation de

, et on note
)
, le plus petit entier naturel

tel que

.
Si

, on note par convention
}=-\infty)
et
=+\infty)
.
Remarque :
Soit
![P=(a_n)\in\mathbb{K}[X]](https://latex.ilemaths.net/latex-0.tex?P=(a_n)\in\mathbb{K}[X])
un polynôme, on appellera le polynôme normalisé de

le polynôme
Exemple :
Soit le polynôme
_{n\in\mathbb{N})
tel que :
Donc :
} = 5)
et
c) Parité d'un polynôme
Définition :
Soit
![P=(a_n)_{n\in\mathbb{N}} \in \mathbb{K}[X]](https://latex.ilemaths.net/latex-0.tex?P=(a_n)_{n\in\mathbb{N}} \in \mathbb{K}[X])
.
On dit que

est pair ssi :

:
On dit que

est impair ssi :

:
2. Opérations sur les polynômes
Soient
_{n\in\mathbb{N}})
et
_{n\in\mathbb{N}})
deux polynômes.
a) Égalité de deux polynômes
Définition :
On dit que

et

sont égaux et on écrit

ssi

:

(égalité de deux suites).
Remarque :
Il est clair que si

, alors :
}=\deg{(Q)})
et
=val(Q))
, la réciproque est fausse en général.
b) Somme de deux polynômes
Définition :
La somme des deux polynômes

et

est un polynôme
_{n\in\mathbb{N}})
tel que

:

.
On écrit :
Proposition :
On a pour tous
}\leq \max{(\deg{(P)},\deg{(Q)})})
et
Cas d'égalité :
Proposition :
![(\mathbb{K}[X],+)](https://latex.ilemaths.net/latex-0.tex? (\mathbb{K}[X],+))
est un groupe abélien.
c) Multiplication par un scalaire
Définition :
Soit

, la multiplication du polynôme

par le scalaire

est un polynôme
![M=(m_n)_{n\in\mathbb{N}}\in\mathbb{K}[X]](https://latex.ilemaths.net/latex-0.tex?M=(m_n)_{n\in\mathbb{N}}\in\mathbb{K}[X])
tel que

:

.
On note :
Proposition :
![(\mathbb{K}[X],+,.)](https://latex.ilemaths.net/latex-0.tex?(\mathbb{K}[X],+,.))
est un

-ev.
d) Produit de deux polynômes
Définition :
On appelle produit de

par

la suite
![S=(s_n)_{n\in\mathbb{N}} \in \mathbb{K}[X]](https://latex.ilemaths.net/latex-0.tex?S=(s_n)_{n\in\mathbb{N}} \in \mathbb{K}[X])
définie par :

:

.
On note

.
Proposition :
![\forall (P,Q)\in (\mathbb{K}[X])^2](https://latex.ilemaths.net/latex-0.tex?\forall (P,Q)\in (\mathbb{K}[X])^2)
:
Proposition :
![(\mathbb{K}[X],+,\times)](https://latex.ilemaths.net/latex-0.tex?(\mathbb{K}[X],+,\times))
est un anneau intègre.
Proposition :
![(\mathbb{K}[X],+,.,\times)](https://latex.ilemaths.net/latex-0.tex?(\mathbb{K}[X],+,.,\times))
est une

-algèbre associative, commutative et unitaire.
3. Écriture définitive d'un polynôme
Soit
![P =(a_n)_{n\in\mathbb{N}} \in \mathbb{K}[X]](https://latex.ilemaths.net/latex-0.tex?P =(a_n)_{n\in\mathbb{N}} \in \mathbb{K}[X])
un polynôme, il existe un entier

tel que

.
On peut donc écrire
)
.
Ou encore, compte tenu de la définition de l'addition et de la multiplication par un scalaire :
En notant
)
le polynôme défini par :

(Symbole de Krönecker) (Par exemple :
)
,
)
)
On obtient :
Définition : (L'indéterminée)
On appelle indéterminée le polynôme
)
, l’indéterminée sera noté
En reprenant les notations précédentes, on a ainsi l'écriture définitive d'un polynôme :

, ou encore plus simplement :

, étant entendu qu'il s'agit là d'une somme finie puisque les coefficients sont nuls à partir d'un certain rang.
Proposition :
L'application :
![\begin{array}{ll} &\mathbb{K} \longrightarrow \mathbb{K}[X] \\ &\lambda \longrightarrow \lambda \delta_0 \end{array}](https://latex.ilemaths.net/latex-0.tex? \begin{array}{ll} &\mathbb{K} \longrightarrow \mathbb{K}[X] \\ &\lambda \longrightarrow \lambda \delta_0 \end{array})
est un morphisme injectif de

-algèbre.
Par conséquent, chaque polynôme constant
)
peut être identifié avec le scalaire

, autrement dit,on pose
)
. En particulier, le polynôme nul est noté simplement

, et le polynôme

est simplement noté

. On peut donc considérer désormais :
![\mathbb{K} \subset \mathbb{K}[X]](https://latex.ilemaths.net/latex-0.tex? \mathbb{K} \subset \mathbb{K}[X])
,

étant l'ensemble des polynômes constants.
Finalement : si
 =(a_0,\cdots, a_N ,0, \cdots))
, alors :
De plus, la multiplication d'un polynôme par un scalaire pourra être considérée comme produit de deux polynômes, on notera alors :

ou encore

(à la place de

) le produit des polynômes

et

, et

ou

le produit de

par le scalaire

.
4. L'espace ![\mathbb{K}_n[X]](https://latex.ilemaths.net/latex-0.tex?\mathbb{K}_n[X])
Proposition :
La famille infinie
_{n\in\mathbb{N}})
, c'est-à-dire
)
, est une base de

-ev
![\mathbb{K}[X]](https://latex.ilemaths.net/latex-0.tex?\mathbb{K}[X])
, appelée
base canonique de
Proposition - définition :
Pour

fixé, l'ensemble
![\lbrace P\in\mathbb{K}[X]/ \deg{(P)} \leq n \rbrace](https://latex.ilemaths.net/latex-0.tex?\lbrace P\in\mathbb{K}[X]/ \deg{(P)} \leq n \rbrace)
est clairement un

-sev de
![\mathbb{K}[X]](https://latex.ilemaths.net/latex-0.tex?\mathbb{K}[X])
, on le note
![\mathbb{K}_n[X]](https://latex.ilemaths.net/latex-0.tex?\mathbb{K}_n[X])
.
La famille finie
)
est une base de
![\mathbb{K}_n[X]](https://latex.ilemaths.net/latex-0.tex?\mathbb{K}_n[X])
, appelée
base canonique de
![\mathbb{K}_n[X]](https://latex.ilemaths.net/latex-0.tex?\mathbb{K}_n[X])
. On a donc :
Proposition :
Soient

une partie de

,
_{i\in I})
une famille de polynômes de
![\mathbb{K}[X]-\lbrace 0 \rbrace](https://latex.ilemaths.net/latex-0.tex?\mathbb{K}[X]-\lbrace 0 \rbrace)
telle que :
\in I^2)
:
Alors
_{i\in I})
est libre dans le

-ev
5. Polynôme composé - polynôme dérivé - fonction polynomiale
a) Polynôme composé
Définition :
Soient
![P= \displaystyle \sum_{n=0}^{N} a_n X^n \in\mathbb{K}[X]](https://latex.ilemaths.net/latex-0.tex?P= \displaystyle \sum_{n=0}^{N} a_n X^n \in\mathbb{K}[X])
et
![Q\in\mathbb{K}[X]](https://latex.ilemaths.net/latex-0.tex?Q\in\mathbb{K}[X])
. On définit le polynôme composé

par :
Proposition :
![\forall(P,Q)\in(\mathbb{K}[X]-\lbrace 0 \rbrace)^2](https://latex.ilemaths.net/latex-0.tex?\forall(P,Q)\in(\mathbb{K}[X]-\lbrace 0 \rbrace)^2)
:
Exemple :

et

.
Donc :
= 2X^3-X^2-3)
.
Et :
=(2x-1)^3-\dfrac{1}{2}(2X-1)^2-1=8X^3-14X^2+8X-\dfrac{5}{2})
.
On vérifie aisément que :
}=\deg{(Q \circ P)}=\deg{(P)}\deg{(Q)}=3)
.
b) Polynôme dérivé
Définition :
Soit

, on appelle polynôme dérivé de

, le polynôme noté

ou

et défini par :
Puis par récurrence, on définit la dérivée

-ième de

, notée
})
, en posant :
Proposition :
![\forall P\in\mathbb{K}[X]](https://latex.ilemaths.net/latex-0.tex?\forall P\in\mathbb{K}[X])
:
Proposition :
![\forall P \in \mathbb{K}[X]](https://latex.ilemaths.net/latex-0.tex?\forall P \in \mathbb{K}[X])
:
Proposition : (Formule de Leibniz)
Théorème :
1)
Soit le monôme

(

), alors,

:
Généralisation: Soit
![P= \displaystyle \sum_{n} a_n X^n\in\mathbb{K}[X]](https://latex.ilemaths.net/latex-0.tex?P= \displaystyle \sum_{n} a_n X^n\in\mathbb{K}[X])
, on a :

,
2)
En particulier, si
} = n)
, alors
} = a_n n!)
, et si
})
, alors
} = 0)
.
3)
D'autre part, lorsque
})
, alors
c) Fonction polynomiale
i) Définitions
Définition :
Pour tout

de
![\mathbb{K}[X]](https://latex.ilemaths.net/latex-0.tex?\mathbb{K}[X])
, on note

appelée
fonction polynomiale associée à 
.
Proposition :
Pour tous

de

et

de
![\mathbb{K}[X]](https://latex.ilemaths.net/latex-0.tex?\mathbb{K}[X])
:

.

.

.
Proposition :
L'application :
![\begin{array}{ll} &\mathbb{K}[X] \longrightarrow \mathbb{K}^{\mathbb{K}} \\& P \longrightarrow \widetilde{P} \end{array}](https://latex.ilemaths.net/latex-0.tex?\begin{array}{ll} &\mathbb{K}[X] \longrightarrow \mathbb{K}^{\mathbb{K}} \\& P \longrightarrow \widetilde{P} \end{array})
est injective ssi

est infini.
ii) Schéma de Ruffini-Hörner
Hörner et Ruffini ont cherché (séparément) à minimiser le nombre d'opérations à effectuer pour calculer l'image d'un nombre par une fonction polynomiale.
Soit

un polynôme et

un nombre. Le calcul de
)
=

laisse à penser qu'il faut calculer chacune des puissances de

, multiplier celle-ci par son coefficient

puis faire la somme de ce que l'on a trouvé.
La méthode de Ruffini-Hörner consiste à améliorer encore ce résultat en effectuant le calcul comme suit :
La méthode consiste à multiplier le premier coefficient par

et à lui ajouter le second coefficient. On multiplie alors le nombre obtenu par

et on lui ajoute le troisième coefficient et ainsi de suite. Cette méthode s'organise très bien à l'aide d'un tableau dans lequel chaque case de la seconde ligne est obtenue en multipliant le coefficient de la case de gauche par

et en lui ajoutant le coefficient de la case du dessus.
Par exemple, calculons
)
avec
=x^3-2x^2+3x-1)
:
iii) Formule de Taylor
Soit

, soit

un entier compris entre

et

, alors
} =\displaystyle \sum_{i=k}^n \frac{i!}{(i-k)!}a_i X^{i-k})
.
Substituons

à

, on obtient alors
}(0)} = k!a_k)
, on en déduit donc que :

{

} :
Remarquons que la formule reste vraie pour

.
On obtient
la formule de Taylor en 0 :
Soit

, posons
)
comme composée de

avec le polynôme

, d?après ce qui précède, on a :
Or,
}=P^{(k)}(X+a))
, donc :
}(0)}=\widetilde{P^{(k)}(a)})
.
De plus :
)
.
On obtient :
Théorème : (dit de Taylor pour les polynômes)
Soient
![P\in\mathbb{K}[X]](https://latex.ilemaths.net/latex-0.tex?P\in\mathbb{K}[X])
et

, on a :
}(a)}}{k!} (X-a)^k})
: C'est la formule de Taylor pour le polynôme

en
II. Arithmétique dans ![\mathbb{K}[X]](https://latex.ilemaths.net/latex-0.tex?\mathbb{K}[X])
1. Divisibilité
Définition :
Soit
![(P,S)\in(\mathbb{K}[X])^2](https://latex.ilemaths.net/latex-0.tex?(P,S)\in(\mathbb{K}[X])^2)
, on dit que
divise 
dans
![\mathbb{K}[X]](https://latex.ilemaths.net/latex-0.tex?\mathbb{K}[X])
et on note :

si et seulement s'il existe
![Q \in\mathbb{K}[X]](https://latex.ilemaths.net/latex-0.tex?Q \in\mathbb{K}[X])
tel que :
Remarque :
A la place de

divise

, on peut dire

est un
diviseur de

, ou encore,

est un
multiple de
Exemple :
Soient

et

deux polynômes de
On a
^2= (X+1)(X+1)=Q^2=Q.Q)
, donc
Proposition :
![\forall P\in\mathbb{K}[X]](https://latex.ilemaths.net/latex-0.tex?\forall P\in\mathbb{K}[X])
:

.
![\forall (P,Q)\in(\mathbb{K}[X])^2](https://latex.ilemaths.net/latex-0.tex?\forall (P,Q)\in(\mathbb{K}[X])^2)
: (

et

).
![\forall (P,Q,S)\in(\mathbb{K}[X])^3](https://latex.ilemaths.net/latex-0.tex?\forall (P,Q,S)\in(\mathbb{K}[X])^3)
: (

et

)
![\forall (P,Q,S)\in(\mathbb{K}[X])^3](https://latex.ilemaths.net/latex-0.tex?\forall (P,Q,S)\in(\mathbb{K}[X])^3)
: (

)
![\forall (P,Q,S)\in(\mathbb{K}[X])^3](https://latex.ilemaths.net/latex-0.tex?\forall (P,Q,S)\in(\mathbb{K}[X])^3)
: (

et

)
![\forall (P,Q,S,T)\in(\mathbb{K}[X])^4](https://latex.ilemaths.net/latex-0.tex?\forall (P,Q,S,T)\in(\mathbb{K}[X])^4)
: (

et

)
![\forall (P,Q)\in(\mathbb{K}[X])^2](https://latex.ilemaths.net/latex-0.tex?\forall (P,Q)\in(\mathbb{K}[X])^2)
,

: (

)
Définition :
On appelle
idéal de
![\mathbb{K}[X]](https://latex.ilemaths.net/latex-0.tex?\mathbb{K}[X])
toute partie

de
![\mathbb{K}[X]](https://latex.ilemaths.net/latex-0.tex?\mathbb{K}[X])
telle que :

.
\in \mathfrak{J}^2)
:

.
![\forall A\in\mathbb{K}[X]](https://latex.ilemaths.net/latex-0.tex?\forall A\in\mathbb{K}[X])
,

:
Théorème :
Pour tout idéal

de
![\mathbb{K}[X]](https://latex.ilemaths.net/latex-0.tex?\mathbb{K}[X])
, il existe
![P_0 \in\mathbb{K}[X]](https://latex.ilemaths.net/latex-0.tex?P_0 \in\mathbb{K}[X])
tel que :
![\mathfrak{J}=P_0 \mathbb{K}[X] = \lbrace P\in\mathbb{K}[X], \exists A\in\mathbb{K}[X], P=P_0 A \rbrace](https://latex.ilemaths.net/latex-0.tex? \mathfrak{J}=P_0 \mathbb{K}[X] = \lbrace P\in\mathbb{K}[X], \exists A\in\mathbb{K}[X], P=P_0 A \rbrace)
.
On dit que tout idéal de
![\mathbb{K}[X]](https://latex.ilemaths.net/latex-0.tex?\mathbb{K}[X])
est
principal, ou encore :
![\mathbb{K}[X]](https://latex.ilemaths.net/latex-0.tex?\mathbb{K}[X])
est un
anneau principal
Remarque :
Voir cours
" Compléments d'algèbre général - Notion d'idéal" pour plus de détails sur cette partie.
Théorème : (Division Euclidienne)
Soit
![(A,B)\in \mathbb{K}[X]\times \mathbb{K}[X]-\lbrace 0 \rbrace](https://latex.ilemaths.net/latex-0.tex?(A,B)\in \mathbb{K}[X]\times \mathbb{K}[X]-\lbrace 0 \rbrace)
. Il existe un couple unique
)
de
![(\mathbb{K}[X])^2](https://latex.ilemaths.net/latex-0.tex?(\mathbb{K}[X])^2)
tel que :
Le polynôme

(respectivement

) est appelé le
quotient (respectivement le
reste) de la
division Euclidienne de

par

.
Exemple :
La division Euclidienne de

par

:
Conclusion :
2. Plus grand commun diviseur (PGCD) - Plus petit commun multiple (PPCM)
a) Généralités
Définition - Proposition :
Soient

,

Il existe un polynôme et un seul

, unitaire, non nul, diviseur commun de

et de plus haut degré parmi les diviseurs communs de

;

est est appelé le
plus grand commun diviseur (en abrégé
pgcd) de

, et noté
)
ou encore

Il existe un polynôme et un seul

, unitaire, non nul, multiple commun de

et de plus bas degré parmi les multiples communs de

;

est est appelé le
plus petit commun multiple (en abrégé
ppcm) de

, et noté
)
ou encore
Proposition :
Soient

;
![(P_1,\cdots,P_n)\in (\mathbb{K}[X]- \lbrace 0 \rbrace )^n](https://latex.ilemaths.net/latex-0.tex?(P_1,\cdots,P_n)\in (\mathbb{K}[X]- \lbrace 0 \rbrace )^n)
,
![(\alpha_1,\cdots,\alpha_n)\in (\mathbb{K}[X]- \lbrace 0 \rbrace )^n](https://latex.ilemaths.net/latex-0.tex?(\alpha_1,\cdots,\alpha_n)\in (\mathbb{K}[X]- \lbrace 0 \rbrace )^n)
, on a :
_{1\leq i\leq n})=pgcd((P_i)_{1\leq i\leq n}))
et
Soit

;
![(P_1,\cdots,P_n)\in (\mathbb{K}[X]- \lbrace 0 \rbrace )^n](https://latex.ilemaths.net/latex-0.tex?(P_1,\cdots,P_n)\in (\mathbb{K}[X]- \lbrace 0 \rbrace )^n)
;
![A\in \mathbb{K}[X]- \lbrace 0 \rbrace](https://latex.ilemaths.net/latex-0.tex?A\in \mathbb{K}[X]- \lbrace 0 \rbrace)
unitaire, on a :
_{1\leq i\leq n})=A. pgcd((P_i)_{1\leq i\leq n}))
et
Proposition : (Associativité)
Soient

,

une partition de

,
![(P_1,\cdots,P_n)\in (\mathbb{K}[X]- \lbrace 0 \rbrace )^n](https://latex.ilemaths.net/latex-0.tex?(P_1,\cdots,P_n)\in (\mathbb{K}[X]- \lbrace 0 \rbrace )^n)
, on a :
b) Algorithme d'Euclide
La division euclidienne fournit, comme dans le cas des nombres entiers relatifs (dans

), une méthode pour trouver le PGCD de deux polynômes, nommée
Algorithme d'Euclide.
Lemme : (dit d'Euclide)
Soit
![(A,B)\in(\mathbb{K}[X])^2](https://latex.ilemaths.net/latex-0.tex?(A,B)\in(\mathbb{K}[X])^2)
, alors
![\forall (P,Q)\in(\mathbb{K}[X])^2](https://latex.ilemaths.net/latex-0.tex?\forall (P,Q)\in(\mathbb{K}[X])^2)
tel que :

, on a :
Pour tout
![(A,B)\in(\mathbb{K}[X]- \lbrace 0 \rbrace )^2](https://latex.ilemaths.net/latex-0.tex?(A,B)\in(\mathbb{K}[X]- \lbrace 0 \rbrace )^2)
, le PGCD de

et

est le dernier reste non nul
normalisé dans la suite des divisions euclidiennes successives, le tebleau ci-dessous regroupe l'algorithme :
Opération |
Reste |
Résultat |
division de par  |
 |
et  |
si , division de par |
 |
et  |
 |
 |
 |
si , division de par  |
 |
 |
Conclusion :
Exemple :
Cherchons

avec :

et

:
1ère division Euclidienne : division de

par
On obtient

et

.
2ème division Euclidienne : division de

par

et
On en déduit que :
Proposition :
![\forall(A,B)\in (\mathbb{K}[X]- \lbrace 0 \rbrace )^{2}](https://latex.ilemaths.net/latex-0.tex?\forall(A,B)\in (\mathbb{K}[X]- \lbrace 0 \rbrace )^{2})
,
(A\vee B))
est le polynôme normalisé de

.
3. Polynômes premiers entre eux - Polynômes irréductibles
a) Polynômes premiers entre eux
Définition :
Soient

;
On dit que

sont
premiers entre eux dans leur ensemble ou encore
étrangers ssi :
=1)
.
On dit que

sont
premiers entre eux deux à deux ssi :
\in\lbrace1,\cdots, n \rbrace^{2})
:

.
Théorème : (dit de Bezout)
Soient

;
![(P_1,\cdots,P_n)\in (\mathbb{K}[X]-\lbrace 0 \rbrace)^n](https://latex.ilemaths.net/latex-0.tex?(P_1,\cdots,P_n)\in (\mathbb{K}[X]-\lbrace 0 \rbrace)^n)
. Pour que

soient premiers entre eux dans leur ensemble, il faut et il suffit qu'il existe
![(U_1,\cdots, U_n) \in(\mathbb{K}[X])^n](https://latex.ilemaths.net/latex-0.tex?(U_1,\cdots, U_n) \in(\mathbb{K}[X])^n)
tel que :

.
Théorème : (dit de Gauss)
Proposition :
Soient

et

deux polynômes non nuls, non tous deux constants et premiers entre eux. Il existe
![(U,V)\in (\mathbb{K}[X]-\lbrace 0 \rbrace)^2](https://latex.ilemaths.net/latex-0.tex?(U,V)\in (\mathbb{K}[X]-\lbrace 0 \rbrace)^2)
unique tel que :

avec
}<\deg{(Q)})
et
} < \deg{(P)})
.
Proposition :
Soient

;
![(A,P_1,\cdots,P_n)\in (\mathbb{K}[X]-\lbrace 0 \rbrace)^{n+1}](https://latex.ilemaths.net/latex-0.tex?(A,P_1,\cdots,P_n)\in (\mathbb{K}[X]-\lbrace 0 \rbrace)^{n+1})
.
Si

{

} ,
)
et si

sont premiers entre eux deux à deux, alors :

.
Proposition :
Soient

;
![(P_1,\cdots,P_n)\in (\mathbb{K}[X]-\lbrace 0 \rbrace)^{n}](https://latex.ilemaths.net/latex-0.tex?(P_1,\cdots,P_n)\in (\mathbb{K}[X]-\lbrace 0 \rbrace)^{n})
. Si

sont premiers entre eux deux à deux, alors le PPCM de

est le polynôme normalisé de

.
b) Polynômes irréductibles
Définitions :
Soit
![P\in\mathbb{K}[X]](https://latex.ilemaths.net/latex-0.tex?P\in\mathbb{K}[X])
non constant.
Le polynôme

est dit
irréductible si et seulement si ses seuls diviseurs sont les polynômes constants et les polynômes de la forme

où

est une constante de

non nulle.
Le polynôme

est dit
premier ssi :
![\forall A,B \in\mathbb{K}[X]](https://latex.ilemaths.net/latex-0.tex?\forall A,B \in\mathbb{K}[X])
,

ou

.
Théorème :
Un polynôme est premier, si et seulement si, il est irréductible.
On se permet alors, dans toute la suite, de confondre les deux notions.
Proposition :
Soient
![P\in\mathbb{K}[X]](https://latex.ilemaths.net/latex-0.tex?P\in\mathbb{K}[X])
irréductible et
![A\in\mathbb{K}[X]-\lbrace 0 \rbrace](https://latex.ilemaths.net/latex-0.tex?A\in\mathbb{K}[X]-\lbrace 0 \rbrace)
. On a :

ou

.
Proposition :
Soient
![P\in\mathbb{K}[X]](https://latex.ilemaths.net/latex-0.tex?P\in\mathbb{K}[X])
irréductible,

,
![A_1,\cdots , A_n \in\mathbb{K}[X]-\lbrace 0 \rbrace](https://latex.ilemaths.net/latex-0.tex?A_1,\cdots , A_n \in\mathbb{K}[X]-\lbrace 0 \rbrace)
. On a :

.
Théorème :
Tout polynôme de
![\mathbb{K}[X]](https://latex.ilemaths.net/latex-0.tex?\mathbb{K}[X])
de degré supérieur ou égal à 1 admet une décomposition en produit de polynômes irréductibles, unique à l'ordre près des facteurs et à des constantes non nulles de

multiplicatives près.
Soit
![A\in\mathbb{K}[X]](https://latex.ilemaths.net/latex-0.tex?A\in\mathbb{K}[X])
avec
} \geq 1)
. D'après le théorème précédent, il existe

,

irréductibles et premiers entre eux deux à deux,

tels que :

, Cette égalité s'appelle la
décomposition primaire de

dans
![\mathbb{K}[X]](https://latex.ilemaths.net/latex-0.tex?\mathbb{K}[X])
.
Proposition :
Tout polynôme de
![\mathbb{K}[X]](https://latex.ilemaths.net/latex-0.tex?\mathbb{K}[X])
de degré supérieur ou égal à 1 admet au moins un diviseur irréductible.
Proposition :
Soient
![A,B \in\mathbb{K}[X]](https://latex.ilemaths.net/latex-0.tex?A,B \in\mathbb{K}[X])
, de degrés

, unitaires et respectivement de décomposition primaire

et

(où

,

irréductibles, unitaires et premiers entre eux 2 à 2,

). On a :
}})
et
Proposition :
Les lois

et

sont distributives l'une sur l'autre dans
![\mathbb{K}[X]- \lbrace 0 \rbrace](https://latex.ilemaths.net/latex-0.tex?\mathbb{K}[X]- \lbrace 0 \rbrace )
.
III. Racines des polynômes
Définition :
Soient
![P\in\mathbb{K}[X]](https://latex.ilemaths.net/latex-0.tex?P\in\mathbb{K}[X])
,

. On dit que a est une
racine (ou : un
zéro) de

si et seulement si :
=0)
.
Proposition :
Soient
![P\in\mathbb{K}[X]](https://latex.ilemaths.net/latex-0.tex?P\in\mathbb{K}[X])
,

,

2 à 2 distincts.
Si

sont racines de

, alors :
|P)
.
Proposition :
Soient
![P\in\mathbb{K}[X]](https://latex.ilemaths.net/latex-0.tex?P\in\mathbb{K}[X])
,

. Si
}<n)
et si

admet au moins n racines 2 à 2 distinctes, alors

.
Définition :
Soient
![P\in\mathbb{K}[X]](https://latex.ilemaths.net/latex-0.tex?P\in\mathbb{K}[X])
,

,
On dit que

est une racine d'ordre au moins

de

si et seulement si :
On dit que

est une racine d'ordre exactement

de

si et seulement si :
^r |P)
et
^{r+1} \not{/}P)
.
Proposition - Définition :
Soit
![P\in\mathbb{K}[X]](https://latex.ilemaths.net/latex-0.tex?P\in\mathbb{K}[X])
,

.
Si

est racine de

, alors il existe un entier naturel non nul
unique 
tel que

soit une racine d'ordre

exactement de

, on dit que

est
l'ordre de multiplicité de 
(ou plus simplement

est
multiplicité de

)
dans 
et on le note
)
.
Remarque :
Une racine de multiplicité
1 est appelée
racine simple, une racine de multiplicité
2 est appelée
racine double...etc
Exemple :
Soit

, trouver les racines de

ainsi que l'ordre de multiplicité de chacune.
On procède par "tâtonnement" simple en commençant par :

, etc
On obtient :

et

sont des racines de
On divise

par

(division euclidienne), on trouve :
Donc :
=1)
et
Proposition :
Soient

,

2 à 2 distincts,
)
,
![B\in\mathbb{K}[X]](https://latex.ilemaths.net/latex-0.tex?B\in\mathbb{K}[X])
.
On a alors :

(
=0)
).
Définition :
Un polynôme

de
![\mathbb{K}[X]](https://latex.ilemaths.net/latex-0.tex?\mathbb{K}[X])
est dit
scindé (ou encore
scindable) sur

si et seulement s'il existe

,

,

tels que :
)
.
Proposition :
Soient

,
 \in\mathbb{K}^{n+1})
tel que

et

.
Supposons que

scindé sur

et notons

les racines de

non nécessairement deux à deux distincts de sorte que :
On a alors, en notant

les fonctions symétriques élémentaires de

:

,

,
^k \dfrac{a_{n-k}}{a_n})
,

,
^n \dfrac{a_0}{a_n})
.
Théorème :
Soient
![P\in\mathbb{K}[X]](https://latex.ilemaths.net/latex-0.tex?P\in\mathbb{K}[X])
,

,
Pour que

soit racine d'ordre

au moins de

, il faut et il suffit que :

,
Pour que

soit racine d'ordre

au moins de

, il faut et il suffit que :

,
}}(a)=0)
et
}}(a)\neq 0)
.
Théorème : (dit de D'Alembert)
Le corps

est algébriquement
clos.
Cela veut dire que tout polynôme non constant de
![\mathbb{C}[X]](https://latex.ilemaths.net/latex-0.tex?\mathbb{C}[X])
admet au moins une racine dans

.
Proposition :
Tout polynôme non constant de
![\mathbb{C}[X]](https://latex.ilemaths.net/latex-0.tex?\mathbb{C}[X])
est scindé sur

.
Proposition :
Les polynômes irréductibles de
![\mathbb{C}[X]](https://latex.ilemaths.net/latex-0.tex?\mathbb{C}[X])
sont les polynômes de degré

.
Les polynômes irréductibles de
![\mathbb{R}[X]](https://latex.ilemaths.net/latex-0.tex?\mathbb{R}[X])
sont les polynômes de degré

et les trinômes du second degré à discriminant strictement négatif.