2.5 KiB
up, tags, sibling, aliases
up | tags | sibling | aliases | ||||||
---|---|---|---|---|---|---|---|---|---|
|
|
|
|
[!definition] Définition Soit
A
un anneau intègre SoitP \in A[X]
avecP \neq 0
un polynôme On dit queP
est irréductible si
P
est non inversible\forall R, S \in A[X],\quad P = RS \implies \begin{cases} R \text{ inversible}\\ \text{ou}\\ S \text{ inversible} \end{cases}
^definition
[!definition] Soit
P
un polynômeP
est irréductible si il n'est ni nul, ni polynôme inversible, ni produit de deux polynômes non polynôme inversible
Propriétés
[!proposition]+ Les polynômes de degré 1 sur un corps sont irréductibles Soit
K
un corps Les polynômes de degré d'un polynôme 1 deK[X]
sont irréductibles
- i ce ne sont pas les seuls irréductible. Ex:
X^{2} + 1
est irréductible dans\mathbb{R}[X]
^degre-1-irreductible
[!proposition]+ Polynômes irréductibles sur
\mathbb{R}
SoitP \in \mathbb{R}[X]
P \text{ irréductible } \iff \begin{cases} \operatorname{deg} P = 1 \\ \text{ou} \\ \operatorname{deg} P = 2 \text{ et a un discriminant } < 0 \end{cases}
[!démonstration]- Démonstration
Soit
P \in \mathbb{R}[X]
Si\operatorname{deg}P = 1
alorsP
est irréductible Si\operatorname{deg} P = 2
avec\Delta < 0
alorsP
n'a pas de racine PosonsP = RS
alors\operatorname{deg} P = 2 = \operatorname{deg} R + \operatorname{deg} S
Alors on a les cas suivants :
- si
\operatorname{deg} R = 0
alorsR
est inversible- si
\operatorname{deg} R = 2
alors\operatorname{deg} S = 0
et doncS
est inversible- si
\operatorname{deg} R = 1
alorsR
à une racine, doncP
à une racine, ce qui est contradictoire car\Delta < 0
Donc,R
ouS
est inversible d'où suit queP
est irréductiblesupposons
P
irréductible on sait que\operatorname{deg} P \geq 1
d'après le théorème de d'Alembert-Gauss, on sait queP
a au moins une racinea \in \mathbb{C}
- si
a \in \mathbb{R}
alorsX - a \mid P
et doncP = (X-a) R
. De là suit queR
est inversible, et donc queR = \alpha \in \mathbb{R}^{*}
Exemples
%% - un polynôme du premier polynôme#Degré aX+b
est irréductible ssi a
et b
sont nombres premiers entre eux %%