MathClario
← Retour au niveau Lycée
Lycée🔢Arithmétique●●●○○· 4 min
🤝

Identité de Bézout : au + bv = PGCD(a, b)

Il existe u et v entiers tels que au + bv = PGCD(a,b). Trouvés par l'algorithme d'Euclide remonté.

Le théorème

Théorème de Bézout : pour tous entiers a,ba, b non tous les deux nuls, il existe des entiers u,vu, v tels que :

au+bv=PGCD(a,b)a u + b v = \text{PGCD}(a, b)

Corollaire : nombres premiers entre eux

aa et bb sont premiers entre eux ssi il existe u,vu, v entiers avec :

au+bv=1a u + b v = 1

C’est équivalent à PGCD(a,b)=1\text{PGCD}(a, b) = 1.

Trouver uu et vv : Euclide remonté

  1. Faire l’algorithme d’Euclide (successions de divisions).
  2. Remonter les étapes en exprimant chaque reste comme combinaison de aa et bb.

Exemple : Bézout pour a=30a = 30, b=18b = 18

Descente d’Euclide :

  • 30=1×18+1230 = 1 \times 18 + 12
  • 18=1×12+618 = 1 \times 12 + 6
  • 12=2×6+012 = 2 \times 6 + 0 ⇒ PGCD = 6.

Remontée :

  • 6=18−126 = 18 - 12
  • 6=18−(30−18)=2×18−306 = 18 - (30 - 18) = 2 \times 18 - 30

Donc u=−1u = -1, v=2v = 2 : 30×(−1)+18×2=630 \times (-1) + 18 \times 2 = 6. ✓

Application 1 : équation diophantienne

Résoudre ax+by=cax + by = c dans Z\mathbb{Z} :

  • Existe une solution ssi PGCD(a,b)∣c\text{PGCD}(a, b) \mid c.
  • Si oui : trouver une solution particulière par Bézout, puis toutes les autres par récurrence.

Application 2 : inverse modulaire

Trouver uu tel que au≡1(modn)a u \equiv 1 \pmod n ?

Existe ssi PGCD(a,n)=1\text{PGCD}(a, n) = 1. Par Bézout : au+nv=1a u + n v = 1, donc au≡1(modn)a u \equiv 1 \pmod n.

Le PGCD est le plus petit

Le PGCD est le plus petit entier strictement positif de la forme au+bvau + bv avec u,v∈Zu, v \in \mathbb{Z}.

Erreurs classiques

  1. Confondre Bézout et Gauss (Gauss = si a∣bca | bc et PGCD(a,b)=1(a,b)=1 alors a∣ca | c).
  2. Oublier que u,vu, v peuvent être négatifs.
  3. Chercher u,vu, v dans N\mathbb{N} (souvent impossible).
?À toi de jouer

Existe-t-il u, v entiers tels que 15u + 25v = 4 ?

Mini-quiz

Question 1 / 3

Bézout dit : il existe u, v tels que au + bv = ?

#Bézout#PGCD#Euclide#terminale#prépa

À voir aussi