Cours MPSI-2016/2017 Arithm´etique http://pascal.delahaye1.free.fr/
Remarque 9.On peut ´etendre les notions de PGCD et de PPCM `a deux entiers relatifs dont l’un au moins est non nul.
On d´efinit alors :
a∧b=|a| ∧ |b|et a∨b=|a| ∨ |b|
Lemme 4 : Ensemble des multiples communs `a deux entiers
Les multiples communs `a deux entiers aet bsont les multiples de leur PPCM.
Preuve 4 : Soit mun multiple commun `a aet b.
On effectue la division euclidienne de mpar µle PPCM et on d´emontre que le reste est nul.
Proposition 5 : Les op´erateurs ”PGCD” et ”PPCM” sont commutatifs et associatifs
Pour tout entiers relatifs a,bet cnon nuls, on a :
1. a∧b=b∧aet a∨b=b∨a
2. (a∧b)∧c=a∧(b∧c) (= a∧b∧c) et (a∨b)∨c=a∨(b∨c) (= a∨b∨c)
Preuve 5 : La d´emonstration de l’associativit´e est admise pour l’instant...
Remarque 10.On peut ainsi d´efinir le PGCD et le PPCM de nentiers : pgcd(x1,..., xn) = x1∧ ··· ∧ xn
ppcm(x1,..., xn) = x1∨ ··· ∨ xn
Exemple 4.(∗) D´eterminer le PGCD des 4 nombres suivants : 34, 56, 45, 124.
Proposition 6 : Relation entre PGCD et PPCM
Soient aet bdeux entiers naturels dont l’un au moins est non nul.
Alors :
(a∧b)(a∨b) = ab
Preuve 6 :
1. On pose δ=a∧b
µ=a∨bet a′,b′tels que a=δ.a′
b=δ.b′avec a′∧b′= 1.
2. Remarquons que δ.a′.b′est un multiple commun `a aet bet donc `a µ, donc : ∃k∈Ntel que δ.a′.b′=k.µ
3. Comme µest un multiple commun `a aet b, on a d’autre part : µ=α.a
µ=β.b . Ainsi : b′=kα
a′=kβ .
4. Or, comme a′∧b′= 1 alors k= 1. Et donc : δ.a′.b′=µ.
5. On conclut en multipliant par δ.
Remarque 11.Ainsi, pour a, b ∈N:
1. si a∧b= 1 alors a∨b=ab 2. si a=a′δ
b=b′δavec a′∧b′= 1 alors a∨b=δa′b′
Exemple 5.(∗) D´eterminer le PGCD et le PPCM de a= 2004 et b= 835.
Exercice : 2
(∗) R´esoudre dans N2le syst`eme x∧y= 5
x∨y= 60 .
3.1 L’algorithme d’Euclide et ses cons´equences
Th´
eor`
eme Fondamental 7 : Th´eor`eme d’Euclide
Pour tout entiers relatifs aet bnon nuls.
Si a=bq +rest la division euclidienne de apar b, alors : P GCD(a, b) = P GCD(b, r).
Preuve 7 : On montre sans difficult´e que {a, b}et {b, r}ont mˆeme ensemble de diviseurs communs.
4