On précise d'abord que les entiers

doivent être distincts 2 à 2.
Sinon, par exemple,
^n-1)
n'est pas irréductible dans
![\mathbb{Z}[X]](https://latex.ilemaths.net/ile_TEX.cgi?\mathbb{Z}[X])
.
L'examinateur a-t-il volontairement mis une faute d'énoncé ? C'est possible, mais il est tout aussi probable qu'il y ait eu une erreur de transcription.
On supposera désormais que les entiers

sont distincts 2 à 2 et on ne le rappellera pas.
Première question:
Notons
-1)
.
Supposons par l'absurde que

, avec

et

dans
![\mathbb Z[X]](https://latex.ilemaths.net/ile_TEX.cgi?\mathbb Z[X])
,

et

étant de degré supérieur ou égal à 1.
On a alors, pour

:
On en déduit que, pour

:
Le polynôme

est de degré strictement inférieur à

et admet au moins

racines distinctes 2 à 2,

. On en déduit que

est le polynôme nul et donc que

. Et ce résultat est contradictoire avec le fait que le coefficient dominant de

est égal à 1.
Donc,

est irréductible dans
Deuxième question:
Donnons un contre-exemple:
+1= (X-1)^2)
n'est pas irréductible dans
![\mathbb Z[X]](https://latex.ilemaths.net/ile_TEX.cgi?\mathbb Z[X])
.
Allons plus loin et déterminons les polynômes
 +1)
qui sont réductibles dans
![\mathbb{Z}[X]](https://latex.ilemaths.net/ile_TEX.cgi?\mathbb{Z}[X])
.
Supposons que

est réductible dans
![\mathbb{Z}[X]](https://latex.ilemaths.net/ile_TEX.cgi?\mathbb{Z}[X])
.
Alors

, avec

et

dans
![\mathbb Z[X]](https://latex.ilemaths.net/ile_TEX.cgi?\mathbb Z[X])
,

et

étant de degré supérieur ou égal à 1.
On a alors, pour

:
On en déduit que, pour

:
Le polynôme

est de degré strictement inférieur à

et admet au moins

racines distinctes 2 à 2,

. On en déduit que

est le polynôme nul et donc que

.
Donc,
= Q^2-1 = (Q-1)(Q+1))
(E)
On peut supposer que

est le plus petit des entiers

.
On pose pour

:

et
=Q(X+a_1))
.
L'égalité (E) peut s'écrire
Il existe deux parties

et

de

telles que
)
et
Remarquons que
-\prod_{i\in K} (X-\alpha_i))
et donc que
Premier cas: 1 appartient à
Alors
La seule possibilité est que

soit de cardinal 2 et que
Par suite
Deuxième cas: 1 appartient à
Alors
La seule possibilité est que

soit de cardinal 1 et que
Par suite
Conclusion: les seuls polynômes
+1)
qui sont réductibles dans
![\mathbb{Z}[X]](https://latex.ilemaths.net/ile_TEX.cgi?\mathbb{Z}[X])
sont les polynômes
(X-a_1-2)+1)
et