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

information-icon

Si tu es un lycéen en terminale, tu dois déjà avoir planifié tes révisions pour ton baccalauréat 2025. Si ce n’est pas le cas, tu peux te baser sur notre programme de révision en le planifiant en fonction des dates du bac 2025 ou des coefficients des matières … 💪

Introduction :

Dans ce cours, nous allons d’abord aborder la notion de $\text{PGCD}$ de deux nombres entiers, et montrer comment le déterminer à l’aide de l’algorithme d’Euclide. Dans le cas où le $\text{PGCD}$ des deux nombres est égal à $1$, nous verrons que les deux nombres entiers seront dits « premiers entre eux ».
Ensuite, nous présenterons deux théorèmes importants d’arithmétique, les théorèmes de Bézout et de Gauss, et nous les utiliserons pour résoudre des équations diophantiennes. 

$\text{PGCD}$ et algorithme d’Euclide

$\text{PGCD}$

Tout d’abord, il faut noter que par convention dans ce cours, lorsqu’on parlera de diviseurs d’un entier naturel, il s’agira toujours de diviseurs positifs.
Commençons par voir les diviseurs communs à deux nombres. Pour cela, quelques notations sont à connaître.

  • Pour tout entier naturel $a$, on note $\text D(a)$ l’ensemble des diviseurs de $a$.
bannière exemple

Exemple

  • L’ensemble des diviseurs de $0$ est l’ensemble des entiers naturels : $\text D(0)=\mathbb N$.
  • L’ensemble des diviseurs de $1$ est $1$ : $\text D(1)=\lbrace1\rbrace$.
bannière propriete

Propriété

Comme $1$ peut diviser tous les entiers, l’ensemble $\text D(a)$ des diviseurs de $a$ contient toujours au moins $1$ et $a$ lui-même.
Par ailleurs, le plus grand élément des diviseurs de $a$ est $a$ (quand $a\neq 0$).

  • Pour tous entiers naturels $a$ et $b$ non nuls, on note $\text D(a\ ;\,b)$ l’ensemble des diviseurs communs à $a$ et à $b$.
bannière à retenir

À retenir

Quelques remarques s’imposent :

  • $\text D(a\ ;\,b)$ est non vide puisqu’il contient toujours au moins $1$.
  • Tous les nombres que contient $\text D(a\ ;\,b)$ sont inférieurs ou égaux à $a$ et à $b$.
bannière exemple

Exemple

Intéressons-nous aux diviseurs de $28$ et $63$ :

$$\begin{aligned} \text{D}(28)&=\lbrace 1,\,2,\,4,\,7,\,14,\,28 \rbrace \\ \text{D}(63)&=\lbrace 1,\,3,\,7,\,9,\,21,\,63 \rbrace \\ \end{aligned}$$

Ainsi, les diviseurs communs à $21$ et $63$ sont $1$ et $7$ :

$$\text{D}(28\ ;\,63)= \lbrace 1,\,7 \rbrace$$

Dans l’exemple ci-dessus, nous voyons que $7$ est le plus grand diviseur commun à $28$ et $63$.

  • Nous allons ainsi définir la notion de plus grand commun diviseur ($\text{PGCD}$).
bannière definition

Définition

$\bold{PGCD}$ :

$a$ et $b$ sont deux entiers naturels non nuls.
En admettant que toute partie non vide et majorée de $\mathbb N$ possède un plus grand élément, le plus grand élément de $\text D(a\ ;\,b)$ est appellé plus grand commun diviseur ($\text{PGCD}$) de $a$ et $b$.

  • Il est noté : $\text{PGCD} (a\ ;\,b) $.
bannière à retenir

À retenir

Cette définition peut s’étendre aux entiers relatifs.
Dans le cas d’entiers négatifs, nous nous ramenons à des entiers positifs en prenant leurs valeurs absolues.
Et nous avons, avec $a$ et $b$ des entiers relatifs :

$$\text{PGCD}(a\ ;\,b)=\text{PGCD}(\vert a \vert\ ;\,\vert b \vert)$$

