Démonstration. Soit qet rle quotient et le reste de la division euclidienne de apar n. On a
a=nq +ret 0r < n. Comme nq =ar,ar[n]. Si ax[n]alors il existe m2Ztel que
ax=nm. Alors a=nm +x. Si 0x<n,xest nécessairement le reste de la division euclidienne
de apar n(unicité du reste).
Proposition 23 La relation de congruence modulo nest une relation d’équivalence.
Démonstration. Comme tout entier divise 0, il est clair que pour tout a2Zon a aa[n].
D’autre part, si ndivise abalors ndivise ba: la relation est symétrique. En…n, s’il existe q2Z
tel que ab=nq et s’il existe k2Ztel que bc=nk alors ac=n(q+k)donc ndivise ac
donc ac[n]: la relation est transitive.
2.3 preuve des critères de divisibilité
Proposition 24 Tout nombre est congru à son chi¤re des unités modulo 2et au nombre formé par
ses deux derniers chi¤res modulo 4.
Démonstration. Soit x=anan1 a3a2a1a0=a0+ 10 a1+ 100 a2+ 1000 a3+ +
10n1an1+ 10nan. Donc on a
xa0[2] car 10 est pair
xa0+ 10 a1[4] car 100 est multiple de 4
Proposition 25 Tout nombre est congru à la somme de ses chi¤res modulo 9.
Démonstration. Soit x=anan1 a3a2a1a0=a0+ 10 a1+ 100 a2+ 1000 a3+ +
10n1an1+ 10nanla somme des chi¤res de xest S=a0+a1+a2+a3+ +an1+an
Alors xS= 9 a1+ 99 a2+ 999 a3+ + (10n11) an1+ (10n1) andonc c’est
un multiple de 9. Donc il existe ktel que xS= 9kdonc xS[9].
Exemple 26 3542 5 [9] et 6421 4 [9]
2.4 Opérations et congruences
Proposition 27 Soit a; b; c et dquatre entiers relatifs tels que ab[n]et cd[n]. Alors
a+cb+d[n]compatibilité avec l’addition
ac bd [n]compatibilité avec la multiplication
8k2Z; ka kb [n]
8k2N; akbk[n]
Démonstration. Il existe q2Ztel que ab=nq et il existe k2Ztel que cd=nk.
On a (a+c)(b+d) = n(q+k)donc a+cb+d[n].
On a ac = (b+nq)(d+nk) = bd +n(bk +qd +nqk)donc ac bd [n].
Pour tout k2Z,ndivise abdonc divise k(ab)donc ka kb [n].
Pour k= 1, c’est vrai par hypothèse sur aet b. Supposons que akbk[n]pour un entier k2N.
Alors en utilisant la compatibilité avec le produit, akabkb[n]et donc ak+1 bk+1 [n]. On
vient donc d’établir la propriété par récurrence sur k.
Exemple 28 Le nombre 3542 + 6421 est un multiple de 9.
3542 6421 2 [9]
Si ab[n]alors a b[n].
Le reste de la division par 7de 10100 est 4.
4