Maths Experte Arithmétique PGCDBézoutalgorithme d'Euclidediophantiennecopremiers

PGCD et théorème de Bézout

Identité de Bézout, algorithme d'Euclide étendu et équations diophantiennes en Terminale Experte.

Théorème de Bézout

Soient a,b∈Za, b \in \mathbb{Z} non tous nuls. Il existe u,v∈Zu, v \in \mathbb{Z} tels que :

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

Corollaire : a∧b=1  ⟺  ∃u,v∈Za \land b = 1 \iff \exists u,v \in \mathbb{Z} tels que au+bv=1au + bv = 1


Flowchart — Algorithme d’Euclide

flowchart TD
    E["Entrée : a, b (entiers, b ≠ 0)"] --> W{"b = 0 ?"}
    W -->|Non| D["Division euclidienne\na = b·q + r"]
    D --> U["a ← b\nb ← r"]
    U --> W
    W -->|Oui| R["Retourner a\n= PGCD(a₀, b₀)"]

Algorithme d’Euclide étendu

On remonte les divisions de l’algorithme d’Euclide pour trouver uu et vv.

Exemple : PGCD(35, 12) et coefficients de Bézout.

35=2×12+1135 = 2 \times 12 + 11 12=1×11+112 = 1 \times 11 + 1 11=11×1+011 = 11 \times 1 + 0

PGCD = 1. On remonte :

1=12−1×11=12−(35−2×12)=3×12−1×351 = 12 - 1 \times 11 = 12 - (35 - 2 \times 12) = 3 \times 12 - 1 \times 35

Donc : 35×(−1)+12×3=135 \times (-1) + 12 \times 3 = 1. Coefficients : u=−1u = -1, v=3v = 3.


Équations diophantiennes ax+by=cax + by = c

Soit d=PGCD(a,b)d = \text{PGCD}(a,b).

  • Si d∤cd \nmid c : pas de solution entière
  • Si d∣cd \mid c : infinité de solutions

Méthode :

  1. Trouver une solution particulière (x0,y0)(x_0, y_0) par Bézout (si c=dc = d), sinon multiplier.
  2. Solution générale :

x=x0+bdty=y0−adtt∈Zx = x_0 + \frac{b}{d}t \quad y = y_0 - \frac{a}{d}t \quad t \in \mathbb{Z}

Exemple : 35x+12y=135x + 12y = 1. D’après ci-dessus : x0=−1x_0 = -1, y0=3y_0 = 3.

Solution générale : x=−1+12tx = -1 + 12t, y=3−35ty = 3 - 35t.


Théorème de Gauss (rappel)

Si a∣bca \mid bc et PGCD(a,b)=1\text{PGCD}(a,b) = 1, alors a∣ca \mid c.

Applications :

  • Si pp premier et p∣abp \mid ab → p∣ap \mid a ou p∣bp \mid b
  • Unicité de la décomposition en facteurs premiers

PPCM et relation avec le PGCD

PPCM(a,b)=∣ab∣PGCD(a,b)\text{PPCM}(a,b) = \frac{|ab|}{\text{PGCD}(a,b)}

🎯

Quiz — PGCD et théorème de Bézout

10 questions · correction immédiate · sans inscription

Tester →