Soient m un entier naturel (m>2), a,b,c et d des entiers relatifs vérifiant : a≡b[m] et c≡d[m].
a×c≡b×d[m]a+c≡b+d[m]Pour tout réel k , on a alors : ak≡bk[m]Nous pouvons écrire :
2n+4 sous la forme
2n×24 et
33n+2 sous la forme
33n×32Dans un premier temps :24≡16[5]⇒24≡1[5] car
16=5×3+12≡2[5]⇒2n≡2n[5] Ainsi :
2n×24≡(2n×1)[5] 2n+4≡2n[5]Dans un deuxieˋme temps : 33≡27[5]⇒33≡2[5] car
27=5×5+2 32≡9[5]⇒32≡4[5] car
9=5×1+4Ainsi :
(33)n≡2n[5] d'où
33n≡2n[5] Nous pouvons alors écrire que :
33n×32≡(2n×4)[5] 33n+2≡(4×2n)[5] Finalement :2n+4+33n+2≡(2n+4×2n)[5] 2n+4+33n+2≡(1×2n+4×2n)[5] 2n+4+33n+2≡(2n(1+4))[5] 2n+4+33n+2≡(5×2n)[5] Il en résulte donc que pour tout entier naturel
n non nul,
2n+4+33n+2 est bien un multiple de
5.