Solution pour le challenge 23
Commençons par observer que :
 Si trois entiers (ou plus) ont pour produit 1 ou -1, alors deux d’entre eux sont égaux.
   Si trois entiers (ou plus) ont pour produit 1 ou -1, alors deux d’entre eux sont égaux.
Cette remarque est une simple conséquence du principe des tiroirs , vu qu’on a (au moins) trois facteurs et que chacun d’eux ne peut valoir que -1 ou 1.
Cela dit, il existe par hypothèse ![Rendered by QuickLaTeX.com R\in\mathbb{Z}\left[X\right]](https://math-os.com/wp-content/ql-cache/quicklatex.com-fee0b79cf55aa75760ab37b7d69c9599_l3.png) tel que :
 tel que :

Il s’agit de montrer qu’il n’existe aucun entier  pour lequel :
 pour lequel :

Supposons l’existence d’un tel  et notons :
 et notons :
      
Comme 3 est premier, deux cas se présentent :
1er cas :  .
.
Alors 
D’après  , deux des quatre entiers
, deux des quatre entiers  sont égaux : absurde.
 sont égaux : absurde.
2ème cas :  .
.
Alors l’un des quatre entiers  ou
 ou  vaut
 vaut  donc le produit des trois autres vaut
 donc le produit des trois autres vaut  et deux d’entre eux sont égaux d’après
 et deux d’entre eux sont égaux d’après  : nouvelle contradiction .
 : nouvelle contradiction .
Remarque
En remplaçant 4 par 3, on perd la conclusion.
Il existe en effet ![Rendered by QuickLaTeX.com P\in\mathbb{Z}\left[X\right]](https://math-os.com/wp-content/ql-cache/quicklatex.com-05255c19f938ce57438c108995595794_l3.png) prenant trois fois la valeur 5 et prenant aussi la valeur 8 (chaque fois en des entiers). Par exemple :
 prenant trois fois la valeur 5 et prenant aussi la valeur 8 (chaque fois en des entiers). Par exemple : 
Manifestement : 
      ![Rendered by QuickLaTeX.com \[P(-1)=P(1)=P(3)=5\]](https://math-os.com/wp-content/ql-cache/quicklatex.com-05d0265a2e572c22c2a42b0480213b38_l3.png)
      ![Rendered by QuickLaTeX.com \[P(0)=8\]](https://math-os.com/wp-content/ql-cache/quicklatex.com-336464180b7e8d1575b2a5a7ca6bac0f_l3.png)
Pour consulter l’énoncé, c’est ici

