Solution pour le challenge 28
Soit 
non multiple de 
On sait, d’après le petit théorème de Fermat, que :
![\[ x^{p-1}\equiv1\pmod{p}\]](https://math-os.com/wp-content/ql-cache/quicklatex.com-3ebe1a771ad3e8f1745154cd0a2844b2_l3.png "Rendered by QuickLaTeX.com")
En effectuant la division euclidienne de 
par 
:
![\[ x=\left(p-1\right)q+r\]](https://math-os.com/wp-content/ql-cache/quicklatex.com-f4f360ecf1f2efee8f007349e4ab7d09_l3.png "Rendered by QuickLaTeX.com")
.
On voit ainsi que :
![\[ x^{x}\equiv x^{r}\pmod{p}\]](https://math-os.com/wp-content/ql-cache/quicklatex.com-d59dd007ad161927fcdd1d4870036e70_l3.png "Rendered by QuickLaTeX.com")
Il suffirait donc que vérifie la double condition :
![\[ \left\{\begin{array}{cccc} x & \equiv & 1 & \pmod{p-1}\\ x & \equiv & a & \pmod{p} \end{array}\right.\qquad\left(\star\right)\]](https://math-os.com/wp-content/ql-cache/quicklatex.com-d60b9e9d2b14404bd34ac2ef6d7691a3_l3.png "Rendered by QuickLaTeX.com")
Or, l’existence d’un 
vérifiant 
est conséquence immédiate du théorème des restes chinois, puisque 
.
Pour consulter l’énoncé, c’est ici