Ce que tu sais déjà. Tu connais la divisibilité, la division euclidienne et les congruences
(Divisibilité, division euclidienne et congruences ), et tu as
rencontré le PGCD au collège (3e — Multiples, diviseurs et PGCD ). On en fait ici
un outil de démonstration : il permet de résoudre des équations en nombres entiers et de chiffrer des messages.
1. PGCD et algorithme d’Euclide
Définition. Soit a a a et b b b deux entiers non tous deux nuls. L’ensemble de leurs diviseurs communs est fini et contient
1 1 1 : son plus grand élément est le PGCD de a a a et b b b , noté PGCD ( a ; b ) \text{PGCD}(a\,;\,b) PGCD ( a ; b ) . Il est toujours ⩾ 1 \geqslant 1 ⩾ 1 et
PGCD ( a ; b ) = PGCD ( ∣ a ∣ ; ∣ b ∣ ) \text{PGCD}(a\,;\,b) = \text{PGCD}(|a|\,;\,|b|) PGCD ( a ; b ) = PGCD ( ∣ a ∣ ; ∣ b ∣ ) .
Propriété (clé de l’algorithme). Si a = b q + r a = bq + r a = b q + r , alors les diviseurs communs à a a a et b b b sont exactement les diviseurs
communs à b b b et r r r . Donc PGCD ( a ; b ) = PGCD ( b ; r ) \text{PGCD}(a\,;\,b) = \text{PGCD}(b\,;\,r) PGCD ( a ; b ) = PGCD ( b ; r ) .
Justification. Un diviseur commun de a a a et b b b divise la combinaison a − b q = r a - bq = r a − b q = r ; un diviseur commun de b b b et r r r
divise b q + r = a bq + r = a b q + r = a .
Algorithme d’Euclide. On remplace ( a ; b ) (a\,;\,b) ( a ; b ) par ( b ; r ) (b\,;\,r) ( b ; r ) jusqu’à obtenir un reste nul : le PGCD est le dernier
reste non nul .
Exemple. PGCD ( 546 ; 210 ) \text{PGCD}(546\,;\,210) PGCD ( 546 ; 210 ) :
546 = 210 × 2 + 126 546 = 210 \times 2 + 126 546 = 210 × 2 + 126 ; 210 = 126 × 1 + 84 210 = 126 \times 1 + 84 210 = 126 × 1 + 84 ; 126 = 84 × 1 + 42 126 = 84 \times 1 + 42 126 = 84 × 1 + 42 ; 84 = 42 × 2 + 0 84 = 42 \times 2 + 0 84 = 42 × 2 + 0 .
Le PGCD est 42 42 42 .
AAAWgmp1bWIAAAAeanVtZGMycGEAEQAQgAAAqgA4m3EDYzJwYQAAABZcanVtYgAAAEdqdW1kYzJtYQARABCAAACqADibcQN1cm46YzJwYToyY2IyYzI1MS1jZTRiLTRiNWEtYjgyNy0xMWY3OWQxOGEyYjYAAAADl2p1bWIAAAApanVtZGMyYXMAEQAQgAAAqgA4m3EDYzJwYS5hc3NlcnRpb25zAAAAALxqdW1iAAAARGp1bWRjYm9yABEAEIAAAKoAOJtxE2MycGEuaW5ncmVkaWVudC52MwAAAAAYYzJzaFAkvHrTl8U+euCGut4FbksAAABwY2JvcqNpZGM6Zm9ybWF0bWltYWdlL3N2Zyt4bWxqaW5zdGFuY2VJRHgseG1wOmlpZDo1ODc0MWQzNC05ZGVlLTRlODUtYjgzYi01NjViNGM3MzhhYzRscmVsYXRpb25zaGlwaHBhcmVudE9mAAAB4mp1bWIAAABBanVtZGNib3IAEQAQgAAAqgA4m3ETYzJwYS5hY3Rpb25zLnYyAAAAABhjMnNoQ9Mum7fcdvyRUNXRuFuSEwAAAZljYm9yomdhY3Rpb25zgqJmYWN0aW9ua2MycGEub3BlbmVkanBhcmFtZXRlcnOha2luZ3JlZGllbnRzgaJjdXJseC1zZWxmI2p1bWJmPWMycGEuYXNzZXJ0aW9ucy9jMnBhLmluZ3JlZGllbnQudjNkaGFzaFggCqAxYZXIk4PusBf42YlQ/UMKsf5WsbCJ/CnxdhOT2w6kZmFjdGlvbngdY29tLmFudGhyb3BpYy5jbGF1ZGUucHJvdmlkZWRqcGFyYW1ldGVyc6F4H2NvbS5hbnRocm9waWMub3JpZ2luLWNvbmZpZGVuY2VndW5rbm93bmtkZXNjcmlwdGlvbnhmQ2xhdWRlIHByb3ZpZGVkIHRoaXMgZmlsZSBhdCB0aGUgcmVxdWVzdCBvZiBhIHVzZXIgYW5kIG1heSBoYXZlIGNyZWF0ZWQgb3IgbW9kaWZpZWQgdGhlIGZpbGUgY29udGVudHMubXNvZnR3YXJlQWdlbnShZG5hbWVmQ2xhdWRlcmFsbEFjdGlvbnNJbmNsdWRlZPUAAADIanVtYgAAAEBqdW1kY2JvcgARABCAAACqADibcRNjMnBhLmhhc2guZGF0YQAAAAAYYzJzaDjshhDBE7WOg0ADWBcmxD0AAACAY2JvcqVjYWxnZnNoYTI1NmNwYWRNAAAAAAAAAAAAAAAAAGRoYXNoWCAVG9i8iZSuuosrKjK53pMUC7P4Ms1+Ax1OvQXCaLF4iWRuYW1lbmp1bWJmIG1hbmlmZXN0amV4Y2x1c2lvbnOBomVzdGFydBh9Zmxlbmd0aBkeBAAAAj5qdW1iAAAAJ2p1bWRjMmNsABEAEIAAAKoAOJtxA2MycGEuY2xhaW0udjIAAAACD2Nib3KlY2FsZ2ZzaGEyNTZpc2lnbmF0dXJleE1zZWxmI2p1bWJmPS9jMnBhL3VybjpjMnBhOjJjYjJjMjUxLWNlNGItNGI1YS1iODI3LTExZjc5ZDE4YTJiNi9jMnBhLnNpZ25hdHVyZWppbnN0YW5jZUlEeCx4bXA6aWlkOjhkMzU0NjdhLTgxZWEtNDA3Ny1iZDk2LWQ4ZGJkZDM2NmJjMnJjcmVhdGVkX2Fzc2VydGlvbnODomN1cmx4LXNlbGYjanVtYmY9YzJwYS5hc3NlcnRpb25zL2MycGEuaW5ncmVkaWVudC52M2RoYXNoWCAKoDFhlciTg+6wF/jZiVD9Qwqx/laxsIn8KfF2E5PbDqJjdXJseCpzZWxmI2p1bWJmPWMycGEuYXNzZXJ0aW9ucy9jMnBhLmFjdGlvbnMudjJkaGFzaFggNaIaPg9LXR32Nd8OMwk4nms3MD5QsEeoMWJNboR6oGCiY3VybHgpc2VsZiNqdW1iZj1jMnBhLmFzc2VydGlvbnMvYzJwYS5oYXNoLmRhdGFkaGFzaFggSHe1a4xWcWlz6cWvNwsVfhrM5CxYZuAC622AlU6JlEh0Y2xhaW1fZ2VuZXJhdG9yX2luZm+jZG5hbWVvQW50aHJvcGljIEZpbGVzZ3ZlcnNpb25lMS4wLjBrc3BlY1ZlcnNpb25lMi40LjAAABA4anVtYgAAAChqdW1kYzJjcwARABCAAACqADibcQNjMnBhLnNpZ25hdHVyZQAAABAIY2JvctKEWQISogEmGCFZAgowggIGMIIBjaADAgECAhRA5aAK7sI50L64g/oGQgU9Z1UTADAKBggqhkjOPQQDAzBJMRcwFQYDVQQKEw5BbnRocm9waWMsIFBCQzEuMCwGA1UEAxMlQW50aHJvcGljIENvbnRlbnQgQ3JlZGVudGlhbHMgUm9vdCBDQTAeFw0yNjA4MDcxODQzNTZaFw0yODA4MDYxOTQzNTZaMEQxFzAVBgNVBAoTDkFudGhyb3BpYywgUEJDMSkwJwYDVQQDEyBBbnRocm9waWMgQ2xhdWRlIENvbnRlbnQgU2lnbmluZzBZMBMGByqGSM49AgEGCCqGSM49AwEHA0IABJh6CmvLUBgFFNU0vUKlOVtE6djd17L5SuwX0LemFisBM3dkd/3cyjxFA3Qo5S46fX0/ihY0VZ7mfb9KF703t5OjWDBWMA4GA1UdDwEB/wQEAwIHgDAVBgNVHSUEDjAMBgorBgEEAYPoXgIBMAwGA1UdEwEB/wQCMAAwHwYDVR0jBBgwFoAUzlHiBIFOZFsj+OPEz5o+nMHXXMIwCgYIKoZIzj0EAwMDZwAwZAIwMXMdFJ4BetLLVY7ORuE9noqbbAZOZn/aArXyTwFAZfKrPzxF2vPoJNf1+UCdg1XGAjBwX1zd9WGqYkqmL5SFqw1QySjr1zJfpJM9+1rdDwSPLMOPOjKuiXjoU/pUUeG9RwmhY3BhZFkNngAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAPZYQCW6RBVm5e8DSdK6mVvS2HCtc50YMQG00Gj6iVD+m6R8kOL8YySOM0zu7J7AiJiSUA6H4s30gkme8cvz7FkUw2Y=
8
8
5
3
2
21 = 2 × 8 + 5 ; 8 = 1 × 5 + 3 ; 5 = 1 × 3 + 2 ; 3 = 1 × 2 + 1 ; 2 = 2 × 1
dernier reste non nul : 1 → PGCD(21 ; 8) = 1
L'algorithme d'Euclide en images : on découpe un rectangle 21 × 8 en carrés aussi grands que possible ; le plus petit carré (côté 1) donne le PGCD.
def pgcd (a, b):
while b != 0 :
a, b = b, a % b
return abs (a)
print (pgcd( 546 , 210 )) # 42
Propriétés. Pour k ⩾ 1 k \geqslant 1 k ⩾ 1 , PGCD ( k a ; k b ) = k PGCD ( a ; b ) \text{PGCD}(ka\,;\,kb) = k\,\text{PGCD}(a\,;\,b) PGCD ( k a ; k b ) = k PGCD ( a ; b ) . Tout diviseur commun de a a a et b b b divise leur PGCD
(on le verra au § 3).
→ S’entraîner : Exercice 1
2. Entiers premiers entre eux
Définition. a a a et b b b sont premiers entre eux si PGCD ( a ; b ) = 1 \text{PGCD}(a\,;\,b) = 1 PGCD ( a ; b ) = 1 : leurs seuls diviseurs communs sont 1 1 1 et − 1 -1 − 1 .
Exemples. 35 35 35 et 12 12 12 sont premiers entre eux (aucun diviseur commun autre que ± 1 \pm 1 ± 1 ). Deux entiers consécutifs n n n
et n + 1 n + 1 n + 1 sont toujours premiers entre eux : un diviseur commun divise leur différence 1 1 1 .
Propriété (fraction irréductible). Si d = PGCD ( a ; b ) d = \text{PGCD}(a\,;\,b) d = PGCD ( a ; b ) , on écrit a = d a ′ a = da' a = d a ′ et b = d b ′ b = db' b = d b ′ : alors a ′ a' a ′ et b ′ b' b ′ sont premiers entre
eux et a ′ b ′ \dfrac{a'}{b'} b ′ a ′ est la forme irréductible de a b \dfrac ab b a .
Exemple. 546 210 = 42 × 13 42 × 5 = 13 5 \dfrac{546}{210} = \dfrac{42 \times 13}{42 \times 5} = \dfrac{13}{5} 210 546 = 42 × 5 42 × 13 = 5 13 .
→ S’entraîner : Exercice 2
3. Théorème de Bézout
Théorème (identité de Bézout). Soit a a a et b b b deux entiers non tous deux nuls et d = PGCD ( a ; b ) d = \text{PGCD}(a\,;\,b) d = PGCD ( a ; b ) . Il existe des entiers
relatifs u u u et v v v tels que
a u + b v = d . au + bv = d. a u + b v = d .
🧠 Démonstration — le PGCD s'écrit au + bv (exigible au programme)
Soit E E E l’ensemble des entiers strictement positifs de la forme a u + b v au + bv a u + b v avec u , v ∈ Z u, v \in \mathbb{Z} u , v ∈ Z . E E E est non vide (il contient
a 2 + b 2 > 0 a^2 + b^2 > 0 a 2 + b 2 > 0 , obtenu avec u = a u = a u = a , v = b v = b v = b ) : il admet un plus petit élément m = a u 0 + b v 0 m = au_0 + bv_0 m = a u 0 + b v 0 .
m m m divise a a a . Division euclidienne : a = m q + r a = mq + r a = m q + r avec 0 ⩽ r < m 0 \leqslant r < m 0 ⩽ r < m . Alors
r = a − m q = a ( 1 − u 0 q ) + b ( − v 0 q ) r = a - mq = a(1 - u_0q) + b(-v_0q) r = a − m q = a ( 1 − u 0 q ) + b ( − v 0 q ) est de la forme a u + b v au + bv a u + b v . Si r > 0 r > 0 r > 0 , r r r serait dans E E E et plus petit que m m m :
impossible. Donc r = 0 r = 0 r = 0 et m ∣ a m \mid a m ∣ a . De même, m ∣ b m \mid b m ∣ b .
Tout diviseur commun c c c de a a a et b b b divise m m m , car m = a u 0 + b v 0 m = au_0 + bv_0 m = a u 0 + b v 0 est une combinaison de a a a et b b b ; donc
c ⩽ ∣ c ∣ ⩽ m c \leqslant |c| \leqslant m c ⩽ ∣ c ∣ ⩽ m .
m m m est donc un diviseur commun supérieur ou égal à tous les autres : m = d m = d m = d , et d = a u 0 + b v 0 d = au_0 + bv_0 d = a u 0 + b v 0 .
Conséquence. Tout diviseur commun de a a a et b b b divise PGCD ( a ; b ) \text{PGCD}(a\,;\,b) PGCD ( a ; b ) .
Théorème de Bézout. a a a et b b b sont premiers entre eux si et seulement si il existe des entiers u u u et v v v tels que
a u + b v = 1 au + bv = 1 a u + b v = 1 .
Justification. Le sens direct est l’identité de Bézout. Réciproquement, si a u + b v = 1 au + bv = 1 a u + b v = 1 , tout diviseur commun de a a a et b b b
divise 1 1 1 , donc vaut ± 1 \pm 1 ± 1 .
📋 Méthode — Trouver un couple de Bézout (Euclide « remonté »)
Pour a = 37 a = 37 a = 37 et b = 11 b = 11 b = 11 : 37 = 11 × 3 + 4 37 = 11 \times 3 + 4 37 = 11 × 3 + 4 ; 11 = 4 × 2 + 3 11 = 4 \times 2 + 3 11 = 4 × 2 + 3 ; 4 = 3 × 1 + 1 4 = 3 \times 1 + 1 4 = 3 × 1 + 1 . Le PGCD est 1 1 1 .
On remonte en exprimant chaque reste :
4 = 37 − 3 × 11 4 = 37 - 3 \times 11 4 = 37 − 3 × 11 ;
3 = 11 − 2 × 4 = 11 − 2 ( 37 − 3 × 11 ) = 7 × 11 − 2 × 37 3 = 11 - 2 \times 4 = 11 - 2(37 - 3 \times 11) = 7 \times 11 - 2 \times 37 3 = 11 − 2 × 4 = 11 − 2 ( 37 − 3 × 11 ) = 7 × 11 − 2 × 37 ;
1 = 4 − 3 = ( 37 − 3 × 11 ) − ( 7 × 11 − 2 × 37 ) = 3 × 37 − 10 × 11 1 = 4 - 3 = (37 - 3 \times 11) - (7 \times 11 - 2 \times 37) = 3 \times 37 - 10 \times 11 1 = 4 − 3 = ( 37 − 3 × 11 ) − ( 7 × 11 − 2 × 37 ) = 3 × 37 − 10 × 11 .
Couple : u = 3 u = 3 u = 3 , v = − 10 v = -10 v = − 10 (37 × 3 + 11 × ( − 10 ) = 111 − 110 = 1 37 \times 3 + 11 \times (-10) = 111 - 110 = 1 37 × 3 + 11 × ( − 10 ) = 111 − 110 = 1 ).
def euclide_etendu (a, b):
"""Renvoie (d, u, v) avec d = PGCD(a, b) = a*u + b*v."""
if b == 0 :
return a, 1 , 0
d, u, v = euclide_etendu(b, a % b)
return d, v, u - (a // b) * v
print (euclide_etendu( 37 , 11 )) # (1, 3, -10)
Application : inverse modulo n n n . a a a admet un inverse modulo n n n si et seulement si a a a et n n n sont premiers entre eux.
Si a u + n v = 1 au + nv = 1 a u + n v = 1 , alors a u ≡ 1 [ n ] au \equiv 1\ [n] a u ≡ 1 [ n ] : u u u est un inverse de a a a modulo n n n .
Exemple. 37 × 3 − 11 × 10 = 1 37 \times 3 - 11 \times 10 = 1 37 × 3 − 11 × 10 = 1 donne 37 × 3 ≡ 1 [ 11 ] 37 \times 3 \equiv 1\ [11] 37 × 3 ≡ 1 [ 11 ] et 11 × ( − 10 ) ≡ 1 [ 37 ] 11 \times (-10) \equiv 1\ [37] 11 × ( − 10 ) ≡ 1 [ 37 ] : l’inverse de 11 11 11 modulo 37 37 37
est − 10 ≡ 27 -10 \equiv 27 − 10 ≡ 27 .
→ S’entraîner : Exercice 3 ·
Exercice 4
4. Théorème de Gauss
Théorème de Gauss. Soit a a a , b b b , c c c trois entiers non nuls. Si a a a divise b c bc b c et si a a a est premier avec b b b , alors a a a
divise c c c .
🧠 Démonstration (exigible au programme)
a a a et b b b sont premiers entre eux : d’après le théorème de Bézout, il existe u u u , v v v tels que a u + b v = 1 au + bv = 1 a u + b v = 1 . En multipliant
par c c c : a c u + b c v = c acu + bcv = c a c u + b c v = c . Or a a a divise a c u acu a c u et a a a divise b c bc b c , donc a a a divise b c v bcv b c v : a a a divise la somme a c u + b c v = c acu + bcv = c a c u + b c v = c .
Attention. L’hypothèse « premier avec b b b » est indispensable : 6 ∣ 4 × 9 6 \mid 4 \times 9 6 ∣ 4 × 9 mais 6 ∤ 4 6 \nmid 4 6 ∤ 4 et 6 ∤ 9 6 \nmid 9 6 ∤ 9 .
Corollaire. Si a a a et b b b sont premiers entre eux et divisent tous deux n n n , alors a b ab ab divise n n n .
Justification. n = a k n = ak n = ak ; b ∣ a k b \mid ak b ∣ ak et b b b premier avec a a a , donc b ∣ k b \mid k b ∣ k (Gauss) : k = b k ′ k = bk' k = b k ′ et n = a b k ′ n = abk' n = ab k ′ .
Exemple. Un entier divisible par 4 4 4 et par 9 9 9 est divisible par 36 36 36 (car 4 4 4 et 9 9 9 sont premiers entre eux) ; mais un
entier divisible par 4 4 4 et par 6 6 6 n’est pas forcément divisible par 24 24 24 (12 12 12 ).
→ S’entraîner : Exercice 5
5. Équations diophantiennes ax + by = c
Propriété. L’équation a x + b y = c ax + by = c a x + b y = c (d’inconnues entières x x x , y y y ) a des solutions si et seulement si PGCD ( a ; b ) \text{PGCD}(a\,;\,b) PGCD ( a ; b )
divise c c c .
📋 Méthode — Résoudre ax + by = c
Exemple : 7 x + 3 y = 5 7x + 3y = 5 7 x + 3 y = 5 .
Existence : PGCD ( 7 ; 3 ) = 1 \text{PGCD}(7\,;\,3) = 1 PGCD ( 7 ; 3 ) = 1 divise 5 5 5 .
Solution particulière : 7 × 1 + 3 × ( − 2 ) = 1 7 \times 1 + 3 \times (-2) = 1 7 × 1 + 3 × ( − 2 ) = 1 , donc 7 × 5 + 3 × ( − 10 ) = 5 7 \times 5 + 3 \times (-10) = 5 7 × 5 + 3 × ( − 10 ) = 5 : ( x 0 ; y 0 ) = ( 5 ; − 10 ) (x_0\,;\,y_0) = (5\,;\,-10) ( x 0 ; y 0 ) = ( 5 ; − 10 ) .
Soustraire : si 7 x + 3 y = 5 7x + 3y = 5 7 x + 3 y = 5 , alors 7 ( x − 5 ) = − 3 ( y + 10 ) = 3 ( − 10 − y ) 7(x - 5) = -3(y + 10) = 3(-10 - y) 7 ( x − 5 ) = − 3 ( y + 10 ) = 3 ( − 10 − y ) .
Gauss : 7 7 7 divise 3 ( − 10 − y ) 3(-10 - y) 3 ( − 10 − y ) et est premier avec 3 3 3 , donc 7 ∣ − 10 − y 7 \mid -10 - y 7 ∣ − 10 − y : − 10 − y = 7 k -10 - y = 7k − 10 − y = 7 k , soit y = − 10 − 7 k y = -10 - 7k y = − 10 − 7 k . En
reportant : 7 ( x − 5 ) = 21 k 7(x - 5) = 21k 7 ( x − 5 ) = 21 k , x = 5 + 3 k x = 5 + 3k x = 5 + 3 k .
Réciproque : pour tout k k k , 7 ( 5 + 3 k ) + 3 ( − 10 − 7 k ) = 35 − 30 = 5 7(5 + 3k) + 3(-10 - 7k) = 35 - 30 = 5 7 ( 5 + 3 k ) + 3 ( − 10 − 7 k ) = 35 − 30 = 5 .
Solutions : ( 5 + 3 k ; − 10 − 7 k ) (5 + 3k\,;\,-10 - 7k) ( 5 + 3 k ; − 10 − 7 k ) , k ∈ Z k \in \mathbb{Z} k ∈ Z .
AAAWgmp1bWIAAAAeanVtZGMycGEAEQAQgAAAqgA4m3EDYzJwYQAAABZcanVtYgAAAEdqdW1kYzJtYQARABCAAACqADibcQN1cm46YzJwYTo4NjYxMTgxZC1hZjJlLTQxMmEtYmM0Zi04M2JmYjk2ZjM1ZTEAAAADl2p1bWIAAAApanVtZGMyYXMAEQAQgAAAqgA4m3EDYzJwYS5hc3NlcnRpb25zAAAAALxqdW1iAAAARGp1bWRjYm9yABEAEIAAAKoAOJtxE2MycGEuaW5ncmVkaWVudC52MwAAAAAYYzJzaOK6eTywMNqaKCKy1jumD+0AAABwY2JvcqNpZGM6Zm9ybWF0bWltYWdlL3N2Zyt4bWxqaW5zdGFuY2VJRHgseG1wOmlpZDplY2RiZmM1Yi0yNTFjLTQ2MDMtOGVhYy0zMDcxMjk0NDdmOTZscmVsYXRpb25zaGlwaHBhcmVudE9mAAAB4mp1bWIAAABBanVtZGNib3IAEQAQgAAAqgA4m3ETYzJwYS5hY3Rpb25zLnYyAAAAABhjMnNofwnm9VXrWJCtJa74jUv5IAAAAZljYm9yomdhY3Rpb25zgqJmYWN0aW9ua2MycGEub3BlbmVkanBhcmFtZXRlcnOha2luZ3JlZGllbnRzgaJjdXJseC1zZWxmI2p1bWJmPWMycGEuYXNzZXJ0aW9ucy9jMnBhLmluZ3JlZGllbnQudjNkaGFzaFgg2f892E644btRIQJZ5OcWsZ4GhG/WSRGNxCfj8ItEUJKkZmFjdGlvbngdY29tLmFudGhyb3BpYy5jbGF1ZGUucHJvdmlkZWRqcGFyYW1ldGVyc6F4H2NvbS5hbnRocm9waWMub3JpZ2luLWNvbmZpZGVuY2VndW5rbm93bmtkZXNjcmlwdGlvbnhmQ2xhdWRlIHByb3ZpZGVkIHRoaXMgZmlsZSBhdCB0aGUgcmVxdWVzdCBvZiBhIHVzZXIgYW5kIG1heSBoYXZlIGNyZWF0ZWQgb3IgbW9kaWZpZWQgdGhlIGZpbGUgY29udGVudHMubXNvZnR3YXJlQWdlbnShZG5hbWVmQ2xhdWRlcmFsbEFjdGlvbnNJbmNsdWRlZPUAAADIanVtYgAAAEBqdW1kY2JvcgARABCAAACqADibcRNjMnBhLmhhc2guZGF0YQAAAAAYYzJzaOm58Flaz0G2VKZv3IYcJwQAAACAY2JvcqVjYWxnZnNoYTI1NmNwYWRNAAAAAAAAAAAAAAAAAGRoYXNoWCCIxY3mdA/nH5y5d0KWrmQYKbtoXiRceuqvTYGYym0Dm2RuYW1lbmp1bWJmIG1hbmlmZXN0amV4Y2x1c2lvbnOBomVzdGFydBh9Zmxlbmd0aBkeBAAAAj5qdW1iAAAAJ2p1bWRjMmNsABEAEIAAAKoAOJtxA2MycGEuY2xhaW0udjIAAAACD2Nib3KlY2FsZ2ZzaGEyNTZpc2lnbmF0dXJleE1zZWxmI2p1bWJmPS9jMnBhL3VybjpjMnBhOjg2NjExODFkLWFmMmUtNDEyYS1iYzRmLTgzYmZiOTZmMzVlMS9jMnBhLnNpZ25hdHVyZWppbnN0YW5jZUlEeCx4bXA6aWlkOjcyYWYwN2FlLTZmMDAtNDRiMi04NWVhLWI5YWE2ZjhjZWI1OXJjcmVhdGVkX2Fzc2VydGlvbnODomN1cmx4LXNlbGYjanVtYmY9YzJwYS5hc3NlcnRpb25zL2MycGEuaW5ncmVkaWVudC52M2RoYXNoWCDZ/z3YTrjhu1EhAlnk5xaxngaEb9ZJEY3EJ+Pwi0RQkqJjdXJseCpzZWxmI2p1bWJmPWMycGEuYXNzZXJ0aW9ucy9jMnBhLmFjdGlvbnMudjJkaGFzaFggDEQ64lLtQijGdKMqj78/J7Skjx7ihLb++r2DZSEwKICiY3VybHgpc2VsZiNqdW1iZj1jMnBhLmFzc2VydGlvbnMvYzJwYS5oYXNoLmRhdGFkaGFzaFggmBfno18tx02T/Zoy5+1GR2sG8B5xcR2b1Iy5zdHW/Jh0Y2xhaW1fZ2VuZXJhdG9yX2luZm+jZG5hbWVvQW50aHJvcGljIEZpbGVzZ3ZlcnNpb25lMS4wLjBrc3BlY1ZlcnNpb25lMi40LjAAABA4anVtYgAAAChqdW1kYzJjcwARABCAAACqADibcQNjMnBhLnNpZ25hdHVyZQAAABAIY2JvctKEWQISogEmGCFZAgowggIGMIIBjaADAgECAhRA5aAK7sI50L64g/oGQgU9Z1UTADAKBggqhkjOPQQDAzBJMRcwFQYDVQQKEw5BbnRocm9waWMsIFBCQzEuMCwGA1UEAxMlQW50aHJvcGljIENvbnRlbnQgQ3JlZGVudGlhbHMgUm9vdCBDQTAeFw0yNjA4MDcxODQzNTZaFw0yODA4MDYxOTQzNTZaMEQxFzAVBgNVBAoTDkFudGhyb3BpYywgUEJDMSkwJwYDVQQDEyBBbnRocm9waWMgQ2xhdWRlIENvbnRlbnQgU2lnbmluZzBZMBMGByqGSM49AgEGCCqGSM49AwEHA0IABJh6CmvLUBgFFNU0vUKlOVtE6djd17L5SuwX0LemFisBM3dkd/3cyjxFA3Qo5S46fX0/ihY0VZ7mfb9KF703t5OjWDBWMA4GA1UdDwEB/wQEAwIHgDAVBgNVHSUEDjAMBgorBgEEAYPoXgIBMAwGA1UdEwEB/wQCMAAwHwYDVR0jBBgwFoAUzlHiBIFOZFsj+OPEz5o+nMHXXMIwCgYIKoZIzj0EAwMDZwAwZAIwMXMdFJ4BetLLVY7ORuE9noqbbAZOZn/aArXyTwFAZfKrPzxF2vPoJNf1+UCdg1XGAjBwX1zd9WGqYkqmL5SFqw1QySjr1zJfpJM9+1rdDwSPLMOPOjKuiXjoU/pUUeG9RwmhY3BhZFkNngAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAPZYQGQ/BUoJwBD7IOQijlJpSUMdyGqyk5dNH+uLNCmVpT6jO5pTX7u1bpCXDXOHwT2sl5GOCKr4CCrj9lrirFtR93I=
x
y
−4
−4
−2
−2
2
2
4
4
6
6
8
8
10
10
12
12
−24
−24
−20
−20
−16
−16
−12
−12
−8
−8
−4
−4
4
4
8
8
12
12
0
0
(−1 ; 4)
(−1 ; 4)
(2 ; −3)
(2 ; −3)
(5 ; −10)
(5 ; −10)
7x + 3y = 5
7x + 3y = 5
+3
+3
−7
−7
Les solutions entières de 7x + 3y = 5 sont les points à coordonnées entières de la droite : on passe de l'un au suivant en ajoutant 3 à x et en retirant 7 à y.
Remarque. Si d = PGCD ( a ; b ) d = \text{PGCD}(a\,;\,b) d = PGCD ( a ; b ) divise c c c , on divise d’abord toute l’équation par d d d pour se ramener à des coefficients
premiers entre eux.
→ S’entraîner : Exercice 6 ·
Exercice 7 ·
Exercice 8
À retenir.
PGCD ( a ; b ) = PGCD ( b ; r ) \text{PGCD}(a\,;\,b) = \text{PGCD}(b\,;\,r) PGCD ( a ; b ) = PGCD ( b ; r ) ; algorithme d’Euclide : dernier reste non nul.
Il existe u u u , v v v avec a u + b v = PGCD ( a ; b ) au + bv = \text{PGCD}(a\,;\,b) a u + b v = PGCD ( a ; b ) ; tout diviseur commun divise le PGCD.
Bézout : a a a et b b b premiers entre eux ⟺ \iff ⟺ il existe u u u , v v v avec a u + b v = 1 au + bv = 1 a u + b v = 1 .
Gauss : a ∣ b c a \mid bc a ∣ b c et PGCD ( a ; b ) = 1 \text{PGCD}(a\,;\,b) = 1 PGCD ( a ; b ) = 1 ⇒ \Rightarrow ⇒ a ∣ c a \mid c a ∣ c ; si a a a , b b b premiers entre eux divisent n n n , alors a b ∣ n ab \mid n ab ∣ n .
a x + b y = c ax + by = c a x + b y = c a des solutions ⟺ \iff ⟺ PGCD ( a ; b ) ∣ c \text{PGCD}(a\,;\,b) \mid c PGCD ( a ; b ) ∣ c ; solution particulière + Gauss.