Ainsi, si $a$ divise $b$, alors le $\text {PGCD}$ de $a$ et $b$ est égal à la valeur absolue de $a$ :

$$\text{PGCD} (a\ ;\,b)=\vert a\vert$$

Donnons maintenant quelques propriétés qui vont compléter cette notion de $\text {PGCD}$.

bannière propriete

Propriété

$a$ et $b$ sont deux entiers naturels supérieurs ou égaux à $2$.

  • Si, dans leur décomposition en produit de facteurs premiers, $a$ et $b$ n’ont pas de facteur premier commun, leur $\text {PGCD}$ est $1$ :

$$\text {PGCD}(a\ ;\,b)=1$$

  • Sinon, le $\text {PGCD}$ de $a$ et de $b$ est égal au produit des facteurs premiers communs à $a$ et à $b$, chacun d’eux étant affecté du plus petit exposant figurant dans la décomposition de $a$ et dans celle de $b$.
bannière exemple

Exemple

Pour déterminer le $\text {PGCD}$ de $2\,070$ et $368$, on décompose ces nombres en produits de facteurs premiers :

$$\begin{aligned} 2\,070&=2\times3^2\times5\times23 \\ 368&=2^4\times23 \end{aligned}$$

Donc le $\text {PGCD}$ de $2\,070$ et $368$ est égal au produit de leurs facteurs premiers commun, $2$ et $23$, soit $46$ :

$$\begin{aligned} \text{PGCD} (2\,070\ ;\,368)&=2\times23 \\ &=46 \end{aligned}$$

Nous reviendrons plus longuement sur la décomposition en facteurs premiers dans le prochain cours.

bannière propriete

Propriété

Si le $\text{PGCD}(a\ ;\, b)$ est un entier strictement positif, nous avons :

$$\begin{aligned} \text{PGCD} (a\ ;\,-a)&=\vert a\vert \\ \text{PGCD} (a\ ;\,1)&=1 \\ \text {PGCD} (a\ ;\,0)&=\vert a\vert \\ \\ \text{PGCD} (a\ ;\,b)&=\text{PGCD} (b\ ;\,a) \\ &=\text{PGCD} (\vert a\vert\ ;\,\vert b\vert) \end{aligned}$$

Les diviseurs communs à $a$ et $b$ sont les diviseurs de leur $\text{PGCD}$.

Pour tous les entiers relatifs non nuls $a$ et $b$, et tout $c$ de l’ensemble des entiers naturels strictement positifs $\mathbb N^*$ :

$$ \text{PGCD} (ac\ ;\,bc)=c\times\text{PGCD} (a\ ;\,b)$$

Algorithme d’Euclide

Nous allons dans cette partie voir un algorithme qui permet de déterminer le $\text{PGCD}$ de deux nombres : l’algorithme d’Euclide.
Il s’agit d’effecteur plusieurs divisions euclidiennes consécutives en utilisant, lors d’une dernière étape, une propriété pour obtenir le $\text{PGCD}$.

bannière theoreme

Théorème

$a$ et $b$ sont deux entiers naturels non nuls tels que la division euclidienne de $a$ par $b$ se traduit par $a=bq+r$, avec $0 \leq r < b$.

Alors l’ensemble des diviseurs communs à $a$ et $b$ est identique à ceux communs à $b$ et $r$, car $r=a-bq$ :

