Mme Morel-sp´ecialit´e math-cours divisibilit´e 3
3. a|bdonc ∃k∈Ztel que ak =b.
b|cdonc ∃k0∈Ztel que bk0=c.
On a donc : c=bk0= (ak)k0=a(kk0). Or kk0∈Z, donc a|c.
4. a|bdonc ∃x∈Ztel que ax =b.
a|cdonc ∃y∈Ztel que ay =c.
Donc b+c=ax +ay =a(x+y)donc a|(b+c).
Remarque : On peut montrer par r´ecurrence que si un entier adivise plusieurs entiers a1,· · · , analors
il divise aussi tout entier de la forme a1u1+a2u2+· · · +anuno`u u1· · · unsont des entiers donn´es.
2.4 Pour aller plus loin
Soient aet bdeux entiers relatifs non nuls. Montrer :
1. Si a|balors |a|6|b|
2. En d´eduire que les diviseurs d’un nombre entier non nul sont en nombre fini.
3 Division euclidienne
3.1 Principe de la division euclidienne
Th´eor`eme 3.1. Soit bun entier naturel non nul. Alors, pour tout entier relatif a, il existe un unique
entier (relatif) qet un unique entier rtels que a=bq +ret 06r < b.
D´emonstration :
Existence :
1. Si 06a < b, on prend alors q= 0 et r=a.
2. Si a>b, alors aet bsont deux entiers naturels strictement positifs. Soit alors E={n∈
Ntels que nb 6a}.
Eest une partie de Nnon vide (1∈E), major´e (aest un majorant), donc Eadmet un plus grand
´el´ement. On le note q.
Soit alors r=a−bq.q∈Edonc bq 6adonc r>0. De plus, a,bet q´etant des entiers, rest
un entier.
qest le plus grand ´el´ement de E. Donc q+ 1 /∈E. Par suite, a < (q+ 1)b, c’est-`a-dire
qb +r6a < qb +b, donc r < b. On a donc a=bq +ravec 06r < b,qet r´etant des entiers.
3. Si a < 0, il existe alors un couple (q;r)∈Z×Ntel que −a=bq +ret 06r < b. Si r= 0 on a
alors a= (−q)bet si r6= 0, on a alors a= (−q−1)b+b−r, avec 06b−r < b.
Unicit´e : Supposons qu’il existe deux couples (q;r)et (q0;r0)r´epondant au probl`eme pos´e.
On a : bq +r=bq0+r0donc b(q−q0) = r0−r, donc bdivise r0−r.
De plus, 06r < b et 06r0< b, donc −b < r0−r < b. Le seul multiple de bcompris strictement entre
−bet b´etant 0, on en d´eduit que r=r0.b´etant non nul, on a alors q=q0.
Remarque : Le th´eor`eme reste vrai si best un entier n´egatif.
D´efinition 3.1.1. D´eterminer qet rs’appelle faire la division euclidienne de apar b.
•as’appelle le dividende.
•best le diviseur.