Définition :
Soit a, b ∈ Ω. On dit que a divise b, a est un diviseur de b ou que b est un multiple de a lorsqu’il existe un entier relatif k tel que b = ka. On le note a | b.
Théorème :
Soit a, b, c ∈ Ω.
- La relation divise est réflexive et transitive mais elle n’est
pas antisymétrique dans Ω.
-
-
-
Relation de congruence
Définition :
On dit que a est congru à b modulo n lorsque n divise (b – a), c'est-à-dire s’il existe un k relatif tel que
b = a + kn. On le note ou
Théorème :
Soit a, b, a’, b’ ∈ Ω et m, n ∈ ζ*
- La relation « être congru à » est une relation d’équivalence, c'est-à-dire qu’elle est réflexive, symétrique et transitive.
-
-
-
Division euclidienne
Théorème :
Soit a ∈ Ω et b un entier non nul. Alors il existe un unique couple (q, r) ∈ Ω x ζ tel que :
Diviseurs et multiples communs
Définition :
Soit a, b ∈ Ω. On dit que d est un diviseur commun de a et b lorsque d | a et d | b. On dit que m est un multiple commun de a et b lorsque a | m et b | m.
Plus Grand Diviseur Commun (PGCD)
Définition :
On appelle PGCD de deux entiers relatifs a et b tout nombre entier relatif d vérifiant :
- d est un diviseur commun de a et b.
- pour tout diviseur commun y de a et b, y | d.
Lemme :
Soit a, b ∈ Ω et a = bq + r la division euclidienne de a par b alors :
- Si a et b possède un PGCD y alors y est aussi PGCD de b et de r.
- Si b et r possède un PGCD y alors y est aussi PGCD de a et b.
Théorème :
Soit a, b ∈ Ω. Il existe un unique PGCD positif de a et b noté pgcd(a, b). On l’appellera le PGCD de a et b.
Théorème :
Soit a, b ∈ Ω.
Théorème :
Soit a, b ∈ Ω. Alors il existe u, v ∈ Ω tels que :
Un tel couple n’est pas unique et est appelé couple de coefficient de Bézout.
Nombre premier entre eux
Définition :
Soit a, b ∈ Ω.
On dit que a et b sont premiers entre eux lorsque pgcd(a, b) = 1.
Théorème :
Bézout : Soit a, b ∈ Ω alors a et b sont premiers entre eux si et seulement si au + bv = 1.
Théorème :
Gauss : Soit a, b, c ∈ Ω.
Si a | bc et si pgcd(a, b) = 1 alors a | c.
Plus Petit Multiple Commun (PPCM)
Définition :
On appelle PPCM de deux entiers relatifs a et b tout nombre entier relatif m vérifiant :
- m est un multiple commun de a et b.
- pour tout y : (a | y et b | y) => m | y
Théorème :
Soit a, b ∈ Ω alors il existe un unique PPCM de a et b positif noté ppcm(a, b). On l’appellera le PPCM de a et b.
Théorème :
Soit a, b ∈ Ω.
Nombres premiers
Définition :
Soit p un entier différent de 1. On dit que p est premier si ses seuls diviseurs sont 1 et p.
1 n’est pas premier !
Théorème :
Soit r un entier non nul, (p1, ..., pr) une famille de nombres premiers distincts et (a1, ..., ar) des entiers non nuls alors tout diviseur premier de
Théorème :
Soit n > 1 un entier.
Il existe un unique r entier non nul, une unique famille (pi)0 < i < r d’entiers premiers vérifiant p1 < p2 < ... < pr et une unique famille (ai)0 < i < r d’entiers naturels non nuls tels que :
Théorème :
L’ensemble P des nombres premiers en infini !
Théorème :
Soit a, b deux entiers non nuls et les uniques familles presque nulles (up)p premier et (vp)p premier telles que :
. Alors :