Les congruences

Il suffit d'examiner les valeurs possibles pour $2^x$ et $x^2$ (modulo 9) en dressant le tableau suivant :

Le tableau montre que pour $2^x$ la "période" des restes modulo 9 est de 6 et pour $x^2$ cette "période" est de 9. Le plus petit commun multiple de 6 et 9 est 18.

On en déduit pour tout $x \in \textbf{N} \, : \, 2^x \equiv x^2$ (modulo 9) si : $x \equiv 2~(18) \text{ ou } x \equiv 4~(18)$

L'ensemble des entiers naturels tels que $2^x \equiv x^2$ (modulo 9) est : $18k+2 ; 18k + 4$ avec $k \in \textbf{N}$