Aller au contenu principal
Terminale⏱ 3 semaines

PGCD, théorèmes de Bézout et de Gauss

Ce que tu vas apprendre

  • Déterminer le PGCD de deux entiers par l'algorithme d'Euclide
  • Écrire le PGCD sous la forme au + bv et trouver un couple de Bézout (algorithme d'Euclide étendu)
  • Reconnaître des entiers premiers entre eux avec le théorème de Bézout
  • Démontrer et utiliser le théorème de Gauss et son corollaire
  • Résoudre une équation diophantienne ax + by = c
  • Déterminer un inverse modulo n et résoudre ax ≡ b [n]
Notions clésPGCD(a ; b)algorithme d'Euclideau + bv = PGCD(a ; b)premiers entre euxthéorème de Bézoutthéorème de Gausséquation diophantienne

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 aa et bb deux entiers non tous deux nuls. L’ensemble de leurs diviseurs communs est fini et contient 11 : son plus grand élément est le PGCD de aa et bb, noté PGCD(a ; b)\text{PGCD}(a\,;\,b). Il est toujours ⩾1\geqslant 1 et PGCD(a ; b)=PGCD(∣a∣ ; ∣b∣)\text{PGCD}(a\,;\,b) = \text{PGCD}(|a|\,;\,|b|).

Propriété (clé de l’algorithme). Si a=bq+ra = bq + r, alors les diviseurs communs à aa et bb sont exactement les diviseurs communs à bb et rr. Donc PGCD(a ; b)=PGCD(b ; r)\text{PGCD}(a\,;\,b) = \text{PGCD}(b\,;\,r).

Justification. Un diviseur commun de aa et bb divise la combinaison a−bq=ra - bq = r ; un diviseur commun de bb et rr divise bq+r=abq + r = a.

Algorithme d’Euclide. On remplace (a ; b)(a\,;\,b) par (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) : 546=210×2+126546 = 210 \times 2 + 126 ; 210=126×1+84210 = 126 \times 1 + 84 ; 126=84×1+42126 = 84 \times 1 + 42 ; 84=42×2+084 = 42 \times 2 + 0. Le PGCD est 4242.

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⩾1k \geqslant 1, PGCD(ka ; kb)=k PGCD(a ; b)\text{PGCD}(ka\,;\,kb) = k\,\text{PGCD}(a\,;\,b). Tout diviseur commun de aa et bb divise leur PGCD (on le verra au § 3).

→ S’entraîner : Exercice 1

2. Entiers premiers entre eux

Définition. aa et bb sont premiers entre eux si PGCD(a ; b)=1\text{PGCD}(a\,;\,b) = 1 : leurs seuls diviseurs communs sont 11 et −1-1.

Exemples. 3535 et 1212 sont premiers entre eux (aucun diviseur commun autre que ±1\pm 1). Deux entiers consécutifs nn et n+1n + 1 sont toujours premiers entre eux : un diviseur commun divise leur différence 11.

Propriété (fraction irréductible). Si d=PGCD(a ; b)d = \text{PGCD}(a\,;\,b), on écrit a=da′a = da' et b=db′b = db' : alors a′a' et b′b' sont premiers entre eux et a′b′\dfrac{a'}{b'} est la forme irréductible de ab\dfrac ab.

Exemple. 546210=42×1342×5=135\dfrac{546}{210} = \dfrac{42 \times 13}{42 \times 5} = \dfrac{13}{5}.

→ S’entraîner : Exercice 2

3. Théorème de Bézout

Théorème (identité de Bézout). Soit aa et bb deux entiers non tous deux nuls et d=PGCD(a ; b)d = \text{PGCD}(a\,;\,b). Il existe des entiers relatifs uu et vv tels que au+bv=d.au + bv = d.

🧠 Démonstration — le PGCD s'écrit au + bv (exigible au programme)

Soit EE l’ensemble des entiers strictement positifs de la forme au+bvau + bv avec u,v∈Zu, v \in \mathbb{Z}. EE est non vide (il contient a2+b2>0a^2 + b^2 > 0, obtenu avec u=au = a, v=bv = b) : il admet un plus petit élément m=au0+bv0m = au_0 + bv_0.

  • mm divise aa. Division euclidienne : a=mq+ra = mq + r avec 0⩽r<m0 \leqslant r < m. Alors r=a−mq=a(1−u0q)+b(−v0q)r = a - mq = a(1 - u_0q) + b(-v_0q) est de la forme au+bvau + bv. Si r>0r > 0, rr serait dans EE et plus petit que mm : impossible. Donc r=0r = 0 et m∣am \mid a. De même, m∣bm \mid b.
  • Tout diviseur commun cc de aa et bb divise mm, car m=au0+bv0m = au_0 + bv_0 est une combinaison de aa et bb ; donc c⩽∣c∣⩽mc \leqslant |c| \leqslant m.

mm est donc un diviseur commun supérieur ou égal à tous les autres : m=dm = d, et d=au0+bv0d = au_0 + bv_0.

Conséquence. Tout diviseur commun de aa et bb divise PGCD(a ; b)\text{PGCD}(a\,;\,b).

Théorème de Bézout. aa et bb sont premiers entre eux si et seulement si il existe des entiers uu et vv tels que au+bv=1au + bv = 1.

Justification. Le sens direct est l’identité de Bézout. Réciproquement, si au+bv=1au + bv = 1, tout diviseur commun de aa et bb divise 11, donc vaut ±1\pm 1.

📋 Méthode — Trouver un couple de Bézout (Euclide « remonté »)

Pour a=37a = 37 et b=11b = 11 : 37=11×3+437 = 11 \times 3 + 4 ; 11=4×2+311 = 4 \times 2 + 3 ; 4=3×1+14 = 3 \times 1 + 1. Le PGCD est 11. On remonte en exprimant chaque reste :

  • 4=37−3×114 = 37 - 3 \times 11 ;
  • 3=11−2×4=11−2(37−3×11)=7×11−2×373 = 11 - 2 \times 4 = 11 - 2(37 - 3 \times 11) = 7 \times 11 - 2 \times 37 ;
  • 1=4−3=(37−3×11)−(7×11−2×37)=3×37−10×111 = 4 - 3 = (37 - 3 \times 11) - (7 \times 11 - 2 \times 37) = 3 \times 37 - 10 \times 11.

Couple : u=3u = 3, v=−10v = -10 (37×3+11×(−10)=111−110=137 \times 3 + 11 \times (-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 nn. aa admet un inverse modulo nn si et seulement si aa et nn sont premiers entre eux. Si au+nv=1au + nv = 1, alors au≡1 [n]au \equiv 1\ [n] : uu est un inverse de aa modulo nn.

Exemple. 37×3−11×10=137 \times 3 - 11 \times 10 = 1 donne 37×3≡1 [11]37 \times 3 \equiv 1\ [11] et 11×(−10)≡1 [37]11 \times (-10) \equiv 1\ [37] : l’inverse de 1111 modulo 3737 est −10≡27-10 \equiv 27.

→ S’entraîner : Exercice 3 · Exercice 4

4. Théorème de Gauss

Théorème de Gauss. Soit aa, bb, cc trois entiers non nuls. Si aa divise bcbc et si aa est premier avec bb, alors aa divise cc.

🧠 Démonstration (exigible au programme)

aa et bb sont premiers entre eux : d’après le théorème de Bézout, il existe uu, vv tels que au+bv=1au + bv = 1. En multipliant par cc : acu+bcv=cacu + bcv = c. Or aa divise acuacu et aa divise bcbc, donc aa divise bcvbcv : aa divise la somme acu+bcv=cacu + bcv = c.

Attention. L’hypothèse « premier avec bb » est indispensable : 6∣4×96 \mid 4 \times 9 mais 6∤46 \nmid 4 et 6∤96 \nmid 9.

Corollaire. Si aa et bb sont premiers entre eux et divisent tous deux nn, alors abab divise nn.

Justification. n=akn = ak ; b∣akb \mid ak et bb premier avec aa, donc b∣kb \mid k (Gauss) : k=bk′k = bk' et n=abk′n = abk'.

Exemple. Un entier divisible par 44 et par 99 est divisible par 3636 (car 44 et 99 sont premiers entre eux) ; mais un entier divisible par 44 et par 66 n’est pas forcément divisible par 2424 (1212).

→ S’entraîner : Exercice 5

5. Équations diophantiennes ax + by = c

Propriété. L’équation ax+by=cax + by = c (d’inconnues entières xx, yy) a des solutions si et seulement si PGCD(a ; b)\text{PGCD}(a\,;\,b) divise cc.

📋 Méthode — Résoudre ax + by = c

Exemple : 7x+3y=57x + 3y = 5.

  1. Existence : PGCD(7 ; 3)=1\text{PGCD}(7\,;\,3) = 1 divise 55.
  2. Solution particulière : 7×1+3×(−2)=17 \times 1 + 3 \times (-2) = 1, donc 7×5+3×(−10)=57 \times 5 + 3 \times (-10) = 5 : (x0 ; y0)=(5 ; −10)(x_0\,;\,y_0) = (5\,;\,-10).
  3. Soustraire : si 7x+3y=57x + 3y = 5, alors 7(x−5)=−3(y+10)=3(−10−y)7(x - 5) = -3(y + 10) = 3(-10 - y).
  4. Gauss : 77 divise 3(−10−y)3(-10 - y) et est premier avec 33, donc 7∣−10−y7 \mid -10 - y : −10−y=7k-10 - y = 7k, soit y=−10−7ky = -10 - 7k. En reportant : 7(x−5)=21k7(x - 5) = 21k, x=5+3kx = 5 + 3k.
  5. Réciproque : pour tout kk, 7(5+3k)+3(−10−7k)=35−30=57(5 + 3k) + 3(-10 - 7k) = 35 - 30 = 5.

Solutions : (5+3k ; −10−7k)(5 + 3k\,;\,-10 - 7k), k∈Zk \in \mathbb{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) divise cc, on divise d’abord toute l’équation par dd 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) ; algorithme d’Euclide : dernier reste non nul.
  • Il existe uu, vv avec au+bv=PGCD(a ; b)au + bv = \text{PGCD}(a\,;\,b) ; tout diviseur commun divise le PGCD.
  • Bézout : aa et bb premiers entre eux   ⟺  \iff il existe uu, vv avec au+bv=1au + bv = 1.
  • Gauss : a∣bca \mid bc et PGCD(a ; b)=1\text{PGCD}(a\,;\,b) = 1 ⇒\Rightarrow a∣ca \mid c ; si aa, bb premiers entre eux divisent nn, alors ab∣nab \mid n.
  • ax+by=cax + by = c a des solutions   ⟺  \iff PGCD(a ; b)∣c\text{PGCD}(a\,;\,b) \mid c ; solution particulière + Gauss.