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 non tous nuls. Il existe tels que :
Corollaire : tels que
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 et .
Exemple : PGCD(35, 12) et coefficients de Bézout.
PGCD = 1. On remonte :
Donc : . Coefficients : , .
Équations diophantiennes
Soit .
- Si : pas de solution entière
- Si : infinité de solutions
Méthode :
- Trouver une solution particulière par Bézout (si ), sinon multiplier.
- Solution générale :
Exemple : . D’après ci-dessus : , .
Solution générale : , .
Théorème de Gauss (rappel)
Si et , alors .
Applications :
- Si premier et → ou
- Unicité de la décomposition en facteurs premiers
PPCM et relation avec le PGCD