Algorithme d’Euclide. Calcul de PGCD et de coefficient de B´ezout.
Applications
1 PGCD
efinition 1.1
Soient nN,(x1, . . . , xn)Zn. On appelle pgcd de x1, . . . , xn, not´e x1∧ ··· ∧ xnou pgcd(x1, . . . , xn)
le nombre d´efini de la mani`ere suivante :
si x1=x2=··· =xn= 0,x1∧ ··· ∧ xn= 0 ;
si les xine sont pas tous nuls, x1∧ ··· ∧ xnest le plus grand diviseur commun `a x1, . . . , xn.
Remarque 1.2
Si les xine sont pas tous nuls, x1∧ ··· ∧ xnest bien d´efini car l’ensemble des diviseurs communs `a
x1...,xnest une partie non vide de Z(car elle contient 1) et finie (car elle est incluse dans l’ensemble
{kZ,|k|6max(|x1|,...,|xn|)}), donc l’ensemble des diviseurs communs `a x1, . . . , xnadmet un plus
grand ´el´ement.
Proposition 1.3
Soient nN,(x1, . . . , xn)Zn,d=x1∧ ··· ∧ xn. Alors
n
X
k=1
xkZ=dZ.
Proposition 1.4
Soient nN,λN,x1, . . . , xnZ,aZ.
(i) pgcd(λx1, . . . , λxn) = |λ|pgcd(x1, . . . , xn);
(ii) (kJ1 ; nK, a |xk)a|pgcd(x1, . . . , xn).
Remarque 1.5
pgcd(x1, . . . , xn)est aussi le plus grand diviseur commun de x1, . . . , xnau sens de la relation d’ordre de
divisibilit´e.
2 L’algorithme d’Euclide
Remarque 2.1
Si a, b Z,ab=|a|∧|b|car l’ensemble des diviseurs dans Zde aest ´egal `a l’ensemble des diviseurs
dans Zde |a|. On peut donc se limiter aux entiers naturels.
Algorithme d’Euclide. Calcul de PGCD et de coefficient de B´ezout. Applications
Proposition 2.2
Soient (a;b)(N)2,qet rle quotient et le reste de la division euclidienne de apar b. Alors ab=br.
aet bd´esignent toujours des entiers naturels non nuls. On effectue la suite de divisions euclidiennes suivantes
jusqu’`a obtenir un reste ´egal `a 0 (on note r0=aet r1=b) :
r0=r1q1+r2
r1=r2q2+r3
. . .
rn2=rn1qn1+rn
rn1=rnqn
Par construction, r2< r1,r3< r2,. . .
On est sˆur qu’il existe un entier NN,N>2 tel que rN= 0, sinon (rn)nNserait une suite d’entiers
naturels strictement d´ecroissante `a partir du rang 2, ce qui n’a pas de sens. En notant n=N1, on a bien
les ´egalit´es ci-dessus. Cette suite d’´egalit´es constitue l’algorithme d’Euclide.
D’apr`es la proposition pr´ec´edente, on a :
r0r1=r1r2=··· =rn1rn.
Or rn|rn1donc rn1rn=rnet donc ab=rn(abest donc le dernier reste non nul dans la suite des
divisions euclidiennes).
Proposition 2.3
Pour tout kJ2 ; n1K, il existe (uk;vk)Z2tel que auk+bvk=rk.
Corollaire 2.4
Si a, b Zet d=ab, alors il existe (u;v)Z2tel que au +bv =d.
Remarque 2.5
Les coefficients uet vpeuvent ˆetre calcul´es `a l’aide de l’algorithme dEuclide ´etendu :
Entr´ee : a, b N.
Sortie : rN,u, v Ztels que r=abet au +bv =r.
ra,u1,v0,r0b,u00,v01
tant que r06= 0 faire
qquotient de la division euclidienne de rpar r0
raux r,uaux u,vaux v
rr0,uu0,vv0
r0raux qr0,u0uaux qu0,v0vaux qv0
fin tant que
retourner r,u,v.
Th´eor`eme 2.6 (de Lam´e)
Soient a, b N, tels que 16b6a. Le nombre de divisions n´ecessaires pour calculer ab`a l’aide de
l’algorithme d’Euclide est inf´erieur ou ´egal `a ln b
ln φ+ 1, o`u φest le nombre d’or, c’est-`a-dire φ=1 + 5
2.
S. Duchet -http://epsilon.2000.free.fr 2/3
Algorithme d’Euclide. Calcul de PGCD et de coefficient de B´ezout. Applications
Th´eor`eme 2.7 (de ezout )
Soient a, b Z. Alors ab= 1 si et seulement si il existe (u;v)Z2tel que au +bv = 1.
3 Applications
3.1 Les inversibles de Z/nZ
Proposition 3.1
Soit kZ.kest inversible dans Z/nZsi et seulement si kn= 1.
Corollaire 3.2
Z/nZest un corps si et seulement si nest premier.
Exemple 3.3
(Z/nZ)={1,3,7,9,11,13,17,19}. Calculer 171.
3.2 Th´eor`eme des restes chinois et syst`emes de congruences
Th´eor`eme 3.4
Soient pN,n1, . . . , npdes entiers naturels deux `a deux premiers entre eux et (a1, . . . , ap)Zp. Alors
le syst`eme de congruences d´efini par : kJ1, pK, x ak(mod nk)admet une unique solution modulo
N=n1. . . np, donn´ee par x
p
P
k=1
ukNkak, o`u pour tout kJ1, pK,Nk=N
nket ukN1
k(mod nk).
Exemple 3.5
R´esoudre dans Zle syst`eme suivant :
x4 (mod 5)
x3 (mod 6)
x2 (mod 7).
Exemple 3.6
R´esoudre dans Zle syst`eme suivant :
x3 (mod 4)
x5 (mod 6).
3.3 Equation diophantienne
Th´eor`eme 3.7 (de Gauss )
Soient a, b, c Z. Si adivise bc et si aest premier avec b, alors adivise c.
Exemple 3.8
R´esoudre dans Z2l’´equation 18459x+ 3809y= 879.
S. Duchet -http://epsilon.2000.free.fr 3/3
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 !