On sait que :
42=16Soit
a un entier relatif et
b un entier naturel non nul.
On appelle division euclidienne de a par b, l’opération qui au couple (a;b) associe le couple (q;r) tel que : a=b×q+r avec 0≤r<ba s’appelle le dividende, b le diviseur, q le quotient et r le reste. On obtient :
16=3×5+1 avec
0≤1<3 Donc le reste vaut
r=1 On peut donc écrire que :
42≡1[3] Soient m un entier naturel (m>2), a et b des entiers relatifs vérifiant : a≡b[m] .
Pour tout k∈N on a : ak≡bk[m] Soit
n un entier naturel non nul.
Comme
42≡1[3] alors :
(42)n≡1n[3]42n≡1[3]Ainsi :
42n−1≡0[3] Il en résulte donc que pour tout entier naturel
n non nul,
42n−1 est bien un multiple de
3