Académique Documents
Professionnel Documents
Culture Documents
Nombres premiers
2.1 Gnralits
Dnition. Un entier naturel est premier lorsquil ne possde que deux diviseurs positifs, savoir 1 et lui-mme. Remarque. Ainsi 0 et 1 ne sont pas premiers. Le plus petit nombre premier est 2. Un entier qui nest pas premier est compos. Les diviseurs de n compris entre 2 et n 1 sont ses diviseurs propres ; 1 et n sont ses diviseurs triviaux. Thorme. Tout entier naturel n 2 admet comme plus petit diviseur propre un entier premier p. Si n est compos, on a de plus 2 p n. Preuve. Si n est premier alors p = n est trivial. Si n est compos, lensemble E des diviseurs 2 de n est une partie non vide de N. Il possde donc un plus petit lment p. Si p tait compos, il serait divisible par un entier q vriant 2 q < p. Cet entier q diviserait alors n, contrevenant ainsi la dnition de p. Finalement p est premier. Si n = pq avec 2 p q alors p2 pq = n do p n. Thorme (Euclide). Lensemble des nombres premiers est inni. Preuve. Supposons que cet ensemble soit ni : P = {p1 , , pn }. Lentier a = p1 p2 pn + 1 ne possde aucun diviseur premier. Le thorme prcdent montre que cest impossible.
2.2 Dcomposition
Thorme. Tout entier 2 se dcompose en produit de facteurs premiers, cette dcomposition tant unique lordre prs. Preuve. Existence. Soit Pn = tout entier compris entre 2 et n possde une dcomposition en facteurs premiers . Pour n = 2 cest trivial. Si Pn est vraie : soit n + 1 est premier, soit il est compos et donc est le produit de de entiers n qui se dcomposent, par hypothse, en produit de facteurs premiers. Ainsi n + 1 se dcompose aussi et Pn+1 est donc vraie. Par rcurrence, Pn est vraie pour tout n 2. Unicit. Voir les lments qui y conduisent dans les exercices. Remarque. Cette dmonstration dexistence nest pas constructive. Lalgorithme (exercice !) de dcomposition cherche diviser un entier n autant que possible par 2, par 3, par 5, etc.
129
0 alors pgcd(a, b) = p1
min(1 ,1 )
pk
min(k ,k )
Preuve. Exercice. Corollaire. Si d = pgcd(a, b) et m = ppcm(a, b) alors dm = ab. Preuve. Il sut essentiellement de noter que min(x, y ) + max(x, y ) = x + y .
130