Maths en Ligne Arithmétique UJF Grenoble
1 Cours
1.1 Nombres premiers
On appelle entier (ou entier relatif, c’est-à-dire positif ou négatif) tout élément de
Z=n. . . , −3,−2,−1,0,1,2,3, . . . o
Définition 1. On dit qu’un entier aest un multiple d’un entier b, ou que best un
diviseur de alorsqu’il existe un entier ktel que a=kb.
Définition 2. On dit qu’un entier p≥2est premier lorsqu’il possède pour seuls
diviseurs positifs 1et lui-même.
On notera au passage qu’au hasard des définitions, on parlera parfois d’entiers
relatifs (les éléments de Z) et parfois d’entiers naturels (les éléments de N). Ce n’est
qu’exceptionnellement très significatif ; la principale fonction est d’être cohérent avec
le reste du monde. Ainsi, comme partout ailleurs, dans ce cours, le nombre 3est un
nombre premier alors que −3n’en est pas un. En revanche, les nombres négatifs étant
autorisés dans la définition de « diviseurs », l’entier 3possède en tout et pour tout
quatre diviseurs (à savoir −3,−1,1et 3).
Et tout de suite un joli théorème, qui remonte aux Éléments d’Euclide, écrits au
IIIème siècle avant notre ère (c’est la proposition 20 du livre IX).
Théorème 1. Il existe une infinité de nombres premiers.
Vous connaissez probablement déjà une démonstration, il en existe plusieurs qui
sont toutes bonnes à connaître, en voici une qui est très proche de celle du traité
d’Euclide lui-même.
Démonstration : Soit Al’ensemble des nombres premiers. Aest une partie de N, et
est non vide car 2est premier. On va supposer Afinie et aboutir à une absurdité.
Supposons donc Afinie. Dès lors que Aest une partie finie de N, évidemment non
vide car 2est premier, Apossède un plus grand élément. Notons Pce plus grand
élément, le mystérieux « plus grand nombre premier ».
Considérons alors l’entier N=P!+1(la factorielle de P, plus 1). Pour tout entier
ktel que 26k≤P, comme kdivise P!et ne divise pas 1,kne peut diviser N.
Tout diviseur de N, et en particulier tout diviseur premier de N, est donc strictement
supérieur à P.
Or tout entier, et par exemple N, possède au moins un diviseur premier (pourquoi ?
exercice. . . ). Mais alors, chacun de ces diviseurs premiers contredit la maximalité de
P. Absurdité !
2