Pour a un entier relatif et b un entier naturel non nul, il existe un unique couple (q,r) d'entiers respectivement relatif et naturel qui vérifient :
a=bq+r et 0≤r<b
q est le quotient et r le reste de la division euclidienne de a par b.
PGCD de deux nombres
Pour a et b deux entiers relatifs non nuls, le PGCD de a et de b qui est noté PGCD(a,b), est le plus grand des diviseurs communs à a et à b. On peut le calculer avec l'algorithme d'Euclide ou la décomposition en produit de facteurs premiers de a et de b.
Algorithme d'Euclide
Si la division euclidienne de a par b (a et b deux entiers naturels) est a=b×q+r avec 0≤r<b, on a PGCD(a;b)=PGCD(b;r).
On détermine le PGCD de deux nombres à l'aide de divisions euclidiennes successives.
Exemple
Calcul du PGCD de 252 et 144 :
252=1×144+108 donc PGCD(252;144)=PGCD(144;108)
144=1×108+36 donc PGCD(144;108)=PGCD(108;36)
108=3×36+0 donc PGCD(108;36)=36 car 36 divise 108
PGCD(252;108)=36 qui est le dernier reste non nul.
Nombres premiers entre eux
Deux nombres sont dits premiers entre eux si leur PGCD est égal à 1. Pour a et b deux entiers relatifs non nuls, a et b sont premiers entre eux est équivalent à ab est une fraction irréductible.
Soit $p$ un nombre premier, et $a$ un nombre entier premier avec $p$. Alors $a^{p-1}$ a pour reste 1 dans la division euclidienne par $p$ (c'est-à-dire $a^{p-1}-1$ est multiple de $p$) :
$$a^{p-1}\equiv 1 \quad [p]$$
Formulation équivalente
Soit $p$ un nombre premier, et $a$ un nombre entier quelconque. Alors $a^{p}\equiv a \quad [p]$, ce qui peut se lire : $a^p-a$ est un multiple de $p$.
Application pratique
Exemple
$2^3-2$ est un multiple de 3. En effet $2^3-2=8-2=6$ est un multiple de 3.