$$\begin{aligned} \text D(a\ ;\,b)&=\text D(b\ ;\,r) \\ \textcolor{#A9A9A9}{\text{Ce qui amène à\ : }} \text{PGCD}(a\ ;\,b)&=\text{PGCD}(b\ ;\,r) \end{aligned}$$

bannière demonstration

Démonstration

  • Démontrons que, si $d$ divise $a$ et $b$, alors $d$ divise $b$ et $r$.

Si $d$ divise $a$ et $b$, $d$ divise toute combinaison linéaire de $a$ et $b$, donc en particulier $a-bq$, soit $r$.

  • Il en résulte que l’ensemble des diviseurs de $a$ et $b$ sont inclus dans les diviseurs de $b$ et $r$ :

$$\text D(a\ ;\,b)\subset\text D(b\ ;\,r)$$

  • Démontrons que, si $\delta$ divise $b$ et $r$, alors $\delta$ divise $a$ et $b$.

Si $\delta$ divise $b$ et $r$, $\delta$ divise toute combinaison linéaire de $b$ et $r$, donc en particulier $bq+r$, soit $a$.

  • Il en résulte que l’ensemble des diviseurs de $b$ et $r$ figurent parmi les diviseurs de $a$ et $b$ :

$$\text D(b\ ;\,r)\subset\text D(a\ ;\,b)$$

  • La double inclusion équivaut donc à dire que l’ensemble des diviseurs communs à $a$ et $b$ sont communs à ceux de $b$ et $r$ :

$$\text D(a\ ;\,b)=\text D(b\ ;r)$$

  • Ces deux ensembles étant identiques, ils ont le même plus grand élément, donc :

$$\text{PGCD}(a\ ;\,b)=\text{PGCD}(b\ ;\,r)$$

bannière à retenir

À retenir

Lorsque $b$ ne divise pas $a$, le $\text{PGCD}$ de $a$ et $b$ est le dernier reste non nul dans la succession des divisions de l’algorithme d’Euclide, dont nous allons montrer un exemple ci-dessous.

bannière exemple

Exemple

Reprenons le calcul du $\text{PGCD}$ de $2\,070$ et $368$.
On écrit les divisions euclidiennes successives sous la forme $a=bq+r$, en remplaçant à chaque fois $a$ par le précédent $b$, et $b$ par le précédent $r$ :

$$\begin{aligned} \overbrace{2\,070}^\textcolor{#A9A9A9}a&=\overbrace{368}^\textcolor{#A9A9A9}b\times\overbrace 5^\textcolor{#A9A9A9}q+\overbrace{230}^\textcolor{#A9A9A9}r \\ \overbrace{368}^\textcolor{#A9A9A9}b&=\overbrace{230}^\textcolor{#A9A9A9}r\times 1+138 \\ 230&=138\times 1+92 \\ 138&=92\times 1+46 \\ 92&=46\times 2+0 \end{aligned}$$

  • $\text{PGCD} (2\,070\ ; 368) = 46$.

Donnons une rapide explication de ce résultat, en nous servant du théorème que nous avons vu plus haut :

$$\begin{aligned} \text{PGCD}(2\,070\ ;\,368) &= \text{PGCD}(368\ ;\,230) \\ &\footnotesize{\textcolor{#A9A9A9}{\text{[car PGCD$(a\ ;\,b)=$PGCD$(b\ ;\,r)$]}}} \\ &=\text{PGCD}(230\ ;\,138) \\ &=\text{PGCD}(138\ ;\,92) \\ &=\text{PGCD}(92\ ;\,46) \\ &=\text{PGCD}(46\ ;\,0) \\ &=46 \footnotesize{\textcolor{#A9A9A9}{\text{ [car PGCD$(a\ ;\,0)=\vert a\vert$]}}} \end{aligned}$$

Nombres entiers premiers entre eux

bannière definition

Définition

Nombres entiers premiers entre eux :

Dire que deux entiers naturels non nuls $a$ et $b$ sont premiers entre eux signifie que leur $\text{PGCD}$ est égal à $1$.

bannière attention

Attention

Ne pas confondre « nombres premiers entre eux » et « nombres premiers ».

  • Le prochain cours sera consacré à ces derniers.
bannière definition

Définition

Caractérisation du $\text {PGCD}$ :

$a$ et $b$ sont deux entiers naturels non nuls.
Dire que $d$ est le $\text {PGCD}$ de $a$ et $b$ équivaut à dire qu’il existe deux entiers naturels $a^{\prime}$ et $b^{\prime}$ tels que :

$$\begin{aligned} a &= da^{\prime} \\ b &= db^{\prime} \\ \text {PGCD} (a^{\prime}\ ;\,b^{\prime}) &= 1 \end{aligned}$$

$\text {PGCD} (a^{\prime}\ ;\, b^{\prime}) = 1$ signifie que $a^{\prime}$ et $b^{\prime}$ sont premiers entre eux, c’est-à-dire qu’ils n’ont aucun diviseur en commun autre que $1$.

bannière demonstration

Démonstration

Raisonnons par l’absurde et supposons que $\text {PGCD}(a^{\prime}\ ;\, b^{\prime}) = d^{\prime}\neq1$, alors $a^{\prime}= d^{\prime}a^{\prime\prime}$ et $b^{\prime} = d^{\prime}b^{\prime\prime}$, où $a^{\prime\prime}$ et $b^{\prime\prime}$ sont des entiers naturels.

Par conséquent, $a = dd^{\prime}a^{\prime\prime}$ et $b = dd^{\prime}b^{\prime\prime}$.
Ainsi, $dd^{\prime}$ (qui est strictement supérieur à $d$) est un diviseur de $a$ et de $b$, ce qui contredit $\text {PGCD}(a\ ;\, b) = d$.

  • Donc $\text{PGCD}(a^{\prime}\ ;\, b^{\prime}) = 1$.

Nous allons maintenant appliquer cette notion aux congruences, que nous avons découvertes dans le cours précédent.

bannière à retenir

À retenir

Pour deux entiers naturels non nuls $a$ et $n$, si $a$ et $n$ sont premiers entre eux, alors $a$ admet un inverse modulo $n$, c’est-à-dire qu’il existe un entier relatif $x$ tel que :

$$ax \equiv 1 \,\lbrack n\rbrack$$

Prenons un exemple, pour montrer comment déterminer l’inverse d’un nombre modulo $n$.

bannière exemple

Exemple

Nous cherchons donc à déterminer un inverse de $3$ modulo $13$.

$3$ et $13$ sont bien premiers entre eux, donc $3$ admet bien un inverse modulo $13$.

  • Nous allons donc rechercher un entier relatif $x$ tel que $3x\equiv 1\,\lbrack13\rbrack$.

$$\begin{aligned} 3 \times 1 &= 3 \equiv 3 \,\lbrack13\rbrack \\ 3 \times 2 &= 6 \equiv 6 \,\lbrack13\rbrack \\ 3 \times 3 &= 9 \equiv 9 \,\lbrack13\rbrack \\ 3 \times 4 &= 12 \equiv 12 \,\lbrack13\rbrack \equiv -1 \,\lbrack13\rbrack \end{aligned}$$

En multipliant par $-1$ la dernière relation, nous obtenons donc :

$$3 \times (-4) \equiv 1 \,[13]$$

  • $-4$ est donc un inverse entier relatif de $3$ modulo $13$.

Pour trouver une solution positive, nous pouvons passer la relation au carré :

$$\begin{aligned} (3 \times 4)^2 &\equiv (-1)^2 \,\lbrack13\rbrack \\ &\equiv 1\,\lbrack13\rbrack \\ \textcolor{#A9A9A9}{\text{C’est-à-dire\ : }}3\times 4 \times 3 \times 4 &\equiv 1 \,\lbrack13\rbrack \\ \textcolor{#A9A9A9}{\text{Puis\ : }}3\times 48 &\equiv 1 \,\lbrack13\rbrack \end{aligned}$$

  • $48$ est donc un inverse entier naturel de $3$ modulo $13$.

Théorème de Bézout

Nous allons maintenant découvrir deux théorèmes importants d’arithmétique, en commençant par le théorème de Bézout, qui découle de l’égalité de Bézout (aussi appelée identité de Bézout).

bannière theoreme

Théorème

Égalité de Bézout :

Soit $a$ et $b$ sont deux entiers relatifs non nuls, et $d$ leur $\text{PGCD}$.
Il existe deux entiers relatifs $u$ et $v$ tels que $au+bv = d$.

bannière demonstration

Démonstration

Soit $a$ et $b$ sont deux entiers relatifs non nuls, et $d$ leur $\text{PGCD}$.

  • Démontrons que $d$ s’écrit sous la forme $au+bv$.
  • Soit $\varepsilon$ l’ensemble des nombres de la forme $au+bv$, avec $u \in\mathbb Z$ et $v \in\mathbb Z$.
  • L’ensemble $\varepsilon$ n’est pas vide, car, par exemple pour $u = 1$ et $v = 0$, $a\in \varepsilon$. Il en est de même pour $b$, en prenant $u = 0$ et $v = 1$.
  • $\varepsilon$ contient des entiers strictement positifs (par exemple $a$ ou $-a$) et, parmi eux, un plus petit que tous les autres.

Notons $m = au_1+bv_1$ ce plus petit élément, avec $u_1$ et $v_1$ deux entiers relatifs.

D’une part, d’après cette égalité, tout diviseur commun à $a$ et $b$ divise $m$, donc leur $\text{PGCD}\ d$ divise $m$.

  • On a donc $d \leq m$.
  • D’autre part, montrons que $m$ divise $a$ et $b$.

La division euclidienne de $a$ par $m$ s’écrit $a=mq+r$, avec $0 \leq r < m$. Soit :

$$\begin{aligned} r&=a-mq \\ &=a-(au_1+bv_1)q \\ &=a(1-u_1q)+b(-v_1q) \\ &=aU+bV \footnotesize{\textcolor{#A9A9A9}{\text{ [avec $U=1-u_1q$ et $V=-v_1q$]}}} \end{aligned}$$

$U$ et $V$, comme produit et somme d’entiers relatifs, sont aussi des entiers relatifs. Ainsi, $r\in\varepsilon$.

Or, $m$ est le plus petit entier strictement positif de $\varepsilon$, donc, comme $0\leq r<m$, nécessairement $r=0$.

  • Ainsi, $m$ divise $a$. On montre de même que $m$ divise $b$.
  • $m$ est un diviseur commun à $a$ et $b$ vérifiant $d \leq m$.

Or, $d$ est le plus grand nombre vérifiant cette propriété, donc $d = m$.

  • On a donc $d = au_1+bv_1$, avec $u_1$ et $v_1$ deux entiers relatifs.

Voyons maintenant le théorème de Bézout, cas particuliers lorsque les nombres $a$ et $b$ sont premiers entre eux.

bannière theoreme

Théorème

Théorème de Bézout :

Soit $a$ et $b$ deux entiers relatifs non nuls.
Dire que $a$ et $b$ sont premiers entre eux équivaut à dire qu’il existe deux entiers relatifs $u$ et $v$ tels que $au+bv = 1$.

bannière demonstration

Démonstration

Soit $a$ et $b$ sont deux entiers relatifs non nuls.

  • Si $a$ et $b$ sont premiers entre eux, alors leur $\text{PGCD}$ est $1$.
  • D’après l’égalité de Bézout, il existe deux entiers relatifs $u$ et $v$ tels que $au+bv = 1$, car $d = 1$.
  • Réciproquement, s’il existe deux entiers relatifs $u$ et $v$ tels que $au+bv = 1$, le $\text{PGCD}$ de $a$ et de $b$ divise $au$ ,\,et $bv$, et donc aussi leur somme $au +bv = 1$.
  • Le $\text{PGCD}$ de $a$ et de $b$ est donc $1$, c’est-à-dire que les nombres $a$ et $b$ sont premiers entre eux.
bannière à retenir

À retenir

En pratique, pour trouver $u$ et $v$, on utilise d’abord l’algorithme d’Euclide pour démontrer que les deux nombres sont premiers entre eux.
Puis, on reprend chaque division euclidienne pour exprimer chaque reste au fur et à mesure.

  • On trouve ainsi le couple solution.

Nous allons prendre un exemple pour illustrer cette méthodologie.

bannière exemple

Exemple

Soit $a = 392$ et $b = 33$.

  • Nous cherchons $u$ et $v$, entiers relatifs, tels que : $au+bv=1$.

Nous commençons par utiliser l’algorithme d’Euclide pour prouver que $a$ et $b$ sont premiers entre eux.
On écrit les divisions euclidiennes successives :

  • $392= 33\times11+29$
  • $33=29\times1+4$
  • $29=4\times7+1$
  • $4=1\times4+0$

Donc $\text{PGCD}(392\ ; 33) = 1$.

  • Ainsi, $a = 392$ et $b = 33$ sont premiers entre eux.

Ceci fait, et afin de trouver $u$ et $v$, nous réécrivons les divisions euclidiennes en exprimant les restes.

  • $392=33\times11+29$, donc :

$$\begin{aligned} 29&=392-33\times11 \\ &=a-11b \end{aligned}$$

  • $33=29\times1+4$, donc :

$$\begin{aligned} 4&=33-29\times1 \\ &=b-(a-11b)\times 1 \\ &=12b-a \end{aligned}$$

  • $29=4\times7+1$, donc :

$$\begin{aligned} 1&=29-4\times7 \\ &=(a-11b)-(12b-a)\times 7 \\ &=8a-95b \end{aligned}$$

  • Ainsi, $a\times8+b\times(-95)=1$.
  • $u = 8$ et $v = -95$ sont les valeurs qui conviennent.

Théorèmes de Gauss et équation diophantienne

Voyons le deuxième théorème que nous évoquions, le théorème de Gauss.

Théorème de Gauss

bannière theoreme

Théorème

Théorème de Gauss :

Soit $a$, $b$ et $c$ des entiers naturels non nuls.
Si $a$ divise le produit $bc$ tout en étant premier avec $b$, alors $a$ divise $c$.

bannière à retenir

À retenir

Autrement dit, si un entier naturel divise un produit de deux facteurs et s’il est premier avec l’un d’eux, il divise l’autre.

Nous allons en donner la démonstration, rapide, et qui repose sur le théorème de Bézout.

bannière demonstration

Démonstration

Puisque $a$ et $b$ sont premiers entre eux, d’après le théorème de Bézout, il existe des entiers relatifs $u$ et $v$ tels que $au + bv = 1$.
Donc $(ac)u + (bc)v = c$.

Or, $a$ divise $ac$ et $bc$, donc $a$ divise $acu + bcv$.

  • Il en résulte que $a$ divise $c$.
bannière theoreme

Théorème

Corollaires du théorème de Gauss :

  • Si un entier relatif $n$ est divisible par deux entiers relatifs $a$ et $b$ premiers entre eux, il est divisible par leur produit.
  • Si un nombre premier $p$ divise un produit $ab$, alors $p$ divise $a$ ou $p$ divise $b$.

Entre autres, on se sert de ces notions dans la résolution d’équations diophantiennes, que nous allons découvrir dans le chapitre suivant.

Équation diophantienne 

bannière definition

Définition

Équation diophantienne :

Une équation diophantienne est une équation de la forme $ax+by=c$ où les coefficients $a$, $b$ et $c$ sont des nombres entiers relatifs et dont les solutions recherchées $x$ et $y$ sont également des entiers relatifs.

bannière à retenir

À retenir

Pour que l’équation diophantienne $ax+by=c$ admette des solutions, il faut que $c$ soit un multiple de $d = \text{PGCD}(a\ ;\,b)$.

Nous allons, à travers deux exemples, apprendre à résoudre des équations diophantiennes.

bannière exemple

Exemple

Commençons par déterminer les entiers $x$ et $y$ tels que $2x+3y=1$.

  • On remarque que $2\times(-1)+ 3\times1= 1$, donc le couple $(-1\ ;\, 1)$ est solution particulière de cette équation.
bannière astuce

Astuce

Une façon de trouver une solution particulière d’une équation diophantienne de la forme $ax+by=c$ (avec $b\neq 0$) est de l’écrire sous la forme $y=\frac{c-ax}b$, puis de chercher un $x$ tel que $c-ax$ soit un multiple de $b$.

  • Supposons que $(x\ ;\, y)$ soit solution de $2x + 3y = 1$.

$2x + 3y = 1$ implique :

$$2x + 3y = 2\times(-1)+ 3\times 1\Leftrightarrow 2(x +1) = 3(-y +1)$$

  • Donc $3$ divise $2(x +1)$.
  • Comme $3$ est premier avec $2$, d’après le théorème de Gauss, $3$ divise $(x + 1)$.
  • Il existe donc un entier relatif $k$ tel que $x + 1 = 3k$, soit $x = -1+ 3k$.
  • En reportant la valeur de $x$ dans l’égalité $2(x +1) = 3(-y +1)$, on obtient :

$$\begin{aligned} 2\times 3k = 3(-y +1)&\Leftrightarrow -y +1= 2k \\ &\Leftrightarrow y = 1- 2k \end{aligned}$$

  • Réciproquement, si $x = -1+ 3k$ et $y = 1- 2k$, pour $k$ un entier relatif :

$$\begin{aligned} 2x+3y &=2(-1+3k)+3(1-2k) \\ &=-2+6k+3-6k \\ &=1 \end{aligned}$$

  • Nous retrouvons bien : $2x+3y=1$.
  • Les solutions de cette équation sont les couples $(-1+3k\ ;\,1-2k)$ avec $k\in\mathbb Z$.
bannière exemple

Exemple

Déterminons maintenant les entiers $x$ et $y$ tels que $16x - 3y = 4$.

  • Donnons une façon d’identifier une solution particulière à cette équation :

$$\begin{aligned} 16x-3y=4 &\Leftrightarrow y=\dfrac{16x-4}3 \\ &\Leftrightarrow y=\dfrac{4(4x-1)}3 \end{aligned}$$

Nous cherchons donc, pour le numérateur, un multiple de $4$ et de $3$.
Nous remarquons facilement que, avec $x=1$, nous obtenons $4(4x-1)=12$.

  • Le couple $(1\ ;\,4)$ est une solution particulière de l’équation.

Nous allons appliquer la même méthodologie que dans le premier exemple.

  • Supposons que $(x\ ;\, y)$ soit solution de $16x - 3y=4$.

$16x - 3y=4$ implique :

$$16x - 3y = 16\times 1 - 3\times 4\Leftrightarrow16(x -1) = 3(y -4)$$

  • Donc $3$ divise $16(x -1)$.
  • Comme $3$ est premier avec $16$, d’après le théorème de Gauss, $3$ divise $(x - 1)$.
  • Il existe donc un entier relatif $k$ tel que $x - 1 = 3k$, soit $x = 1+ 3k$.
  • En reportant la valeur de $x$ dans l’égalité $16(x -1) = 3(y -4)$, on obtient :

$$\begin{aligned} 16\times 3k = 3(y - 4)&\Leftrightarrow y - 4 = 16k \\ &\Leftrightarrow y = 4 + 16k \end{aligned}$$

  • Réciproquement, si $x = 1+ 3k$ et $y = 4 + 16k$, pour $k$ un entier relatif :

$$\begin{aligned} 16x - 3y &=16(1+3k) - 3(4+16k) \\ &=16+48k-12-48k \\ &=4 \end{aligned}$$

  • Nous retrouvons bien : $16x-3y=4$.
  • Les solutions de cette équation sont les couples $(1+3k\ ;\, 4 + 16k)$, avec $k\in\mathbb Z$.

Conclusion :

Dans ce cours, nous avons vu la définition du $\text{PGCD}$ de deux nombres entiers relatifs, qui est le plus grand diviseur commun de ces deux nombres, et du cas particulier des nombres premiers entre eux lorsque le $\text{PGCD}$ est égal à $1$.

Nous avons aussi vu l’égalité puis le théorème de Bézout, ainsi que le théorème de Gauss et son corollaire. Et enfin, nous avons introduit les équations diophantiennes et leur résolution.