1. Théorèmes de Bézout et de Gauss
- Théorème de Bézout : Deux entiers et sont premiers entre eux si et seulement s'il existe tel que .
- Théorème de Gauss : Soient . Si et si , alors .
Terminale · Mathématiques Expertes · TX4
PGCD, algorithme d'Euclide, identité de Bézout au + bv = pgcd(a,b), équations diophantiennes ax + by = c, lemme de Gauss, décomposition en facteurs premiers et principe du chiffrement RSA.
def pgcd(a, b):
while b != 0:
a, b = b, a % b
return a
Soient et deux entiers non tous deux nuls, et l'ensemble des entiers strictement positifs de la forme avec .
Ainsi .
Théorème de Bézout : si , on obtient . Réciproquement, si , tout diviseur commun positif de et divise , donc .
Hypothèses : et .
Soit premier et un entier non divisible par (donc premier avec ).
def bezout(a, b):
# renvoie (d, u, v) avec d = PGCD(a, b) = a*u + b*v
u0, v0, u1, v1 = 1, 0, 0, 1
while b != 0:
q = a // b
a, b = b, a - q * b
u0, u1 = u1, u0 - q * u1
v0, v1 = v1, v0 - q * v1
return a, u0, v0
def crible(n):
est_premier = [True] * (n + 1)
est_premier[0] = False
est_premier[1] = False
for p in range(2, n + 1):
if p * p > n:
break
if est_premier[p]:
for m in range(p * p, n + 1, p):
est_premier[m] = False
return [k for k in range(n + 1) if est_premier[k]]
def decomposition(n):
facteurs = []
p = 2
while n > 1:
while n % p == 0:
facteurs.append(p)
n = n // p
p = p + 1
return facteurs
bezout(37, 13) renvoie (1, 6, -17), crible(30) renvoie [2, 3, 5, 7, 11, 13, 17, 19, 23, 29] et decomposition(360) renvoie [2, 2, 2, 3, 3, 5].
Exemple
Trouver un couple d'entiers tel que .
Étape 1 (Euclide) : , puis , puis . Le PGCD est 1.
Étape 2 (Remontée) : .
Étape 3 (Substitution finale) : .
Conclusion : Le couple convient.
Exemple
Résoudre dans l'équation , sachant que est une solution particulière.
Étape 1 (Soustraction) : si est solution, , donc .
Étape 2 (Gauss) : divise et , donc : il existe tel que , soit . En reportant, , d'où .
Étape 3 (Réciproque) : : ces couples sont bien solutions.
Conclusion : .
Exemple
Les nombres et sont-ils premiers ?
Étape 1 (Borne) : et ; pour , il suffit de tester les nombres premiers .
Étape 2 () : est impair, la somme de ses chiffres n'est pas multiple de , il ne finit ni par 0 ni par 5 ; , , , puis . Donc n'est pas premier.
Étape 3 () : est impair, somme des chiffres , ne finit ni par 0 ni par 5 ; restes : , , , , . Aucun reste nul.
Conclusion : n'est pas premier, est premier.
Exemple
Démontrer que pour tout entier naturel , et sont premiers entre eux.
Étape 1 (Éliminer ) : on combine les deux nombres pour faire disparaître : .
Étape 2 (Forme de Bézout) : , avec et entiers.
Conclusion : d'après le théorème de Bézout, pour tout . Exemple : pour , et sont bien premiers entre eux.
Exemple
Démontrer que pour tout entier , est divisible par .
Étape 1 (Cas ) : alors et , donc .
Étape 2 (Cas ) : est premier et ne divise pas , donc d'après le petit théorème de Fermat ; en multipliant par , .
Conclusion : dans tous les cas, divise . Contrôle : .
Essaie de répondre de tête avant d'afficher la réponse.
Si divise et si , alors divise .
Il existe deux entiers et tels que .
, puis : le PGCD est .
Fermat : ; , donc .
Si étaient les seuls, n'aurait aucun diviseur premier, ce qui est impossible.
, donc (corollaire du théorème de Gauss).
Écrire (Bézout), multiplier par pour obtenir , puis remarquer que divise les deux termes de la somme.
Palier 1 · découverte
Deux entiers relatifs non nuls et sont premiers entre eux si et seulement si :
« Premiers entre eux » signifie que .
Bonne réponse : A. Il existe tel que
D'après le théorème de Bézout, et sont premiers entre eux si et seulement si il existe des entiers relatifs et tels que .
Palier 2 · application
Un couple d'entiers vérifiant est :
Teste .
Bonne réponse : A.
, donc le couple est .
Palier 3 · approfondissement
Soit trois entiers. Si divise le produit et que et sont premiers entre eux, que dit le théorème de Gauss ?
Le théorème de Gauss concerne un entier qui divise un produit et qui est premier avec l'un des deux facteurs.
Bonne réponse : A. divise
C'est l'énoncé exact du théorème (ou lemme) de Gauss : si un entier divise un produit et est premier avec l'un des facteurs, il divise obligatoirement l'autre facteur.
Palier 4 · défi
L'ensemble des solutions entières de est donné par (pour ) :
Solution particulière : , donc est solution.
Bonne réponse : A. et
Une solution particulière est . Par différence : . Par le lemme de Gauss, et , d'où ().