25.06.2013 Views

Cours et activités en arithmétique pour les classes ... - Robert Rolland

Cours et activités en arithmétique pour les classes ... - Robert Rolland

Cours et activités en arithmétique pour les classes ... - Robert Rolland

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

20 Chapitre 2<br />

donc k1 divise βk2, <strong>et</strong> étant premier avec k2 il divise β. Si bi<strong>en</strong> que<br />

m = uk1k2d.<br />

Ainsi tout multiple commun de a <strong>et</strong> de b est de la forme uk1k2d c’est-àdire<br />

uab/pgcd(a, b). Réciproquem<strong>en</strong>t tout nombre de c<strong>et</strong>te forme est à la fois<br />

multiple de a <strong>et</strong> de b (uk1k2d = uk2a = uk1b). En particulier le plus p<strong>et</strong>it<br />

commun multiple > 0 de a <strong>et</strong> b est obt<strong>en</strong>u <strong>pour</strong> u = 1 ou u = −1 suivant <strong>les</strong><br />

signes de a <strong>et</strong> b, c’est |ab|/pgcd(a, b).<br />

Théorème 2.3.5 Si a <strong>et</strong> b sont deux nombres <strong>en</strong>tiers, il existe un plus p<strong>et</strong>it<br />

<strong>en</strong>tier ≥ 0 qui est multiple commun de a <strong>et</strong> de b. C<strong>et</strong> <strong>en</strong>tier sera noté<br />

ppcm(a, b) <strong>et</strong> appelé le plus p<strong>et</strong>it commun multiple de a <strong>et</strong> b. Si a = 0<br />

ou b = 0 alors ppcm(a, b) = 0. Sinon, ppcm(a, b) = |ab|/pgcd(a, b).<br />

Les multip<strong>les</strong> communs de a <strong>et</strong> b sont <strong>les</strong> multip<strong>les</strong> de ppcm(a, b).<br />

Remarque : ab est un multiple commun de a <strong>et</strong> b. Hormis le cas trivial<br />

où l’un des deux nombres est nul, peut-il se faire que |ab| = ppcm(a, b) ? Du<br />

fait que dans ce cas ppcm(a, b) = |ab|/pgcd(a, b), on peut dire que si ab = 0,<br />

ppcm(a, b) = |ab| si <strong>et</strong> seulem<strong>en</strong>t si a <strong>et</strong> b sont premiers <strong>en</strong>tre eux.<br />

2.4 Les nombres premiers<br />

2.4.1 Définition <strong>et</strong> premières propriétés<br />

Définition 2.4.1 Un nombre premier dans Z est un <strong>en</strong>tier n > 1 dont <strong>les</strong><br />

seuls diviseurs positifs sont 1 <strong>et</strong> n.<br />

Théorème 2.4.1 Tout <strong>en</strong>tier n > 1 est soit un nombre premier soit un<br />

produit de nombres premiers.<br />

Preuve : Le résultat est vrai <strong>pour</strong> 2. Supposons le vrai <strong>pour</strong> tout <strong>en</strong>tier<br />

< n. Si n est non premier il a un diviseur positif d > 1, d = n. Donc n = ab<br />

avec 2 ≤ a < n <strong>et</strong> 2 ≤ b < n. En appliquant l’hypothèse de récurr<strong>en</strong>ce à a <strong>et</strong><br />

b on obti<strong>en</strong>t le théorème.<br />

Théorème 2.4.2 Le sous <strong>en</strong>semble constitué par <strong>les</strong> nombres premiers est<br />

infini.

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!