THÉORÈME DE BÉZOUT
THÉORÈME DE GAUSS
Les mathématiques, c’est comme l’amour : ça commence par un Bézout et ça finit par un Gauss.
I. Théorème de Bézout :
Remarque :
Étienne Bézout est un mathématicien français : 1730 – 1783.
Notation :
Le symbole signifie « il existe ».
1°) Identité de Bézout :
Propriété :
Soit δ le PGCD de a et b. Alors :
(i) (u ; v) 2 tel que au + bv = δ ;
(ii) {au + bv, (u ; v) 2} = {kδ, k }.
autrement dit, l'ensemble des combinaisons linéaires de a et b est égale à l'ensemble des multiples de .
Démonstration :
(i) En supposant 0 < b a, on effectue l’algorithme d’Euclide :
a = bq0 + r0 donc r0 = abq0 = a × 1 + b × (−q0).
On pose u0 = 1 et v0 = −q0, ainsi r0 = au0 + bv0.
b = r0 q1 + r1 donc r1 = br0 q1 = b − (au0 + bv0)q1 = a × (−u0 q1) + b × (1 − v0 q1).
On pose u1 = −u0 q1 et v1 = 1 − v0 q1 . Ainsi, r1 = au1 + bv1.
Et on continue, c’est à dire que l’on fait :
a = bq0 + r0
b = r0 q1 + r1
r0 = r1 q2 + r2
r1 = r2 q3 + r3
.
.
.
rk−2 = rk−1 qk + rk
rk−1 = rk qk+1 + 0
r0 = abq0 = au0 + bv0
r1 = br0 q1 = b − (au0 + bv0)q1 = a × (u0 q1) + b × (1 − v0 q1) = au1 + bv1
r2 = r0r1 q2 = au0 + bv0 − (au1 + bv1)q2 = a × (u0u1 q2) + b × (v0v1 q2) = au2 + bv2
r3 = r1r2 q3 = au1 + bv1 − (au2 + bv2)q3 = a × (u1u2 q3) + b × (v1v0 q3) = au3 + bv3
.
.
.
rk = rk−2rk−1 qk = … = auK + bvK
rk+1 = 0
En substituant les restes successifs jusqu’au dernier reste non nul rk, on montre que tous ces restes rp
s’expriment comme combinaison linéaire de a et b : rp = aup + bvp , up et vp sont des entiers relatifs qui
s’expriment en fonction de q0 , q1 , … , qp .
On a alors rk = auk + bvk , avec rk = .
(ii) : Comme divise a et b, il divise toute combinaison linéaire de a et b. au + bv est donc un multiple de .
: Inversement, un multiple de s’écrit k.
Comme (u ; v) tel que = au + bv, on a kd = kau + kbv = aU + bV
Exemple :
PGCD(6 ; 15) = 3, donc, d'après l'identité de Bézout, il existe un couple (u ; v) 2 tel que 6u + 15v = 3.
En effet, 15 – 2 × 6 = 3, donc l couple (u ; v) = (-2 ; 1) convient.
Remarque :
Ce premier exemple est un cas très simple, mais comment fait-on lorsque les nombres sont un peu plus grands ?
Exemple :
Cherchons des entiers u et v tels que 105u + 40v = 5.
Comme PGCD(40 ; 105) = 5, un couple (u ; v) existe donc.
On a : 105 = 40 × 2 + 25 donc 25 = 105 − 40 × 2
40 = 25 × 1 + 15 donc 15 = 40 − 25
25 = 15 × 1 + 10 donc 10 = 25 − 15
15 = 10 × 1 + 5 donc 5 = 15 – 10
On remonte alors l'algorithme d'Euclide :
5 = 15 − 10
= 15 − (25 − 15) = 2 × 15 − 25
= 2 × (40 − 25) − 25 = 2 × 40 − 3 × 25
= 2 × 40 − 3 × (105 − 40 × 2)
= 8 × 40 − 3 × 105
Remarque :
Ces valeurs de u et v ne sont pas uniques. Comment en trouver d’autre valeurs ?
Exemple :
En remarquant que 105 × 40 − 105 × 40 = 0, on peut écrire :
105u + 40v = 105u + 40v + 105 × 40 − 105 × 40
= 105 × (u + 40) + 40 × (v − 105) = 5
u′ = u + 40 et v′ = v − 105 conviennent aussi.
Remarque :
La réciproque de l'identité de Bézout n'est pas vraie.
Exemple :
3 × 5 + 4 × 2 = 23 et pourtant PCGD(5 ; 2) 23.
2°) Théorème de Bézout :
Théorème de Bézout :
a et b sont premiers entre eux si et seulement s'il existe (u ; v) 2 tel que au + bv = 1.
Preuve :
Rappelez vous que si a et b sont premiers entre eux, δ = 1.
Réciproquement, on a vu que tous les nombres de la forme au + bv sont des multiples de . Ainsi, s’il existe u et v
tels que au + bv = 1, alors, 1 est un multiple de , donc = 1 et a et b sont premiers entre eux.
Remarque :
La non plus le couple (u ; v) n'est pas unique.
Conséquence immédiate :
Deux entiers consécutifs sont premiers entre eux. En effet, n , n et n + 1 sont premiers entre eux car
–1 × n + 1 × (n + 1) = 1 (on a pris u = –1 et v = 1).
Exemple :
3 × 12 – 7 × 5 = 1 donc 12 et 5 sont premiers entre eux. Mais aussi 12 et 7, ou encore 3 et –5, ou 3 et 5 …
–2(3n – 2) + 3(2n 1) = 1 donc 3n – 2 et 2n 1 sont premiers entre eux, mais aussi, de façon moins évidente, 3n 2
et 3.
II. Théorème de Gauss :
Remarque :
Johann Carl Friedrich Gauss, 1777 - 1855, mathématicien et physicien allemand.
Grâce au théorème précédent, on va pouvoir démontrer un fait qui semblait évident, mais qui ne l’était pas :
Théorème de Gauss :
Soient (a ; b ; c) 3.
Si a | bc et si a est premier avec b, alors a | c.
Démonstration :
Si a divise bc, il existe k tel que bc = ka. a et b étant premiers entre eux, d’après le théorème de Bézout, il existe
(u ; v) 2 tel que au + bv = 1.
On obtient, en multipliant par c, les égalités suivantes : c = auc + bvc = auc + akv = a(uc + kv) qui prouvent que a | c.
Remarque :
Il est très important de vérifier que a et b sont premiers entre eux car a peut très bien diviser bc en ne divisant ni b, ni
c. (ex : 20 × 3 = 60. 6 | 60 mais 6 ne divise ni 20 ni 3.)
Exemple :
Nous cherchons à résoudre l'équation 3x = 5y avec (x ; y) 2.
Puisque 3x = 5y c'est que 3 divise 5y. Or 3 est premier avec 5, donc 3 divise y donc y = 3k avec k .
Donc 3x = 5 × 3k x = 5k. Les couples de la forme (5k ; 3k) sont donc des solutions de cette équation, mais le sont-
ils tous ?
Oui car 3 × 5k = 5 × 3k.
Propriété :
Soient (a ; b ; c) 3.
Si b | a et c | a alors que b est premier avec c, alors bc | a.
Preuve :
b | a donc k tel que a = bk.
c | a donc k' tel que a = ck'.
On a donc bk = ck'. On en déduit que b divise ck', mais comme b et c sont premiers entre eux, b divise k'
b | k' donc k'' tel que k' = bk''.
On a donc a = ck' = cbk'', et donc bc divise a.
Exemple :
Le produit de trois entiers consécutifs est toujours divisible par 6.
Effet, parmi les trois entiers consécutifs, l'un est divisible par 3 et l'un au moins est divisible par 2. Comme 2 et 3 sont
premiers entre eux, le produit et divisible par 6
Exemple :
167 342 985 est divisible par 5 (sont dernier chiffre est un 5) et par 9 (la somme de ses chiffres est divisible par 9).
Comme 5 et 9 sont premiers entre eux, 167 342 985 est divisible par 5 × 9 = 45.
Attention :
30 est divisible par 2 et par 6 mais pas par 2 × 6 = 12. Pourquoi ?
1 / 3 100%
La catégorie de ce document est-elle correcte?
Merci pour votre participation!

Faire une suggestion

Avez-vous trouvé des erreurs dans linterface ou les textes ? Ou savez-vous comment améliorer linterface utilisateur de StudyLib ? Nhésitez pas à envoyer vos suggestions. Cest très important pour nous !