Tenenbaum G. Et Mendès M., Les Nombres Premiers Entre L'ordre Et Le Chaos (2011)

Les Nombres premiers,
entre lordre et le chaos

Grald Tenenbaum
Professeur lInstitut Elie Cartan Nancy
Michel Mends France
Professeur lUniversit Bordeaux 1
Dunod, Paris, 2011 pour la prsente dition
Une prcdente dition de cet ouvrage a t publie
en 1997 aux Presses Universitaires de France
dans la collection Que sais-je ? , rdite en 2000.
ISBN : 978-2-1005-5936-7
Ce livre est ddi la mmoire de Paul Erd os,
qui nous a quitts en septembre 1996, au
moment mme o nous achevions la rdaction
de la premire dition. Il fut pour nous un oncle
(ainsi que lappelaient ses amis) et un matre.
Un gant des mathmatiques a disparu, mais
son empreinte marquera bien des sicles venir.
Table des matires
Avant-propos xi
Notations et conventions xix
Chapitre 1 La gense : dEuclide Tchbychev 1
1. Introduction 1
2. Une brve histoire de ce qui va suivre 6
3. Dcomposition canonique 11
4. Congruences 13
5. Intermezzo cryptographique : systmes clefs publiques 17
6. Rsidus quadratiques 20
7. Retour sur linfinitude de lensemble des nombres
premiers 22
8. Le crible dratosthne 24
9. Les thormes de Tchbychev 26
10. Les thormes de Mertens 32
11. Le crible de Brun et le problme des nombres premiers
jumeaux 36
vii
TABLE DES MATIRES
Chapitre 2 La fonction zta de Riemann 43
1. Introduction 43
3. Produit eulrien 48
4. Prolongement analytique 51
5. La droite = 1 et le thorme des nombres premiers 57
6. Lhypothse de Riemann 64
7. Consquences arithmtiques des renseignements sur les
zros 69
Chapitre 3 Rpartition stochastique des nombres
premiers 73
1. Introduction 73
3. Progressions arithmtiques 77
4. Le thorme de Green et Tao 89
5. Le modle de Cramr 91
6. Le thorme de Goldston, Pintz et Yldrm 98
7. quirpartition modulo un 102
8. Vision gomtrique 108
Chapitre 4 Une preuve lmentaire du thorme des
nombres premiers 113
1. Introduction 113
2. Intgration par parties 117
3. Convolution des fonctions arithmtiques 119
viii
LES NOMBRES PREMIERS, ENTRE LORDRE ET LE CHAOS
4. La fonction de Mbius 123
5. Valeur moyenne de la fonction de Mbius et thorme
des nombres premiers 126
6. Entiers sans grand ou sans petit facteur premier 131
7. La fonction de Dickman 136
8. La preuve de Daboussi, revisite 140
Chapitre 5 Les grandes conjectures 147
Lectures complmentaires 159
Index 161
ix
Avant-propos
Issu de notre ouvrage Les Nombres premiers, paru dans la collection
Que sais-je ? et prsent puis, ce petit livre reprsente un pari
sans doute ambitieux : fournir au grand public scientifique une
description concise de la thorie analytique moderne des nombres
premiers lexclusion toutefois des apports de la thorie des
formes modulaires.
Rpondant des questions poses depuis lAntiquit y a-t-il
beaucoup de nombres premiers ?, comment se rpartissent-ils ?,
etc. , ce domaine connat depuis unsicle unessor sans prcdent,
d notamment aux interactions avec la thorie des probabilits.
Les tables de nombres premiers mettent en vidence un aspect
chaotique, dont le dsordre apparent saccorde finalement avec des
modles alatoires classiques, issus, par exemple, de phnomnes
physiques. L est prcisment lobjet de cet opuscule : dcrire,
puis tenter de comprendre, comment une suite aussi hautement
dtermine que celle des nombres premiers peut renfermer une
telle part de hasard.
Insistons un peu sur ce point. Le hasard total, le chaos, cest la
complexit infinie. Par ailleurs, la complexit dun nombre entier
crot manifestement avec sa taille, et rpondre des questions
de base devient souvent difficile : le nombre 2
43112609
1 est-il
premier ?
(1)
Combien de fois son dveloppement dcimal contient-
il le chiffre 7 ? etc. Au voisinage de linfini, la suite des nombres
entiers, et partant celle des nombres premiers, mime le hasard. Les
directions modernes de la thorie analytique des nombres tentent
de rendre compte des modalits de cette tendance.
1. Oui, daprs Edson Smith (2008).
xi
AVANT-PROPOS
Physiciens et philosophes discutent encore de lhypothtique
variable cache , malgr les travaux convaincants dAlain Aspect,
qui semblent en proscrire lexistence. Lcole de Copenhague,
avec Niels Bohr, dfend la thse que le monde subatomique est
rgi par le hasard. Einstein, quant lui, rve dune explication
sub-subatomique totalement dterministe. La suite des nombres
premiers ne pourrait-elle servir de modle aux ides dEinstein, lui
qui prtendait que Dieu ne joue pas aux ds au moment mme
o Mark Kac, minent arithmticien, professait lopinion que les
nombres premiers sadonnent secrtement au jeu de pile ou face ?
La dialectique ordre/dsordre occupe les thoriciens des nombres
depuis que Legendre et Gauss ont conjectur une rpartition
harmonieuse des nombres premiers, savoir que le n-ime nombre
premier p
n
est proche de n ln n.
(1)
Une telle rgularit dans lala-
toire ne doit pas surprendre : quoi de plus imprvisible que le
jet dune pice de monnaie alors que la probabilit qui rgit
lvnement, constamment gale
1
2
, prvoit une tendance
lquilibre entre les piles et les faces ? Tous ceux qui ont observ la
suite des nombres premiers ont remarqu la fois lirrgularit et
la rgularit de leur distribution. linstar du jeu de pile ou face, le
comportement en moyenne est rgulier alors que les fluctuations
locales, ici le passage de p
n
p
n+1
, demeure trs complexe.
Nous avons choisi de dcrire ces phnomnes de rpartition
en nous appuyant sur le cheminement historique et lvolution
graduelle de la philosophie cest--dire la reprsentation
archtypale des nombres premiers. Les Chapitres 1, 2 et 4
sont principalement consacrs aux rsultats de rgularit, alors que
le Chapitre 3 traite surtout des aspects alatoires de la rpartition.
Au Chapitre 5, nous dcrivons les conjectures principales qui
sous-tendent la thorie et nous comprenons, in fine, que cette
dichotomie nest quapparente : hasard et ncessit se conjuguent
harmonieusement pour produire de la structure, chacune des
1. Cette assertion, qui porte aujourdhui le nom de thorme des nombres premiers, a t
dmontre par Jacques Hadamard et Charles de La Valle-Poussin en 1896.
xii
deux perspectives clairant et expliquant lautre ; compte-tenu des
contraintes lies la structure dordre des entiers, la rpartition
des nombres premiers savre aussi harmonieuse que possible.
La prsente dition diffre notablement des prcdentes. Nous
avons, en particulier, significativement enrichi les introductions
des diffrents chapitres de manire fournir au non-spcialiste une
description aussi fidle que possible du contenu mathmatique
et des ides-forces sous-jacentes. Ces dveloppements, largement
mtaphoriques, peuvent, en toute rigueur, tre omis par un lecteur
rompu au langage mathmatique et aux notions principales utilises
dans le texte : logarithmes, congruences, nombres complexes,
convergences, interversion de sommations, etc. En revanche, ils
peuvent constituer lessentiel de lapport pour celui qui ne possde
pas (ou pas encore) le bagage scientifique ncessaire au dcryptage
des dmonstrations. Notre espoir est quils reclent galement un
intrt pour le scientifique chevronn, soit en fournissant une piste
de vulgarisation les scientifiques parlent aussi aux profanes , soit
en mettant en vidence une philosophie mathmatique implicite.
Nous avons galement tenu compte des rcentes avances de la
thorie en incluant la recension de deux rsultats remarquables.
Le premier, d Goldston, Pintz et Yldrm, affirme que, pour
tout > 0, la diffrence p
n+1
p
n
entre deux nombres premiers
conscutifs est infrieure ln p
n
pour une infinit dindices n.
(1)
On est loin de la conjecture des nombres premiers jumeaux selon
laquelle cette diffrence est infiniment souvent gale 2, mais cela
reprsente un saut qualitatif considrable.
Le secondrsultat est d Greenet Tao. Il confirme une importante
conjecture dErd os selon laquelle la suite des nombres premiers
contient des progressions arithmtiques arbitrairement longues. Ainsi
3, 5, 7 est une progression de raison 2 et de longueur 3, alors que
1. Plus prcisment, ces auteurs tablissent que, pour une constante convenable c, on a
p
n+1
p
n
c
_
ln p
n
(ln ln p
n
)
2
pour une infinit dindices n.
xiii
AVANT-PROPOS
199, 409, 619, 829, 1039, 1249, 1459, 1669, 1879, 2089 est
une progression de raison 210 et de longueur 10. On sait dornavant
quil en existe de longueur suprieure toute borne donne par avance.
Nous ne donnerons pas les preuves de ces rsultats. Elles sont
longues et profondes et les dtailler nous conduirait loin hors
du cadre de cet ouvrage. Nous tenterons toutefois de satisfaire la
curiosit du lecteur en fournissant des indications aussi prcises
que possible sur les ides essentielles. Signalons que Terence Tao
a t rcompens en 2006 par la Mdaille Fields, la plus haute
distinction internationale pour les mathmatiques.
Nous avons cru intressant de parsemer cette dition dillus-
trations de mathmaticiens cits ici. Si le texte nous fait plonger
dans une abstraction souvent exigeante, les portraits apportent
une dimension sensible lexpos : les mathmaticiens sont
des tres humains et voir leurs visages permet dapprocher leurs
personnalits. Derrire leurs regards, on pourra peut-tre deviner
ce minuscule dcalage qui souvent dtermine une vie entire.
Tout choix est par nature restrictif : notre parti pris narratif a aussi
ses dangers et ses dsavantages. Rompant dlibrment (certains
diront scandaleusement) avec une tradition sculaire dans ce type
douvrage, nous ne fournissons pas de table de nombres premiers
(1)
et nous ne donnons pas notre dmonstration favorite de la loi de
rciprocit quadratique. Plus grave, les divers aspects de la thorie
du crible sont seulement esquisss, bien que cette approche ait
fourni de remarquables avances, et nous nabordons pas les diverses
et profondes gnralisations des nombres premiers en algbre
commutative : idaux premiers des corps de nombres, polynmes
irrductibles sur un anneau ou un corps fini, etc. On consultera
cet effet les ouvrages classiques disponibles en franais.
(2)
Nous
occultons aussi, quasi totalement, laspect diviseurs des nombres
1. Une carence laquelle suppleront aisment les calculatrices de bureau.
2. Voir, par exemple : Samuel, Thorie algbrique des nombres, Hermann, 1967 ;
Borevitch & Chafarevitch, Thorie des nombres, GauthierVillars, 1967 ; Serre, Corps
locaux, Hermann, 1968.
xiv
premiers qui fournit pourtant aux mthodes probabilistes de
la thorie des nombres un champ dinvestigation privilgi.
(1)
Enfin, nous ne faisons quaborder trs succinctement (au 1.5)
les aspects cryptographiques et algorithmiques de la thorie, dont
les saisissantes applications ont franchi, depuis plusieurs dcennies,
les frontires de la mdiatisation grand public.
(2)
La science en gnral, et, en son sein, les mathmatiques,
constitue une part sans cesse grandissante de la culture gnrale.
Par ailleurs, les ouvrages plaisants et dlectables
(3)
consacrs aux
aspects spectaculaires des nombres premiers ne manquent pas, et
certains sont dailleurs tout fait remarquables.
(4)
Nous avons donc
choisi dassumer notre diffrence, selon une expression aujourdhui
consacre, en visant un peu plus haut quil nest dusage dans un
ouvrage de vulgarisation. Nous sommes conscients que certains
dveloppements pourront sembler ardus ils le sont. Nous avons
parfois prfr un court calcul (le dessin des mathmaticiens)
de longues explications, et le style est volontairement dense,
voire, de place en place, allusif. Cela nous a paru ncessaire la
mise en vidence des arguments essentiels. Ainsi, nous esprons
quun lecteur assidu et tenace verra sa curiosit satisfaite par des
preuves localement compltes cest en particulier avec ce souci
que nous avons rdig le Chapitre 4, essentiellement autonome.
Mais nous encourageons aussi le lecteur plus press, ou moins
dsireux dentrer dans les dtails, lire cet opuscule en diagonale ,
tant il est vrai que seules les dfinitions comptent, pourvu quon
les comprenne, et avec elles lmergence dune logique/musique
1. Ce point de vue est dvelopp dans quelques ouvrages prsent classiques, en
particulier : Elliott, Probabilistic number theory (2 vol.), Springer Verlag, 1979-1980 ;
Hall &Tenenbaum, Divisors, Cambridge University Press, 1988 ; Montgomery&Vau-
ghan, Multiplicative number theory I, Cambridge University Press, 2007 ; Tenenbaum,
Introduction la thorie analytique et probabiliste des nombres, Belin 2008.
2. Pour en savoir plus, voir par exemple les ouvrages de Robin, de Menezes, van
Oorschot & Vanstone, et de Koblitz, cits dans la bibliographie.
3. Selon lexpression de Bachet (1612).
4. Lexhaustif Nombres premiers : mystres et records (PUF, 1994) de Ribenboim, et le
lumineux Merveilleux nombres premiers (Belin, 2000) de Delahaye en font partie.
xv
AVANT-PROPOS
intrinsque o elles sappellent mutuellement. Le reste nest que
bavardage.
la lecture analytique scolaire consistant ne lire la ligne n +1
que lorsque lon a compris et assimil la ligne n, nous voulons
opposer (ce qui est rendu possible prcisment par la relative
tension de lexpos), une lecture synthtique, un glissando, o le fil
directeur est sans cesse apparent. La synthse faite, rien nempche
(et, on laura compris, cest en fait ncessaire pour progresser
encore) de reprendre la lecture plume en main et daffronter la
rigueur, voire la rugosit, des dmonstrations. Le jeu en vaut la
chandelle.
Ce livre nest donc pas facile, mais nous esprons quempreint
de mystre, il engendrera une discrte posie. De la complexit
nat le rve. Ni Stphane Mallarm ni Umberto Eco ne nous
contrediront.
La maison Dunod, que nous avons plaisir remercier ici, sest
engage nos cts pour maintenir, sous une forme attrayante, la
disponibilit de notre texte initial, qui a connu un certain succs
depuis 1997, avec notamment la reconnaissance de lAcadmie
des Sciences,
(1)
une traduction anglaise,
(2)
et une traduction
chinoise.
(3)
Pour cette dition nous tenons videmment exprimer notre
gratitude tous ceux qui nous ont aid ds 1997 : Jean-Paul Allouche,
Jean-Philippe Anker, Michel Balazard, Daniel Barlet, Rgis de
la Bretche, ric Charpentier, Hdi Daboussi, Ccile Dartyge,
Jean-Marc Deshouillers, Jean-Claude Fort, Andrew Granville,
Jerzy Kaczorowski, Bernard Landreau, Pierre Marchand, Grard
Mathieu, Jean-Louis Nicolas, Emmanuel Pedon, Patrick Sargos,
Jacques Sicherman, Andr Sef, Jie Wu, et Paul Zimmermann.
1. Prix Paul Doistau-mile Blutet de linformation scientifique 1999.
2. The prime numbers and their distribution, Student mathematical library 6, American
Mathematical Society, 2000
3. Les nombres premiers, Mathematics series for graduate students 9, Tsinghua
University Press, 2007.
xvi
cette liste, il convient prsent dajouter Vitaly Bergelson, Daniel
Goldston, Guillaume Hanrot, Charles Mozzochi, Jnos Pintz, Jia-
Yan Yao et Cem Yldrm pour leurs prcieux conseils. Rgis de la
Bretche, Ccile Dartyge, et Jie Wu se sont nouveau amicalement
et efficacement mobiliss pour amliorer la prsente dition.
Nancy et Bordeaux, mai 2010,
G. T. & M. M.F.
xvii
Notations et conventions
Nous indiquons ici les principales notations et conventions utilises
dans lensemble de louvrage. Celles qui napparaissent que dans
un chapitre ou un paragraphe sont dfinies localement.
La lettre N dsigne lensemble des entiers naturels 1, 2, . . .
et P celui des nombres premiers. Les ensembles des entiers
relatifs, des nombres rels et des nombres complexes sont dsigns
respectivement par Z, R, et C. La lettre p, avec ou sans indice
dsigne toujours un lment de P. On crit a [ b (resp. a b) pour
signifier que a divise (resp. ne divise pas) b et p
|a indique que
p
[ a et p
+1
a.
Le pgcd de deux entiers a, b est not (a, b). Lorsque (a, b) = 1,
on dit que a et b sont premiers entre eux. Le nombre dlments
dun ensemble fini A est dsign, selon les circonstances, par [A[ ou
aA
1. On dsigne par P
+
(a) (resp. P
(a)) le plus grand (resp.

le plus petit) facteur premier dun entier a N, avec la convention
P
+
(1) = 1, P
(1) = .
Le logarithme nprien est not ln.
(1)
Les itrs ln ln, ln ln ln,
etc., sont nots ln
2
, ln
3
, etc. La constante dEuler est dfinie
comme la limite
= lim
N
_
nN
1/n ln N
_
.
On a 0, 577215664. Il est noter, cependant, que nous
suivrons lusage traditionnel en dsignant galement par , au
chapitre II, la partie imaginaire dun zro gnrique non trivial de
la fonction zta de Riemann. Aucune confusion ne sera craindre.
1. ln a est donc, pour a 1, laire du domaine plan limit par les axes x = 1, x = a,
y = 0 et la courbe y = 1/x. On a, lorsque a est grand , ln a

na
1/n.
xix
NOTATIONS ET CONVENTIONS
La partie entire et la partie fractionnaire dun nombre rel x
sont notes respectivement x| et x). Ainsi
5/3| = 1, 3, 15) = 0, 85.
Le signe daffectation := indique que le membre de gauche
dune galit est dfini par celui de droite.
La fonction logarithme intgral est dfinie par
li(x) :=
_
x
2
dt
ln t
(x 2).
Lorsque la lettre s dsigne un nombre complexe, nous dfinissons
implicitement ses parties relle et imaginaire par s = +i.
tant donnes des fonctions f , g, de variable relle ou complexe,
nous employons indiffremment la notation de Landau f = O(g)
ou celle de Vinogradov f g pour signifier quil existe une
constante positive C telle que [f [ Cg dans le domaine de
dfinition commun f et g. Une ventuelle dpendance de C
en fonction dun paramtre pourra tre indique sous la forme
f = O
(g), ou f
g. La notation de Landau f = o(g) est

utilise dans son sens habituel de limf /g = 0.
(1)
Nous dsignons par fonction indicatrice dun ensemble A la
fonction qui vaut 1 sur A et 0 sur son complmentaire. Enfin,
C
k
[a, b] dsigne lespace des fonctions k fois continment drivables
sur lintervalle [a, b].
Par ailleurs, nous utiliserons souvent la manipulation suivante
pour estimer une moyenne pondre par des coefficients complexes
a
n
(n N) dune somme aux valeurs entires dune fonction
f C
1
[1, x] :
1nx
a
n
f (n) =
1nx
a
n
_
f (x)
_
x
n
f

(t) dt
_
= f (x)
1nx
a
n
_
x
1
f

(t)
_

1nt
a
n
_
dt.
1. Ainsi O(1) dsigne une quantit borne alors que o(1) dnote une quantit qui tend
vers 0.
xx
Chapitre 1
La gense :
dEuclide Tchbychev
1. Introduction
Compter, cest dabord compter sur soi. Au sens figur, bien
sr, mais aussi au sens propre : compter sur ses doigts, sur ses
pieds, sur ses paules, sur ses genoux, etc. Ltymologie des noms
de nombres fait en effet apparatre quils sont des vestiges de
langues trs anciennes dans lesquelles ils dsignaient les diffrentes
parties du corps. Archtypes de notre reprsentation du monde,
les nombres font, au sens le plus fort, partie de nous. tel point
que lon peut lgitimement se demander si lobjet dtude de
larithmtique nest pas lesprit humain lui-mme. De l, nat une
trange fascination : comment ces nombres, que nous portons si
profond, engendrent-ils des nigmes aussi redoutables ? Parmi ces
mystres, celui des nombres premiers est sans doute lun des plus
anciens et des plus rsistants. Notre objectif dans ce petit livre
est dinitier le lecteur quelques-unes des mthodes inventes par
lhomme pour apprhender cette rcalcitrante intimit. Puisse-t-il
mesurer notre ignorance laune de ces arcanes imbriqus et en
concevoir un insatiable apptit de connaissance.
1
Il y a, fondamentalement, deux manires de conjuguer les entiers.
On peut les ajouter et les multiplier. Mais alors que, par laddition,
on peut retrouver chaque entier fix lavance laide dentiers
plus petits, on saperoit rapidement que, pour la multiplication,
il est ncessaire dintroduire, de-ci de-l, des lments nouveaux,
irrductibles ceux qui les prcdent. Ces lments sont appels
des nombres premiers et, depuis la nuit des temps, lhumanit
cherche prciser le de-ci de-l ...
Lensemble des nombres premiers dbute donc ainsi :
2, 3, 5, 7, 11, 13, 17, 19, 23, 29, 31, 37, 41, 43, 47, 53,
59, 61, 67, 71, 73, 79, 83, 89, 97, 101, . . ., 571, . . .
Il y a prs de vingt-trois sicles, Euclide dmontrait linfinitude
de lensemble des nombres premiers. Dune grande beaut et dune
grande simplicit, sa preuve, avec les notations modernes, tient en
quatre caractres :
n! +1.
En effet, ce nombre nest divisible par aucun entier d tel
que 2 d n ; il ne possde donc que des facteurs premiers
excdant n. Cela tablit lexistence dau moins un nombre premier
plus grand que toute limite fixe lavance.
Pour tout nombre rel x > 0, on note (x) le nombre des
nombres premiers p qui ne dpassent pas x, soit
(x) :=
px
1.
(1)
Le rsultat dEuclide signifie que (x) tend vers linfini avec x. Le
problme se pose donc dtudier la vitesse de croissance de cette
fonction.
Il faut attendre Euler, au dix-huitime sicle, pour quune
vritable perce soit faite dans ce domaine. Il dcouvre la formule
1. Cette criture signifie simplement que lon compte 1 pour chaque nombre premier
nexcdant pas x. La notation peut sembler trange premire vue, mais elle a fait ses
preuves, notamment parce quelle se prte diverses manipulations analogues celles
des intgrales.
2
LA GENSE : DEUCLIDE TCHBYCHEV
fondamentale
() := 1 +
1
2
+
1
3
+
=
1
1 1/2
1
1 1/3
1
1 1/5
( > 1),
qui relie une somme tendue tous les entiers un produit infini
portant sur tous les nombres premiers. La formule nest pas valable
pour = 1, mais Euler nhsitait pas lui donner le sens suivant
(1)
p
_
1 1/p
_
:=
_
1 1/2
__
1 1/3
__
1 1/5
_
= 0.
Sachant que ln(11/p) est de lordre de 1/p, Euler en concluait
que la somme des inverses des nombres premiers diverge :
p
1
p
:=
1
2
+
1
3
+
1
5
+
1
7
+
1
11
+ = .
Carl Friedrich Gauss
(17771855)
Ce calcul sera justifi et prcis au 7.
Gauss (1792), puis Legendre (1798,
1808) conjecturent que lon a, lorsque
x tend vers linfini,
(x) x/ ln x.
(2)
Quelques dcennies plus tard, en 1852,
Tchbychev tablit une forme faible de
cette conjecture : il existe des constantes
strictement positives a et b telles que
lon ait
ax/ ln x < (x) < bx/ ln x (x 2).
1. Quen langage moderne on pourrait qualifier de prolongement par continuit.
2. Il est utile de garder lesprit que cela quivaut la validit de la formule asymptotique
p
n
n ln n, o p
n
dsigne le n-ime nombre premier.
3
Pafnouti Tchbychev
(18211894)
Numriquement, le rsultat constitue
un argument trs convaincant en faveur
de la conjecture de Gauss-Legendre :
pour x assez grand, on peut choisir
a = 0,921 et b =1,106.
Un petit dtour est ncessaire pour
dcrire le progrs suivant, d Riemann.
Le lecteur a sans doute, sinon une
connaissance prcise, du moins une
certaine ide de ces nombres parti-
culiers, qualifis d imaginaires par
Descartes, et invents par les mathmaticiens italiens du XV
e
sicle
pour rsoudre les quations de degr 3 et 4. Toute lhistoire consiste
admettre lexistence de racines carres de nombres ngatifs et
constater que le calcul formel fonctionne. Ainsi, selon Cardan, si
lon note i =
1, les solutions de lquation x(10 x) = 40

sont 5 i
15 : par exemple
(5 +i
15)(5 i
15) = 25 (i
15)
5
= 25 i
2
15 = 25 +15 = 40.
Le trouble vient de ce quon sait depuis toujours que le carr dun
nombre rel est ncessairement positif, et donc quil nexiste aucun
nombre rel dont le carr soit ngatif. Descartes, Newton et Bombelli
considraient que lapparition de ces nombres comme solutions
dquations signifiait que le problme tait en ralit impossible.
Ren Descartes
(15961650)
Mais, en terre de mathmatiques,
linterdiction peut tre contourne sans
contrevenir aux rgles de la logique.
la suite de Wallis et Gauss, les
mathmaticiens ont trouv un espace
nouveau dans lequel les nombres rels
et imaginaires pouvaient cohabiter pai-
siblement : il suffisait de penser intro-
duire une dimension supplmentaire
4
pour lunivers des nombres une rvolution. la droite
numrique, o les nombres rels sont rangs la queue-leu-leu, on
a substitu un pr carr o la longueur tait mesure laune du
nombre rel 1, et la largeur celle du nombre imaginaire i. Dans
ce nouveau monde, un nombre est une combinaison du type
a +ib
o a et b sont rels. Sous cette forme, aucune simplification nest
possible, mais le calcul suit les rgles ordinaires, compte tenu de la
loi i
2
= 1 : par exemple
(a +ib)
2
= a
2
b
2
+2iab.
Lunivers des combinaisons a+ib de nombres rels et imaginaires
est dsign comme le champ des nombres complexes, habituellement
not par la lettre C. Dans C, on peut additionner, soustraire, diviser,
multiplier selon les lois usuelles. On dit que C est un corps.
Le corps C des nombres complexes offre une surprise de taille :
non seulement toutes les quations polynomiales coefficients
rels y ont des solutions, mais il en va de mme des quations
coefficients complexes. Ainsi, lquation x
3
+ 2i = 0 a pour
solutions
i
3
2,
1
2
3
3 i
1
2
3
2,
1
2
3
3 i
1
2
3
2.
Riemann (1859) exploite lide gniale de prolonger la fonction
zta
(s) =
n1
n
s
en une fonction de la variable complexe. Cela permet de donner
un sens (s) mme hors du domaine de convergence de la srie
et, comme le dmontre Riemann, ltude du prolongement se
prte remarquablement bien la dduction de renseignements
asymptotiques concernant (x).
5
Bernhard Riemann
(18261866)
Enfin, en 1896, Hadamard et La
Valle-Poussin, sappuyant lun et
lautre sur les travaux de Riemann,
dmontrent indpendamment le tho-
rme des nombres premiers
(x) x/ ln x (x ).
Jacques Hadamard
(18651963)
Charles de La Valle-Poussin
(18661962)
Ce livre est un peu lhistoire de cette aventure. Nous verrons
quelle nest pas termine.
2. Une brve histoire de ce qui va suivre
2.1. Les lettres et les mots
Comme annonc dans lavant-propos, ce paragraphe, ainsi que
tous ceux qui portent le mme titre aux chapitres suivants, invite
une promenade initiatrice ouvrant sur la suite du chapitre.
La raison essentielle de lintrt des mathmaticiens pour les
nombres premiers est quils constituent un alphabet (infini)
permettant dattribuer un nom unique chaque nombre entier :
ainsi le nom de 12 est 223, et celui de 2010 est 23567. Dans
ce dictionnaire jamais inachev, chaque mot possde un sens
exclusif et toutes les combinaisons de lettres constituent des mots.
6
Cest dailleurs prcisment pour cette raison que le nombre 1 (qui
satisfait la rgle de ntre divisible que par lui-mme et par 1) nest
pas considr comme un nombre premier par les mathmaticiens :
sil ltait, il y aurait une infinit de mots, ne diffrant que par le
nombre des 1 y apparaissant, pour reprsenter chaque nombre entier.
Euclide
(330 275)
Aussi naturelle quelle paraisse tre,
la preuve de cette correspondance uni-
voque et exhaustive entre les nombres
entiers et les produits de nombres
premiers nest pas une vidence : com-
ment peut-on tre certain que la seule
manire dobtenir 48613 en multi-
pliant entre eux deux entiers plus
grands que 1 consiste combiner
173 et 281 ? Cest au mathmaticien
dAlexandrie (sans doute) dorigine grec Euclide que lon doit la
premire dmonstration rigoureuse.
Gauss a gnralis lnonc. Sa dmonstration, reposant sur un
rsultat de Bachet datant de 1624, est encore celle qui est la plus
communment utilise pour dmontrer le rsultat dEuclide.
Une version image de cette preuve est la suivante : supposons
que vous pariez pile ou face avec un ami selon la rgle suivante :
tu me donnes x euros chaque fois que je gagne, et je te donne y
euros lorsque cest toi qui gagnes Le thorme est alors le suivant :
si y est premier et si x nest pas multiple de y, il existe toujours une
suite de gains et pertes conduisant un solde de 1 euro. Exemple :
si vous recevez 20 euros chaque gain et donnez 17 euros chaque
perte, il vous restera exactement 1 euro aprs 6 gains et 7 pertes.
2.2. Des horloges particulires
On peut dduire de ce qui prcde le rsultat suivant, dont nous
donnons ici encore une formulation analogique. Supposons que
le cadran dune pendule soit gradu de telle sorte quune heure
(cest--dire un tour complet) corresponde un nombre premier p
7
de minutes. Alors pour tout nombre a de minutes ne correspondant
pas un nombre entier dheures, le nombre a
p1
, une fois report
sur la pendule, aboutira exactement une minute aprs lheure
pile. Exemple : p = 13, 2
p1
= 2
12
= 315 13 + 1, soit 315
tours complets et une minute.
Ce phnomne est en fait plus gnral : pour tout nombre b
de minutes ne correspondant pas un nombre exact dheures,
on pourra trouver un exposant c tel que la puissance a
c
concide
avec b sur le cadran de lhorloge. Il se trouve que le calcul de c
connaissant a et b est extrmement difficile, alors que celui de a
c
est trs peu coteux en temps de calcul. Ce mcanisme constitue
donc un verrou facile fermer et difficile ouvrir : cest le principe
(trs simplifi) des mthodes de cryptographie modernes.
Un autre champ dtude, galement d Gauss, consiste
se demander, parmi des graduations de lhorloge, lesquelles sont
des carrs parfaits autrement peuvent tre obtenus en faisant
parcourir a
2
graduations laiguille et lesquelles nen sont
pas. Surprise : alors quil existe 10 carrs parfaits jusqu 100, on
constate que sur lhorloge avec 101 graduations, il y a 50 carrs ! Ce
phnomne se rvle gnral : sur les horloges nombre premier,
essentiellement une graduation sur deux est un carr parfait.
Une grande dcouverte de Gauss, connue sous le nom de loi
de rciprocit quadratique, consiste donner une formule simple
permettant de dcider si un nombre premier q est un carr sur
lhorloge p minutes ds que lon sait si p est ou non carr sur
lhorloge q minutes.
Les nombres premiers, dapparence si irrgulire, renferment
dincroyables symtries.
2.3. Compter les nombres premiers
Lun des mystres les plus captivants concernant les nombres
premiers consiste valuer leur nombre (x) dans lintervalle
[2, x]. Comme indiqu au paragraphe prcdent, il est assez facile
8
Leonhard Euler
(17071783)
de montrer que (x) devient arbitrai-
rement grand lorsque x crot indfini-
ment. Mais quelle vitesse ?
Le gnial Euler a donn une version
quantitative du rsultat dEuclide sur
linfinitude de lensemble des nombres
premiers : la somme des inverses
des nombres premiers dans lintervalle
[2
u
, 2
v
] est proche de celle des inverses
des nombres entiers dans lintervalle
[u, v]. Exemple :
100<n200
1
n
0,70065, 0,70064 <
2
100
<p2
200
1
p
< 0,70066.
Adrien-Marie Legendre
(17521833)
ratosthne de Cyrne
(276 194)
Cette formule constitue un soutien
heuristique majeur pour le thorme
des nombres premiers, conjectur par
Legendre et Gauss, et qui permet
dapprocher la taille de (x) ou, ce
qui revient au mme, celle du n-ime
nombre premier en fonction de n
seulement. Nous y reviendrons.
Une autre approche quantitative
de lensemble des nombres premiers
consiste produire des tables. La
technique la plus ancienne est due
ratosthne, qui propose de commen-
cer par cocher, dans lensemble des
entiers de 1 N, tous les multiples
de 2 : le premier nombre non coch,
soit 3, est premier ; on coche ensuite
tous les multiples de 3 non dj cochs ;
le premier nombre non coch est 5, qui
est premier, etc.
9
Cette mthode, pratique pour produire des tables de taille
modeste, trouve rapidement ses limites lorsque lon cherche
la formaliser en vue dune approche thorique. Il fallut attendre
Tchbychev et lanne 1852 pour voir apparatre des techniques
de comptage des nombres premiers fournissant des valuations
asymptotiques numriques effectives. Tchbychev utilise astucieu-
sement des outils bien connus des analystes, comme la formule
de Stirling, datant de 1730, et dmontre le postulat de Bertrand
(1845), stipulant essentiellement quentre un entier et son double
se place toujours au moins un nombre premier.
Cest ensuite Franz Mertens qui, au trois-quarts du XIX
e
sicle,
reprend le flambeau de la course la conjecture de Gauss-Legendre.
Lune de ses formules, trs surprenante, est passe la postrit :
linstar du rsultat dEuler mentionn plus haut, il montre quune
constante bien connue des mathmaticiens, portant galement
le nom dEuler et apparaissant naturellement dans ltude de
la somme des inverses des nombres entiers, scelle une formule
basique concernant les nombres premiers. Le lien structurel entre
les nombres premiers et les nombres entiers possde dcidment
de multiples facettes.
2.4. Le crible
La mthode dratosthne est trop belle pour tre ce point
inefficace. Cest sans doute ce que se disait in petto le mathmaticien
norvgien Viggo Brun dans les annes 1920 lorsquil a mis au
point sa mthode, consistant remplacer la formule exacte du
crible par une formule approche plus maniable. Ce faisant, il a
dcouvert beaucoup plus : trouver les nombres premiers par une
mthode de crible, autrement dit chercher la non-divisibilit en
tudiant la divisibilit, met en uvre des principes trs gnraux
qui sappliquent largement au-del de la thorie des nombres
premiers. Son plus grand succs a concern les nombres premiers
dits jumeaux, comme 41 et 43 ou 107 et 109, parce que leur
cart est le plus petit possible. Alors que la srie des inverses des
10
nombres premiers diverge, Brun a montr que la srie des inverses
des nombres premiers jumeaux est convergente, autrement dit que
la somme
1
3
+
1
5
+
1
5
+
1
7
+
1
11
+
1
13
+
1
17
+
1
19
+ +
1
107
+
1
109
+
reste en dessous dune valeur fixe mme lorsque lon tend la
sommation tous les couples de nombres premiers jumeaux.
La thorie du crible est aujourdhui une branche part entire
de larithmtique. Elle a contribu efficacement ses succs rcents,
comme le thorme de Goldston, Pintz et Yldrm sur les petits
carts entre nombres premiers conscutifs cf. 3.6.
3. Dcomposition canonique
Un nombre premier est un nombre entier p > 1 qui ne possde
aucun diviseur d satisfaisant 1 < d < p. On notera que 1 nest
pas premier et que 2 est le seul nombre premier pair.
Ainsi que nous lavons signal dans le paragraphe prcdent,
la situation centrale des nombres premiers en arithmtique est
justifie par le fait que chaque entier n > 1 se dcompose de manire
unique, lordre des facteurs prs, en un produit de nombres premiers
n =
k
j=1
p
j
j
.
Lexistence de la dcomposition est presque vidente : il suffit
de raisonner par rcurrence. Si la proprit est vraie pour tout
entier < n et si n nest pas premier, alors n possde des diviseurs
d ]1, n[. Pour chacun dentre eux, on peut factoriser n sous la
forme n = dm avec m = n/d ]1, n[. Lhypothse de rcurrence
applique d et m fournit alors le rsultat souhait pour n.
La question de lunicit est beaucoup moins facile. Elle ncessite
le premier thorme dEuclide : si un nombre premier p divise un
produit ab, alors il divise a ou b. Admettons cela pour un instant.
11
Alors, si n possde deux dcompositions en produits de facteurs
premiers, disons n =
k
j=1
p
j
j
et n =
i=1
q
i
i
, chaque p
j
est un
q
i
et rciproquement. En particulier k = et, quitte rordonner
les facteurs, nous en dduisons que p
j
= q
j
pour 1 j k.
Supposons par exemple
1
>
1
. Alors m = n/p
1
possderait
deux dcompositions correspondant des ensembles distincts de
nombres premiers, ce qui contredirait la premire partie de la
dmonstration.
La preuve moderne du premier thorme dEuclide passe par la
structure des idaux de lensemble Z des entiers relatifs. On dit
quun sous-ensemble non vide I de Z en est un idal sil est stable
par soustraction et par multiplication par un entier quelconque,
en dautres termes :
(x I , y I ) x y I , (x Z, y I ) xy I .
Il est facile de constater que les ensembles de multiples
Z = m : m Z
sont des idaux de Z. Plus surprenante est la rciproque : tout
idal I de Z est un ensemble de multiples I = Z. En effet, un
idal I non rduit 0 contient des lments positifs : lune ou
lautre des proprits de la dfinition impliquent que I est stable
par lapplication x x. Soit le plus petit lment positif
de I . Alors Z I . Rciproquement, pour tout I , on peut
effectuer la division euclidienne = q +r avec 0 r < . Or
q I , donc r = q I . Daprs la proprit de minimalit
de , il faut que r = 0 et = q Z.
Nous sommes maintenant en mesure dtablir le premier tho-
rme dEuclide. Soient a, b, p tels que p [ ab et p a. Lensemble
aZ+pZ de toutes les combinaisons linaires ax +py avec x, y Z
est un idal Z de Z. Cet idal contient a et p, donc [ a et
[ p. Cette dernire condition implique = 1 ou = p et la
seconde ventualit est exclue puisque p a. On a donc = 1,
12
do aZ +pZ = Z. En particulier, il existe x, y Z tels que
ax +py = 1.
(1)
En multipliant les deux membres de cette galit par b, il suit
b = abx + pby = p(ab/p)x + by, do p [ b, ce quil fallait
dmontrer.
4. Congruences
La notion de congruence est due Gauss. Soit m un nombre entier
1. On dit que deux nombres entiers x et y sont congrus modulo
m si la diffrence x y est divisible par m. On note dans ce cas
x y (mod m).
Lensemble des entiers congrus unentier donn a sappelle la classe
de a, note a. On dit quun lment de a est un reprsentant de a.
Chaque classe possde un unique reprsentant dans lensemble
0, 1, . . . , m 1, et le reprsentant dun entier quelconque n est
alors gal son reste dans la division par m. Lensemble des classes
dquivalence est not Z/mZ,
(2)
et lon peut vrifier que, pour tous
entiers a, b, les classes a +b et ab ne dpendent que des classes
respectives de a et b. On peut donc munir Z/mZ dune addition
et dune multiplication dfinies par
a +b = a +b, a b = ab.
Ces oprations
(3)
confrent Z/mZ une structure danneau
commutatif unitaire : autrement dit, les rgles de calcul sont
1. Cette assertion porte le nom de thorme de Bachet (1624). Elle est souvent attribue
tort Bzout.
2. Z/mZ est donc en bijection naturelle avec tout intervalle dentiers de longueur m,
par exemple |0, 1, . . . , m 1.
3. Il est dusage domettre les barres de surlignement pour dsigner les classes de Z/mZ.
Il est galement frquent que, mme lorsquils sont en fait relatifs aux classes, les calculs
soient prsents en termes des reprsentants dans Z. Le signe dgalit est alors remplac
par celui de congruence et on ajoute aux relations formules la mention (mod m).
13
les mmes que dans Z. Cependant, ces rgles ne stendent pas
la division : Z/mZ nest en gnral pas intgre, cest--dire que
le produit de deux lments non nuls peut tre nul. Par exemple,
2 3 = 0 dans Z/6Z. On dsigne par (Z/mZ)
lensemble des
lments inversibles de Z/mZ, cest--dire lensemble des classes a
pour lesquelles lquation a x = 1 possde une solution. La fonction
indicatrice dEuler, traditionnellement note (m), est dfinie par
(m) = [(Z/mZ)
[.
(1)
Nous reviendrons plus loin sur les proprits de cette fonction,
mais nous pouvons observer immdiatement que pour chaque entier
m 1, (m) est gal au nombre des entiers a, 1 a m, qui sont
premiers m.
Soit, en effet, N(m) ce nombre. On a (m) N(m)
puisque ax 1 (mod m) implique (a, m) = 1. Rciproquement,
si (a, m)=1, alors, en appliquant le thorme de Bachet tous les
facteurs premiers (compts avec multiplicit) de m et en faisant
le produit des relations ax +py = 1 correspondantes, on obtient
aX +mY = 1 pour des entiers convenables X, Y . Cela implique
bien a (Z/mZ)
.
Une consquence importante de cette application du thorme
de Bachet est que, pour tout nombre premier p, lensemble Z/pZ est
un corps, autrement dit : pour tout entier a non multiple de p, la
classe de a est inversible dans Z/pZ. Cela rsulte immdiatement
de la dmonstration prcdente puisque a , 0 (mod p) quivaut
(a, p) = 1. En particulier, Z/pZ est intgre
(2)
et (p) = p 1
pour tout nombre premier p. Nous verrons au 8 que lon a plus
gnralement
(n) = n
p|n
(1 1/p)
pour tout entier n 1.
1. Rappelons que nous dsignons par [A[ le nombre dlments dun ensemble fini A.
2. Voir p. 14.
14
De ce qui prcde, on dduit encore le rsultat fondamental
quune quation polynomiale coefficients entiers de degr d
P(x) 0 (mod p)
possde au plus d racines distinctes dans Z/pZ.
Supposons, en effet, que lquation possde k racines distinctes
x
1
, . . . , x
k
. On voit en crivant P(x) = P(x)P(x
1
) et en utilisant
de manire systmatique lidentit
x
j
x
j
1
= (x x
1
)
0i<j
x
i
1
x
j1i
(1 j d),
que lon peut crire P(x) (x x
1
)
a
1
Q
1
(x) (mod p), o a
1
1,
et Q
1
(x) est un polynme de degr d a
1
, dont x
1
nest pas racine.
Ainsi x
2
doit tre racine de Q
1
(x). En itrant le procd, on obtient
P(x)
1jk
(x x
j
)
a
j
Q
k
(x) (mod p),
o Q
k
est un polynme sans racine dans Z/pZet dont le coefficient
du terme de plus haut degr est le mme que celui de P(x). Cela
implique bien que k
1jk
a
j
d.
Soient p un nombre premier, et a un entier non multiple
de p. Considrons lapplication x ax dans (Z/pZ)
. Cest une
injection, donc, puisque lensemble est fini, une bijection. Il suit
x(Z/pZ)
x =
x(Z/pZ)
ax = a
p1

x(Z/pZ)
x,
do
a
p1
1 (mod p) (a (Z/pZ)
).
15
Cette importante identit est connue sous le nom de petit thorme
de Fermat.
(1)
On peut dailleurs la gnraliser facilement au cas
de lanneau (Z/mZ)
pour m quelconque : si a (Z/mZ)
,
lapplication x ax permute les lments de (Z/mZ)
. On
obtient avec les mmes calculs (en utilisant cette fois que le produit
dlments inversibles de (Z/mZ)
est encore inversible)

a
(m)
1 (mod m) (a (Z/mZ)
).
Cest la clbre formule dEuler.
Soit n un nombre entier impair. Nous verrons au paragraphe
suivant que le calcul numrique de 2
n1
(mod n) est rapide mme
pour de grandes valeurs de n. Si cette quantit nest pas gale 1,
alors n nest pas premier. Si elle vaut 1, cela nimplique pas que n
soit premier, mais les exceptions, appeles nombres pseudo-premiers
en base 2, sont rares. Cette remarque est la base des tests modernes
de primalit.
Le petit thorme de Fermat na pas proprement parler de
rciproque.
(2)
On dit quun nombre entier n > 1 est un nombre
de Carmichael si n est compos (i.e. non premier) et vrifie
a
n1
1 (mod n) pour tout a premier avec n. Le plus petit
nombre de Carmichael est 561. Alford, Granville et Pomerance
ont dmontr en 1992 quil existe une infinit de nombres de
Carmichael.
Une autre consquence du fait que Z/pZ est un corps est le
thorme de Wilson (1770, dans un article de Waring) :
p premier (p 1)! +1 0 (mod p).
1. Par opposition au fameux grand thorme de Fermat, selon lequel lquation
x
n
+ y
n
= z
n
na pas de solution en entiers non nuls x, y, z ds que n 3. Cette
sibylline assertion datant approximativement de 1638 a t rcemment dmontre par
Wiles et Taylor (1994)... mais cest une tout autre histoire.
2. Cependant Lucas (1891) a montr que si (a, n) = 1, a
n1
1 (mod n) et
a
(n1)/q
, 1 (mod n) pour tout facteur premier q de n 1, alors n est premier.
Ce rsultat est utilis pour produire de grands nombres premiers.
16
La condition est suffisante : si q[p et 1 q < p, de sorte que
q[(p 1)!, elle implique q[1, do q = 1. Elle est aussi ncessaire :
chaque terme x du produit
(p 1)!
x(Z/pZ)
x (mod p)
possde un inverse x
modulo p et lon a x = x
si, et seulement
si, x 1 (mod p) ou x p 1 (mod p). En regroupant les
termes de faon associer chaque lment x son inverse x
lorsque x ,= x
, on obtient bien que le produit est congru

1 (p 1) 1 (mod p).
5. Intermezzo cryptographique : systmes clefs
publiques
Lintrt des pouvoirs civils et militaires pour les nombres premiers
sest considrablement accru, depuis une trentaine dannes, en
raison de la mise au point de nouvelles mthodes de cryptographie
o les mathmatiques (et en particulier celles des nombres premiers)
jouent un rle dterminant.
Avec le formidable dveloppement de linformatique et la nces-
sit dassurer la confidentialit de transmissions de toutes natures,
les enjeux de ces applications sont conomiquement considrables.
Limplacable loi de la rentabilit imposant de promouvoir la
recherche dans ce domaine, les rsultats, y compris thoriques, ont
rapidement suivi la mise enplace des moyens, et les tests de primalit,
les algorithmes de factorisation, les mthodes dengendrement de
nombres premiers et autres laborations conceptuelles ad hoc, ont
fleuri sur les campus lombre des machines rutilantes.
Rien de moral dans tout cela, bien sr, mais peut-tre une
(double) moralit dduire : les crdits font, effectivement,
progresser la science et, si les avances ont t aussi performantes
lorsquune rentabilit immdiate tait en vue, que ne peut-on
esprer de dotations, mme plus faibles, pour une recherche
fondamentale moyen ou long terme ?
17
Nous nous contenterons ici de dcrire succinctement le systme
RSA
(1)
qui fournit une technique simple et pratiquement inviolable
de codage.
Considrons un rseau dindividus I
1
, I
2
, . . . , I
n
qui veulent
communiquer entre eux de manire secrte (messages cods illisibles
par dautres que le ou les destinataires) et/ou authentifie (messages
ventuellement lisibles par tous mais infalsifiables). Le systme
RSA consiste attribuer chaque membre I
j
du rseau un couple
de nombres premiers (p
j
, q
j
) cest--dire un entier n
j
= p
j
q
j
produit de deux nombres premiers et un entier c
j
premier
(n
j
) = (p
j
1)(q
j
1). Le succs de la confidentialit du
systme repose sur le fait quen ltat actuel des moyens de calcul il
est assez facile de produire de grands nombres premiers (donc
de pourvoir les membres du rseau en p
j
et q
j
) mais quil est
quasiment impossible de factoriser un entier de la taille du carr
de ces nombres premiers (donc de restituer p
j
et q
j
partir de n
j
).
lheure o ce livre est crit, on peut considrer que des nombres
premiers de lordre de 10
100
sont effectivement grands en ce
sens particulier.
Le rseau se dote dun annuaire (public) o chaque nom I
j
est
associ n
j
et c
j
. Cependant, seul I
j
, qui connat la factorisation
de n
j
est mme de trouver linverse d
j
de c
j
modulo (n
j
).
(2)
Un message est un entier M nexcdant pas la taille (essentielle-
ment commune) des n
j
, ou, ce qui revient au mme, une succession
de tels entiers : il suffit par exemple de remplacer chaque lettre par
1. Par rfrence Rivest, Shamir et Adleman, dont larticle de 1978 marque un tournant
capital dans le domaine.
2. Le calcul de linverse est numriquement trs rapide, et ne ncessite quun nombre
doprations de lordre du nombre de chiffres. Considrons, en toute gnralit, deux
entiers a et b tels que 1 a < b et (a, b) = 1. Si q
1
est lentier le plus proche de b/a
alors r
1
:= b aq
1
est tel que [r
1
[ a/2. De mme, il existe un entier q
2
tel que
r
2
:= a r
1
q
2
= a(1 +q
1
q
2
) bq
2
vrifie [r
2
[ a/4. On itre le procd en crivant
r
j+1
= r
j1
r
j
q
j+1
, [r
j+1
[ a/2
j+1
. Aprs au plus (ln 2a)/ ln 2 tapes on parvient
r
k+1
= 0, donc r
k
[r
k1
. On vrifie facilement que cela implique que r
k
[(a, b), donc
r
k
= 1. Or r
k
est, par construction, une combinaison linaire de a et b. On a donc
trouv des entiers u et v tels que au+bv = 1. Linverse de a modulo b vaut u ou bu.
18
son rang dans lalphabet et de concatner les entiers deux chiffres
ainsi obtenus.
Lorsque, disons, I
1
veut envoyer un message cod I
2
, il lui
adresse M
2
= M
c
2
(mod n
2
), cest--dire le plus petit entier positif
M
c
2
(mod n
2
). Lorsque I
2
reoit M
2
il lui suffit de calculer
M
d
2
2
M (mod n
2
), daprs la formule dEuler.
(1)
Il peut donc
ainsi dchiffrer le message de I
1
. Personne dautre nest en mesure
de le faire car d
2
est (en pratique) incalculable partir des donnes
de lannuaire.
Lorsque I
1
veut envoyer un message authentifi M I
2
, il lui
adresse M
1
= M
d
1
(mod n
1
). Ainsi I
2
(et en fait nimporte quel autre
membre durseau) peut calculer M
c
1
1
M (mod n
1
) (toujours grce
la formule dEuler), mais le message est bien authentifi car le
fait que cette procdure de dcodage fournisse un rsultat cohrent
atteste dun codage que seul I
1
tait en mesure deffectuer.
Lorsque I
1
veut envoyer un message la fois crypt et authentifi
I
2
, et si, par exemple, n
1
< n
2
, il lui adresse M
12
= M
c
2
1
(mod n
2
).
Ainsi I
2
peut dchiffrer le message en calculant successivement
M
d
2
12
M
1
(mod n
2
) et M
c
1
1
M (mod n
1
) lauthentification
tant assure par le simple fait que cette seconde procdure fournisse
un rsultat lisible.
Il reste observer que le calcul de grandes puissances M
c
modulo
un entier n N chiffres (avec donc, actuellement, N 200) ne
ncessite pas doutils informatiques trs sophistiqus. En effet, le
calcul de M
2
modulo n correspond la multiplication de deux
nombres N chiffres, et fournit videmment un rsultat N
chiffres. Cela implique que M
c
correspond k multiplications de
deux nombres N chiffres si c = 2
k
, et donc, en utilisant lcriture
en base deux c =
0jk

j
2
j
(avec
j
= 0 ou 1), au plus k N
multiplications dans le cas gnral. Avec les ordinateurs actuels, et
pour des valeurs de N nexcdant pas quelques centaines, le codage
est quasiment instantan.
1. On a c
2
d
2
1 (mod (n
2
)), donc M
d
2
2
M (mod n
2
) si (M, n
2
)=1. On peut
montrer que cette relation persiste mme si (M, n
2
) > 1.
19
6. Rsidus quadratiques
Soit p un nombre premier impair. Considrons lapplication
q : (Z/pZ)
(Z/pZ)
dfinie par q(x) = x

2
. Alors q est un homomorphisme multiplicatif,
cest--dire que lon a identiquement
q(xy) = q(x)q(y).
Comme lquation q(x) = 1 possde exactement deux solutions,
savoir 1 et p 1 (on pourrait aussi dire 1 car p 1 = 1
dans (Z/pZ)
), on voit que si lquation q(x) = a possde

une solution, disons x
1
, elle en possde exactement deux, x
1
et
p x
1
. Un tel nombre a est appel rsidu quadratique modulo p. Il
dcoule de ce qui prcde quil y a exactement
1
2
(p 1) rsidus
quadratiques modulo p. En effet, si Q
p
dnote lensemble des
rsidus quadratiques, alors les [Q
p
[ sous-ensembles deux lments
q
1
a = x (Z/pZ)
: q(x) = a (a Q
p
) constituent une
partition de (Z/pZ)
, do p 1 = [(Z/pZ)
[ = 2[Q
p
[.
Considrons alors lhomomorphisme multiplicatif
f : (Z/pZ)
1, 1
dfini par f (x) = x
(p1)/2
. Le petit thorme de Fermat implique
que f (a) = 1 pour tout a de Q
p
et comme lquation polynomiale
f (x) = 1 possde au plus
1
2
(p 1) solutions dans (Z/pZ)
, on
voit que Q
p
est exactement lensemble de ces racines. Autrement
dit, f (a) vaut 1 si a est rsidu quadratique modulo p, et vaut 1
sinon. On exprime habituellement cette proprit en termes du
symbole de Legendre :
_
a
p
_
:=
_
1 si a Q
p
,
1 si a / Q
p
.
20
Pour tout a (Z/pZ)
, on a
_
a
p
_
a
(p1)/2
(mod p).
Lorsquon applique ce rsultat au cas a = 1, on obtient que 1
est rsidu quadratique modulo p si, et seulement si, p 1 (mod 4).
Sous cette condition, il existe donc deux entiers m et x tels que
pm = x
2
+1. Girard a nonc en 1632 et Fermat a dmontr en
1654 quun tel nombre premier p est somme de deux carrs. La
condition est donc ncessaire et suffisante puisquune somme de
deux carrs est congrue 0, 1 ou 2 modulo 4.
Montrons le thorme de GirardFermat. tant donn un
nombre premier p tel que p 1 (mod 4), posons N =
_
p
_
et donnons-nous une solution x de lquation x
2
1 (mod p).
Parmi les (N +1)
2
> p nombres u +vx avec 0 u, v N, deux
au moins ont la mme classe rsiduelle modulo p. Par diffrence,
nous en dduisons que la congruence a bx (mod p) possde une
solution non triviale en entiers a, b tels que max([a[, [b[) <

p.
Cela implique a
2
x
2
b
2
b
2
(mod p), dop [ a
2
+b
2
. Comme
0 < a
2
+b
2
< 2p, on a bien p = a
2
+b
2
.
Euler a prouv que
_
2
p
_
= (1)
(p
2
1)/8
(p > 2)
et Gauss a rigoureusement tabli une proprit remarquable
nonce par Legendre : si p et q sont des nombres premiers impairs,
ils ont mme caractre quadratique lun modulo lautre sauf sils
sont tous deux 3 (mod 4), auquel cas cest linverse qui a lieu.
Cest la fameuse loi de rciprocit quadratique. En formule :
_
p
q
__
q
p
_
= (1)
(p1)(q1)/4
(p > 2, q > 2).
21
7. Retour sur linfinitude de lensemble
des nombres premiers
La preuve du thorme dEuclide donne au 1 peut tre rendue
effective, cest--dire quelle peut fournir une majoration explicite
du n-ime nombre premier. Il suffit pour cela de remplacer, dans
largument, n! par

1jn
p
j
. On obtient ainsi
p
n
1 +
1j<n
p
j
,
do par une rcurrence lmentaire
p
n
exp(2
n1
) (n 1).
Un autre raisonnement trs simple fournit une estimation bien
meilleure. Considrons les n plus petits nombres premiers
p
1
< p
2
< < p
n
.
Chaque entier m p
n
scrit de manire unique sous la
forme m =
n
j=1
p
j
j
. Si t est lunique nombre entier tel que
2
t
p
n
< 2
t+1
, il y a, pour chaque indice j, au plus t +1 choix
possibles de
j
. Le nombre total de valeurs possibles pour m est
donc (t + 1)
n
. Or, il y a (trivialement !) exactement p
n
2
t
entiers m nexcdant pas p
n
. Donc 2
t
(t +1)
n
. Cette ingalit
implique t n
2
1 ds que n 5. On en dduit
p
n
2
n
2
(n 1).
La preuve dEuler est plus prcise encore, et fournit de fait un
rsultat en un certain sens optimal. Elle sappuie galement sur
lunicit de la dcomposition dun nombre entier en produit de
nombres premiers. En remarquant que chaque entier n est aussi
dcomposable de manire unique sous la forme n = qm
2
, o q est
22
sans facteur carr excdant 1,
(1)
on peut crire (en dsignant par la
lettre q un entier gnrique sans facteur carr)
nx
1
n
=
qx
1
q
x/q
1
m
2

qx
1
q
m1
1
m
2
Maintenant, on observe que
m1
1
m
2
1 +
m=2
_
1
m 1

1
m
_
= 2,
puisque la dernire somme est tlescopique , et que
qx
1
q

px
_
1 +
1
p
_
exp
_
px
1/p
_
,
o la premire ingalit sobtient en dveloppant le produit en p,
et la seconde en utilisant la majoration classique 1 +u e
u
avec
u = 1/p. En insrant encore la minoration
nx
1
n

nx
_
n+1
n
dt
t
ln x,
et en prenant les logarithmes, on dduit de ce qui prcde
px
1
p
ln
2
x ln 2 (x 2).
(2)
Cela tablit le thorme dEuclide sous une forme forte : la srie des
inverses des nombres premiers diverge. Comme nous le verrons par
la suite, la minoration trouve fournit le bon ordre de grandeur
(et mme un quivalent asymptotique) pour la somme

px
1/p.
1. On a en fait q =
p
2+1
n
p.
2. Rappelons que ln
2
signifie ln ln.
23
En effet, on peut montrer que le thorme des nombres premiers
quivaut la relation asymptotique
p
n
n ln n (n ).
Un calcul standard permet alors den dduire que lon a
px
1
p
ln
2
x
lorsque x .
8. Le crible dratosthne
Connu depuis lAntiquit, le crible dratosthne est une mthode
pour compter le nombre N
m
(x) des entiers n nexcdant pas x et
qui sont relativement premiers un nombre fix m.
La version nave consiste crire la liste des entiers n x et
barrer successivement les multiples des diffrents facteurs premiers
de m. Les nombres restants sont ceux qui sont compts dans N
m
(x).
Pour obtenir une formule gnrale, on peut raisonner comme
suit. Soit p
1
, . . . , p
k
la suite (finie) des facteurs premiers distincts
de m. On calcule N
m
(x) par rcurrence sur k en observant que le
cas k = 0 est trivial : on a N
1
(x) = x| pour tout x > 0. Posons
m
0
= 1 et m
j
:= p
1
p
j
(1 j k). Pour 0 j < k, les seuls
entiers n compts dans N
m
j
(x) et non compts dans N
m
j+1
(x) sont
de la forme p
j+1
n x avec (n, m
j
) = 1. En dautres termes, on a
N
m
j
(x) N
m
j+1
(x) = N
m
j
(x/p
j+1
).
Ainsi
N
m
1
(x) = N
1
(x) N
1
(x/p
1
) = x| x/p
1
| ,
N
m
2
(x) = N
m
1
(x) N
m
1
(x/p
2
)
= x| x/p
1
| x/p
2
| +x/p
1
p
2
| ,
et ainsi de suite. On obtient finalement
N
m
(x) =
d|m
(1)
(d)
x/d|
24
o m
dsigne le noyau sans facteur carr de m (soit m
k
j=1
p
j
)
et o (d) dsigne le nombre des facteurs premiers distincts de d
(noter quen particulier (1) = 0). On donne un aspect plus
canonique encore cette formule en introduisant la fonction de
Mbius
(d) =
_
(1)
(d)
si d est sans facteur carr > 1,
0 dans le cas contraire.
On obtient alors la formule de Legendre (1808) du crible
dratosthne :
N
m
(x) =
d|m
(d) x/d| .
Lorsque lon choisit m =
x
p, seuls sont compts dans
N
m
(x) le nombre 1 et les nombres premiers p de lintervalle ]
x, x].
Donc N
m
(x) = (x) (
x) +1 et lon obtient
(x) = 1 +(
x) +
P
+
(d)
x
(d) x/d| .
(1)
On observera que la somme en d est finie puisquil y a au plus
2
(
x)
entiers d sans facteur carr tels que P
+
(d)
x. Ce rsultat
montre que la fonction de Mbius et les nombres premiers sont
intimement lis. Nous aurons loccasion de revenir, aux Chapitres 2
et 4, sur cette interdpendance.
Une autre application de la formule de Legendre est le calcul de
la fonction dEuler
(n) = N
n
(n),
rencontre au 4. Nous obtenons dans ce cas
(n) =
d|n
(d)n/d = n
p|n
(1 1/p),
o la seconde galit est obtenue en dveloppant le dernier membre.
1. On rappelle que P
+
(d) dsigne le plus grand facteur premier de d avec la convention
P
+
(1) = 1.
25
9. Les thormes de Tchbychev
Les premiers progrs significatifs concernant lvaluation de
(x) sont dus Tchbychev (1852). Il nutilise pas le crible
dratosthne, mais une forme faible de la formule de Stirling,
(1)
savoir
ln n =
1mn
ln m = n ln n n +O(ln n) (n 2).
Cela dcoule directement de lestimation suivante, valable pour
m 1,
0
_
m+1
m
(ln t) dt ln m
=
_
m+1
m
ln
_
t
m
_
dt
_
m+1
m
_
t
m
1
_
dt =
1
2m
.
En sommant pour m = 1, 2, . . . , n1 et en utilisant le fait quune
primitive de ln t est t ln t t, on obtient bien la formule annonce.
Lide de Tchbychev consiste essentiellement exploiter la
dcomposition du nombre n! en produit de facteurs premiers.
Pour chaque m on peut crire
ln m =
|m
ln p,
la somme tant tendue tous les couples (p, ) tels que p
[ m
avec p premier et 1. En remplaant dans lexpression de ln n!
et en intervertissant les sommations, il suit
ln n! =
1mn
ln m =
n
ln p
1mn
p
|m
1
=
n
ln p n/p
| .
1. Dmontre en 1730 : on a n! n
n
e
n
2n (n ).
26
Cela suggre dintroduire la fonction
(d) :=
_
ln p si 1 : d = p
,
0 dans le cas contraire.
Cette fonction a t tudie par le mathmaticien allemand von
Mangoldt la fin du dix-neuvime sicle et porte aujourdhui son
nom. Avec cette notation, nous dduisons de ce qui prcde la
formule asymptotique
dn
(d) n/d| = n ln n n +O(ln n) (n 2).
Dsignons par B(n) le membre de gauche et posons B(x) = B(x|)
pour tout x > 0. Nous allons utiliser notre estimation de B(x)
pour tablir un encadrement de la fonction sommatoire de ,
(x) =
dx
(d).
Nous verrons par la suite que cela implique trs facilement un
encadrement de mme qualit pour (x).
Nous exploitons lide originale de Tchbychev, mais sous une
forme rudimentaire qui fournit un rsultat numriquement moins
prcis quoique de mme nature. Posons
(u) = u| 2 u/2| (u > 0).
Alors est une fonction 2-priodique qui vrifie
(u) =
_
0 si 0 u < 1,
1 si 1 u < 2.
Nous allons maintenant calculer de deux manires la quantit
B
2
(x) = B(x) 2B(x/2).
27
Dune part on a
B
2
(x) = x ln xx2
1
2
x ln(
1
2
x)
1
2
x +O(ln x)
= x ln 2 +O(ln x),
et dautre part
B
2
(x) =
dx
(d)(x/d).
De cette dernire expression, on dduit, compte tenu de la proprit
de indique plus haut,
(x) (x/2) B
2
(x) (x).
La majoration fournit donc immdiatement une minoration de
(x), soit
(x) x ln 2 +O(ln x) (x 2).
La minoration de B
2
(x) est utilise de manire inductive : on a
(x)B
2
(x) +(x/2) B
2
(x) +B
2
(x/2) +(x/4)

0jk
B
2
(x/2
j
) +(x/2
k+1
).
Ici k est un entier arbitraire. Choisissons
k = K(x) := (ln x)/ ln 2| ,
de sorte que (x/2
k+1
) = 0. Il suit
(x)

0jK(x)
_
x ln 2
2
j
+O(ln x)
_
2x ln 2 +O((ln x)
2
).
fins de rfrence ultrieure, nous rassemblons les estimations
obtenues dans un nonc formel.
28
Thorme 9.1 (Tchbychev) On a pour x 2
x ln 2 +O(ln x) (x) x ln 4 +O((ln x)
2
).
Comme annonc, nous pouvons dduire aisment de ce
rsultat une information comparable relative (x). On a
(x) =
x
ln p o la somme porte sur tous les couples (p, )
avec p premier et 1. Pour chaque p fix, il y a exactement
ln x/ ln p| valeurs admissibles de , donc
(x) =
px
_
ln x
ln p
_
ln p.
Grce lencadrement u| u < u| + 1 2 u| (u 1), il
suit dabord
(x) (x) ln x 2(x),
puis, en utilisant la majoration du Thorme 9.1,
(x) ln x (x) =
px
_
ln x
_
ln x
ln p
_
ln p
_
x
ln p +
x<px
ln(x/p)
(
x) +
x<px
_
x
p
dt/t
= O(
x) +
_
x
x
(t)
t
dt
x
ln x
On peut donc finalement noncer que

(x) = (x)/ ln x +O
_
x/(ln x)
2
_
(x 2),
de sorte que le Thorme 9.1 implique le corollaire suivant.
Corollaire 9.2 On a lorsque x tend vers linfini
ln 2 +o(1)
x
ln x
(x) ln 4 +o(1)
x
ln x
29
Les rsultats de Tchbychev taient vrai dire plus prcis. Au
lieu de la fonction (u) employe dans la preuve ci-dessus, il
utilisait la fonction
1
(u) = u| u/2| u/3| u/5| +u/30|
qui est 30-priodique et satisfait
1
(u) = 1 pour 1 u < 6.
Cela lui a permis de prouver lencadrement asymptotique
c
1
+o(1)
x
ln x
(x) c
2
+o(1)
x
ln x
(x )
avec
c
1
= ln
_
2
1/2
3
1/3
5
1/5
30
1/30
_
0,92129,
c
2
=
6
5
c
1
1,10555.
Comme c
2
< 2c
1
, cela implique en particulier que
(2n 3) > (n) pour n assez grand. En explicitant une
version effective de ses estimations, Tchbychev a pu prouver
que cette ingalit stricte persiste pour tout n > 3, confirmant
ainsi une conjecture fameuse connue sous le nom de postulat de
Bertrand (1845) : pour tout entier n > 3, il y a au moins un nombre
premier p tel que
n < p < 2n 2.
Il est noter que le choix plus simple
2
(x) := x| x/2| 2 x/3| +x/6|
conduit galement une preuve du postulat de Bertrand, mais
avec des constantes c
1
et c
2
lgrement moins bonnes.
Une autre consquence, indique par lui-mme, du travail de
Tchbychev est lencadrement
liminf
x
(x)
x/ ln x
1 limsup
x
(x)
x/ ln x
,
autrement dit : si le rapport (x) ln x/x tend vers une limite, cette
limite est 1.
30
Cela rsulte de la formule asymptotique
B(x) =
dx
(d) x/d| = x ln x x +O(ln x)
qui est la base de la preuve de Tchbychev. En remplaant x/d|
par x/d +O(1) et en utilisant lestimation (x) x, on obtient
dx
(d)/d = ln x +O(1) (x 1).
En observant maintenant que
dx
(d)
d
=
dx
(d)
_

d
dt
t
2
=
(x)
x
+
_
x
1
(t)
t
2
dt,
on dduit de ce qui prcde que
_
x
1
(t)
t
2
dt = ln x +O(1) (x 1).
Soit alors = limsup
x
(x) ln x/x. On a aussi
= limsup
x
(x)/x
puisque, comme nous lavons vu plus haut,
(x) = (x) ln x +O(x/ ln x).
Pour chaque > 0, il existe donc un x
0
= x
0
() tel que
(t) ( +)t pour tout t x
0
(). Do
_
x
1
(t)
t
2
dt
_
x
0
1
(t)
t
2
dt +( +)
_
x
x
0
dt
t
( +) ln x +O
(1).
31
Cela implique 1 + et donc 1 puisque est arbitraire.
On raisonne semblablement pour
= liminf
x
(x) ln x/x.
La preuve du second rsultat de Tchbychev est ainsi complte.
Lorsque Tchbychev publia ses travaux en 1852, il pouvait
sembler que la conjecture de GaussLegendre
(x) x/ ln x (x )
tait porte de main. Il fallut pourtant attendre 44 ans pour
prouver, grce aux ides entirement diffrentes de Riemann, le
thorme des nombres premiers. La preuve lmentaire,
(1)
hritire
de lapproche de Tchbychev, ne devait, quant elle, pas voir le
jour avant prs dun sicle.
10. Les thormes de Mertens
Dans la continuation immdiate de Tchbychev, Mertens a tabli,
avec des outils analytiques de mme degr de sophistication, des
formules asymptotiques
(2)
pour des sommes portant sur des nombres
premiers. Les deux thormes mentionns dans ce paragraphe
datent de 1874.
Le rsultat connu sous le nom de premier thorme de Mertens
est lestimation
px
ln p
p
= ln x +O(1) (x 1).
Nous avons montr au paragraphe prcdent la validit de cette
formule lorsque le membre de gauche est remplac par la somme
1. On dit quune preuve est lmentaire si les outils dploys sont construits avec les
mmes lments que la question pose, ici lanalyse relle. Voir le 4.1.
2. Cest--dire des valuations avec terme principal et terme derreur, le second tant
asymptotiquement ngligeable devant le premier.
32
dx
(d)/d. Or, la diffrence entre cette somme et celle qui
nous intresse maintenant vaut
x, 2
ln p
p
p
ln p
p(p 1)
1.
Le rsultat est donc acquis.
Le second thorme de Mertens est connu sous le nom de
formule de Mertens : on a
px
(1 1/p)
1
= e
ln x +O(1) (x 1),
o dsigne la constante dEuler.
La preuve de ce rsultat ncessite plusieurs tapes. On commence
par valuer
px
1
p
=
px
ln p
p
_

p
du
u(ln u)
2
=
_
x
2
pu
ln p
p
du
u(ln u)
2
+
1
ln x
px
ln p
p

Posons R(u) =
pu
(ln p)/pln u (u 2). Le premier thorme
de Mertens nonce que R(u) est une fonction borne. Il dcoule
donc du calcul prcdent que
px
1
p
=
_
x
2
du
u ln u
+
_
x
2
R(u)
du
u(ln u)
2
+1 +
R(x)
ln x
= ln
2
x +a +O
_
1
ln x
_
avec
a =
_

2
R(u)
du
u(ln u)
2
+1 ln
2
2 0,2614972128.
33
Nous allons voir que cette formule est quivalente celle de
Mertens, la valeur prs de la constante a. Partant, elle est parfois
galement dsigne sous le nom de second thorme de Mertens.
(1)
On a e
1/p
(1 1/p)
1
= 1 +O(1/p
2
). Il dcoule donc de ce
qui prcde que
px
(1 1/p)
1
=
px
e
1/p
e
1/p
(1 1/p)
1
= b ln x +O(1)
avec b = e
a
p
e
1/p
(1 1/p)
1
.
Il reste calculer la constante b. Cest la partie la plus difficile
de la dmonstration, mais aussi la plus stimulante, puisque, sans
conteste, cest loccurrence de la constante dEuler qui suscite ici
curiosit et intrt. Le calcul repose sur la fameuse formule dEuler
voque dans lintroduction
n1
1/n
p
(1 p
)
1
( > 1).
Il est clair que les deux membres sont convergents. Lorsque lon
dveloppe le produit fini
px
(1 p
)
1
=
px
0
p
on obtient, grce lunicit de la dcomposition en produit de

facteurs premiers, la somme

P
+
(n)x
n
, tendue tous les

entiers dont le plus grand facteur premier nexcde pas x. Cette
somme vrifie videmment
nx
n

P
+
(n)x
n
n1
n
.
On obtient donc la formule dEuler en faisant tendre x vers linfini.
1. Notamment dans le Chapitre 4, o nous faisons spcifiquement rfrence la formule
de Mertens lorsque la valeur de la constante e
est ncessaire, et au second thorme de

Mertens lorsque seule lestimation de

px
1/p est utile.
34
Maintenant, on a classiquement
n1
1
n
n1
_
n+1
n
dt
t
+O
_
1
n

1
(n +1)
_
=
_

1
dt
t
+O(1) =
1
1
+O(1).
On dduit donc de la formule dEuler et de notre valuation du
produit

px
(1 1/p)
1
que
b = lim
h0+
pexp(1/h)
1 p
1h
1 p
1
p>exp(1/h)
(1 p
1h
).
Uncalcul de routine, reposant sur lestimationln(1+u) = u+O(u
2
)
([u[
1
2
) et lingalit 1 p
h
h ln p, fournit alors
ln b = lim
h0+
A(h) B(h)
avec
A(h) =
pexp(1/h)
1 p
h
p
=
pexp(1/h)
h
p
_
p
1
dt
t
1+h
= h
_
exp(1/h)
1
t<pexp(1/h)
1
p
dt
t
1+h
,
et
B(h) =
p>exp(1/h)
p
1h
= h
p>exp(1/h)
1
p
_

p
dt
t
1+h
=
_

exp(1/h)
exp(1/h)<pt
1
p
dt
t
1+h
35
ce stade, nous utilisons lvaluation prcdemment tablie des
sommes

px
1/p sous la forme
u<pv
1
p
=
ln u<nln v
1
n
+O
_
1
ln 2u
_
(1 u v).
En remplaant dans les expressions obtenues pour A(h) et B(h) et
en remontant les calculs, nous obtenons lorsque h 0+
A(h) =
n1/h
1 e
hn
n
+O
_
h ln(1/h)
_
,
B(h) =
n>1/h
e
hn
n
+O(h).
Ainsi
A(h) B(h) =
n1/h
1
n

n1
e
hn
n
+o(1)
= ln(1/h) + +ln(1 e
h
) +o(1)
= +o(1).
Cela implique bien que b = e
et termine la preuve de la formule

de Mertens.
11. Le crible de Brun et le problme des nombres
premiers jumeaux
Bien que largement postrieur Tchbychev, le crible combina-
toire de Brun, dvelopp entre 1917 et 1924, appartient la
mme sphre dinfluence. Il fournit dans un cadre trs gnral des
estimations de mme nature que celles de Tchbychev.
36
La motivation de Brun est de rendre utilisable la formule de
Legendre pour le crible dratosthne, qui, sous sa forme basique,
comporte trop de termes pour autoriser des calculs flexibles.
Considrons par exemple le cas des nombres premiers
(x) (
x) +1 =
P
+
(d)
x
(d) x/d| .
Si nous estimons x/d| par x/d +O(1), nous obtenons
(x) (
x) +1 = x
x
_
1
1
p
_
+O
_
2
(
x)
_
.
Dune part, le terme derreur est exponentiellement plus grand
que le terme principal ; dautre part la formule de Mertens nous
montre que ce terme principal est quivalent 2e
x/ ln x, et nest
donc pas asymptotiquement gal la valeur conjecture.
Brun parviendra essentiellement surmonter ces deux difficults.
Sa mthode fournit, dans de nombreux cas, une vritable formule
asymptotique ; dans les autres, elle produit des ingalits optimales
une constante multiplicative prs.
Lide de base est simple. Il sagit de remplacer dans la formule
du crible dratosthne
N
m
(x) =
nx, (n,m)=1
1 =
d|m
(d) x/d|
la fonction de Mbius par une fonction sannulant plus souvent
et fournissant cependant une majoration ou une minoration pour
N
m
(x).
Lorsquon interprte, dans le membre de droite de la formule de
Legendre, x/d| comme le nombre des entiers t x/d et quon
ordonne la somme double selon les valeurs de n = td, on obtient
N
m
(x) =
d|m
tx/d
(d) =
nx
d|(n,m)
(d).
37
Regroupons maintenant, dans la somme intrieure, les valeurs
de d ayant le mme nombre de facteurs premiers. Posant
K = ((n, m)), il suit
d|(n,m)
(d) =
K
k=0
(1)
k
_
K
k
_
= (1 1)
K
=
_
1 si K = 0, i.e. (n, m) = 1,
0 si K > 0, i.e. (n, m) > 1.
On voit ainsi que la formule du crible se ramne celle du
binme. Cela fournit la clef de la mthode de Brun : au lieu
dutiliser le dveloppement complet de (1 1)
K
, il a recours au
calcul de la somme partielle
k
(1)
k
_
K
k
_
= (1)
_
K 1
_
( 0, K 1).
On obtient ainsi
d|m
1
(d) x/d| N
m
(x)
d|m
2
(d) x/d|
pour toutes fonctions
1
,
2
dfinies par
1
(d) =
_
(d) si (d) 2r +1,
0 si (d) > 2r +1,
2
(d) =
_
(d) si (d) 2s,
0 si (d) > 2s,
o r et s sont des paramtres entiers arbitraires.
La mthode, qui pose un difficile et profond problme dop-
timisation, a t dveloppe et raffine, notamment par Rosser,
Halberstam, Richert, puis par Iwaniec, qui lui a donn sa forme
quasi dfinitive.
38
Il nous entranerait largement hors du cadre de cet ouvrage
de dvelopper plus avant la thorie du crible combinatoire.
Contentons-nous de donner une application simple.
Thorme 11.1 Soient M N, N N
et A un ensemble
dentiers inclus dans lintervalle ]M, M +N]. On suppose que, pour
chaque nombre premier p, A est exclu de w(p) classes rsiduelles
modulo p et que w(p) 1. Alors on a
[A[ N
pN
_
1
w(p)
p
_
.
Dans certaines circonstances, le crible peut galement fournir
des bornes infrieures. Une situation standard de ce type est celle
de lvaluation du nombre des entiers nexcdant pas x et sans
facteur premier y. On obtient que
(x, y) :=
nx, P
(n)>y
1 x
py
_
1
1
p
_
uniformment pour x et (ln y)/ ln x 0.
Brun a dvelopp ds 1919 une spectaculaire application de sa
mthode au problme fameux des nombres premiers jumeaux. On
dit que deux nombres premiers impairs (p, q) sont jumeaux si
q = p +2, autrement dit si p et q sont aussi proches que le permet
leur tat de nombres premiers. Ainsi
(3, 5), (5, 7), (11, 13), (17, 19), (29, 31), (41, 43), (59, 61)
sont des couples premiers gmellaires.
Le Thorme 11.1 a pour consquence immdiate la majoration
2
(n) n/(ln n)
2
,
39
pour le nombre
2
(n) des couples de nombres premiers jumeaux
nexcdant pas n. Brun avait initialement obtenu une estimation
trs lgrement moins prcise mais cependant suffisante pour
impliquer que la srie des inverses des nombres premiers jumeaux
converge une manire saisissante de mettre en vidence la
raret des nombres premiers jumeaux dans lensemble de tous les
nombres premiers. On a en effet, notant J lensemble des nombres
premiers jumeaux,
pJ
1
p
=
n2
2
(n)
2
(n 1)
n
=
n2
2
(n)
n(n +1)
Le raisonnement probabiliste heuristique suggre que lensemble

J est infini et que la majoration de Brun est pratiquement optimale.
Essentiellement, on peut supposer que la probabilit pour quun
nombre entier de taille n choisi au hasard soit premier est 1/ ln n.
Les nombres n et n + 2 ne sont pas indpendants, mais on peut
simuler le hasard en prtendant que les diffrentes conditions de
congruence modulo les nombres premiers p n se comportent de
manire statistique. Pour que (n, n+2) soit un couple de nombres
premiers jumeaux, il faut et il suffit que n soit exclu dune classe
modulo 2 et, pour chaque nombre premier p avec 2 < p
n,
de deux classes modulo p. Sil y avait parfaite indpendance, on
obtiendrait une probabilit
1
2
2<p
n
_
1
2
p
_
.
Cependant, nous savons que les grands nombres premiers (de
lordre dune puissance de n) ne sont pas indpendants puisque
lon a, daprs le thorme des nombres premiers et la formule de
Mertens,
(n)/n
1
2
e
n
(1 1/p) 1/ ln n.
40
Cela incite introduire dans le calcul prcdent un facteur correctif
(
1
2
e
)
2
une fois
1
2
e
pour chaque nombre premier et

conjecturer, avec Hardy et Littlewood, que le nombre
2
(n) de
couples de nombres premiers jumeaux nexcdant pas n vrifie
2
(n)
n
(
1
2
e
)
2 1
2
2<p
n
_
1
2
p
_

C
(ln n)
2
,
avec C := 2
p>2
_
1 1/(p 1)
2
_
1,320323.
La constante C est connue sous le nom de constante des nombres
premiers jumeaux. Par des mthodes de crible, Jie Wu a montr en
2004 que lon a pour n assez grand
2
(n) 3,4 C
n
(ln n)
2
Jie Wu
41
Chapitre 2
La fonction zta de Riemann
1. Introduction
Riemann na crit quun seul article sur la thorie des nombres,
publi en 1859. Ce mmoire a boulevers dfinitivement le
paysage de la discipline. Lapproche spcifique de la rpartition
des nombres premiers qui y est dveloppe, la fois simple et
rvolutionnaire, consiste faire appel la thorie de Cauchy des
fonctions holomorphes, alors relativement rcente.
(1)
La thorie de Cauchy est traditionnellement enseigne dans les
seconds cycles universitaires, et il nest pas question dexposer ici
ne serait-ce que les rudiments de ce vaste domaine de lanalyse
moderne. Nous nous contentons dindiquer que lobjet central est
celui de fonction analytique dune variable complexe, autrement dit
une fonction f (s) (s C) dont les variations locales ressemblent
celles dun polynme.
Ainsi, pour tout entier naturel m 0, une fonction analytique
satisfait une approximation du type
f (s
0
+w) a
0
+a
1
w +a
2
w
2
+ +a
m
w
m
1. La formule intgrale de Cauchy, clef de vote de la thorie, date de 1825.
43
lorsque s
0
est un point o f est bien dfinie et w est un nombre
complexe assez petit, i.e. assez proche de lorigine. En termes
consacrs, on dit que f dveloppable en srie entire
f (s) =
n0
a
n
(s s
0
)
n
au voisinage de tout point s
0
o elle est dfinie.
Le saut qualitatif entre lanalyse relle et lanalyse complexe
provient dune proprit fondamentale dcouverte par Cauchy : en
chaque point, la valeur dune fonction analytique peut tre calcule
en effectuant la moyenne de ses valeurs en des points voisins.
Bien entendu, il faut dfinir une notion adapte de voisinage
et expliquer comment on calcule la moyenne. Cest l que la
reprsentation gomtrique des nombres complexes trouve son
utilit la plus clatante : sans entrer dans une description rigoureuse,
on peut dire que les points prendre en compte dans le calcul de
la moyenne peuvent tre choisis de manire constituer dans leur
ensemble toute courbe entourant le point slectionn. Tournez
autour de 0 selon un cercle, un rectangle, un triangle ou un
polygone 17 cts, vous obtiendrez toujours f (0), pour peu que
vous ayez dfini la moyenne selon les rgles de lart.
Formellement, on dit que cette moyenne est obtenue grce une
intgrale curviligne, le long dune courbe ferme du plan complexe.
Ce procd trs puissant est aussi trs souple car il autorise, sous
certaines conditions, des dformations du chemin dintgration
qui facilitent lapproximation de lintgrale.
Riemann a compris trs rapidement que la fonction zta dEuler
() := 1 +
1
2
+
1
3
+
1
4
+ ,
dj prsente au Chapitre 1 (voir p. 3) et qui actualise le lien
structurel entre les entiers et les nombres premiers, pouvait tre
prolonge en une fonction analytique de la variable complexe
s ,= 1, et partant bnficier de la libert de manuvre octroye par
la thorie de Cauchy.
44
LA FONCTION ZTA DE RIEMANN
Dans la suite de ce chapitre, nous nous attachons dcrire
plus avant ce contexte et lapport rvolutionnaire de Riemann la
thorie analytique des nombres.
Le calcul numrique suggre facilement les deux formules suivantes
1 +
1
4
+
1
9
+
1
16
+
1
25
+ =
2
/6
(1
1
4
)(1
1
9
)(1
1
25
)(1
1
49
) = 6/
2
.
Dans la somme, apparaissent les inverses des carrs des entiers ;
dans le produit, ce sont les inverses des carrs des nombres premiers
qui entrent en jeu.
Ces formules ne sont videmment pas dues au hasard. On peut
les justifier sans trop deffort laide du thorme fondamental de
larithmtique, qui nonce quun nombre entier scrit de manire
unique comme le produit de nombres premiers : pour un carr, il
faudra simplement lever les facteurs premiers au carr. On a par
exemple
1
1
1
4
= 1 +
1
2
2
+
1
2
4
+
1
2
6
+
de sorte que
1
1
1
4
1
1
1
9
1
1
1
25
=
_
1 +
1
2
2
+
1
2
4
+
__
1 +
1
3
2
+
1
3
4
+
__
1 +
1
5
2
+
1
5
4
+
_
= 1 +
1
2
2
+
1
3
2
+
1
5
2
+
1
2
2
3
2
+
Lorsque le produit de gauche est tendu tous les carrs de nombres
premiers, tous les carrs des entiers apparaissent dans la somme de
droite.
Dans cette formule, le fait que les nombres soient levs aucarr est
contingent : on pourrait remplacer, formellement, lexposant 2 par
nimporte quel nombre rel, mais, pour des raisons de convergence,
les deux membres nont de sens que si cet exposant est > 1.
45
Lide de Riemann consiste tendre le champ de la variable
au plan complexe. Dans un premier temps, les mmes raisons de
convergence imposent de se limiter au demi-plan = 'e s > 1.
Augustin-Louis Cauchy
(17891857)
Cependant, Cauchy a montr que
les fonctions analytiques de la variable
complexe possdent une qualit extra-
ordinaire : lorsque deux fonctions
concident sur un ensemble suffisam-
ment dense, elles concident partout.
Une telle proprit est totalement en
dfaut pour les fonctions de variable
relle ; mme indfiniment drivable
(cest--dire infiniment lisse ), rien
nempche une telle fonction dtre
nulle sur lintervalle [0, 1] de vivre
indpendamment sa vie sur la demi-droite ]1, [. Mais lorsquune
fonction analytique est nulle sur le segment [0, 1], elle est
identiquement nulle.
Cette dcouverte tonnante possde un corollaire non moins
remarquable. Supposons que nous disposions de deux formules
dpendant dun nombre complexe s et ayant respectivement un
sens lorsque s dcrit deux parties distinctes du plan complexe. Si,
en outre, ces deux parties ont une intersection assez dense ,
et si les valeurs produites par les deux formules concident sur
cette intersection, nous pouvons les considrer comme dfinissant,
chacune dans son domaine, une fonction unique.
Les mathmaticiens dsignent ce phnomne comme le prolon-
gement analytique.
Cela ouvre des possibilits jusque-l insouponnes : on peut,
par exemple, tablir une proprit concernant les valeurs dune
fonction linfini en ne travaillant que sur le disque unit
allumer une bougie Rome sans quitter Paris : vous en aviez rv,
Cauchy la rendu possible !
46
Riemann a apport la thorie des nombres ce merveilleux
cadeau : prolonger la fonction zta dEuler au plan complexe tout
entier, priv seulement du point s = 1.
Il a ensuite montr que les zros de cette fonction, autrement
dit les points du plan complexe o elle sannule, jouent un rle
essentiel dans la rpartition des nombres premiers. Mieux : il y
a une correspondance prcise entre la situation des zros dans le
plan et le comportement asymptotique de la fonction (x) qui
dnombre les nombres premiers nexcdant pas x.
Ainsi, comme nous le verrons plus loin, prouver que la fonction
(s) ne sannule pas sur la droite = 'e s = 1 quivaut tablir
la conjecture de GaussLegendre
(x) x/ ln x (x ).
Lhypothse de Riemann est probablement le plus clbre des
problmes ouverts en mathmatiques : elle affirme que, si (s) = 0
et 0 < < 1, alors =
1
2
, cest--dire que, dans la bande verticale
(appele aussi bande critique)
B := s : 0 < < 1,
tous les zros sont aligns sur la droite =
1
2
.
La consquence essentielle de cette hypothse est quelle permet
destimer (x) avec une erreur essentiellement de lordre de
x.
Nous donnerons plus loin une formulation plus prcise de cette
assertion et une expression du terme principal de lapproximation,
qui ncessite des notions mathmatiques plus labores. Cependant,
lessentiel est l : le mystre de la rpartition de nos si concrets et
si familiers nombres premiers se cache tout entier dans la manire
dont sont disposs les zros dune certaine fonction analytique
dans le plan complexe.
Avant daller plus loin et dexpliciter, avec les outils math-
matiques ncessaires, la situation dcrite plus haut, donnons un
exemple simple de fonction analytique dont les zros sont rpartis
sur une droite.
47
On apprend en classe de Terminale la formule dite de Moivre :
e
i
= cos +i sin ( R).
On en dduit, pour s := +i, que
f (s) := e
s
1 = e
cos 1 +ie
sin .
Lquation f (s) = 0 quivaut donc e
cos = 1 et e
sin = 0,
do e
2
(cos )
2
+(sin )
2
= e
2
= 1, donc = 0, et = 2k
(k Z).
Ainsi, les zros de f (s) sont rgulirement disposs sur laxe
imaginaire, de 2 en 2.
3. Produit eulrien
Comme soulign plus haut, lide fondamentale de Riemann
consiste tendre la formule dEuler (cf. 1.10, p. 34) la variable
complexe. Il pose ainsi
(s) :=
n1
n
s
=
p
_
1 p
s
_
1
pour tout nombre complexe s de partie relle > 1.
(1)
La srie du
membre de gauche est absolument convergente, et, par consquent,
sa somme (s) est analytique dans le demi-plan > 1. La
convergence du produit infini du membre de droite est galement
absolue et ne pose aucun problme. Lgalit des deux membres,
que lon peut voir comme la formule de base de la thorie analytique
des nombres, peut tre tablie de deux manires diffrentes : soit
on tend la preuve du Chapitre 1 au cas dune variable complexe,
soit on utilise la formule dEuler dargument rel en faisant appel
au principe du prolongement analytique dcrit au 2.
1. Ici et dans toute la suite de ce chapitre nous posons systmatiquement s = + i.
48
Nous avons vu au chapitre prcdent quen faisant tendre s
vers 1 dans la formule dEuler relle, on obtient la divergence de
la srie

p
1/p, et mme lvaluation quantitative plus prcise
(1)
px
1/p = ln
2
x +a +o(1),
o a est une constante adquate (cf. p. 33).
La formule dEuler complexe possde la consquence spcifique
remarquable que (s) ,= 0 pour tout nombre complexe s du
demi-plan > 1 : cela dcoule immdiatement de la convergence
du produit infini, dont aucun facteur ne sannule dans cette rgion.
Limportance de la localisation des zros de (s) apparatra plus
loin. Pour lheure, contentons-nous de remarquer que la formule
dEuler implique immdiatement
log (s) =
p
log
_
1
1 p
s
_
=
p
1
p
s
+h(s) ( > 1)
o h(s) =
2
1/p
s
est une srie convergente dans le
demi-plan >
1
2
.
(2)
Or, nous verrons que la fonction (s) est
prolongeable en une fonction analytique dans un domaine plus
grand que le demi-plan de convergence > 1. Au vu de la formule
prcdente, les zros de (s) (i.e. de son prolongement) dans le
demi-plan >
1
2
sont galement des valeurs remarquables (le terme
consacr est celui de singularits) du prolongement analytique de
la srie

p
p
s
. Il savre que, grce la thorie des fonctions
1. quivalente la formule de Mertens (cf. 1.10), elle-mme tablie grce la formule
dEuler relle.
2. Ici et dans la suite nous utilisons librement lexistence dun prolongement complexe
de la fonction logarithme satisfaisant la proprit suivante : tant donns un nombre
rel > 0 et une fonction analytique f (s), sans zro pour !e s > et relle
positive pour s ], +[, alors log f (s) est dfini dans le demi-plan !e s > et
y vrifie !e log f (s) = ln [f (s)[. Le lecteur nophyte pourra se contenter dadmettre
que, moyennant certaines prcautions qui seront toujours prises dans la suite, ce
prolongement satisfait aux rgles de calcul usuelles.
49
holomorphes, la localisation de ces singularits est essentiellement
quivalente llucidation du comportement asymptotique de la
fonction de comptage (x). Nous reviendrons amplement sur ce
point capital.
Avant de poursuivre notre tude des liens entre la fonction
zta de Riemann et la rpartition des nombres premiers, signalons
quelques autres consquences remarquables de la formule dEuler.
On a clairement pour > 1
(s)
1
=
p
_
1 p
s
_
.
Lorsque lon dveloppe le produit infini (la preuve donne au
Chapitre 1 de la formule dEuler stend mutatis mutandis ce
cadre), on obtient
(s)
1
= 1
p
p
s
+
p<q
(pq)
s
p<q<r
(pqr)
s
+
o p, q, r, . . . dsignent des nombres premiers. Ainsi seuls des
entiers sans facteur carr apparaissent dans cette sommation, et,
pour un tel entier n, le coefficient de n
s
vaut 1 selon que le
nombre de facteurs premiers de n est pair ou impair. En dautres
termes, on a
(s)
1
=
n1
(n)n
s
( > 1)
o (n) est la fonction de Mbius, dj rencontre au Chapitre 1
cf. p. 25.
Semblablement, on peut crire
(s)
2
=
1,m1
s
m
s
=
n1
(n)n
s
( > 1)
o (n) est le nombre de dcompositions de n sous la forme m,
cest--dire le nombre de diviseurs de n. Cette relation est un cas
particulier de convolution des fonctions arithmtiques, que nous
dcrivons plus en dtail au Chapitre 4.
50
Par drivation logarithmique, la formule dEuler fournit
(s)
(s)
=
1
ln p
p
s
=
n1
(n)
n
s
o (n) est la fonction de von Mangoldt dj introduite au
Chapitre 1 ( 1.9, p. 27).
On voit ainsi que les fonctions arithmtiques de la thorie
lmentaire des nombres premiers apparaissent naturellement
comme des coefficients de sries drives de (s) par des transfor-
mations analytiques simples. Cela illustre nouveau le rle central
de la fonction zta dans la thorie analytique des nombres.
4. Prolongement analytique
Ainsi que nous lavons signal plus haut, lintrt majeur de consi-
drer (s) comme fonction dune variable complexe est que lon
peut en tendre la dfinition au del du domaine de convergence
de la srie. Les renseignements relatifs au prolongement peuvent
ensuite tre utiliss dans le cadre de la thorie gnrale des fonctions
analytiques, en particulier pour lvaluation dintgrales curvilignes.
Nous allons tout dabord tendre la dfinition de (s) au demi-
plan > 0. Une manipulation trs simple est suffisante. On a
pour > 1
(s) =
n1
n
s
=
n1
s
_

n
dt
t
s+1
= s
_

1
_
nt
1
_
dt
t
s+1
= s
_

1
t|
t
s+1
dt =
s
s 1
s
_

1
t)
t
s+1
dt,
o t| dsigne la partie entire du nombre rel t et t) sa partie
fractionnaire.
Comme t) [0, 1[, la dernire intgrale converge pour > 0.
Le membre de droite dfinit donc un prolongement de (s) au
demi-plan > 0 priv du point s = 1. Ce prolongement est
51
analytique (la thorie nous apprend quil suffit pour cela que ce soit
une fonction drivable de s), donc, daprs le principe mentionn
dans lintroduction, il est uniquement dtermin. Autrement dit,
toute autre mthode dextension de la dfinition de (s) (et il y en
a de nombreuses !) aurait conduit la mme fonction.
Une des proprits les plus frappantes et les plus importantes
dcouvertes par Riemann est lexistence dune quation fonctionnelle
pour la fonction zta, de la forme
(s) = (s)(1 s) (0 < 1)
o est dfinie au moyen de certaines fonctions classiques
de lanalyse et possde un sens pour toute valeur complexe de s
non gale un entier positif impair. Nous expliciterons plus
loin (s). Lessentiel est dabord de constater que, puisque la
transformation s 1 s possde le point s =
1
2
pour centre
de symtrie, lquation fonctionnelle permet (grce au principe
du prolongement analytique) de dfinir (s) dans le demi-plan

1
2
(1)
ds lors que lon en connat la valeur pour
1
2
. Or,
nous venons prcisment de dfinir (s) pour > 0 : lquation
fonctionnelle fournit donc le prolongement de (s) au plan complexe
tout entier.
Il existe beaucoup de dmonstrations diffrentes de lquation
fonctionnelle de zta. Lune des plus limpides, que nous prsentons
ici, repose sur la formule de Poisson qui nonce que, si lon dfinit
la transforme de Fourier dune fonction f intgrable sur R par
f (x) =
_
+
f (y)e
2ixy
dy,
on a

nZ
f (n) =
nZ
f (n)
1. Sauf, a priori, s = 0, mais la valeur (0) sobtient aisment par passage la limite.
52
pour toute fonction f drivable sur R et vrifiant certaines
conditions de dcroissance.
(1)
Il est trs facile de vrifier que les conditions dapplication de la
formule sommatoire de Poisson sont satisfaites par f (x) = e
ux
2
pour chaque valeur du paramtre positif u. On a alors
f (x) = e
x
2
/u
u
1/2
.
On obtient ainsi que la fonction : ]0, []0, [ dfinie par la
formule
(u) :=
nZ
e
n
2
u
satisfait lquation fonctionnelle
(1/u) =
u (u) (u > 0).

(2)
Nous verrons plus loin comment cette identit implique son
tour lquation fonctionnelle de la fonction zta.
La fonction (s) intervenant dans lquation fonctionnelle de
(s) est dfinie ( laide de la fonction dEuler sur laquelle nous
reviendrons dans un instant) par la formule
(s) = 2
s
s1
sin(
1
2
s)(1 s),
de sorte que lon a finalement
(s) = 2
s
s1
sin(
1
2
s)(1 s)(1 s) (s ,= 0, 1).
Ici, la fonction sinus reprsente en fait le prolongement
analytique de la fonction trigonomtrique usuelle et est dfinie
comme somme de la srie
sin z :=
n0
(1)
n
z
2n+1
(2n +1)!
qui converge pour tout z C.
1. On peut montrer, par exemple, que la formule de Poisson est valable si

nZ
f (n)
converge et si

nZ
f

(n + x) converge uniformment pour x [0, 1].
2. La fonction (u) est connue sous le nom de fonction thta de Jacobi.
53
La fonction (s) a t dcouverte par Euler, qui la initialement
dfinie par la formule
(s) =
1
s
n1
(1 +1/n)
s
1 +s/n
(s C, s ,= 0, 1, 2, . . .).
Cest une fonction omniprsente en analyse mathmatique, o elle
est la seule pouvoir contester la position dominante du couple
infernal constitu de lexponentielle et du logarithme. Elle possde
de nombreuses dfinitions quivalentes. La plus frquemment
utilise dans lenseignement moderne est
(s) =
_

0
x
s1
e
x
dx,
qui a linconvnient de navoir a priori de sens que pour > 0
mais permet facilement, grce une banale intgration par parties,
dtablir lquation fonctionnelle
s(s) = (s +1),
qui, son tour, fournit le prolongement analytique.
En particulier, (n + 1) = n!, ce quon exprime parfois en
disant que la fonction interpole la factorielle. Parmi les autres
proprits classiques de la fonction Gamma, mentionnons encore
la jolie formule des complments
(s)(1 s) = / sin(s)
et la non moins esthtique formule de duplication de Legendre
(s)(s +
1
2
) =
2
12s
(2s).
Aprs ces prliminaires, il est facile dtablir lquation fonction-
nelle de (s) selon une mthode indique par Riemann lui-mme.
On commence par observer quun simple changement de variable
54
(soit x = n
2
y) dans lintgrale de dfinition de (
1
2
s) fournit,
pour > 0,
(
1
2
s)
s/2
n
s
=
_

0
y
s/21
e
n
2
y
dy (n = 1, 2, . . .).
Pour > 1, on peut sommer cette identit sur toutes les valeurs
entires positives de n. On obtient
(s)
_
1
2
s
_
s/2
=
_

0
1
(y)y
s/21
dy,
o lon a pos
1
(y) :=
1
2
((y) 1).
Maintenant, nous scindons lintgrale au point y = 1 et
effectuons le changement de variable z = 1/y pour valuer la
contribution de lintervalle 0 y 1. Lquation fonctionnelle
de fournit
_
1
0
1
(y)y
s/21
dy =
1
s(s 1)
+
_

1
1
(z)z
(s+1)/2
dz.
En reportant dans la formule initiale, il suit
(s)
_
1
2
s
_
s/2
=
1
s(s 1)
+
_

1
1
(x)x
(s+1)/2
+x
s/21
dx.
On a
1
(x) = O(e
x
), une majoration plus que suffisante pour
assurer la convergence uniforme de lintgrale prcdente sur
tout domaine born de C. Cela dfinit une fonction analytique
de s, manifestement invariante par la transformation s 1 s.
On en dduit ipso facto le prolongement C 0, 1 de la
fonction (s)
_
1
2
s
_
s/2
en une fonction invariante par cette
mme transformation : cest lquation fonctionnelle cherche,
que lon ramne sans peine la forme annonce grce aux formules
des complments et de duplication.
Ce rsultat, dune grande beaut, est aussi trs riche de cons-
quences. Nous nen indiquons que quelques-unes.
55
Faisons dabord, dans la formule
(s) = (s)(1 s),
tendre s vers 2n + 1, o n est un entier positif. Le membre de
gauche tend vers la valeur finie (2n +1), alors que le module du
facteur (s) tend vers linfini comme latteste, par exemple, la
dfinition dEuler de (s). Cela nest possible que si (1 s) tend
vers 0. Nous avons donc tabli que la fonction (s) sannule aux
points 2, 4, 6, . . ., quon appelle les zros triviaux de (s).
Lquation fonctionnelle fournit aussi que le point s = 1 est
la seule singularit de zta dans tout le plan complexe. Cela rsulte
immdiatement de la validit de cette assertion pour le demi-plan

1
2
, en remarquant que les seules singularits de (s) sont les
entiers positifs impairs. En effectuant un dveloppement limit
de lquation fonctionnelle au voisinage de lorigine, on obtient
facilement que (0) =
1
2
et, un peu moins facilement,
(1)
que
(0) =
1
2
log 2.
Une troisime consquence de lquation fonctionnelle concerne
le calcul de (2n) pour n 1. Il faut pour cela faire appel un
rsultat auxiliaire, issu dune autre mthode de prolongement
analytique de (s), qui prcise que les valeurs (2n 1) (n 0)
sont des nombres rationnels. Plus prcisment, notant B
n
le n-ime
nombre de Bernoulli,
(2)
on a
(2n 1) =
B
2n+2
2n +2
(n 0).
1. Ce calcul fait en particulier appel la formule de Stirling cite en note p. 26.
2. Les nombres de Bernoulli sont dfinis par le dveloppement de Taylor
x
e
x
1
=
n0
B
n
x
n
n!

On a B
1
=
1
2
, B
2
=
1
6
, B
4
=
1
30
, B
6
=
1
42
, . . . , et B
2n+1
= 0 pour tout n 1.
56
En reportant dans lquation fonctionnelle, on obtient
(2n) = (1)
n1
2
2n1
B
2n
(2n)!
2n
(n 1).
Ainsi
(2) =
n1
1
n
2
=
1
6
2
, (4) =
n1
1
n
4
=
1
90
4
, etc.
On sait depuis Lindemann (1882) que le nombre est
transcendant, cest--dire quil est non seulement irrationnel mais
nannule aucun polynme coefficients entiers non identiquement
nul.
(1)
En particulier, tous les nombres (2n) sont donc transcendants.
La nature arithmtique des nombres (2n+1) pose un problme
ouvert. la suite du rsultat de Roger Apry, qui a montr en
1978 que (3) est irrationnel,
(2)
Tanguy Rivoal a tabli en 2000
que (2n + 1) est irrationnel pour une infinit de valeurs de n.
Cependant ces valeurs de la fonction zta continuent de braver la
sagacit des spcialistes... et la curiosit des amateurs !
5. La droite = 1 et le thorme des nombres
premiers
Une fonction analytique f (s) a ncessairement un comportement
local simple, puisquelle est, au voisinage de chaque point, trs
bien approchable par un polynme. En particulier, si f (s
0
) = 0,
1. Lindemann a ainsi montr que la quadrature du cercle (cest--dire la construction,
avec pour seuls instruments la rgle et le compas, dun carr de surface gale celle du
cercle de rayon unit, soit ) est impossible. Il a de ce fait apport une rponse ngative
un problme pos par les Grecs et plus de deux fois millnaire.
2. Apry donne en particulier la jolie formule
(3) =
5
2
n1
(1)
n1
n
3
_
2n
n
_
57
alors on a, pour une constante c et un entier k 1 convenables,
f (s) c(s s
0
)
k
(s s
0
).
Nous avons vu au 4 que (s) est prolongeable en une fonction
analytique dans C1 et que le comportement de cette fonction
est galement simple au voisinage de la singularit s = 1, puisque
lon a
(s) 1/(s 1) (s 1).
En considrant la relation issue du produit eulrien
log (s) =
p
p
s
+h(s) ( > 1)
o h(s) est une fonction analytique dans le demi-plan >
1
2
,
on dduit donc quau voisinage de s = 1 la fonction log (s)
ressemble log1/(s1), et partant que sa drive se comporte
comme 1/(s 1). Autrement dit, on a
Z(s) :=
(s)
(s)
=
n1
(n)
n
s

1
s 1
lorsque s tend vers 1 en restant dans le demi-plan > 1.
Hadamard et La Valle-Poussin ont tabli indpendamment
en 1896 que la fonction (s) ne sannule pas sur la droite = 1,
ce que lon peut interprter comme le fait que lapproximation de
Z(s) par 1/(s 1) reste valable, en un sens faible, tout le long de la
droite = 1. Ainsi que nous allons le voir immdiatement, cela
implique le thorme des nombres premiers sous la forme
(x) x/ ln x (x ).
Commenons par une justification heuristique, laquelle le
lecteur peu familiaris avec les techniques avances de lanalyse
pourra se limiter. Rappelons la dfinition de la fonction de
Tchbychev
(x) =
nx
(n).
58
Nous avons tabli au Chapitre 1 ( 1.9, p. 29) la formule asymp-
totique
(x) =
(x)
ln x
_
1 +O
_
1
ln x
__
(x ).
Donc le thorme des nombres premiers quivaut
(x) x (x ).
Cela signifie que la fonction se comporte en moyenne comme
la fonction 1. Or, les sries en s
(1)
associes ces fonctions sont
respectivement Z(s) et (s). Observons maintenant que la fonction
(s) est rgulire en tout point s ,= 1 alors que
Z(s) = d log (s)/ ds =
(s)/(s)
possde une singularit non seulement en s = 1 mais aussi
en tout zro de (s). Ainsi, labsence de zro de (s) sur la
droite = 1 signifie que les fonctions Z(s) et (s) sont de
mme nature dans le demi-plan ferm 1. Ce renseignement
taie donc bien qualitativement lhypothse que et 1, partant
(x) =
nx
(n) et x| =
nx
1, se comportent de manire
similaire.
Techniquement, le lien entre une srie de srie de Dirichlet
F(s) :=
n1
a
n
n
s
et la fonction sommatoire de ses coefficients
A(x) =
1nx
a
n
est fourni par une classe de formules appeles formules de Perron.
Dans le cas qui nous occupe, et conformment largument
1. Communment dsignes sous le nom de sries de srie de Dirichlet.
59
heuristique prcdemment dvelopp, il est naturel dintroduire la
srie
F(s) = Z(s) (s) =
n1
(n) 1
n
s

Une formule de Perron adapte au problme peut alors scrire,
avec s = +i,
_
x
0
((y) y|) dy =
1
2
_
+
F(s)x
1+s
s(1 +s)
d ( > 1).
Sous lhypothse que (s) ne sannule pas pour = 1,
le nombre F(s) tend, lorsque 1+, vers une limite
finie F(1 + i) pour toute valeur de R : on a
F(1 + i) =
(1 + i)/(1 + i) (1 + i) si ,= 0, et
la proprit persiste pour = 0 puisque (s) et Z(s) sont toutes
deux, dans un voisinage de s = 1, de la forme 1/(s 1) + h(s),
o h(s) est analytique.
Nous admettons alors que lon peut passer la limite sous le
signe dintgration dans la formule de Perron : cela est aisment
justifi en pratique sous lhypothse que [(1 + i)[ ne devient
pas trop petit lorsque [[ et toutes les preuves du fait
que cette quantit ne sannule pas fournissent effectivement ce
renseignement avec dailleurs une grande marge de scurit.
Nous obtenons ainsi
_
x
0
((y) y|) dy =
x
2
2
_
+
F(1 +i)x
i
(1 +i)(2 +i)
d.
Le membre de droite peut tre rcrit sous la forme
x
2
f
_
ln x
2
_
avec f () :=
F(1 +i)
2(1 +i)(2 +i)
60
Or un rsultat classique danalyse de Fourier, connu sous le nomde
lemme de RiemannLebesgue, stipule que la transforme de Fourier
dune fonction intgrable tend ncessairement vers 0 linfini.
(1)
Nous avons donc obtenu
_
x
0
((y) y|) dy = o(x
2
) (x ),
do _
x
0
(y) dy =
1
2
x
2
+o(x
2
) (x ).
Une manipulation trs simple, reposant sur la croissance de la
fonction , permet alors de conclure. Pour tout > 0, on dduit
en effet de ce qui prcde que
1
2
x
2
1
2
x
2
(1 )
2
+o(x
2
) =
_
x
x(1)
(y) dy x(x)
_
x(1+)
x
(y) dy =
1
2
x
2
(1 +)
2
1
2
x
2
+o(x
2
),
do, en divisant par x,
(1
1
2
)x +o(x) (x) (1 +
1
2
)x +o(x).
Comme peut tre choisi arbitrairement petit, on obtient bien la
conclusion requise, sous la forme (x) x.
Nous avons donc montr comment labsence de zro de (s) sur
la droite = 1 implique le thorme des nombres premiers. Il est
noter que la rciproque peut galement tre tablie facilement. Si
(1 +i
0
) = 0
1. Le lecteur pourra sen convaincre aisment dans le cas des fonctions en escalier. Le
cas gnral sen dduit en observant (ou en admettant !) que la transforme de Fourier
dune fonction intgrable peut tre rendue uniformment proche de la transforme
dune fonction en escalier.
61
lanalyticit de (s) fournit immdiatement, pour un nombre entier
m 1 et une constante c ,= 0 convenables, le dveloppement
(s) = c(s 1 i
0
)
m
+
au voisinage de s
0
= 1 +i
0
, do
lim
1+
( 1)Z( +i
0
) = m.
Par ailleurs, une simple intgration par parties permet dcrire
Z(s) =
s
s 1
+s
_

1
_
(y) y
_
dy
y
s+1
( > 1),
do lon dduit, sous lhypothse (y) y (y ) et en posant
s = +i
0
,
( 1)[Z(s)[ ( 1)[s[
_
1
[
0
[
+
_

1
o(y
) dy
_
= o(1)
lorsque 1+. Cela implique m = 0 et contredit ainsi
lexistence dun zro sur la droite = 1.
Il nous reste montrer que (s) ne sannule pas sur la droite
= 1. Les preuves initiales de Hadamard et La Valle-Poussin
sont dapparences assez diffrentes mais reposent toutes deux sur un
argument de mme nature, savoir que la relation (1 +i
0
) = 0
impliquerait que 1 + 2i
0
soit une singularit de (s). En effet,
ainsi que nous lavons vu au 3, on a pour > 1
log (s) =
p
p
s
+O(1)
donc
ln [(s)[ =
p
cos( ln p)
p
+O(1).
Si cette quantit tend vers lorsque =
0
et 1+, elle
doit le faire au moins comme ln( 1) puisque est analytique.
62
Or, le comportement de la fonction zta sur laxe rel nous apprend
que
p
1
p
ln
_
1
1
_
.
Cela signifie que les cos(
0
ln p) sont majoritairement proches
de 1, cest--dire que les nombres
0
ln p sont majoritairement
proches de modulo 2. Mais alors les nombres 2
0
ln p devraient
tre majoritairement proches de 0 modulo 2, de sorte que
lim
1+
[( +2i
0
)[ ,
ce qui contredit la continuit de (s) en s = 1 +2i
0
.
Mertens (1898) a formalis largument prcdent sous une
forme particulirement limpide en introduisant lidentit trigono-
mtrique
3 +4 cos +cos 2 = 2(1 +cos )
2
0 ( R).
Lorsquon applique, comme le fait La Valle-Poussin dans un
mmoire subsquent, cette ingalit pour =
0
ln p
et que lon
somme sur toutes les valeurs de p et 1 aprs avoir multipli
par
1
p
, on obtient, compte tenu de ce qui prcde,

3 ln [()[ +4 ln [( +i
0
)[ +ln [( +i2
0
)[ 0
do
[()[
3
[( +i
0
)[
4
[( +i2
0
)[ 1.
Si 1 + i
0
tait un zro de (s), on devrait avoir par analyticit
[( + i
0
)[ c( 1) lorsque 1+, avec une constante
convenable c 0.
(1)
Compte tenu de la rgularit de (s) en
1. Si c = 0, nous interprtons la relation prcdente comme
[( + i
0
)[ = o( 1),
ce qui naltre pas le raisonnement qui suit.
63
s = 1 + 2i
0
, le membre de gauche de lingalit prcdente
devrait donc tre O( 1), et en particulier tendre vers 0, ce qui
contredit le fait quil doive constamment demeurer 1.
6. Lhypothse de Riemann
Nous avons vu au paragraphe prcdent que labsence de zro
de (s) sur la droite = 1 suffit essentiellement tablir
le thorme des nombres premiers.
(1)
Les preuves originales de
Hadamard et La Valle-Poussin peuvent facilement tre rendues
quantitatives. Par des calculs standard et sans introduire dide
nouvelle, elles fournissent que tout zro = +i de (s) satisfait
1 c/(ln [[)
9
pour une constante convenable c > 0.
(2)
Ds 1898, La Valle-
Poussin, en utilisant dailleurs un thorme de factorisation des
fonctions analytiques d Hadamard, a amlior ce rsultat en
1 c/ ln [[.
Cela fournit une majoration effective pour le terme derreur
du thorme des nombres premiers. Une technique classique
dintgration complexe permet en effet de dduire facilement de
lestimation prcdente que lon a, pour une constante convenable
a > 0,
(x) = x +O
_
xe
a
ln x
_
,
(x) = li(x) +O
_
xe
a
ln x
_
.
1. La restriction vient du fait que nous avons galement d supposer que [(1+i)[ ne
prend pas de trop petites valeurs lorsque [[ . Ikehara a montr en 1931 quaucune
minoration nest en ralit ncessaire et a fourni un cadre gnral o lon peut dduire
stricto sensu le thorme des nombres premiers de labsence de zro dabscisse 1 sans
introduire dinformation supplmentaire.
2. On peut vrifier numriquement que, si ( + i) = 0, alors [[ > 14.
64
La fonction li(x), ou logarithme intgral, est dfinie dans les
Notations et conventions. On a bien sr
li(x) x/ ln x (x ),
donc (x) li(x), mais lapproximation est en ralit de bien
meilleure qualit puisque le terme derreur est O
_
x/(ln x)
k
_
pour
tout k > 0. Cela confirme en particulier une conjecture de Gauss
qui, dans la premire moiti du dix-neuvime sicle
(1)
et sur la
foi des tables de nombres premiers alors disponibles, avait prcis
lintuition de Legendre en mettant lhypothse que le logarithme
intgral constituait une excellente approximation de la loi de
rarfaction des nombres premiers.
Ainsi, labsence de zro de (s) sur la droite = 1 fournit
dj une trs bonne valuation asymptotique de (x). Dans son
mmoire de 1859, Riemann met lopinion que beaucoup plus est
vrai, savoir que tous les zros non triviaux de (s) sont situs sur
laxe de symtrie =
1
2
.
(2)
Cette conjecture, connue sous le nomdhypothse de Riemann, na
toujours pas t rsolue aujourdhui, malgr les efforts conjugus
de centaines de mathmaticiens. Elle est riche dimplications dans
toutes les branches de la thorie des nombres et possde des
gnralisations dans de nombreux domaines des mathmatiques.
Pour bien comprendre lincidence de lhypothse de Riemann
sur la loi de rpartition des nombres premiers, il faut introduire
un nouvel outil, galement dcrit par Riemann, et connu sous le
nom de formules explicites de la thorie des nombres.
Il sagit ici de pousser jusqu sa limite naturelle la description de
la fonction (x) une formule analogue, mais plus complique,
est valable pour (x) en termes des zros de (s). Quune telle
1. Dans une lettre datant de 1849, en rponse une question de lastronome et
mathmaticien suisse Encke.
2. Gram a montr ds 1903 que les 15 premiers zros (i.e. les 15 zros de plus petites
ordonnes positives) sont bien dabscisse
1
2
. On sait aujourdhui quil en va de mme
pour plus dun milliard de zros.
65
entreprise soit seulement possible peut surprendre. On peut la
justifier a priori en observant que la thorie de Hadamard permet
de dfinir essentiellement une fonction analytique par ses zros et
ses singularits. Dans le cas de (s) on a
(s) =
e
As
2(s 1)(
1
2
s +1)
(1 s/)e
s/
avec A = ln(2) 1
1
2
(1)
et o le produit porte sur tous les
zros non triviaux de (s). Les ventuels zros multiples
(2)
sont
rpts avec leur ordre de multiplicit, et lon peut montrer que le
produit infini converge absolument. Comme la fonction zta, son
tour, dfinit compltement (x), il est raisonnable de rechercher
un lien direct entre (x) et la suite des zros de (s).
La formule explicite est
(x) = x lim
T
|m|T
x
(0)
(0)

1
2
ln(1 x
2
),
o la somme porte sur les zros non triviaux de (s), avec la mme
convention que prcdemment concernant les racines multiples.
La formule nest valable sous cette forme que si x nest pas une
puissance dun nombre premier, mais on peut montrer que lon a
sans restriction sur x
(x) = x
|m|T
x
(0)
(0)

1
2
ln(1 x
2
) +R
T
(x),
avec, notant x)) := min
p,1
[x p
[,
R
T
(x) x
(ln xT)
2
T
+
x ln x
x +T x))
1. Ici dsigne la constante dEuler.

2. On conjecture gnralement que tous les zros sont simples.
66
Au vu des formules explicites, il nest pas trs surprenant que
la taille du terme derreur du thorme des nombres premiers soit
lie au nombre
:= sup
()=0
'e ,
qui satisfait
1
2
1 cause de la symtrie des zros autour de
laxe =
1
2
, rsultant de lquation fonctionnelle. On a en fait
(x) = x +O(x
(ln x)
2
),
(x) = li(x) +O(x
ln x).
Rciproquement, on peut montrer que le nombre est la borne
infrieure de lensemble des nombres rels tels que
(x) li(x) = O(x
).
Ainsi lhypothse de Riemann quivaut la majoration asympto-
tique
( > 0) (x) = li(x) +O
(x
1/2+
),
ou encore lgalit
=
1
2
Hardy a tabli en 1914 que la fonction (s) possde une infinit

de zros sur la droite critique =
1
2
. Toute majoration du type
1 avec > 0 serait une nouvelle fantastique dans le
monde de larithmtique.
Une nergie considrable a t dploye pour lucider les
mystres de la fonction zta de Riemann. Donnons une ide
des progrs les plus significatifs accomplis depuis les travaux de
Hadamard et La Valle-Poussin en mentionnant, parmi beaucoup,
deux classes de rsultats.
Dune part, la suite du thorme de Hardy, on a cherch
affiner les minorations quantitatives du nombre des zros situs
sur la droite critique. De tels rsultats doivent tre mesurs laune
de la formule suivante annonce par Riemann et rigoureusement
67
tablie par von Mangoldt : notant traditionnellement = +i
un zro non trivial gnrique de (s), on a pour T ,
N(T) := [ : () = 0, 0 < T[
T
2
ln
T
2
Cela tant, Selberg a montr en 1942 que lon a, pour une constante
convenable c > 0,
N
0
(T) := [ : () = 0, =
1
2
, 0 < T[ cN(T)
pour tout T > 0, tablissant ainsi quune proportion positive des
zros non triviaux de (s) sont situs sur la droite critique =
1
2
. Ce
fut un grand choc, assorti dun certain tapage mdiatique, lorsque
Levinson annona en 1974 que c >
1
3
. Le dernier record en date
est d Conrey (1989) : c >
2
5
.
Dans lautre direction, la rgion sans zro de La Valle-Poussin
a t tendue par Vinogradov et Korobov qui ont montr
indpendamment en 1958 que lon a, pour tout zro non trivial
de (s),
1 c
0
/(ln [[)
2/3
(ln
2
[[)
1/3
pour une constante absolue convenable c

0
> 0.
(1)
La consquence
sur le terme derreur est lestimation
(x) = li(x) +O
_
xe
c
1
(ln x)
3/5
/(ln
2
x)
1/5
_
,
o c
1
est une constante absolue strictement positive.
Toutes les amliorations subsquentes de la mthode de Vino-
gradovKorobov, spectaculaires pour certaines applications, ont
une signification marginale dans ce problme, o lon peut les
interprter comme portant essentiellement sur la valeur de la
constante positive c
1
.
1. Voir note 2, p. 64.
68
7. Consquences arithmtiques
des renseignements sur les zros
ct de lapplication phare la taille du terme derreur dans le
thorme des nombres premiers, les renseignements sur les zros
sont susceptibles de nombreuses rpercussions arithmtiques, dont
certaines ne concernent dailleurs pas directement les nombres
premiers.
Nous nous bornons mentionner ici deux champs dapplica-
tions.
La premire concerne les thormes dits doscillation, qui ont
pour objet de fournir une limitation thorique la qualit du terme
reste dune formule asymptotique. Phragmn (1891) et Landau
(1905) ont montr que lexistence de singularits de sries de srie
de Dirichlet permet dobtenir effectivement des thormes de ce
type. Il nous entranerait trop loin de dcrire leur mthode, mais
nous pouvons facilement en expliciter certaines consquences dans
le cas de la fonction zta.
(1)
Nous emploierons la notation
f (x) =
(g(x))
pour signifier quil existe une constante c > 0 et une suite relle
x
n
n=1
telle que x
n
et
f (x
2n
) > c
g(x
2n
)
, f (x
2n+1
) < c
g(x
2n+1
)
.
Lexistence dau moins un zro dans la bande critique 0 < < 1
implique grce au thorme de PhragmnLandau que
(x) = li(x) +
x
ln x
_
.
Littlewood a montr que lon peut amliorer ce rsultat en
(x) = li(x) +
x ln
3
x
ln x
_
.
1. Ce sont donc bien les zros de (s) qui apparaissent ici, en tant que singularits de
log (s), qui ressemble fort

p
p
s
.
69
Beaucoup dautres thormes doscillation sont lis la localisation
des singularits de fonctions analytiques. Lun des plus clbres
est celui de Hardy relatif la fonction (n), gale au nombre des
diviseurs de n. Dirichlet a montr (cf. 4.3, p. 122) que lon a
nx
(n) = x(ln x +2 1) +O(
x)
et cest un des grands problmes ouverts de la thorie analytique
des nombres que de dterminer avec prcision la taille du terme
derreur. En considrant le prolongement analytique de la srie
n
(n)e
s
n
/
n,
Hardy a montr en 1915, par une mthode beaucoup plus sophisti-
que quune simple application du thorme de PhragmnLandau
mais reposant sur un principe semblable, que lon a
nx
(n) = x(ln x +2 1) +
(x
1/4
).
On conjecture que le terme derreur du problme de Dirichlet est
effectivement O(x
1/4+
) pour chaque > 0.
Une seconde classe dapplications arithmtiques de la connais-
sance des zros de la fonction (s) est celle de la localisation
dentiers soumis certaines contraintes multiplicatives dans de
petits intervalles.
Considrons le cas exemplaire des nombres premiers. Le
thorme des nombres premiers implique immdiatement la forme
forte du postulat de Bertrand
(x +y) > (x),
pour y = x, x > x
0
(), o est un nombre positif arbitrairement
petit. Le terme derreur de La Valle-Poussin fournit la validit du
rsultat pour
y = xe
c
ln x
70
avec une constante positive convenable c, et lhypothse de
Riemann autorise le choix y = C
x(ln x)
2
avec C assez grande.
Cependant, il est naturel de conjecturer que lon peut prendre
y = x
pour tout > 0. Un tel rsultat ne dcoule pas

directement de lhypothse de Riemann et doit donc tre attaqu
par des mthodes spcifiques. Les formules explicites dcrites au
paragraphe prcdent sont une approche possible et dj fructueuse.
Nous avons en effet, daprs les rsultats indiqus plus haut,
(x +y) (x) = y +
||T
x
(x +y)
+O
_
x ln
2
x
T
_
si 1 T x et, par exemple, x est un demi-entier. ce stade la
stratgie est vidente : choisir T assez grand et majorer la somme
sur les zros pour montrer que (x +y) (x) est proche de y,
ou, tout le moins
1
2
y pour x, y assez grands.
La ralisation de ce programme ncessite deux ingrdients :
il faut savoir, dune part, que les parties relles des zros ne
peuvent pas sapprocher trop de la valeur 1, et, dautre part, il
faut pouvoir majorer le nombre des zros pour lesquels 1
a une taille intermdiaire . La majoration 1 c/ ln [[ de
La Valle-Poussin est peine trop faible pour remplir la premire
condition : toute majoration du type
1 c/(ln [[)
1a
avec a > 0 est suffisante. On peut donc en particulier faire
appel aux thormes de Vinogradov et Korobov. Le second
renseignement fait partie des thormes de densit, dont lobjet
est de majorer le nombre
N(, T) = [ : () = 0, 1, 0 < T[
de zros dont lcart la droite critique est contrl. Ingham a
montr en 1940 que
N(, T) T
3(1)/(2)
(ln T)
5
71
pour
1
2
1. En amliorant cette estimation pour la bande
3
4
1, Huxley a montr (1972) que lintervalle ]x, x + x
c
]
contient 1 + o(1)x
c
/ ln x nombres premiers pour tout c >
7
12
et
x > x
0
(c). Il est noter que ce rsultat est bien plus fort que
ce que lon aurait pu dduire de notre connaissance actuelle de
la rpartition globale des nombres premiers. Des progrs ont t
accomplis plus rcemment dans cette direction la suite dun
article dIwaniec & Jutila (1979) qui obtinrent, pour tout c >
5
9
et x assez grand, lexistence dau moins un nombre premier dans
lintervalle ]x, x + x
c
] en introduisant dans la technique, ct
des renseignements analytiques concernant la fonction zta de
Riemann, des dveloppements modernes de la thorie du crible
linaire. Le meilleur rsultat en date est d Baker, Harman &
Pintz (2001), qui prouvent que
(x +y) (x) 9y/(100 ln x) (x > x
0
)
pour y = x
0,525
.
72
Chapitre 3
Rpartition stochastique
des nombres premiers
1. Introduction
Un des aspects remarquables de la rpartition des nombres premiers
est cette tendance la rgularit globale et lirrgularit locale.
Les nombres premiers se comportent comme les gaz parfaits
chers aux physiciens. Apprhende dun point de vue externe,
la distribution est pour ainsi dire dterministe, mais ds que
lon cherche dcrire la situation en un point donn, on constate
des fluctuations statistiques comme dans un jeu de hasard o lon
sait quen moyenne les faces quilibreront les piles mais o,
aucun moment, on ne peut prdire le coup suivant. Les nombres
premiers occupent tout lespace (entendez : le hasard) disponible,
cest--dire compatible avec la contrainte drastique qui pse sur
eux : engendrer la suite ultra-rgulire des nombres entiers.
Cette ide est sous-jacente dans la plupart des conjectures
concernant les nombres premiers : tout ce qui nest pas trivialement
interdit est en fait ralis.
Dans ce chapitre, nous allons noncer les principaux rsultats
tablis lappui de cette philosophie , et enprsenter les mthodes.
73
Divisez un nombre impair par 4 : le reste sera videment 1 ou 3.
Comme tous les nombres premiers sauf 2 sont impairs, on obtient
ainsi deux classes de nombres premiers, ceux qui ont un reste 1 et
ceux qui ont un reste 3 dans la division par 4.
Conformment notre modle statistique des nombres premiers,
il est logique de supposer que chacune de ces deux classes comporte
peu prs autant dlments, ce que confirme lexprience. Il y a,
par exemple, 609 nombres premiers nexcdant pas 10000 dont
le reste vaut 1, alors que, dans le mme intervalle, 620 donnent le
reste 3.
Les nombres positifs ou nuls dont le reste dans la division
par q vaut r sont exactement les entiers de la forme r + qm
(m = 0, 1, 2, . . .). Ils forment ce que lon appelle une progression
arithmtique de premier terme r et de raison q : on passe dun terme
au suivant en ajoutant la raison. Dans la suite, nous convenons de
noter r +qN une telle progression arithmtique.
Cette question de bonne rpartition des nombres premiers
dans les progressions arithmtiques a intrigu les mathmaticiens
pendant de longs sicles ; malgr de spectaculaires avances, elle
continue de le faire.
Il est facile, par exemple, de montrer linfinitude de lensemble
des nombres premiers dans chacune des progressions arithmtiques
1 + 4N et 3 + 4N.
(1)
Mais mme un rsultat en apparence aussi
peu ambitieux devient dlicat lorsque lon gnralise le problme
en remplaant la division par 4 par une autre. Si lon choisit
la raison 11, tous les restes de 1 10 sont envisageables, alors
que si lon divise par 10, seuls 1, 3, 7 et 9 persistent. Comment
prouver alors quil existe une infinit de nombres premiers dont le
dveloppement dcimal se termine par le chiffre 7 ou dont le reste
dans la division par 11 est 4 ?
1. Voir le 3.
74
RPARTITION STOCHASTIQUE DES NOMBRES PREMIERS
Peter Gustav Lejeune-Dirichlet
(18051859)
Cest le mathmaticien allemand
Dirichlet, grand admirateur de Gauss
et fin connaisseur de la langue fran-
aise, qui a rsolu la question vers
1840. Il a pour cela invent un outil
splendide de simplicit et defficacit :
les caractres, qui portent aujourdhui
son nom. Nous dtaillons le concept
au paragraphe suivant. Pour lheure,
contentons-nous de signaler que les
caractres sont des applications dfinies
sur lensemble des entiers naturels et
valeurs complexes, qui respectent la structure multiplicative,
autrement dit qui vrifient
f (mn) = f (m)f (n) (m 1, n 1),
et permettent cependant de reprer les nombres entiers dune
progression arithmtique fixe.
Dirichlet a non seulement tabli lexistence dune infinit de
nombres premiers dans toute progression arithmtique admissible,
mais il a montr quelles contiennent toutes approximativement
le mme nombre dlments. Ce thorme profond vient lappui
de notre conception de la nature alatoire des nombres premiers :
en labsence dobjection structurelle, lquirpartition prvaut.
La question de la bonne rpartition des nombres premiers
dans les progressions arithmtiques peut tre gnralise dune
faon diffrente. Supposons donn un nombre irrationnel . Alors
tous les nombres p (p P) sont galement irrationnels. Si les
proprits statistiques des nombres premiers sont indpendantes de
(et nous navons a priori aucune raison de penser le contraire), il
est donc logique de conjecturer que les parties fractionnaires
(1)
p)
sont statistiquement bien rparties dans lintervalle [0, 1[ : aprs
1. La fonction partie fractionnaire est dfinie p. xx.
75
tout, un nombre irrationnel nest jamais quune limite de rationnels
et, lorsque = a/q, p = r +mq, na-t-on pas p) = ar/q) ?
Nous verrons au 7 que les nombres premiers se comportent
effectivement de manire essentiellement alatoire au regard de ce
critre comme des prcdents.
Ben Green et Terence Tao
Une autre version de ladage selon lequel les nombres premiers
empruntent toutes les formes qui ne sont pas trivialement interdites
a t rendue effective par un rsultat rcent d Ben Green et
Terence Tao (2004) : pour tout entier k, on peut trouver une
progression arithmtique de k termes entirement compose de
nombres premiers. La dmonstration, dont nous donnons un
aperu sommaire
(1)
au 4, est un impressionnant mlange de
mthodes issues de la thorie des nombres, la thorie ergodique,
lanalyse harmonique, la gomtrie discrte et la combinatoire.
Un aspect fascinant du caractre alatoire de la suite des nombres
premiers concerne les grandes et les petites diffrences entres
nombres premiers conscutifs.
Il y a (N) N/ ln N nombres premiers nexcdant pas
N, donc lcart moyen est ln N ; mais y a-t-il beaucoup dcarts
<
1
2
ln N ou > 2 ln N ?
Le mathmaticien sudois Harald Cramr a imagin vers 1936
un modle statistique reposant sur une hypothse dindpendance
du caractre de primalit des nombres entiers dans leur ensemble.
1. Inspir des prsentations de Host (2005) et Kra (2005).
76
Bien sr, n et n + 1 ne sont (presque) jamais simultanment
premiers, et il en va de mme de n et 3n+1. Cependant, le modle
est pertinent pour beaucoup de questions et suggre par exemple
que les plus grands carts entre nombres premiers de taille N sont
de lordre de (ln N)
2
. Nous noncerons au 5 une version plus
prcise de cette conjecture.
Harald Cramr
(18931985)
Les meilleurs rsultats obtenus ce
jour par les arithmticiens sont encore
trs loigns de la conjecture de Cramr.
En ce qui concerne les petits carts,
le modle statistique prvoit galement
une rpartition harmonieuse : par
exemple, le nombre des carts compris
entre a ln N et b ln N serait proche de
(e
b
e
b
)(N).
Cette dernire conjecture implique
en particulier que, pour tout
> 0, une proportion positive des
nombres premiers p
n
N vrifie
p
n+1
p
n
ln N.
Un tel rsultat a longtemps t considr comme hors de
porte. Cependant, Goldston, Pintz et Yldrm lont dmontr
rigoureusement en 2005. Nous donnerons quelques ides sur leur
approche au 6.
3. Progressions arithmtiques
Soient a et q des nombres entiers premiers entre eux. Il ny a,
a priori, aucun obstacle lexistence dune infinit de nombres
premiers p a (mod q). Il est mme raisonnable, en labsence
dinformation contraire, de supputer que les nombres premiers se
rpartissent quitablement entre les (q) classes possibles.
(1)
1. Voir le Chapitre 1, p. 14, pour la dfinition de la fonction dEuler q (q).
77
Posant
(x; a, q) := [p x : p a (mod q)[,
cette hypothse dquirpartitionnous conduit donc naturellement,
compte tenu du thorme des nombres premiers, la conjecture
(x; a, q)
x
(q) ln x
(x ).
Ce problme, qui possde une histoire propre passionnante,
parallle celle de ltude de la loi de rpartition des nombres
premiers, a t finalement rsolu en 1896 par La Valle-Poussin,
en combinant sa mthode dattaque du thorme des nombres
premiers (reposant fortement, comme on la vu au Chapitre 2,
sur les ides de Riemann) avec des outils spcifiques forgs par
Dirichlet dans la premire moiti du dix-neuvime sicle.
Le premier pas dans cette direction consiste dtablir rigou-
reusement lexistence dune infinit de nombres premiers p dans
chaque progression admissible a (mod q), avec (a, q) = 1.
Considrons par exemple le cas a = 3, q = 4. On tend sans
trop de difficult la preuve dEuclide. Supposons, en effet, quil ny
ait quun nombre fini de nombres premiers, disons p
1
=3, . . . , p
r
,
de la forme 4m +3. Comme un produit dentiers de la forme
4m+1 est encore de ce type, le nombre n = 4p
1
p
r
1 possde
au moins un facteur premier p 3 (mod 4). On a manifestement
p ,= p
j
(1 j r), ce qui fournit la contradiction souhaite.
Le cas de la progression p 1 (mod 4) est un peu plus
dlicat mais relve encore dune technique similaire. Sil ny a
quun nombre fini de nombres premiers, disons p
1
= 5, . . . , p
r
,
de la forme 4m + 1, alors tout facteur premier p du nombre
n = 4(p
1
p
r
)
2
+ 1 est tel que 1 est rsidu quadratique
modulo p. Daprs ce que nous avons vu au 1.6 (p. 21), cela
78
implique p 1 (mod 4), ce qui est suffisant puisque p ne peut pas
faire partie de la liste des p
j
.
(1)
On pourrait imaginer que ce type dapproche, qui prsuppose
lexistence dun polynme coefficients entiers dont les valeurs
aux arguments entiers sont divisibles par une infinit de nombres
premiers de la progression requise, est gnralisable toute
progression arithmtique admissible. Il nen est rien : Ram Murty
a tabli en 1988 quune preuve euclidienne de linfinit de
nombres premiers de la forme a+mq est possible si, et seulement si,
on a a
2
1 (mod q). Il en va ainsi, par exemple, de la progression
4 (mod 15), mais pas de la progression 2 (mod 7).
Cest Dirichlet qui, en 1837, a fourni la solution gnrale de
ce problme.
(2)
Son point de dpart tait la preuve dEuler de
linfinitude de lensemble des nombres premiers, dont nous avons
vu au 1.7 quelle fournissait galement la divergence de la srie
p
1/p.
Considrons dabord, pour simplifier lexpos, le cas dune
progression a (mod q) avec q premier et 1 a < q. Dirichlet intro-
duit des fonctions arithmtiques, : N C, dsignes sous le
nomde caractres, qui sont priodiques de priode q, compltement
multiplicatives,
(3)
et dont une combinaison linaire convenable est
la fonction indicatrice de la progression n a (mod q).
La construction des caractres de Dirichlet est subordonne
au fait que la structure de lensemble (Z/qZ)
est cyclique : il
1. Ainsi lensemble 4N contient une infinit de nombles de la forme p + 1 et une
infinit de nombres de la forme p 1. Par des techniques diffrentes et beaucoup plus
sophistiques, Srkzy dune part, Kamae & Mends France dautre part, ont tabli en
1978 que la proprit persiste lorsque lon remplace 4N par un ensemble-diffrence
D := |a
j
a
k
: j 0, k 0, o |a
n
n=0
est une suite strictement croissante
dentiers vrifiant a
n
n.
2. strictement parler, la preuve de Dirichlet ntait complte que dans le cas dune
raison q gale un nombre premier. Le cas gnral tait subordonn la formule des
classes que Dirichlet ne devait tablir quen 1839/40.
3. Cest--dire quelles vrifient identiquement (mn) = (m)(n) lorsque m, n
parcourent N.
79
existe au moins un lment g, appel racine primitive, dont les
puissances g
j
dcrivent (Z/qZ)
tout entier. tant donne une

racine primitive g modulo q, fixe une fois pour toutes, on peut
donc associer chaque entier n premier q un unique entier
= (n) de 1, . . . , q 1 tel que n g
(mod q). Pour chaque

b (0 b q 2), on pose alors
b
(n) = e
2ib(n)/(q1)
,
et lon tend la dfinition de
b
en posant
b
(n) = 0 si q [ n. On
construit donc ainsi (q) = q 1 caractres distincts.
(1)
Le caractre
0
, gal la fonction indicatrice de lensemble des
entiers premiers q, joue un rle particulier. On le dsigne sous le
nom de caractre principal.
La multiplicativit des caractres dcoule immdiatement du
fait que
n
1
n
2
g
(n
1
)
g
(n
2
)
g
(n
1
)+(n
2
)
(mod q)
si (n
1
n
2
, q) = 1, do (n
1
n
2
) = (n
1
)(n
2
) une proprit
qui persiste trivialement si q [ n
1
n
2
.
Il est facile de montrer que lon a pour tout entier a premier q
0bq2
b
(a)
b
(n) =
_
q 1 si n a (mod q),
0 si n , a (mod q).
Cest clair si n a (mod q) ; dans le cas contraire, il suffit
dobserver que le membre de gauche est la somme des termes dune
progression gomtrique. Cette relation, communment dsigne
formule dorthogonalit des caractres, fournit la combinaison linaire
mentionne plus haut qui permet de reprer les entiers dune
progression a (mod q).
Cela tant, Dirichlet introduit les sries
L(s, ) :=
n1
(n)n
s
1. Il est clair que cest le nombre maximal.
80
associes aux caractres =
b
dfinis plus haut. On montre
facilement que ces sries convergent absolument dans le demi-plan
> 1, o elles vrifient lanalogue de la formule dEuler
(1)
L(s, ) =
p
(1 (p)p
s
)
1
.
En particulier,
L(s,
0
) =
p q
(1 p
s
)
1
= (1 q
s
)(s).
Par drivation logarithmique, il suit, toujours lorsque > 1,
L
L
(s, ) =
p
(p) ln p
p
s
(p)
=
1
(p
) ln p
p
s
=
n1
(n)(n)
n
s

En multipliant cette relation par (a) et en sommant sur =
b
,
nous obtenons la formule fondamentale
(2)
(3.1)
na (mod q)
(n)
n
s
=
1
q 1
0bq2
b
(a)
L
(s,
b
)
L(s,
b
)

Lorsque s 1+ par valeurs relles, le membre de gauche vaut
pa (mod q)
ln p
p
s
+O(1),
et le travail de Dirichlet a essentiellement consist montrer que,
dans cette circonstance, le membre de droite tend vers linfini.
1. Voir le Thorme 3.1 (p. 120) pour une dmonstration complte.
2. Pour la commodit du lecteur, rappelons que est la fonction de von Mangoldt
1.9, p. 27.
81
Le terme correspondant b = 0 dans la somme en b de (3.1)
vaut
(s)
(s)

ln q
q
s
1
=
1
s 1
+O(1),
donc il suffit dtablir que chacun des autres termes tend vers
une limite finie lorsque s 1+. Il est commode de remarquer,
ce stade, que, lorsque b ,= 0, les sries L(,
b
), absolument
convergentes pour > 1, sont convergentes pour > 0. Cela
provient du fait que lapplication n b(n), induit trivialement
une injection de (Z/qZ)
dans lui-mme, et donc, puisque

lensemble est fini, une bijection. On en dduit en particulier
que
1nq
b
(n) =
0rq2
e
2ir/(q1)
= 0 (1 b q 2),
et, au vu de la dcroissance de n n
, la convergence de L(,
b
)
dcoule du classique critre dAbel.
(1)
Nous pouvons donc finalement noncer que lhypothse
L(1,
b
) ,= 0 (1 b q 2) implique que toute progression
arithmtique a + qN avec (a, q) = 1 contient une infinit de
nombres premiers. Plus prcisment, il dcoule de ce qui prcde
que, si les nombres L(1, ) sont non nuls, on a
pa (mod q)
ln p
p
=
1
(q 1)( 1)
+O(1) ( 1+).
Par intgration en sur [, 2] avec > 1, on en dduit encore
que
pa (mod q)
1
p
=
1
q 1
ln
_
1
1
_
+O(1) ( 1+).
1. Le critre dAbel est rappel au 4.2, p. 117. Un argument analytique un peu plus
sophistiqu permet de montrer en fait la convergence de L(s,
b
) dans le demi-plan
complexe > 0.
82
Cette relation implique son tour la divergence de la srie
pa (mod q)
1/p.
On voit ainsi que lapproche de Dirichlet pour les nombres
premiers en progressions arithmtiques est quantitativement de
mme nature que celle dEuler pour lensemble de tous les nombres
premiers.
Il reste tablir que L(1,
b
) ,= 0 pour 1 b q 2.
Lanalyse du problme montre rapidement que le cas o
b
est
rel (i.e. b =
1
2
(q 1)) est plus profond et doit tre considr
sparment.
Lorsque b ,=
1
2
(q 1), on a
2
b
,=
0
et lastuce de Mertens,
consistant utiliser la positivit du polynme trigonomtrique
3 +4 cos +cos 2 pour montrer que (1 +i) ,= 0, fonctionne
encore. En effet, en crivant
b
(p) = e
2i
p
et en notant que le
dveloppement eulrien de L(,
b
) fournit la formule
ln L(,
b
) =
p, 1
b
(p)
/ ( > 1),
on obtient que 3 ln ()+4'e ln L(,
b
)+'e ln L(,
2
b
) 0,
do
()
3
[L(,
b
)[
4
[L(,
2
b
)[ 1.
Puisque
2
b
=
2b
,=
0
, la srie L(s,
2
b
) est convergente en
s = 1. Si L(1,
b
) = 0, on en dduit que le membre de gauche est
O(()
3
( 1)
4
) = O( 1) lorsque 1+, ce qui contredit
lingalit pour assez proche de 1.
Le cas b =
1
2
(q1) est notablement plus dlicat. On a alors, avec
la notation du symbole de Legendre introduite au 1.6 (p. 20),
b
(n) = (n) =
_
n
q
_
.
83
La dmonstration originale de Dirichlet est fonde sur le calcul
des sommes de Gauss
G(n) :=
1mq1
_
m
q
_
e
2imn/q
.
En effectuant le changement de variable consistant sommer selon
les valeurs de = mn modulo q, on obtient en effet
G(n) = G(1)(n) (n 1).
(1)
Cela permet dexprimer L(1, ) comme une combinaison linaire
finie des nombres (n) pour 1 n q. Dirichlet obtenait ensuite
la non nullit de L(1, ) en faisant appel, dune part, au calcul de
G(1) et, dautre part, des formules tablies par Gauss dans son
travail sur les polynmes cyclotomiques.
Nous nemprunterons pas cette voie historique, et procderons
de manire lmentaire et purement analytique en observant que
lon a
f (n) :=
d|n
(d) =
0j
(p)
j
=
n
1 (p)
+1
1 (p)
0,
ainsi que lon peut le dduire du simple fait que (p) ne prend
que les valeurs 0 et 1. On a de plus f (n
2
) 1 pour tout entier
n 1. Cela implique, pour tout avec 0 < 1,
F() :=
n1
f (n)e
n

1m1/
e
1
1
6
.
Par ailleurs, revenant la dfinition de f , on peut aussi crire
F() =
d1
(d)
m1
e
md
=
d1
(d)
e
d
1
1. La formule nest initialement valable que lorsque (n, q) = 1. Elle persiste dans le cas
contraire puisqualors G(n) = 0.
84
En invoquant une fois encore la convergence de la srie L(1, ) et
en introduisant la fonction dcroissante
(d) :=
1
d

1
e
d
1
,
il suit
F() =
L(1, )
d1
(d)(d).
Par la rgle de convergence dAbel,
(1)
la srie en d est
(1) 1
lorsque 0+. On a donc obtenu, pour une constante
convenable A > 1,
L(1, ) F() A
1
6
A.
En choisissant convenablement (e.g. =
1
144
A
2
), on obtient
bien que L(1, ) > 0.
Cette mthode a t tendue par Dirichlet au cas dun module q
quelconque. Lorsque q = p
et p est un nombre premier impair,

le groupe (Z/qZ)
est encore cyclique et lon dfinit simplement

les (q) caractres modulo q par
b
(n) := e
2ib(n)/(q)
(0 b (q) 1).
Le cas o q = 2
est un peu plus compliqu : on pose
b
1
,b
2
(n) = e
2i{b
1
1
(n)/2+b
2
2
(n)/2
2
}
,
o
1
(n) et
2
(n) sont dfinis par la relation
n (1)
1
(n)
5
2
(n)
(mod 2
),
avec b
1
= 0 ou 1, et 0 b
2
< 2
2
. Dans la situation gnrique
dun module q qui est le produit de puissances de nombres premiers
distincts, on forme simplement les produits des caractres relatifs
1. Rappele au 4.2, p. 117.
85
ces diffrentes puissances. Lanalyse prcdente peut tre tendue
sans difficult majeure et conduit lestimation quantitative
px
pa (mod q)
1
p

ln
2
x
(q)
(x ).
La mthode de Dirichlet peut sans encombre tre insre dans
celle de Riemann, mene terme par Hadamard et La Valle-
Poussin. Largument crucial dabsence de zro sur la droite = 1
doit bien entendu tre tendu toutes les fonctions L(s, ), ce
qui peut tre tabli avec des moyens analogues ceux que nous
avons dcrits plus haut pour traiter le cas du seul point s = 1.
Cela conduit naturellement la formule asymptotique annonce
au dbut de ce paragraphe pour la fonction (x; a, q).
Les dveloppements plus rcents ont surtout vis prciser
luniformit en q dun tel rsultat. Siegel a montr en 1936 que,
pour chaque > 0, il existe une constante C
> 0 telle que

L(1, ) C
/q
pour tout caractre non principal modulo q.

On en dduit le thorme de SiegelWalfisz : pour toute constante
A > 0, il existe une constante c = c(A) > 0 telle que lon ait
uniformment pour x 3, (a, q) = 1, 1 q (ln x)
A
,
(x; a, q) =
(x)
(q)
+O
_
xe
c
ln x
_
=
li(x)
(q)
+O
_
xe
c
ln x
_
.
Malheureusement la constante C
du thorme de Siegel nest pas

effective , autrement dit pas effectivement calculable si on donne
une valeur trop petite.
(1)
Cela induit une semblable ineffectivit pour la constante c du
thorme de SiegelWalfisz, qui nest pas calculable si A 1.
Les meilleurs rsultats effectifs connus reposent sur la thorie
des formes quadratiques relles et la formule du nombre des
1. En ltat actuel des connaissances, on ne sait pas majorer numriquement C
si
<
1
2
.
86
classes, due Dirichlet. Des estimations de qualit trs lgrement
infrieure peuvent tre obtenues, beaucoup plus simplement, par
voie analytique, grce lingalit de PlyaVinogradov (1918),
stipulant que lon a, pour tout caractre non principal modulo q,
max
x1
nx
(n)
q ln q.
Les deux approches ne fournissent une formule asymptotique pour
(x; q, a) que lorsque q (ln x)
A
avec A < 2.
Ces questions dineffectivit sont pour le moins insolites. Nous
nous proposons maintenant de lever un coin du voile. Lexplication
repose sur lexistence hypothtique dun spectre ricanant nomm
zro de Siegel qui hante et pouvante cette partie de la thorie
analytique des nombres.
Laffaire mrite quon sy attarde un instant. Les rgions sans
zro connues pour les fonctions L(s, ) sont essentiellement du
type
D
q
= s : 1 c/ ln(3 +q[[)
sauf pour au plus un caractre de module q, disons
1
, qui est rel et
tel que L(s,
1
) possde au plus un unique zro dans D
q
, galement
rel, que nous dsignerons par
1
. Lorsque lon value les sommes
(x; ) :=
nx
(n)(n)
par intgration complexe, lventuel zro de Siegel induit une
contribution supplmentaire gale x
1
/
1
, de sorte quon
trouve finalement
nx
na (mod q)
(n) =
x
(q)

1
(a)x
1
(q)
+O
_
xe
c
ln x
_
uniformment pour, disons, q e
ln x
, et o la constante positive
c est effectivement calculable. Lestimation (ineffective) de Siegel
L(1,
1
) C
/q
87
permet, par un simple calcul daccroissements finis, de repousser
le zro au del du point 1 C
2
/q
2
(par exemple), et partant
de traiter cette contribution comme un terme derreur lorsque
q(ln x)
A
, quitte choisir < 1/2A.
On conjecture bien entendu que le zro de Siegel nexiste pas et
quen fait les fonctions L(s, ) ont, linstar de la fonction (s),
tous leurs zros non triviaux sur la droite critique =
1
2
. Cest
lhypothse de Riemann gnralise. Le cas chant, elle fournirait
lestimation
(x; a, q) =
li(x)
(q)
+O
_
x ln x
_
uniformment pour x 3, q 1, (a, q) = 1.
Cette valuation, bien que reposant sur une hypothse trs forte,
ne fournit quun pitre rsultat lorsque q
x. On peut esprer
quelle est amliorable en moyenne, voire pour presque tous les
modules q en un sens prciser. Dans cette voie de recherche,
le meilleur rsultat connu actuellement est le thorme de Bombieri
& Vinogradov (1965) qui nonce que, pour toute constante A > 0,
on a uniformment pour x 3, Q 1,
qQ
max
(a,q)=1
E(x; a, q)
x
(ln x)
A
+
x Q(ln Qx)
4
,
o lon a pos E(x; a, q) := max
3yx
[(y; a, q) li(y)/(q)[.
Ce rsultat permet de contourner lhypothse de Riemann
gnralise dans nombre dapplications. Si lon pouvait remplacer
le terme Q(ln Qx)
4
par
Q (Qx)
,
(1)
cela fournirait un succdan
suprieur loriginal dans bien des circonstances.
1. Cest la conjecture dElliottHalberstam.
88
4. Le thorme de Green et Tao
Parmi toutes les conjectures relatives aux nombres premiers, lune
des plus simples stipule que cette suite contient des progressions
arithmtiques arbitrairement longues. Comme indiqu dans
lavant-propos, la suite de 10 termes
199, 409, 619, 829, 1039, 1249, 1459, 1669, 1879, 2089
est un exemple de progression arithmtique (de raison 210) entire-
ment compose de nombres premiers.
Un raisonnement probabiliste lmentaire vient lappui de
cette hypothse : si un nombre entier de taille N est premier avec
probabilit approximativement 1/ ln N, la probabilit que
n, n +q, . . . , n +(k 1)q
soient simultanment premiers est proche de 1/(ln N)
k
lorsque,
disons, N < q 2N et (n, q) = 1. Ainsi, le raisonnement
statistique suggre lexistence de N
2
/(ln N)
k
progressions arith-
mtiques de longueur k dont tous les termes sont des nombres
premiers de taille N.
Le thorme de Green et Tao, qui fournit galement une borne
effective (trs grande) pour la valeur minimale N = N
k
en de
de laquelle nous sommes certains de trouver k nombres premiers
en progression arithmtique, rpond une question ancienne,
pour laquelle trs peu de rsultats partiels taient connus : seul un
thorme de van der Corput (1939) correspondant k = 3 tait
prcdemment disponible dans cette direction.
Deux autres conjectures toujours ouvertes impliquent le rsultat :
celle des nombres premiers jumeaux gnralise de Hardy et
Littlewood (cf. chap. 5, p. 148) et celle dErd os et Turn (1936) selon
laquelle tout ensemble dentiers dont la srie des inverses diverge
contient des progressions arithmtiques arbitrairement longues.
tant donne une fonction f : (N
)
r
C, notons
E
N
(f ) :=
1
N
r
1n
1
,...,n
r
N
f (n
1
, . . . , n
r
)
89
la moyenne de ses valeurs sur les N
r
premiers r-uples de nombres
entiers. Posons encore
f
k
(m, n) :=
0j<k
f (n +mj).
Un clbre thorme de Szemerdi (1975) snonce, dans sa version
finie, sous la forme suivante : si > 0 et k N
sont donns, si N est

un nombre entier assez grand, et si f = 1
A
est la fonction indicatrice
dun ensemble dentiers tel que E
N
(f ) > , alors E
N
(f
k
) > c(, k)
pour une constante convenable c(, k) > 0, ne dpendant ni de f , ni
de N.
(1)
Cela signifie en particulier quun ensemble dentiers assez
dense contient ncessairement des progressions arithmtiques
arbitrairement longues.
Le premier travail de Green et Tao a consist tendre le
champ de cet nonc des fonctions f plus gnrales. Une tape
significative avait pralablement t franchie par Gowers (2001),
grce une approche reposant sur la dmonstration ergodique
(2)
de Furstenberg (1982) du thorme de Szemerdi : le rsultat reste
valable pour toute fonction f valeurs dans [0, 1].
Green et Tao prouvent ensuite que lnonc de type Szemerdi
persiste si, pour chaque N, on a
0 f (n)
N
(n) (1 n N)
o
N
est une fonction de poids dite pseudo-alatoire en ce sens
quelle vrifie
E
N
(
N
) = 1 +o(1) (N )
et dautres conditions de bon comportement statistique.
(3)
1. Il est noter que E
N
(f ) est valu avec r = 1, alors que lon choisit videment r = 2
pour calculer E
N
(f
k
).
2. La thorie ergodique est une thorie mathmatique ne dans les annes 1930 et
reposant sur une hypothse fondamentale de nature statistique.
3. Ces conditions portent sur les produits de formes linaires et sur les corrlations.
Donner les dfinitions prcises nous entranerait largement hors des limites de cet
opuscule.
90
Cest la dmonstration de cette gnralisation qui occupe la plus
grande partie de larticle de Green et Tao.
Les deux auteurs tablissent ensuite lexistence dun poids
pseudo-alatoire et dune fonction f satisfaisant aux conditions
prcdentes et tels que f soit nulle hors de lensemble P des
nombres premiers.
Cette seconde partie, qui participe dune approche plus classique
de la thorie analytique des nombres, repose sur des techniques de
crible voisines de celles qui sont exposes au 6 infra. Nous nen
dirons pas plus.
5. Le modle de Cramr
Sil est souvent difficile de rpondre aux questions les plus naturelles
concernant les nombres premiers, il est parfois malais de se faire
mme une ide de ce que devrait tre la rponse exacte. Ayant tudi
la rpartition des nombres premiers depuis les annes 1920, Cramr
a propos la fin des annes 1930 une mthode simple et fascinante
pour forger des conjectures sur les nombres premiers : la suite des
nombres premiers se comporte comme une suite alatoire soumise la
mme contrainte de croissance. Formalisons un peu. Le thorme
des nombres premiers nous indique que la probabilit pour quun
entier de taille n soit premier est proche de 1/ ln n.
(1)
Dsignant par
X
n
n=2
une suite de variables alatoires indpendantes prenant
les valeurs 0 et 1 avec
P(X
n
= 1) = 1/ ln n (n 3),
(2)
la suite alatoire
(3.2) S := n 2 : X
n
= 1
1. La quantit 1/ ln n apparat naturellement ici comme la drive en x = n de li(x).
2. On peut poser, par exemple, P(X
2
= 1) = 1 pour fixer les ides, cette valeur
nayant en fait pas dinfluence notable. Ici et dans la suite, nous utilisons la lettre P
pour dsigner la probabilit.
91
constitue donc pour Cramr un modle stochastique de la suite
des nombres premiers.
En termes plus intuitifs, on peut considrer le dispositif suivant.
On dispose dune suite infinie (ou dun trs grand nombre) durnes
numrotes, disons U
3
, U
4
, etc. Lurne U
n
contient une unique
boule blanche et environ ln n boules noires. On tire au hasard une
boule de chaque urne et lon affecte lentier n la suite S si la boule
issue de U
n
est blanche. La suite S modlise les nombres premiers.
Bien entendu, pour chaque tirage particulier la suite S possdera
des proprits spcifiques qui la diffrenciera considrablement
de la suite P de tous les nombres premiers. Cependant, si une
proprit savre suffisamment insistante pour tre ralise presque
srement lorsque lon multiplie les tirages, on conjecturera avec
Cramr quelle est galement partage par P.
tant donn un ensemble dentiers A, dsignons par
A
(x) le
cardinal de A [1, x]. Lorsque S est dfini par (3.2),
S
(x) est
donc la variable alatoire gale au nombre des entiers n nexcdant
pas x et tels que X
n
= 1. Ainsi
S
(x) est un modle alatoire
de (x) =
P
(x), et il est facile de montrer que lon a presque
srement (i.e. avec probabilit 1)
S
(x) = li(x) +
S
(x)
_
2x
ln
2
x
ln x
o
S
(x) oscille asymptotiquement entre 1 et 1.
Cest une premire confirmation, clatante, de la pertinence du
modle de Cramr : Littlewood a montr
(1)
que lon a
P
(x) =
_
ln
3
x/
_
ln x ln
2
x
_
inconditionnellement, et lhypothse de Riemann implique
P
(x) = O
_
(ln x)
3/2
/(ln
2
x)
1/2
_
.
Une autre consquence du modle de Cramr concerne
la diffrence entre les nombres premiers conscutifs. Posons
1. Voir le 2.7, p. 69.
92
d
n
:= p
n+1
p
n
, o p
n
dsigne le n-ime nombre premier. On
remarque incidemment que la suite d
n
n=1
est nonborne puisque
les nombres k! +j (2 j k) sont tous composs. On a
n<N
d
n
= p
N
2 N ln N (N ),
daprs le thorme des nombres premiers, donc
liminf
n
d
n
/ ln n 1 limsup
n
d
n
/ ln n.
Maintenant, puisque la probabilit pour quun entier m de
]p
n
, 2p
n
] soit premier est proche de 1/ ln p
n
, la probabilit P
n,k
de lvnement d
n
k satisfait, sous rserve dindpendance,
P
n,k
(1 1/ ln p
n
)
k
e
k/ ln n
.
Lorsquon choisit k = k(n) = (ln n)
2
, on obtient donc
P
n,k(n)
n
, de sorte que la srie

n
P
n,k(n)
diverge pour < 1
et converge pour > 1. Un rsultat classique de la thorie des
probabilits, le lemme de BorelCantelli, permet den dduire que
les nombres premiers alatoires du modle de Cramr satisfont
limsup
n
d
n
/(ln p
n
)
2
= 1.
Lassertion lgrement plus faible
d
n
(ln p
n
)
2
est clbre sous le nom de conjecture de Cramr.
On peut encore utiliser le modle de Cramr pour prvoir le
comportement de la fonction (x) dans les petits intervalles.
En utilisant le fait bien connu que la loi binomiale converge vers
celle de Poisson,
(1)
on obtient facilement que, posant y = ln x,
1. Si les X
n
(1 n N) sont des variables alatoires de Bernoulli, indpendantes et
de mme loi P(X
n
= 1) = 1P(X
n
= 0) = /N, et si lon pose S
N
:=
1nN
X
n
,
alors on a, lorsque N et reste fix, limP(S
N
= k) = e
k
/k!.
93
on a avec probabilit 1
[x :
S
(x +y)
S
(x) = k[ e
k
k!
( ).
Gallagher a montr en 1966 que la relation prcdente est
effectivement ralise pour S = P sous rserve de la validit
dune forme forte de la conjecture des nombres premiers jumeaux
gnralise.
(1)
Ainsi le modle de Cramr semble tre en cohrence la fois
avec lhypothse de Riemann (cas des intervalles longs) et avec la
conjecture des nombres premiers jumeaux (cas des intervalles trs
courts : y = ln x). Il ne faut cependant pas trop demander : le
modle de Cramr prvoit que p et p +2 (voire p et p +1 !) sont
simultanment premiers avec probabilit 1/(ln x)
2
, et nintgre
donc pas la conjecture de Hardy & Littlewood mentionne au
Chapitre 1 ( 1.11, p. 41).
Il nest pas difficile de voir que le modle de Cramr implique
que lon a presque srement
S
(x +y)
S
(x) = li(x +y) li(x) +O(
y) y/ ln x
ds que y/(ln x)
2
, avec y x. En 1943, Selberg a
partiellement confirm la validit du modle sur ce point en
montrant, sous lhypothse de Riemann, quavec de telles valeurs
de y on a, pour presque tous les entiers x,
(x +y) (x) y/ ln x.
Cependant, la surprise gnrale, Maier a prouv en 1985
que si y = (ln x)
avec > 2, cette relation nest pas satisfaite

lorsque x . Il a en fait tabli lexistence dune constante
= () > 0 telle que chacune des ingalits
(x +y) (x)
>
<
(1 )
y
ln x
_
y = (ln x)
_
,
soit vrifie pour une infinit de valeurs entires de x.
1. Voir le Chapitre 5.
94
Ce rsultat, qui reprsente la premire rfutation du modle
de Cramr, mrite quelques dveloppements. Il est fond sur la
disparit, dj constate au Chapitre 1, entre le terme principal du
crible dratosthne et la taille relle de la fonction (x).
Entrons un peu dans les dtails. Le langage des probabilits, et
notamment celui des probabilits conditionnelles
(1)
sera particuli-
rement bien adapt notre propos. Rappelons la notation P
(n)
pour le plus petit facteur premier dun entier n, avec la convention
P
(1) = . Nous avons vu au Chapitre 1, comme consquence

du crible de Brun, que lon a (cf. 1.11, p. 39)
(x, z) :=
nx, P
(n)>z
1 x
pz
(1 1/p)
si x et z = x
o(1)
. Lorsque z sous cette dernire
condition, on peut donc noncer que lon a, pour un entier n de
taille x,
P
_
n P [ P
(n) > z
_

P(n P)
P(P
(n) > z)
1/ ln x
pz
(1 1/p)

e
ln z
ln x
,
o la dernire quivalence rsulte de la formule de Mertens ( 1.10,
p. 33).
En sommant cette relation sur les (x +y, z) (x, z) entiers
n ]x, x +y] tels que P
(n) > z, il est donc naturel de supputer

que
(x +y) (x)
e
ln z
ln x
(x +y, z) (x, z).
Cela tant, posons M :=
pz
p. Comme la condition
P
(n) > z est dtermine par la classe de congruence de n

1. Nous noterons P(A [ B) la probabilit de lvnement A sachant que B est ralis.
95
modulo M, on a, si x 0 (mod M),
(x +y, z) (x, z) = (y, z).
ce stade, Maier utilise un rsultat asymptotique classique
(1)
concernant la fonction (y, z) et qui prcise le changement de
phase entre le comportement de type crible (o les diffrentes
conditions de divisibilit modulo les nombres premiers p z
sont asymptotiquement indpendantes) et le comportement de
type (x) (o un facteur correctif
1
2
e
doit tre introduit pour

tenir compte de la dpendance) : on a, uniformment pour
y
y, y = z
u
,
(y, z)
y(u)
ln z
,
o dsigne la fonction de Buchstab, dfinie comme lunique
solution continue sur [2, [ de lquation diffrentielle aux
diffrences
(u(u))
= (u 1) (u > 2)
avec la condition initiale u(u) = 1 (1 u 2).
On a clairement lim
u
(u) = e
, puisque la formule
prcdente doit recouvrir celle du crible de Brun lorsque z est
petit . Il savre, ainsi que la tabli Iwaniec, que (u) oscille
indfiniment autour de sa limite : en fait (u) e
change de
signe au moins une fois dans chaque intervalle de longueur 1.
En rassemblant nos estimations, nous obtenons donc la conjec-
ture suivante, dont les raisonnements heuristiques qui prcdent
constituent en fait une bauche de dmonstration,
(x +y) (x) e
(u)
y
ln x
_
x 0 (mod M), y = z
u
_
.
Il reste, formellement, choisir z = ln x et u gal un extremum
de pour obtenir le thorme de Maier.
1. D au mathmaticien sovitique A.A. Buchstab, dans les annes trente.
96
Pour tablir rigoureusement son rsultat, Maier introduit un
lgant argument de moyennes croises quil nous entranerait trop
loin de dcrire dans cet opuscule. Nous nous contentons dindiquer
quil repose de manire cruciale sur la rgularit de la rpartition
des nombres premiers dans les progressions arithmtiques.
(1)
Le thorme de Maier, qui a t tendu de diverses manires,
(2)
nous incite amender le modle de Cramr, en remplaant lheu-
ristique P(n P) = 1/ ln n par
P(n P [ P
(n) > z) =
1
ln n
pz
(1 1/p)
1
(z ln n).
Un tel modle modifi se trouve ainsi en cohrence la fois
avec la conjecture des nombres premiers jumeaux gnralise et
lhypothse de Riemann. Il laisse supposer que la conjecture de
Cramr forte
limsup
n
d
n
/(ln p
n
)
2
= 1
est fausse et doit tre remplace par
limsup
n
d
n
/(ln p
n
)
2
= 2e
.
Les meilleurs rsultats qualitatifs connus concernant les varia-
tions de d
n
sont celui de Rankin (1938),
limsup
n
d
n
ln p
n
ln
2
p
n
ln
4
p
n
/(ln
3
p
n
)
2
> 0,
et celui de Goldston, Pintz et Yldrm (2005),
liminf
n
d
n
/ ln p
n
= 0,
amliorant le rsultat historique dErd os (1940), stipulant que la
limite infrieure ci-dessus est < 1.
1. Voir le 3 supra.
2. Notamment, par Friedlander, Granville, Hildebrand et Maier, pour fixer des limites
inattendues aux domaines de validit des thormes de type SiegelWalfisz et Bombieri
Vinogradov.
97
6. Le thorme de Goldston, Pintz et Yldrm
Nous nous proposons ici de revenir sur la dmonstration du rsultat
de Goldston, Pintz et Yldrm concernant les petits carts entre
nombres premiers. Comme annonc au paragraphe prcdent, ces
trois auteurs ont tabli en 2005 que, pour tout > 0, lingalit
(3.3) d
n
< ln n
a lieu pour une infinit dentiers n. Cette avance majeure dans
notre comprhension des nombres premiers a ensuite t raffine :
ds 2007, les trois coauteurs ont tabli la relation
liminf
n
d
n
ln n(ln
2
n)
2
< .
Nous allons prsent dcrire le principe de la preuve de la
relation (3.3), sans toutefois entrer dans les dtails calculatoires.
Pour N N, posons I
N
:=]N, 2N]. Lide initiale consiste
chercher une fonction arithmtique positive ou nulle F telle que
(3.4) S
N
:=
nI
N
R(n)F(n) > Q
N
:=
nI
N
F(n) (N )
avec
R(n) :=
1hH
1
P
(n +h).
Dan Goldston, Jnos Pintz et Cem Yldrm (2005)
98
En effet, (3.4) implique lexistence dun p ]N, 2N + H] tel
que p
#
p H, o p
#
dsigne le nombre premier suivant
immdiatement p.
Il est tentant de choisir F(n) := R(n), ou F(n) := 1
{R(n)k}
(n)
pour un entier k bien choisi. Cependant, dans le premier cas,
lvaluation du membre de gauche de (3.4) reviendrait rsoudre,
au moins en moyenne, la conjecture des nombres premiers jumeaux
gnralise, alors que, dans le second cas, on a affaire une
sous-somme de la prcdente un problme a priori plus difficile.
Il est donc ncessaire de rechercher une fonction F moins
restrictive. Pour atteindre notre but, il est nanmoins naturel
dimposer
F(n) 1
{R(n)k}
(n),
par exemple sous la forme
(3.5) F(n) g(n; H) :=
1jk
1
P
(n +h
j
)
lorsque H := h
1
, . . . , h
k
est un sous-ensemble de [1, H] N.
(1)
Or, le crible de Selberg, dont la premire version date de 1947,
fournit une mthode pour minimiser la quantit Q
N
lorsque F
appartient une certaine classe et sous la contrainte (3.5). Lide
de Selberg, trs simple et trs efficace, consiste chercher F sous
la forme
F(n; H) :=
_

d|P(n;H)
d
_
2
o lon a pos P(n; H) :=
hH
(n + h) =
1jk
(n + h
j
), et
o la fonction d
d
vrifie
1
= 1,
d
= 0 (d > R).
1. Nous verrons quil savrera en fait ncessaire dintroduire plusieurs tels ensembles
Hafin de tirer avantage dun effet de moyenne.
99
Si R N, on voit que seul d = 1 intervient dans la somme
lorsque g(n; H) = 1, do (3.5), puisque F(n; H) 0 pour tout
entier n.
Avec ces notations, Q
N
= Q
N
(H) est une forme quadratique
des variables
d
(1 d R). Le calcul de minimisation effectu
par Selberg montre que le choix
(3.6)
d
:= (d)
_
ln
+
R/d
ln R
_
k
,
o lon a pos ln
+
x = max(0, ln x), est proche de loptimum.
On obtient ainsi, grce un calcul classique faisant intervenir
les sommes de fonctions multiplicatives,
(3.7) Q
N
(H) S(H)
k!N
(ln R)
k
,
avec la notation traditionnelle
(3.8) S(H) :=
p
_
1

H
(p)
p
__
1
1
p
_
k
o
H
(p) dsigne le nombre de rsidus distincts occups par les
lments de Hmodulo p. On note que
H
(p) = k ds que p > H,
ce qui assure la convergence du produit.
Il reste valuer S
N
= S
N
(H). En ignorant les termes
derreur issus du thorme des nombres premiers en progressions
arithmtiques, nous pouvons crire
T
N
(H) :=
nI
N
1
P
(n +h)F(n; H)
1hH
1d,tR
t
([d, t]; h, H)N
([d, t]) ln N
o (m; h, H) dsigne le nombre de classes rsiduelles a modulo
m telles que (a + h, m) = 1 (pour assurer la compatibilit de la
100
condition n +h P) et a H(mod m), et o le facteur ln N
du dnominateur prend en compte le fait que la sommation porte
sur des nombres premiers translats (n +h P). On a donc
(p; h, H) =
H{h}
(p) 1 (p R)
et
(m; h, H) =
p|m
(p; h, H)
lorsque m est un entier sans facteur carr.
Cette technique prometteuse doit en fait tre lgrement
modifie pour conduire la conclusion souhaite S
N
> Q
N
. En
effet, le choix (3.6) pour les
d
minimise bien Q
N
(H) et donc aussi
H
Q
N
(H), mais notre problme consiste en ralit maximiser
le rapport
_
H
S
N
(H)
_
_
_
H
Q
N
(H)
_
.
Le remde est cependant porte de main. En posant
d
:= (d)
_
ln
+
R/d
ln R
_
k+r
o r est un paramtre entier positif, et en utilisant le rsultat de
Gallagher (1976)
H[1,H]
|H|=k
S(H)
_
H
k
_
,
nous obtenons dune part, par un raisonnement analogue celui
qui conduit (3.7),
H[1,H]
|H|=k
Q
N
(H)
H
k
(k +2r)!N
k!(ln R)
k+2r
101
et dautre part
H[1,H]
|H|=k
S
N
(H)
H
k
(k +2r)!N
k!(ln R)
k+2r
ln N
_
H+
2k(2r +1) ln R
(r +1)(k +2r +1)
_
.
De plus, ces valuations sont uniformes, pour tout k fix, ds
que H ln N et R N
1/4
, cette dernire restriction
provenant essentiellement des conditions de validit du thorme
de BombieriVinogradov nonc p. 88.
En choisissant H := ln N, o est un paramtre positif
arbitrairement petit, assez petit, R :=
_
N
1/4
_
, k assez grand
et r :=
k|, nous obtenons bien
H[1,H]
|H|=k
S
N
(H) >
H[1,H]
|H|=k
Q
N
(H)
pour N assez grand.
7. quirpartition modulo un
Ltude de ladquation de la rpartition des nombres premiers
avec le modle stochastique de Cramr peut tre poursuivie et
gnralise en analysant la distribution des nombres premiers relati-
vement dautres types de mesures. Le domaine de lquirpartition
modulo un, qui constitue une branche part entire de la thorie
des nombres, fournit cet gard un vaste champ dinvestigations.
Une suite u
n
n=1
valeurs dans [0, 1[
(1)
est dite quirpartie
modulo 1 si chaque sous-intervalle de [0, 1[ reoit asymptotique-
ment une quote-part quitable des valeurs de u
n
, en dautres termes
si lon a pour tous , avec 0 < < 1,
lim
N
(1/N)[n N : < u
n
[ = .
(Une telle suite est donc dense dans [0, 1[.) Plus gnralement, on
dit quune suite u
n
n=1
valeurs relles est quirpartie modulo 1
1. Il serait plus exact de parler ici du tore R/Z, mais nous naurons pas lusage de cette
subtilit conceptuelle.
102
si la suite u
1
) , u
2
) , . . . de ses parties fractionnaires satisfait la
condition prcdente.
Le rsultat de base de la thorie est le critre dquirpartition
dHermann Weyl (1916) qui nonce que la suite relle u
n
n=1
est
quirpartie modulo 1 si, et seulement si, lune des deux conditions
quivalentes suivantes est ralise :
(i) lim
N
1
N
nN
f (u
n
))=
_
1
0
f (x) dx (f R[0, 1[),
(ii)
nN
e
2iu
n
= o(N) (N , = 1, 2, . . .),
o, dans (i), nous dsignons par R[0, 1[ lespace des fonctions
intgrables au sens de Riemann sur [0, 1[.
On peut donner rapidement une ide de la dmonstration en
observant dabord que la dfinition de lquirpartition modulo 1
correspond la condition (i) pour les fonctions indicatrices din-
tervalles, dont les combinaisons linaires permettent dapprocher
convenablement les lments de R[0, 1[. Ensuite, la condition
(ii), qui est clairement un cas particulier de (i), contient en fait
le cas gnral puisque les combinaisons linaires dexponentielles
x e
2ix
( Z) permettent dapprocher les fonctions prio-
diques continues, et donc aussi les fonctions Riemann-intgrables.
Il est immdiat de dduire du critre de Weyl que la suite
n n) est quirpartie modulo 1 pour tout nombre
irrationnel : les sommes dexponentielles de (ii), quon peut cal-
culer explicitement puisquelles correspondent des progressions
gomtriques, sont bornes.
Considrons la suite ln n
n=1
. La somme trigonomtrique
associe scrit
S
N
=
nN
n
2i
= N
2i
nN
_
n
N
_
2i
N
1+2i
_
1
0
x
2i
dx =
N
1+2i
1 +2i
(N ),
103
daprs la thorie de lintgrale de Riemann. Ainsi S
N
/N ne
tend pas vers 0, et la suite ln n
n=1
nest donc pas quirpartie
modulo 1. Nous observons cependant quelle est dense modulo 1
puisque ln n et ln(n +1) ln n 0 lorsque n .
On peut montrer, grce une mthode gnrale destimation
de sommes trigonomtriques mise au point par van der Corput
dans les annes vingt, que la suite n ln n
n=1
est quirpartie
modulo 1 pour tout ,= 0. Cela suggre, au vu du thorme
des nombres premiers, quil en va de mme de la suite p
n
n=1
lorsque R Q.
Le critre de Weyl nous enseigne que le comportement des
sommes dexponentielles
nN
e
2iu
n
reflte la nature de la rpartition de u
n
n=1
modulo 1. Mais
peut-on galement y lire le caractre alatoire de la suite ?
Il est acquis quune suite alatoire est presque srement
quirpartie modulo 1. Si X
n
n=1
est une suite de variables
alatoires indpendantes et uniformment rparties sur [0, 1[,
(1)
la
loi du logarithme itr des probabilits fournit mme lestimation
presque sre
limsup
N
[
nN
e
2iX
n
[
2N ln
2
N
= 1 ( ,= 0).
Cela suggre que le comportement de sommes dexponentielles
portant sur les nombres premiers, et en particulier celui de
S
N
() :=
nN
e
2ip
n
,
contient une information capitale sur la nature stochastique de la
rpartition des nombres premiers.
1. En dautres termes, P(X
n
z) = z (0 z 1).
104
Non seulement la validit de lestimation S
N
() = o(N)
pour tout entier ,= 0 quivaut lquirpartition de p
n
n=1
modulo 1, mais encore la qualit de lvaluation effective nous
permet, le cas chant, de prciser si ce rsultat dquirpartition
doit tre interprt comme un signe de rgularit dterministe ou
dirrgularit alatoire pour la suite p
n
n=1
.
En effet, une suite u
n
n=1
peut tre quirpartie modulo 1
pour plusieurs raisons fondamentalement distinctes. Nous avons
vu plus haut que le caractre alatoire en est une. Considrons,
loppos, le cas de la suite n
n=1
avec irrationnel. Les
sommes dexponentielles sont alors aussi petites que possible, et
lquirpartition provient de la parfaite rgularit de la suite n n.
Dune manire gnrale, si le nombre irrationnel est approch
par un rationnel rduit a/q, la partie fractionnaire u
n
), lorsque
u
n
Z, est proche de r
n
/q o r
n
est le reste de au
n
modulo q.
Dans le cas de la suite u
n
= n, ces restes dcrivent uniformment
les entiers de 0 q 1, et cela explique lquirpartition.
Bien entendu, une suite peut aussi tre trs rgulire sans pour
autant tre quirpartie modulo 1 : la suite nulle est un exemple
trivial et nous avons mentionn plus haut le cas moins vident de
la suite ln n
n=1
.
(1)
Largument dapproximation des irrationnels par des rationnels
prsent plus haut pour justifier lquirpartition modulo 1 de la
suite n
n=1
( R Q) peut lvidence tre transpos la
suite p
n
n=1
: on fait maintenant appel au thorme de Dirichlet
qui assure, pour tout q, une bonne rpartition des p
n
dans les
classes de congruences admissibles modulo q.
(2)
Lquirpartition
de la suite p
n
n=1
a t essentiellement tablie par Vinogradov
(1937) dans sa dmonstration que tout entier impair assez grand
1. Le dfaut dquirpartition tient alors la lenteur de croissance, qui imprime la
suite un caractre stationnaire , mme modulo 1.
2. Cet argument heuristique nest valable que dans les cas non pathologiques et doit
tre utilis avec prcaution : Meijer & Sattler (1972) ont construit une suite dentiers
|u
n
n=1
qui est bien rpartie modulo q pour tout q mais telle que |u
n
n=1
ne soit
quirpartie modulo 1 pour presque aucun .
105
est somme dau plus trois nombres premiers ce qui constitue,
encore aujourdhui, le pas le plus significatif vers la conjecture de
Goldbach.
(1)
La preuve, dont lobjectif est donc dtablir la relation
asymptotique
S
N
() = o(N) (N )
pour tout irrationnel fix, se scinde naturellement en deux selon
la taille du dnominateur q Q
N
dune approximation a/q de
telle que (a, q) = 1, [a/q[ 1/qQ
N
,
(2)
o Q
N
= N/(ln N)
A
pour une constante A arbitrairement choisie.
Si q (ln N)
A
, on peut faire appel au thorme de Siegel
Walfisz pour estimer
S
N
(a/q) =
1bq
e
2iab/q
(p
N
; b, q).
Grce lidentit de Ramanujan

1bq
(b,q)=1
e
2iab/q
= (q), il suit
S
N
(a/q) =
N(q)
(q)
+O
_
Ne
c
ln N
_
.
Posant := a/q et R
n
:= S
n
(a/q) n(q)/(q), on en
dduit
S
N
() =
nN
e
2ip
n
S
n
(a/q) S
n1
(a/q)
=
nN
O
_
1
(q)
_
+
nN
e
2ip
n
R
n
R
n1
.
1. Voir le Chapitre 5, p. 152.
2. Lexistence de a/q est assure par un thorme classique de Dirichlet tabli grce au
principe des tiroirs.
106
La premire somme en n est clairement N/(q). La seconde
vaut
n<N
R
n
e
2ip
n
e
2ip
n+1
+R
N
e
2ip
N
n<N
[R
n
[ [[(p
n+1
p
n
) +[R
N
[
Ne
c
ln N
_
p
N
qQ
N
+1
_

N
q
,
de sorte que, finalement,
S
N
() N/(q).
Cette majoration est pleinement acceptable puisque lirrationalit
de implique que q, donc aussi (q), tend vers linfini avec N.
Si q > (ln N)
A
, la technique prcdente est rendue caduque
par notre ignorance de la rpartition des nombres premiers dans
les progressions arithmtiques, et il faut recourir un argument
indirect global. Lide essentielle consiste introduire une identit
combinatoire (analogue celle du crible dratosthne) permettant
dexprimer S
N
() au moyen de sommes du type
n
a
m
b
n
e
2imn
,
o m et n sont des entiers ordinaires, astreints parcourir certains
intervalles, et a
m
, b
n
sont des fonctions arithmtiques de tailles
contrles.
Il existe ce jour trois familles didentits fournissant des
dcompositions utilisables dans ce contexte, dont les versions
initiales sont dues respectivement Vinogradov (1937), Vaughan
(1977) et Daboussi (1996).
Il nous entranerait trop loin de dcrire ici les formules
correspondantes. Nous nous contenterons dindiquer que les deux
dernires ont permis une considrable simplification de la mthode
de Vinogradov, ainsi du reste quune amlioration des bornes
107
obtenues. La mthode de Vaughan, par exemple, fournit, ds que
[ a/q[ 1/q
2
, (a, q) = 1,
S
N
() (ln N)
4
_
N/
q +N
4/5
+
_
Nq
_
.
Choisissant A = 2B + 8, et donc Q
N
= N/(ln N)
2B+8
, nous
pouvons ainsi noncer que lon a, pour toute constante B > 0,
S
N
() N/(q) +N/(ln N)
B
,
o a/q est une approximation rationnelle de telle que q Q
N
,
(a, q) = 1, [ a/q[ 1/qQ
N
.
Bien qu notre connaissance aucun rsultat de minoration de
[S
N
()[ ne soit connu, on conjecture gnralement que la suite
p
n
n=1
est plus alatoire que dterministe et partant que lordre
de grandeur de S
N
() est usuellement comparable

N. La
majoration issue de la mthode de Vaughan fournit certainement,
pour tout > 0, une borne O
(N
4/5+
) lorsque les bonnes
approximations rationnelles de ont de grands dnominateurs
ce qui est le cas de presque tous les nombres rels, et en particulier
des nombres rels algbriques.
(1)
8. Vision gomtrique
En labsence de rsultats complets sur la rpartition modulo 1
des nombres premiers, on peut soutenir lintuition par des
constructions gomtriques. tant donne une suite u := u
n
n=1
de nombres rels, on construit une ligne polygonale L(u) dont
les sommets successifs sont les points z
N
(N 0) dfinis dans le
plan complexe par
z
N
:=
1nN
e
2iu
n
(N 0).
On note que chaque ct de L(u) est de longueur unit.
1. Rappelons quun nombre rel est dit algbrique sil est racine dun polynme
coefficient entier. Un nombre qui nest pas algbrique est dit transcendant. Ainsi

2
est algbrique alors que et e sont transcendants.
108
Daprs le critre de Weyl, si la suite u est quirpartie modulo 1, on
a z
N
= o(N), donc la courbe L(u) ne sloigne pas trop rapidement
de lorigine. La visualisation de L(u) illustre en quelque sorte la
qualit de la rpartition modulo 1, et pourra mettre en vidence des
phnomnes cachs ou difficiles tablir directement par le calcul.
Considrons la suite n
n=1
avec R Q. Nous savons
quil y a quirpartition modulo 1. Les premires valeurs de la
suite rduite sont les suivantes (pour =
2).
n 1 2 3 4 5 6 7 8 9
10
3
2
_
414 828 242 555 71 485 899 313 727
Les points u
n
semblent remplir lintervalle [0, 1[ de faon
dense. De fait, lallure de L(u) est extrmement structure, ce
qui conforte notre analyse du paragraphe prcdent selon laquelle
lquirpartition de n
n=1
est de nature dterministe.
Ainsi quon peut le montrer aisment, L(u) est une toile
une infinit de branches. Elle est dense dans la couronne centre au
point
1
2
(1 +i/ tan ) dont les cercles limites ont pour rayons
respectifs 1/[2 tan [ et 1/[2 sin [ voir Figure 1. Lallure
gnrale ne dpend que faiblement de la valeur de .
Figure 1
200
n=1
e
2in
2
109
Dans le cas de la suite n ln n
n=1
, la lecture des valeurs prises
donne, plus encore que pour la suite prcdente, limpression dun
engendrement alatoire. Cependant la courbe L(n n ln n) est
remarquablement bien structure, ainsi que latteste la Figure 2,
sur laquelle on a trac, pour =
2, les 10
4
premiers cts.
-30
-20
-10
0
10
20
30
40
50
60
-80 -60 -40 -20 0 20 40
Figure 2
10000
n=1
e
2i
2n ln n
Laspect spiral est facile interprter : cause de la faible
croissance de ln n, la courbe se comporte localement comme la
courbe associe n
N
n=1
o
N
ln N (mod 1) pour n de
taille N. La courbe se prsente donc comme une succession de
couronnes, lies par des portions quasi rectilignes, correspondant
aux valeurs de N telles que
N
0 (mod 1).
La courbe L(n n ln n|), qui pourrait a priori ressembler
plus encore L(n p
n
), prsente le mme type de structure
que la prcdente : voir la Figure 3.
Lexprimentation fait immdiatement apparatre un ph-
nomne de nature profondment diffrente pour la courbe
L(n p
n
) cf. Figure 4.
Les spirales ont disparu et la comparaison avec une suite alatoire
(Figure 5) est assez frappante. On retrouve ainsi, malheureusement
sans pouvoir le dmontrer, que les nombres premiers semblent
occuper tout le hasard qui leur est imparti.
110
Figure 3
10000
n=1
e
2i
2n ln n
Les thories du chaos nous enseignent que certains phnomnes
sont instables. Une faible variation dans les donnes initiales
provoque de formidables diffrences de comportement final.
La situation est analogue ici. Les paramtres de la rpartition
globale des nombres premiers ne permettent pas den dcrire les
irrgularits locales.
Figure 4
10000
n=1
e
2i
2p
n
111
-10
0
10
20
-30
-30
-40
-50
-60
-60 -40 -20 0 20 40 60
Figure 5
10000
n=1
e
2i
2 ala(n)
112
Chapitre 4
Une preuve lmentaire
du thorme des nombres
premiers
1. Introduction
Aprs les preuves du thorme des nombres premiers, en 1896, par
Hadamard et La Valle-Poussin, les mathmaticiens ont cherch
lucider les rapports entre la thorie des fonctions de variable
complexe et celle de la rpartition des nombres premiers, qui fait
a priori partie de larithmtique lmentaire.
Ainsi que nous lavons vu au Chapitre 2, la preuve analytique
repose de manire essentielle sur labsence de zro de la fonction zta
de Riemann sur la droite = 1. En outre, les thormes taubriens
(1)
1. Ainsi nomms par rfrence au mathmaticien autrichien A. Tauber qui a tabli en
1897 une rciproque du thorme dAbel sur la continuit radiale de la somme dune
srie entire en tout point de convergence : si lim
n
na
n
= 0 et si
lim
x1
n0
a
n
x
n
= ,
alors

n0
a
n
converge et est de somme . Hardy & Littlewood ont montr en 1913
que la condition na
n
> K (K > 0) est suffisante.
113
dvelopps par Wiener au dbut des annes 1930, et notamment
le clbre thorme dIkehara (1931), fournissent un cadre gnral
dans lequel le thorme des nombres premiers et lassertion sur
les zros de (s) apparaissent de manire clatante comme des
propositions quivalentes. Cela a induit lide quen un certain
sens la thorie des fonctions analytiques tait plus profonde que
lanalyse relle et quil tait hautement improbable, pour ne pas
dire impossible, de parvenir au thorme des nombres premiers
(1)
par de simples manipulations dingalits.
Ainsi, le thorme des nombres premiers apparaissait comme
irrductible, pour sa dmonstration, au cadre naturel dans lequel
on pouvait lnoncer une frustration qui engendrait bien des
spculations mta-mathmatiques !
Ce fut donc un grand choc lorsquen 1949 Erd os et Selberg pro-
duisirent une preuve lmentaire,
(2)
mais certainement astucieuse
et nullement facile, du thorme des nombres premiers rendant
ipso facto caduques toutes les considrations sur les profondeurs
relatives des mthodes de lanalyse complexe et de lanalyse relle.
Loutil essentiel est ici la formule asymptotique
px
(ln p)
2
+
pqx
ln p ln q = 2x ln x +O(x),
aujourdhui clbre sous le nom didentit de Selberg.
Cette relation peut tre vue comme une sorte de formule de
Stirling de degr suprieur : au lieu demployer la fonction de von
Mangoldt (n) qui vrifie
d|n
(d) = ln n (n 1),
1. Sous forme minimale : p
n
n ln n ou (x) x/ ln x , o p
n
dsigne le n-ime
nombre premier et (x) le nombre des indices n tels que p
n
x.
2. Au sens o elle nutilise pratiquement aucun outil sophistiqu danalyse lexception
des proprits du logarithme.
114
UNE PREUVE LMENTAIRE DU THORME DES NOMBRES PREMIERS
Atle Selberg (19172007)
on introduit une nouvelle fonction
2
(n) satisfaisant
d|n
2
(d) = (ln n)
2
(n 1)
et lon value sa fonction sommatoire partir dun calcul approch
lmentaire (et facile !) de
nx
(ln n)
2
. La procdure est semblable
celle employe au 1.9 pour estimer la valeur moyenne de (n)
autrement dit, obtenir lencadrement de Tchbychev, cf. p. 29
partir dune forme faible de la formule de Stirling, i.e. lvaluation
de la valeur moyenne de ln n. Le gain (capital) d lintroduction
de lexposant 2 est que la technique produit ici directement une
formule asymptotique.
En utilisant lidentit de Selberg, Erd os a prouv lmentairement
que le rapport p
n+1
/p
n
de deux nombres premiers conscutifs tend
vers 1. Il a mme tabli que, pour tout > 0 et x > x
0
() il existe
entre x et x +x au moins c()x/ ln x nombres premiers, o c()
est une constante positive ne dpendant que de .
Cela fournissait le pendant local de la rgularit globale mise
en vidence par la formule de Selberg, et il nest gure surprenant,
du moins a posteriori, quune preuve lmentaire du thorme
115
Paul Erd os (19131996)
des nombres premiers ait pu rsulter
de la conjonction de ces deux informa-
tions : Selberg effectua la liaison finale
deux jours seulement aprs quErd os
lui ait communiqu sa preuve des deux
rsultats cits plus haut. Quelque temps
plus tard, les deux mathmaticiens
simplifirent ensemble largument. La
nouvelle preuve nutilisait plus directement le rsultat dErd os
mais reposait fondamentalement sur les mmes ides.
Ces ides sont prsentes, sous une forme ou une autre, dans
toutes les dmonstrations lmentaires du thorme des nombres
premiers, et, sur ce plan, la preuve que nous prsentons dans ce cha-
pitre ne fait pas exception. On peut dire grosso modo quil sagit de
mettre en vidence des quations ou des inquations fonctionnelles.
La signification profonde dune quation/inquation fonctionnelle
est celle dune tendance lourde la rgularit : lespace analytique
est soumis un champ structurant, qui impose un comportement
rgulier toute solution situe dans son domaine dattraction. La
technique ncessaire consiste alors montrer que des estimations
prliminaires (souvent grossires) sont suffisantes pour imposer
aux quantits tudies dappartenir au domaine dattraction requis.
Hdi Daboussi
Nous nous proposons ici de four-
nir au lecteur une dmonstration l-
mentaire complte et autonome du
thorme des nombres premiers. Nous
avons choisi de prsenter la preuve de
Daboussi (1984), qui nest ni la pre-
mire historiquement, ni la plus courte,
ni celle qui conduit au meilleur rsultat
effectif, ni mme celle qui fournit le
plus vaste champ de gnralisations.
(1)
1. Notons cependant que, comme la montr Daboussi lui-mme, la mthode stend
sans difficult majeure au cas des progressions arithmtiques.
116
Il reste que nous avons, pour ce parti pris, des motivations dordre
esthtique, initiatique et heuristique.
Esthtique dabord, parce que la preuve conjugue avec raffine-
ment ides raisonnables et actes de foi au chapitre desquels nous
rangeons, bien entendu, le principe de dpart, qui nest pleinement
justifiable qua posteriori.
Initiatique ensuite, car cette preuve fournit un merveilleux
prtexte une exploration discursive du paysage actuel de la thorie
analytique des nombres : convolutions de fonctions arithmtiques,
crible, solutions dquations diffrentielles aux diffrences la
plupart des outils du chercheur moderne de la discipline sont
prsents sous une forme rudimentaire qui les rend accessibles au
nophyte.
Heuristique enfin, car lide sous-jacente ( savoir que lon peut
construire un modle multiplicativement pertinent de lensemble
des nombres entiers en omettant tous les nombres premiers assez
grands) est riche denseignements, et de promesses, aptes faire
vibrer notre petite cosmogonie personnelle de la mta-philosophie
arithmtique.
2. Intgration par parties
La sommation dAbel est la manipulation lmentaire qui consiste
exprimer une somme finie de produits, disons S =
M<nN
a
n
b
n
,
en fonction des sommes partielles de lun des termes, par exemple
A
n
=
M<kn
a
k
. De lidentit a
n
= A
n
A
n1
, on dduit en
effet que
S =
M<nN1
A
n
(b
n
b
n+1
) +A
N
b
N
.
Ce procd permet dtudier la convergence des sries oscillantes.
On en dduit en particulier le critre dAbel : si la suite a
n
n1
est
sommes partielles bornes et si la suite b
n
n1
dcrot vers 0,
alors la srie

n
a
n
b
n
converge et son reste de rang N est O(b
N
).
117
Il est trs utile davoir disposition une version effective de
la sommation dAbel adapte la situation, frquente dans les
applications, o a
n
n1
est une suite caractre arithmtique
dont la fonction sommatoire est connue de manire approche
et o b
n
n1
est une suite de nature analytique, par exemple
b
n
= b(n) o b est une fonction rgulire.
Lemme 2.1 Soient w, x R et a
n
n1
une suite complexe
satisfaisant
w<nt
a
n
= E(t) +O(R(t)) (w t x)
o E C
1
[w, x] et R : [w, x] R
+
est une fonction monotone.
Pour toute fonction b : [w, x] C continue et de classe C
1
par
morceaux, on a
(4.1)
w<nx
a
n
b(n) =
_
x
w
E
(t)b(t) dt +O(R
1
(x))
avec
R
1
(x) = [E(w)b(w)[ +[R(x)b(x)[ +
_
x
w
[R(t)b
(t)[ dt.
Dmonstration. Posons A(t) =
w<nt
a
n
. Le membre de gauche
de (4.1) vaut
b(x)A(x)
w<nx
a
n
_
x
n
b
(t) dt = b(x)A(x)
_
x
w
A(t)b
(t) dt.
Le rsultat indiqu en dcoule en remplaant dans la dernire
intgrale A(t) par E(t) + O(R(t)) et en intgrant par parties la
contribution du terme principal E(t).
118
3. Convolution des fonctions arithmtiques
Une fonction arithmtique est tout simplement une suite valeurs
complexes f : N
C. La convolution
(1)
des fonctions arith-
mtiques est lopration qui au couple (f , g) permet dassocier la
nouvelle fonction h = f g dfinie par
f g(n) =
d|n
f (d)g(n/d).
Cette opration correspond au produit ordinaire des sries de srie
de Dirichlet : on a formellement
n1
f g(n)
n
s
=
n1
f (n)
n
s
n1
g(n)
n
s
et il est facile de vrifier que cette galit formelle possde un sens
analytique ds que les trois sries sont absolument convergentes.
(2)
La fonction zta de Riemann (s) est la srie de srie de Dirichlet
associe la fonction arithmtique 1, dfinie par 1(n) = 1 (n 1),
et son carr (s)
2
est associ la fonction nombre de diviseurs
(n) = 1 1(n) =
d|n
1.
Il est facile de vrifier que la fonction
(n) :=
_
1 si n = 1,
0 si n > 1,
1. galement appele convolution de Dirichlet.
2. Cette condition peut tre affaiblie de diverses manires. Il est, par exemple, suffisant
que lune des deux sries associes f ou g soit absolument convergente, lautre tant
semi-convergente, pour que la srie associe f g converge et ait pour somme le
produit des deux sries initiales.
119
est un lment neutre pour la convolution et que lensemble des
fonctions arithmtiques muni de laddition ordinaire et du produit
de convolution est un anneau commutatif unitaire intgre.
(1)
Les fonctions multiplicatives sont les fonctions arithmtiques qui
respectent la structure multiplicative de N, i.e. celles qui vrifient
f (1) = 1, f (n) =
n
f (p
) (n > 1).
Une dfinition quivalente consiste imposer
f (1) ,= 0, et f (mn) = f (m)f (n) ds que (m, n) = 1.
Les fonctions multiplicatives constituent un sous-groupe du groupe
des lments inversibles pour la convolution. Ainsi la fonction
nombre de diviseurs = 1 1 est multiplicative. Comme une
puissance de nombre premier p
possde + 1 diviseurs, on en
dduit que
(n) =
n
( +1).
Limportance cruciale des fonctions multiplicatives en thorie
analytique des nombres tient essentiellement au thorme suivant.
Thorme 3.1 Soit f une fonction multiplicative. Alors la srie de
srie de Dirichlet F(s) =
n1
f (n)/n
s
est absolument convergente
si et seulement sil en va de mme de la srie

p
1
f (p
)/p
s
.
Lorsquil en est ainsi, on a le dveloppement en produit eulrien
convergent
F(s) =
0
f (p
)
p
s

1. On peut aussi montrer quil est factoriel, autrement dit toute fonction arithmtique
peut se dcomposer en produit dun lment inversible et dlments premiers, avec
dcomposition unique au facteur inversible prs. Une fonction arithmtique f est
inversible si, et seulement si, lon a f (1) ,= 0.
120
Dmonstration. Observons tout dabord que la convergence absolue
de la somme double, qui est une consquence triviale de celle de
F(s), implique la convergence du produit infini
M :=
p
_
1 +
f (p
)
p
s
_
.
Rciproquement, sous lhypothse que la srie double converge
absolument, nous pouvons crire pour x 1
nx
f (n)
n
s

P
+
(n)x
f (n)
n
s
px
_
1 +
f (p
)
p
s
_
M.
Cela montre bien que la srie F(s) est absolument convergente.
La majoration
n1
f (n)
n
s

px
0
f (p
)
p
s
P
+
(n)>x
f (n)
n
s
n>x
f (n)
n
s
implique alors, en faisant tendre x vers linfini, la formule du

dveloppement eulrien.
Lorsquon applique le thorme prcdent la fonction f = 1,
on retrouve la formule dEuler, dj rencontre aux Chapitres 1
et 2.
Le principe de lhyperbole, d Dirichlet, est un procd
commode pour valuer la fonction sommatoire dun produit de
convolution.
Lutilisation ponyme est lie la fonction nombre de diviseurs
= 1 1, dont la fonction sommatoire
nx
(n) =
uvx
1
dnombre exactement le nombre de points coordonnes entires
situs dans le premier quadrant ouvert et sous lhyperbole quilatre
uv = x.
121
Thorme 3.2 (Principe de lhyperbole) Soient f , g deux
fonctions arithmtiques, de fonctions sommatoires respectives
F(x) :=
nx
f (n), G(x) :=
nx
g(n).
On a pour 1 y x
nx
f g(n)
=
ny
g(n)F
_
x
n
_
+
mx/y
f (m)G
_
x
m
_
F
_
x
y
_
G(y).
Dmonstration. Le membre de gauche scrit encore
mdx
f (m)g(d)
=
mdx, dy
f (m)g(d) +
mdx, d>y
f (m)g(d)
=
dy
g(d)F(x/d) +
mx/y
f (m) G(x/m) G(y) .
Cela implique immdiatement le rsultat annonc, en dveloppant
le dernier terme.
Lapplication historique de cette mthode est la clbre formule
de Dirichlet
nx
(n) = xln x +2 1 +O(
x).
Le thorme prcdent appliqu avec y =

x et f = g = 1 (donc
F(x) = G(x) = x|), montre en effet que le membre de gauche
vaut
2
x
x/m|
_
x
_
2
= 2
x
x/m x +O(
x).
122
On conclut en appliquant le rsultat classique
mz
1
m
= ln z + +O
_
1
z
_
avec z =

x.
4. La fonction de Mbius
Nous avons dj rencontr la fonction de Mbius, note , dans
la formule du crible dratosthne ( 1.8). Nous la redfinissons
ici (afin de garantir lautonomie de ce chapitre) comme linverse
de convolution de la fonction 1, soit
1 = ou encore
d|n
(d) =
_
1 si n = 1,
0 si n > 1.
Lexistence de linverse est garantie par le fait que les fonctions
multiplicatives forment un sous-groupe de lensemble des fonctions
arithmtiques inversibles. La multiplicativit nous permet, pour le
calcul de cet inverse, de nous restreindre aux puissances de nombres
premiers.
(1)
La relation de convolution 1 = fournit alors, de
proche en proche, (p) = 1 et (p
) = 0 pour 2. On a
donc, pour un entier gnrique n de dcomposition canonique
n =
k
j=1
p
j
j
,
(n) =
_
(1)
k
si
j
= 1 (1 j k),
0 si max
j

j
2.
Comme on peut le vrifier sans peine, la fonction de von
Mangoldt rencontre au Chapitre 1 (p. 27) satisfait la relation
de convolution 1 = ln. En convolant par , on obtient
= ln .
On peut aussi vrifier que = (ln) 1.
1. On a (1) = 1 par dfinition puisque linverse de convolution dune fonction
multiplicative est encore multiplicative.
123
Plus gnralement, on peut rassembler les proprits algbriques
de la fonction de Mbius dans lnonc suivant.
Thorme 4.1 (Inversion de Mbius)
(a) Soient f et g des fonctions arithmtiques. Les deux proprits
suivantes sont quivalentes
(i) g(n) =
d|n
f (d) (n 1)
(ii) f (n) =
d|n
g(d) (n/d) (n 1).
(b) Soient F et G des fonctions complexes dfinies sur [1, +[. Les
deux conditions suivantes sont quivalentes
(iii) F(x) =
nx
G(x/n) (x 1)
(iv) G(x) =
nx
(n)F(x/n) (x 1).
Dmonstration. Le point (a) exprime directement lquivalence
des relations g = f 1 et f = g . tablissons par exemple
limplication (iii) (iv), la rciproque tant analogue. Pour x 1,
nous avons
nx
(n)F(x/n) =
nx
(n)
mx/n
G(x/mn)
=
kx
G(x/k)
mn=k
(n).
Par dfinition de , la somme intrieure vaut (k). Cela implique
bien (iv).
En appliquant le Thorme 4.1 pour G(x) 1, on obtient
nx
(n) x/n| = 1 (x 1).
124
Cela montre que
sup
xR
nx
(n)
n
1
et suggre que lim
x
nx
(n)/n = 0. Nous verrons au para-
graphe suivant que cette relation est lmentairement quivalente
au thorme des nombres premiers.
Posons
M(x) :=
nx
(n).
Par interversion de sommations, on a pour a > 0, b > 0,
_
b
a
M(x)
dx
x
2
=
M(a)
a

M(b)
b
+
a<nb
(n)
n
de sorte que
(4.2) sup
a,bR
+
_
b
a
M(x)
dx
x
2
4.
Nous ferons un usage crucial de cette majoration au cours de la
dmonstration lmentaire du thorme des nombres premiers.
Remarque. La dfinition du produit de convolution en termes de
produit ordinaire de sries de srie de Dirichlet permet de retrouver
immdiatement que lon a

n1
(n)/n
s
= 1/(s) pour > 1
et en particulier,
n1
(n)/n
2
= 6/
2
,
puisque (2) =
2
/6 (cf. 2.4, p. 57). Le thorme suivant
permet dinterprter ce nombre comme la probabilit que deux
entiers choisis au hasard soient premiers entre eux.
Thorme 4.2 Dsignons par G(x, y) le nombre des couples den-
tiers (m, n) tels que 1 m x, 1 n y, (m, n) = 1. Alors
125
la relation asymptotique G(x, y) (6/
2
)xy a lieu lorsque x et y
tendent vers linfini. Plus prcisment, on a en posant z := min(x, y)
G(x, y) = xy
_
6
2
+O
_
ln z
z
__
(x, y 2).
Dmonstration. Grce la relation de convolution = 1 , on
peut crire
G(x, y) =
mx, ny
((m, n)) =
dz
(d)
_
x
d
_ _
y
d
_
= xy
dz
(d)
d
2
+O
_
(x +y)
dz
1
d
_
= xy
_
6
2
+O
_
1
z
+
_
1
x
+
1
y
_
ln z
__
.
5. Valeur moyenne de la fonction de Mbius

et thorme des nombres premiers
Nous avons vu au Chapitre 1 que la fonction de von Mangoldt
= ln est fortement lie la fonction caractristique des
nombres premiers et possde une fonction sommatoire
(x) =
nx
(n),
qui, comme il a t tabli p. 29, satisfait
(x) (x) ln x (x ).
Il est donc naturel de se demander si la valeur moyenne de
(n) possde une interprtation simple dans le cadre de ltude
asymptotique des fonctions de Tchbychev (x), (x), cest--
dire dans le domaine de la rpartition des nombres premiers. Le
thorme suivant, d Landau (1909), rpond compltement
cette question.
126
Thorme 5.1 Les assertions suivantes sont lmentairement qui-
valentes :
(i) (x) x (x ),
(ii) M(x) :=
nx
(n) = o(x) (x ),
(iii)

n1
(n)/n = 0.
Remarques. Seule limplication (ii) (i) sera utilise dans la preuve
du thorme des nombres premiers. Ainsi que le lecteur pourra
le constater aisment, ce nest pas la partie la plus difficile de la
dmonstration. Lassertion (iii) signifie bien entendu que la srie
figurant au membre de gauche converge et est de somme nulle.
Dmonstration. Limplication (iii) (ii) rsulte dune simple
intgration par parties. Supposons, en effet, que
m(x) :=
nx
(n)/n = o(1) (x ).
En appliquant le Lemme 2.1 avec w = 1, E(t) = 0 et
R(t) = sup
yt
[m(y)[,
nous obtenons,
M(x) xR(x) +
_
x
1
R(t) dt = o(x).
Pour prouver limplication (ii) (i), nous tablissons dabord
une identit de convolution pour la fonction 1, dont nous
devons montrer quelle possde une fonction sommatoire o(x).
On a
1 = (ln ) = (ln +21) 2
= f 2,
o la fonction f := ln +21 satisfait
F(x) :=
nx
f (n) = O(
x),
127
daprs la formule de Dirichlet tablie au 3 et lvaluation
classique
nx
ln n = x ln x x +O(1 +ln x) (x 1).
Nous allons montrer que
H(x) :=
nx
f (n) = o(x)
en utilisant lestimation prcdente pour F(x) et en faisant appel
au principe de lhyperbole (Thorme 3.2). Pour chaque y > 2
fix, on peut en effet crire
H(x) =
nx/y
(n)F
_
x
n
_
+
my
f (m)M
_
x
m
_
F(y)M
_
x
y
_
.
Sous lhypothse (ii), il suit donc, pour chaque y fix,
limsup
x
H(x)
x
limsup
x
1
x
nx/y
F
_
x
n
_
limsup
x
1
x
nx/y
_
x
n

1
Comme y peut tre choisi arbitrairement grand, cela implique bien

que H(x) = o(x).
Il reste tablir limplication (i) (iii). Nous utiliserons la
majoration
[m(x)[ 1
prouve au paragraphe prcdent. Nous remarquons dabord que
la formule dinversion de Mbius 1 = implique
md=n
(m)
md
=
(n)
n
= (n) (n 1)
128
do, par sommation pour n x,
mx
(m)
m
dx/m
1
d
= 1 (x 1).
En valuant la somme intrieure, il vient
1 =
mx
(m)
m
_
ln
_
x
m
_
+ +O
_
m
x
_
_
= m(x)(ln x +) G(x) +O(1),
o lon a pos
G(x) :=
mx
(m) ln m
m

Il nous suffit donc dtablir que lon a
G(x) = o(ln x) (x ).
cette fin, nous utilisons la relation de convolution
ln = = (1 ) ,
dont nous omettons la vrification, qui est facile. Posant
P(x) := x| (x) =
nx
(1 (n)) = o(x),
on peut donc crire
G(x) +1 =
jx
_
P(j) P(j 1)
j
_
m
_
x
j
_
=
jx
P(j)
_
m(x/j)
j

m(x/(j +1))
j +1
_
+o(1)
=
jx
P(j)
j
_
m
j
(x) +
1
j +1
m
_
x
j +1
__
+o(1),
129
avec m
j
(x) := m(x/j)m(x/(j +1)). Donnons-nous alors, pour
chaque > 0, un nombre entier j
0
() tel que [P(j)[ j pour
j > j
0
(). En utilisant la majoration sup
t
[m(t)[ 1 et lingalit
triviale
[m
j
(x)[

x/(j+1)<nx/j
1
n
,
il suit
[G(x) +1[ 3
jj
0
()
[P(j)[
j
+2
nx
1
n
+o(1),
do limsup
x
[G(x)[/ ln x 2. Comme est arbitrairement
petit, cela montre bien que
G(x) = o(ln x)
et achve la dmonstration du thorme.
On peut obtenir dautres formulations quivalentes celles du
Thorme 5, par exemple
(iv)
nx
(n)/n = ln x +o(1) (x ).
Limplication (iv) (i) dcoule directement du Lemme 2.1, et
nous omettons les dtails. Pour montrer la rciproque, on utilise
nouveau la fonction
f = ln +21.
On a
nx
(n) 1
n
=
kdx
f (k)
k
(d)
d
2
=
dx/y
(d)
d
L
_
x
d
_
+
ky
f (k)
k
m
_
x
k
_
L(y)m
_
x
y
_
2,
130
avec
L(z) :=
kz
f (k)
k
= C +O
_
1
z
_
(z 1).
Cette dernire relation est tablie, pour une constante convenable
C, par sommation dAbel en utilisant lestimation
F(z)

z.
En faisant tendre x puis y vers linfini, on obtient, grce (iii),
nx
(n) 1
n
= 2 +o(1),
do la conclusion souhaite.
6. Entiers sans grand ou sans petit facteur premier
Dans la thorie analytique moderne, les ensembles dentiers
S(x, y) := n x : P
+
(n) y,
T(x, y) := n x : P
(n) > y,
jouent des rles de plus en plus importants. La source de ce
phnomne rside principalement dans le fait que, pour y donn,
chaque entier n x peut tre dcompos de manire unique
sous la forme dun produit n = ab avec a S(x, y), b T(x, y).
On exploite ensuite cette factorisation avec lide gnrale que le
nombre a se comporte essentiellement comme un entier ordinaire,
alors que b possde les caractristiques dun nombre premier.
En dautres termes, S(x, y) et T(x, y) constituent respectivement
des modles simplifis de lensemble des entiers et de celui des
nombres premiers nexcdant pas x.
La dmonstration lmentaire du thorme des nombres pre-
miers que nous allons prsenter fait appel aux proprits de base
de ces ensembles. Nous notons
(x, y) := [S(x, y)[, (x, y) := [T(x, y)[.
131
La plupart des estimations qui suivent sexpriment de manire
naturelle en fonction de la quantit
u := (ln x)/ ln y.
Nous adopterons systmatiquement cette notation.
Nous ferons dans la suite un usage intensif (et parfois implicite)
de la proprit suivante : pour tout y 2 la srie
P
+
(n)y
1
n
py
_
1
1
p
_
1
est convergente ds que > 0. Cela dcoule immdiatement du
Thorme 3.1, puisque la somme double
py
1
1
p
py
1
p
1
est finie.
Thorme 6.1 On a
(x, y) xe
u/2
(x 1, y 2).
Dmonstration. Nous pouvons supposer y 11 puisque dans le
cas contraire S(x, y) est rduit aux nombres de la forme 2
nexcdant pas x, do
(x, y) (ln x)
4
(y < 11).
Maintenant, donnons-nous un paramtre positif et consid-
rons la fonction multiplicative f
dfinie par f
(p
) = p
si p y
et f
(p
) = 0 dans le cas contraire. Si n > x

3/4
et n S(x, y), on
a f
(n) > x
3/4
, donc
(x, y) x
3/4
+x
3/4
nx
f
(n).
(1)
1. Le principe trs simple de cette ingalit, consistant majorer une fonctionindicatrice
par un multiple constant dune fonction multiplicative a t employ par Rankin dans
ce contexte prcis. Les arithmticiens y rfrent souvent sous le nom de mthode de
Rankin.
132
Choisissons = 2/(3 ln y), de sorte que
x
3/4
= e
u/2
et x
3/4
xe
u/2
.
Nous allons montrer que la somme en n est O(x), ce qui suffit
pleinement fournir lestimation annonce.
Lide essentielle consiste introduire la fonction multiplicative
positive ou nulle g
dfinie par g
(p
) = p
(1 p
) si p y
et g
(p
) = 0 si p > y, et remarquer que f
1. En fait
(g
1)(n) = n
= f
(n) si P
+
(n) y et, dans le cas contraire,
(g
1)(n) 1 > f
(n) = 0. On a donc
nx
f
(n)
nx
d|n
g
(d) =
dx
g
(d)
_
x
d
_
,
aprs interversion de sommations. Il en rsulte que la somme
majorer nexcde pas
P
+
(d)y
g
(d)
x
d
= x
py
0
g
(p
)
p

On a g
(p
)/p
= p
(1p
)/p
(e
2/3
/p)
ln p et e
2/3
< 2.
La somme en vaut donc 1 +O(ln p/p). Le premier thorme
de Mertens (cf. p. 32) implique alors que le produit en p est born,
ce qui achve la dmonstration.
Thorme 6.2 On a pour x 1, y 2,
(x, y) = x
py
_
1
1
p
_
+O
_
xe
u/2
ln y
_
.
Dmonstration. Par la formule dinversion de Mbius, la quantit
d|n, P
+
(d)y
(d) vaut 1 ou 0 selon que lentier n appartient ou
non T(x, y). En sommant pour n x et en intervertissant les
sommations, on obtient
(x, y) =
dx, P
+
(d)y
(d) x/d| .
133
La formule annonce en dcoule en remplaant x/d| par
(x/d) + O(1) pour d x et en notant que le Thorme 6.1
permet, par intgration par parties (cf. le Lemme 2.1), dobtenir
la majoration
d>x, P
+
(d)y
(d)/d e
u/2
ln y.
Bien entendu, lestimation du Thorme 6.2 nest utile que

pour des valeurs de y sensiblement plus petites que x : il faut que
y x
{1/2+o(1)}/ ln
2
x
pour que lon puisse dduire du Thorme 6.2 une majoration
meilleure que lingalit triviale (x, y) x. Cette limitation ne
sera toutefois nullement un handicap dans la perspective o nous
nous plaons. Nous nutiliserons en fait que des valeurs bornes
de y.
Soit
M(x, y) :=
nS(x,y)
(n).
Conformment au principe expos plus haut de modliser
n : n x par S(x, y), la mthode de Daboussi a pour point
de dpart un rsultat liant le comportement de M(x) celui de
M(x, y).
Proposition 6.3 Pour chaque y 2 fix, on a :
limsup
x
[M(x)[
x

py
_
1
1
p
_
_

1
[M(x, y)[
x
2
dx.
Dmonstration. Le Thorme 6.1 implique la convergence de lint-
grale. Dcomposons canoniquement chaque entier n nexcdant
134
pas x sous la forme n = ab avec a S(x, y), b T(x, y). On a
alors ncessairement (a, b) = 1 donc (n) = (a)(b). Il suit
M(x) =
bT(x,y)
(b)M(x/b, y),
et donc
[M(x)[

bT(x,y)
[M(x/b, y)[
=
nx
[M(n, y)[
_
_
x
n
, y
_
_
x
n +1
, y
__
.
Utilisons maintenant lapproximation du Thorme 6.2 pour
valuer lexpression entre accolades, en notant
y
le produit en p.
La contribution du terme principal est
nx
[M(n, y)[x
_
n+1
n
y
dt
t
2
x
y
_

1
[M(t, y)[
t
2
dt.
Cette majoration est bien compatible avec le rsultat annonc
et il reste seulement montrer que la contribution des
termes derreur est o(x). Cette contribution vaut exactement
R :=
nx
[M(n, y)[R
n
avec
R
n
:=
_
x
n
, y
_
_
x
n +1
, y
_
x
y
_
n+1
n
dt
t
2
,
de sorte que le Thorme 6.2 implique, pour tout entier N x,
N<nx
R
n
(x/N)
1(y)
ln y,
o lon a pos (y) = 1/(2 ln y). En observant que
[M(n, y)[ [M(n 1, y)[
135
est major en valeur absolue par la fonction indicatrice de S(x, y),
une simple sommation dAbel fournit alors
R (ln y)
nS(x,y)
(x/n)
1(y)
(ln y)
2
x
1(y)
.
Cela termine la dmonstration de la Proposition 6.3.
Il sagit maintenant de montrer que la borne suprieure
obtenue pour limsup [M(x)[/x tend vers 0 quand y . Cette
estimation, qui constitue le cur de la mthode, ncessite les
dveloppements qui suivent.
7. La fonction de Dickman
On appelle fonction de Dickman lunique fonction continue
: [0, [R, drivable sur ]1, [, telle que
_
(v) = 1 (0 v 1),
v
(v) +(v 1) = 0 (v > 1).

Cela dfinit bien de manire rcursive : pour tout entier k 1
et v [k, k +1[, on a
(v) = (k)
_
v
k
(t 1)
dt
t

Les principales proprits de la fonction de Dickman sont
rassembles dans lnonc suivant. Nous rappelons (cf. 2.4) la
dfinition de la fonction dEuler et lquation fonctionnelle
v(v) = (v +1),
de sorte que (n +1) = n! pour tout entier n 0. On note en
particulier la relation asymptotique
ln (v) v ln v (v ).
136
Thorme 7.1 On a :
(i) v(v) =
_
v
v1
(w) dw (v 1)
(ii) (v) > 0 (v 0)
(iii)
(v) < 0 (v > 1)

(iv) (v) 1/(v +1) (v 0).
Dmonstration. Le point (i) est une consquence immdiate de
lquation diffrentielle aux diffrences et des conditions initiales
de la dfinition de . En effet, les deux membres de (i) ont mme
drive pour v > 1 et mme valeur en v = 1.
Montrons (ii). Soit := inf v : (v) = 0. Si est fini,
alors > 1 puisque est continue et satisfait (v) = 1 pour
0 v 1. Par (i), on peut donc crire
0 = () =
_

1
(w) dw.
La continuit de implique alors que le membre de droite de cette
galit est strictement positif daprs la dfinition mme de .
Cela montre que nest pas fini, do (ii).
Le point (iii) dcoule immdiatement de (ii) et de lquation
fonctionnelle satisfaite par .
Nous tablissons (iv) par rcurrence sur k := v|. La proprit
est satisfaite pour k = 0 puisque (v) = 1 (0 v 1). Si k 1,
on dduit de (i), (ii), (iii) et de lhypothse de rcurrence que lon a
(v) =
1
v
_
v
v1
(w) dw
(v 1)
v

1
v(v)
=
1
(v +1)
Les solutions dquations diffrentielles aux diffrences, comme

la fonction de Dickman, interviennent dans les problmes de
thorie des nombres parce quelles sont des versions continues
de quantits arithmtiques qui vrifient des quations analogues
137
discrtes. La fonction de Dickman est ainsi lie la fonction
(x, y) que nous avons rencontre au paragraphe prcdent. En
classant les entiers n de S(x, y) selon la taille de leur plus grand
facteur premier (i.e. en crivant n = mp avec P
+
(m) p y) on
obtient immdiatement lquation de Buchstab :
(x, y) = 1 +
py
(x/p, p) (x 1, y 1).
Lanalogie entre lquation de Buchstab et lquation diffrentielle
aux diffrences dfinissant la fonction de Dickman fournit le
principe du thorme suivant.
Thorme 7.2 Soit > 0. On a uniformment pour 1 x
y,
u = (ln x)/ ln y,
(x, y) = x(u)
_
1 +O
_
1
ln(2x)
__
.
Dmonstration. Introduisons, pour chaque entier k 1, la quantit
k
(x) := sup
yx
1/k
[(x, y) x(u)[.
Nous devons montrer que
k
(x) x/ ln(2x) pour tout k fix :
le rsultat annonc en dcoulera pour le choix k := 1/| +1.
On a trivialement
1
(x) 1 puisque (x, y) = x| pour
y x et (u) = 1 pour 0 u 1. On raisonne ensuite par
rcurrence sur k. Lquation de Buchstab fournit pour chaque
entier k 1, lorsque x
1/(k+1)
y < x
1/k
,
_
x, x
1/k
_
(x, y) =
y<px
1/k
(x/p, p).
En remarquant que x/p p
k
pour tout p > x
1/(k+1)
, on en dduit
que
k+1
(x)
k
(x) +xR
k
(x) +
x
1/(k+1)
<px
1/k
k
(x/p)
138
avec
R
k
(x) := sup
kuk+1
(k) (u)
y<px
1/k
1
p
_
ln x
ln p
1
_
.
La dernire somme en p relve du Lemme 2.1 dintgration par
parties. Le second thorme de Mertens (cf. p. 34) nous permet
en effet dappliquer ce rsultat avec
E(t) = ln
2
t ln
2
y, R(t) = 1/ ln(2t).
Il suit, aprs changement de variable t = x
1/v
,
y<px
1/k
1
p
_
ln x
ln p
1
_
=
_
u
k
(v 1)
v
dv +O
k
_
1
ln(2x)
_
,
do, compte tenu de lquation fonctionnelle satisfaite par ,
R
k
(x)
k
1/ ln(2x).
Cette estimation fournit immdiatement lvaluation souhaite
pour
k+1
(x) en reportant dans lingalit de rcurrence la
majoration
k
(x)
k
_
1 (k = 1)
x/ ln(2x) (k 2).
Une consquence inattendue du thorme prcdent consiste

en une preuve arithmtique de la formule
_

0
(v) dv = e
,
o dsigne la constante dEuler. Le point de dpart est lidentit
S(y) :=
py
_
1
1
p
_
1
=
P
+
(n)y
1
n
=
_

1
(x, y)
x
2
dx.
139
La formule de Mertens (cf. p. 33) fournit dune part lvaluation
S(y) = e
ln y +O(1) (y ).
Dautre part, le Thorme 7.2 permet dcrire pour tout entier
k 1 fix
_
y
k
1
(x, y)
x
2
dx = (ln y)
_
k
0
(u) du +O
k
(1)
alors que le Thorme 6.1 procure la majoration
_

y
k
(x, y)
x
2
dx
_

y
k
e
u/2
dx
x
e
k/2
ln y.
Il suit
e
=
_
k
0
(u) du +O
k
(1/ ln y) +O
_
e
k/2
_
.
La formule annonce en dcoule en faisant tendre y puis k vers
linfini.
8. La preuve de Daboussi, revisite
Soit
:= limsup
x
[M(x)[/x.
On a 0 1 et nous devons tablir que = 0. Daprs la
Proposition 6.3, on a

py
_
1
1
p
__
I
1
(y) +I
2
(y)
_
avec
I
1
(y) :=
_
y
1
[M(x)[
x
2
dx, I
2
(y) :=
_

y
[M(x, y)[
x
2
dx.
140
Michel Mends France
& Hdi Daboussi vers 1990
Nous allons montrer que pour tout
> , on a
limsup
y
I
1
(y)/ ln y ,
limsup
y
I
2
(y)/ ln y (e
1),
o = () est une quantit
< 1 si > 0. En reportant dans
notre ingalit pour et en faisant
tendre y vers linfini, cela implique
que e
+(e
1).
Comme peut tre choisi
arbitrairement proche de , il
suit 1 e
(1 ), et
finalement = 0.
Lingalit annonce pour I
1
(y) rsulte simplement de lestimation
sup
1ab
_
b
a
M(x)
dx
x
2
4
obtenue au 4. En effet, nous allons voir que lestimation requise a
lieu pour := 1
1
16
15
16
. Considrons cette fin un nombre
rel x
0
= x
0
() tel que [M(x)[ x pour tout x x
0
. Pour
chaque y x
0
, on peut scinder lintervalle [x
0
, y[ en un nombre
fini de sous-intervalles bornes entires [x
j
, x
j+1
[ (0 j J )
lintrieur desquels M(x) est de signe constant. Comme M(x) est
valeurs entires et varie par sauts de 1, on a certainement, pour
0 < j J ,
M(x
j
) = 0,
T
j
:=
_
x
j+1
x
j
[M(x)[
x
2
dx =
_
x
j+1
x
j
M(x)
x
2
dx
4.
141
Maintenant, remarquons que, pour x
j
x x
j+1
, on a
[M(x)[ = [M(x) M(x
j
)[ x x
j
.
Posant
j
= ln(x
j+1
/x
j
), et effectuant le changement de variable
x = tx
j
dans lintgrale, il suit
T
j
T
j
:= min
_
4,
_
exp
j
1
min(, 1 1/t)
dt
t
_
.
Nous allons prouver que T
j

j
, ce qui suffit pleinement
tablir le rsultat souhait concernant I
1
(y). Si
j
8, on a
T
j
4
1
2
j

j
.
On peut donc supposer
j
< 8. Grce linga-
lit 1 1/t ln t, on obtient alors
T
_
exp
j
1
ln t
dt
t
=
1
2
2
j

1
2
j
, si
j
,
(
j

1
2
) (1
1
16
2
)
j
, si
j
> ,
la seconde majoration tant obtenue en scindant lintgrale
t = e
. Nous avons donc T
j

j
en toute circonstance, et
cela fournit la majoration annonce pour I
1
(y).
Lingalit relative I
2
(y) est une consquence facile du rsultat
suivant.
Lemme 8.1 Soient > 0, > . On a uniformment pour
1 x
y, u = (ln x)/ ln y,
[M(x, y)[ x(u)
_
1 +O
_
1
ln(2x)
__
.
Admettons momentanment cet nonc et dduisons-en lestima-
tion requise. Grce la majoration triviale [M(x, y)[ (x, y) et
142
au Thorme 6.1, il suit en effet, pour tout entier k 1,
_
y
k
y
[M(x, y)[
x
2
dx ln y +O
k
(1)
_
k
1
(u) du,
_

y
k
[M(x, y)[
x
2
dx (ln y)
_

k
e
u/2
du
e
k/2
ln y.
En faisant tendre y puis k vers linfini, cela implique immdiatement
limsup
y
I
2
(y)/ ln y (e
1),
puisque
_

1
(u) du =
_

0
(u) du 1 = e
1.
Dmonstration du 8.1. Nous employons une technique analogue
celle de la preuve du Thorme 7.2 en observant que M(x, y)
satisfait aussi une quation fonctionnelle. Lide consiste exploiter
cette relation sous la forme dune inquation qui permet, au prix
dun affaiblissement du terme derreur, de propager la majoration
[M(x, y)[ (u)x +O(1),
initialement valable pour y x, tout domaine y x
. Toutefois,
on ne peut utiliser directement lquation de Buchstab
(1)
M(x, y) = 1
py
M(x/p, p 1)
car la majoration de rcurrence qui en rsulte, savoir
[M(x, y)[ [M(x, x
1/k
)[ +
y<px
1/k
[M(x/p, p 1)[,
na pas x(u) pour solution asymptotique.
1. La preuve de cette identit est semblable celle de lquation de Buchstab pour
(x, y) tablie p. 138 : il suffit ici de classer les entiers selon leur plus petit facteur
premier.
143
On contourne cette difficult technique en valuant la somme
pondre
nS(x,y)
(n) ln n =
py
mS(x/p,y)
p m
(mp) ln p
=
py
M(x/p, y) +O(x/p
2
) ln p
=
py
M(x/p, y) ln p +O(x).
Observant par ailleurs que
nS(x,y)
(n) ln(x/n)
nx
ln(x/n) x,
et donc

nS(x,y)
(n) ln n = M(x, y) ln x +O(x), on dduit de
ce qui prcde que
M(x, y) ln x =
py
M(x/p, y) ln p +O(x).
En particulier, il existe une constante absolue C telle que lon ait
pour x 1, y 1
[M(x, y)[ ln x
py
[M(x/p, y)[ ln p +Cx.
Nous allons utiliser cette inquation fonctionnelle pour dduire
de la majoration
[M(x, y)[ = [M(x)[ x (y x x
0
())
une estimation valable pour y x
. cette fin, nous introduisons

les quantits
h(v) := [M(y
v
, y)[/(v)y
v
, h
(u) := sup
u
0
vu
h(v),
144
o u
0
= u
0
() = ln x
0
()/ ln y. Notre hypothse peut donc
encore sexprimer sous la forme simple
h
(1) 1,
alors que lnonc du lemme quivaut
h
(u) 1 +O
k
(1/ ln y) (1 u k).
(1)
Considrons des nombres rels u [1, k] et v [u
0
, u].
Applique avec x = y
v
, notre inquation fonctionnelle pour
[M(x, y)[ fournit, aprs division par (v)y
v
ln y
v
,
h(v)

py, y
v
/p>x
0
h
(u v
p
)(v v
p
) ln p
p(v) ln y
v
+
py, y
v
/px
0
[M(y
v
/p, y)[ ln p
(v)y
v
ln y
v
+
C
(v) ln y
v
,
o lon a pos v
p
:= (ln p)/ ln y. Notons que M(y
v
/p, y) = 0 si
p > y
v
. Le premier thorme de Mertens permet de majorer la
seconde somme en p par
y
v
/x
0
py
v
ln p
p(v) ln y
v

1
v(v) ln y
Nous avons donc montr lexistence dune constante K() telle

que
h(v)
py
h
(u v
p
)(v v
p
) ln p
pv(v) ln y
+
K()
v(v) ln y
ce stade, nous utilisons le fait que h
(u) est une fonction

croissante de u. Posant
S
:=
py
(v v
p
) ln p
v(v)p ln y
(0 1),
1. Le rsultat souhait dcoule formellement de cette valuation avec k := ]1/_ +1.
145
nous dduisons de lingalit prcdente que
h(v) h
(u)S1
2
+h
(u
1
2
)S
1
S1
2
+
K()
v(v) ln y
Nous pouvons valuer S
grce au Lemme 2.1 en posant

a
p
= (ln p)/p ln y, b(t) = (v ln t/ ln y)/v(v).
Le premier thorme de Mertens fournit la formule asymptotique
py
t
a
p
= t +O(1/ ln y), et lon obtient
S
= r() +O
k
(1/ ln y),
avec
r() :=
1
v(v)
_

0
(v t) dt.
On dduit du Thorme 7.1(i) que r(1) = 1 et la dcroissance
de la fonction implique r(
1
2
) 1 r(
1
2
), soit r(
1
2
)
1
2
. En
reportant dans lingalit liant h(v), h
(u) et h
(u
1
2
) et en
prenant le supremum en v, il suit pour k 1 et 1 u k
h
(u) h
(u
1
2
) +O
k
(1/ ln y).
Une application inductive de cette ingalit fournit finalement
h
(u) h
(1) +O
k
(1/ ln y) 1 +O
k
(1/ ln y),
ce quil fallait dmontrer.
146
Chapitre 5
Les grandes conjectures
Si la thorie des nombres premiers doit une large part de son
pouvoir de fascination aux mystres dont elle demeure parseme,
elle avance surtout grce aux conjectures qui, au fil des sicles, ont
forg notre philosophie de lobjet et prcis les contours des buts
atteindre.
tout seigneur tout honneur. Nous avons dj mentionn, au
Chapitre 2, lhypothse de Riemann, dont une forme lmentaire
quivalente est
( > 0) (x) = li(x) +O(x
1/2+
).
On sait quun tel rsultat, sil est vrifi, serait optimal et que la
diffrence
(x) = (x) li(x)
change de signe infiniment souvent et possde des oscillations
comparables

x.
(1)
Le premier changement de signe est
certainement suprieur 10
10
et, ainsi que la montr te Riele
(1986), infrieur 7 10
370
.
1. Voir le 2.7, p. 69.
147
On peut cependant se demander quelle est la frquence de ces
oscillations. Un raisonnement heuristique sur la base dun modle
de type Cramr laisse supposer que, pour tout X assez grand, il y a
au moins un changement de signe dans chaque intervalle ]X, 2X].
Le meilleur rsultat connu dans cette direction, d Kaczorowski
(1985), tablit cette hypothse en moyenne : pour une constante
convenable c > 0, il y a au moins c log X changements de signe
dans lintervalle [2, X].
lappui de la philosophie du tout ce qui est possible se ralise ,
nous avons dj mentionn, au 1.11 (p. 41) la conjecture des
nombres premiers jumeaux. En 1923, Hardy & Littlewood ont
propos la gnralisation suivante : pour tous k-uples dentiers
positifs ou nuls a
j
k
j=1
, b
j
k
j=1
ayant la proprit que le polynme
P() =
1jk
(a
j
+b
j
)
ne sannule identiquement modulo p pour aucun nombre premier
p, il existe une infinit de nombres entiers n tels que les nombres
a
j
n + b
j
(1 j k) soient simultanment premiers. Cest la
conjecture des nombres premiers jumeaux gnralise.
(1)
On peut facilement tendre le calcul heuristique prsent au
1.11 pour fournir un quivalent asymptotique de la forme
Cx/(log x)
k
pour le nombre des nombres premiers du type indiqu
nexcdant pas x. Ainsi, cette conjecture contient, sous une forme
quantitative,
(2)
la fois le thorme de Dirichlet sur les progressions
arithmtiques et la conjecture des nombres premiers jumeaux.
Cette extension a t place par Schinzel & Sierpiski en 1958
dans un cadre plus gnral encore qui lui confre un statut quasi
dfinitif. Leur conjecture, connue sous le nom dhypothse H
snonce comme suit.
1. La conjecture classique des nombres premiers jumeaux correspond donc k = 2,
avec (a
1
, b
1
) = (1, 0), (a
2
, b
2
) = (1, 2).
2. La forme qualitative est due Dickson (1904).
148
LES GRANDES CONJECTURES
Hypothse H. Soit Q
j
()
k
j=1
une suite finie de polynmes irrduc-
tibles coefficients entiers. On note (p) le nombre de racines modulo p
du polynme Q() :=
k
j=1
Q
j
(). Alors le nombre
Q
(x) dentiers
n x tels que [Q
j
(n)[ soit premier pour 1 j k satisfait la
relation asymptotique
Q
(x) = C
Q
+o(1) x
1jk
1
log [Q
j
(x)[
(x ),
o lon a pos
C
Q
:=
p
_
1
(p)
p
__
1
1
p
_
k
.
On peut montrer grce une gnralisation adquate du
thorme des nombres premiers dans les extensions algbriques de
Q, que le produit dfinissant C
Q
converge.
Le cas trivial o Q(n) possde des facteurs fixes (i.e. o Q(n)
est divisible par un nombre premier fixe pour tout n) est couvert
par lnonc puisqualors C
Q
= 0.
Lorsque Q() =
hH
( + h) o H est un ensemble fini de
nombres entiers, on reconnat
C
Q
= S(H),
tel que dfini en (3.8) p. 100.
La thorie moderne du crible
(1)
fournit pour
Q
(x) des majo-
rations du bon ordre de grandeur, cest--dire une expression
du type conjectur, mais avec une constante ventuellement plus
grande que C
Q
.
(2)
Pour les bornes infrieures, il faut se contenter
1. Voir en particulier louvrage de Halberstam&Richert Sieve methods, Academic Press
1974.
2. Cest par exemple le cas pour la quantit (3.7) p. 100, qui constitue une majoration
du nombre des k-uples de nombres premiers de la forme (n + h
1
, . . . , n + h
k
) lorsque
H := |h
1
, . . . , h
k
est un systme admissible. Compte tenu de la limitation en R
impose par le thorme de BombieriVinogradov, on constate que la majoration
excde lquivalent asymptotique conjectur dun facteur 2
k
k! + o(1).
149
de remplacer
Q
(x) par le nombre des entiers n x pour lesquels
Q(n) ne possde (au plus) quun nombre born K > k de facteurs
premiers. Dans le cas de k = 4 polynmes linaires, par exemple,
on peut choisir K = 15.
Il est particulirement agaant de ne pas savoir sil existe ou
non une infinit de nombres premiers de la forme n
2
+1 une
consquence trs affaiblie du cas le plus simple de lhypothse H
aprs celui des polynmes de degr 1.
Plusieurs voies ont t explores pour aborder ce problme par
une variante moins difficile.
On a cherch des minorations pour le plus grand facteur premier
P
+
(Q(n)) de valeurs polynomiales. Ainsi Deshouillers & Iwaniec
(1982), amliorant un rsultat de Hooley, ont montr que lon a
P
+
(n
2
+ 1) > n
6/5
infiniment souvent. Heath-Brown (1999) a
obtenu un rsultat qualitativement comparable pour P
+
(n
3
+2).
Dans le cas dun polynme irrductible Q(n) de degr arbitraire,
la meilleure estimation connue est celle de Tenenbaum (1990),
amliorant un rsultat dErd os et Schinzel et fournissant, pour une
infinit de valeurs de n, la minoration
P
+
(Q(n)) > n exp(log n)
ds que < 2 log 4 0,6137.

Paul Erd os & Grald Tenenbaum vers 1990
150
La principale difficult inhrente au problme de trouver des
nombres premiers dans les suites polynomiales est due la vitesse de
croissance : il ny a que O(
x) valeurs dun polynme quadratique

dans les entiers x, et ce nombre est trop faible pour que
les techniques actuellement disponibles permettent dexhiber un
nombre premier parmi ces valeurs.
(1)
Piatetski-Shapiro (1953) a propos de rechercher des nombres
premiers dans la suite n
c
|
n=1
avec c > 1, c / N, ce qui fournit
un champ dinvestigation continu entre le cas des polynmes
linaires (Dirichlet) et celui des polynmes quadratiques (hypo-
thse H). Il a obtenu une formule asymptotique pour c < 12/11.
Le record actuel pour lexistence dune infinit de nombres premiers
p = n
c
| est d Rivat et Wu (2001), avec c = 243/205.
Une voie analogue consiste rechercher des nombres premiers
dans les valeurs de polynmes plusieurs variables, disons du type
Q(n
1
, . . . , n
k
) =
1jk
a
j
n
d
j
j
.
Il sagit alors de rendre la quantit b =
1jk
1/d
j
, qui est
comparable 1/c dans le problme de Piatetski-Shapiro, aussi
petite que possible. Friedlander & Iwaniec (1996) sont parvenus
une rponse positive pour le polynme n
2
1
+n
4
2
, ce qui reprsente
une avance tout fait remarquable dans ce domaine. Heath-Brown
(1999) a pu traiter le cas Q(n
1
, n
2
) := n
3
1
+2n
3
2
, avec donc b = 2/3.
Dans les deux situations, les auteurs fournissent mme une formule
asymptotique pour le cardinal des nombres premiers de la forme
indique nexcdant pas x.
Une vieille conjecture concernant la rpartition des nombres
premiers affirme que la fonction x (x) est sous-additive, en
dautres termes que
(x +y) (x) +(y) (x 2, y 2).
1. La difficult est comparable celle du problme des nombres premiers x dans
une progression arithmtique de raison q

x. Il est dailleurs intressant de noter
que cest prcisment la limite issue de lhypothse de Riemann gnralise.
151
Cette ingalit est asymptotiquement raisonnable au vu du
thorme des nombres premiers, et Montgomery & Vaughan
ont effectivement tabli en 1973 que lon a
(x +y) (x) +2(y) (x 2, y 2).
Cependant la sous-linarit est probablement fausse : Hensley &
Richards ont montr, galement en 1973, quelle est incompatible
avec la conjecture des nombres premiers jumeaux gnralise, et
lopinion gnrale est largement en faveur de cette dernire.
Une autre conjecture ultra-clbre, mise par Goldbach en 1742
dans deux lettres adresses Euler, peut tre vue comme duale de
la conjecture des nombres premiers jumeaux. Au lieu de considrer
les diffrences p q de nombres premiers (et de conjecturer que la
plus petite valeur pour laquelle il ny a pas dobstruction vidente
est atteinte infiniment souvent) on forme les sommes p +q et lon
conjecture que, puisque la seule contrainte manifeste est que ces
nombres soient pairs (lorsque p et q sont des nombres premiers
> 2), tous les nombres pairs sont effectivement reprsentables
ainsi. La conjecture de Goldbach est donc que tout nombre pair > 2
est somme de deux nombres premiers, ce qui implique trivialement
que tout nombre impair > 5 est somme de trois nombres premiers.
Le nombre R
k
(n) de reprsentations dun entier naturel n sous
la forme
n =
1jk
p
j
Hugh L. Montgomery Robert C. Vaughan
152
satisfait videmment
R
k
(n) =
_
1
0
_
pn
e
2ip
_
k
e
2in
d.
On voit ici apparatre la somme trigonomtrique S
N
() tudie au
3.7 avec N = (n). Nous savons que S
N
() est pratiquement
de lordre de N lorsque possde une bonne approximation
rationnelle avec un petit dnominateur, et que S
N
() = o(N)
dans le cas contraire. Ces observations ont conduit Hardy &
Littlewood, dans les annes 1920, valuer asymptotiquement
lintgrale en mettant en vidence une contribution dominante
issue des voisinages des nombres rationnels petits dnominateurs.
Cest la fameuse mthode du cercle, dont les applications en
arithmtique ne se comptent plus.
(1)
I.M. Vinogradov a ainsi
montr en 1937, comme consquence de ses estimations sur S
N
(),
que tout nombre impair assez grand est effectivement somme de
trois nombres premiers et que presque tout nombre pair est somme
de deux nombres premiers : le nombre dexceptions nexcdant
pas x est o(x), et Montgomery& Vaughan (1975) ont amlior
cette estimation en O(x
1
) pour un > 0 convenable.
En utilisant une mthode de crible,
(2)
le mathmaticien chinois
Chen Jing-Run a montr en 1973 que tout entier pair assez grand
est reprsentable sous la forme p + P
2
o p est premier et P
2
est
un entier ayant au plus deux facteurs premiers.
Tant par le rsultat de Chen que celui de Vinogradov, on
pourrait croire proche la solution complte de la conjecture de
Goldbach. Mais il y a loin de la coupe aux lvres : la prsence de
trois variables au lieu de deux est, dans chacune des deux mthodes,
une contrainte essentielle, et les spcialistes saccordent pour penser
que le plus dur reste faire.
1. Voir le livre de R.C. Vaughan, The HardyLittlewood method, Cambridge University
Press, 1981.
2. En fait une version pondre du crible de Selberg, cf. louvrage cit plus haut de
Halberstam & Richert.
153
La rpartition dans les progressions arithmtiques fait videm-
ment partie des grandes questions qui restent lucider sur les
nombres premiers. Nous avons dj mentionn ( 3.3, p. 88),
lhypothse de Riemann gnralise aux fonctions L(s, ) et la
conjecture dElliottHalberstam qui impliquerait, en moyenne,
une plus grande rgularit encore.
Lestimation du plus petit nombre premier, disons P(a, q), dans
la progression p a (mod q) est une question fine et difficile
participant de la mme problmatique. Un argument probabiliste
suggre que la quantit
P
(q) := max
(a,q)=1
P(a, q)
est de lordre de (q)(log q)
2
alors que lhypothse de Riemann
gnralise fournit P
(q) q
2+
pour tout > 0. Linnik (1944)
a tabli lexistence dune constante L telle que P
(q) q
L
et
Heath-Brown (1992) a montr que lon peut choisir L 11/2.
Au chapitre des problmes dirrgularit de rpartition, il faut
mentionner une curieuse conjecture de Tchbychev affirmant
quen un certain sens il y a plus de nombres premiers de la forme
4m+3 que de la forme 4m+1, ce qui est effectivement fortement
suggr par les tables.
Cette affirmation ne peut tre prise en un sens trop strict
puisquil est possible dtablir, avec des moyens analogues
ceux employs par Littlewood pour tudier les oscillations de
(x)li(x), que la diffrence (x; 1, 4)(x; 3, 4) change de signe
infiniment souvent. Cependant, Tchbychev a mis lhypothse
que, si lon note
T(, ) :=
p>2
(1)
(p1)/2
e
p
alors
lim
0+
T(, ) = .
154
Un tel rsultat confirmerait effectivement la prpondrance, en un
sens assez subtil, des nombres premiers du type 4m +3. Hardy &
Littlewood ont montr en 1918 que cela dcoulerait de lhypothse
de Riemann pour la fonction L associe lunique caractre non
trivial modulo 4, soit
L(s, ) =
n0
(1)
n
(2n +1)
s
Landau avait remarqu ds 1918 que, plus gnralement, la formule

explicite pour (x; a, q) fait apparatre un premier terme rsiduel
positif occasionnellement prpondrant si a est non-rsidu quadra-
tique modulo q. Sous lhypothse de Riemann gnralise, la
prsence de ce terme suffit impliquer la conjecture de Tchbychev.
Landau (1918) a galement tabli la rciproque : si L(s, )
possde un zro dans le demi-plan >
1
2
, alors
limsup
0+
T(, ) = + et liminf
0+
T(, ) = .
Les rsultats modernes sur ce problme vont tous dans la
direction sinon dune rfutation de lhypothse de Tchbychev, du
moins dans celle de lexistence de limitations la prpondrance de
certaines classes de rsidus sur dautres. Par exemple, Kaczorowski a
montr en 1991 que, si N(X; a, q) dsigne, pour (a, q) = 1, a ,= 1,
le nombre des entiers x X tels que (x; a, q) (x; 1, q), alors
on a, sous lhypothse de Riemann gnralise pour les fonctions
L de module q,
c
1
X N(X; a, q) (1 c
2
)X (X X
0
),
avec des constantes positives convenables c
1
et c
2
.
La plupart des autres problmes profonds et non rsolus relatifs
aux nombres premiers concernent leur prsence dans les suites
rares.
Nous avons dj mentionn le cas des valeurs polynomiales,
mais les conjectures sur le comportement statistique des nombres
155
premiers conduisent des hypothses beaucoup plus hardies
encore.
Les nombres de la forme 2
m
+1 ont, depuis longtemps, intrigu
les arithmticiens, amateurs et professionnels. Lide sous-jacente
est quen translatant un entier, tel que 2
m
, de structure multiplica-
tive trs loigne de celle dun nombre premier, on devrait obtenir
un entier sinon premier du moins dune structure voisine. Il est
facile de constater que 2
m
+ 1 ne peut tre premier que si m est
lui-mme une puissance de 2,
(1)
et Fermat a conjectur que tous
les nombres F
n
= 2
2
n
+1 sont premiers. Cette hypothse, fonde
sur le raisonnement heuristique prcdent qui tend accrotre
la probabilit que F
n
soit premier, est contraire au raisonnement
statistique puisque lesprance nave du nombre de valeurs de
n N telles que F
n
soit premier est

nN
1/ log F
n
1.
Euler a observ en 1732 que F
5
est divisible par 641 et lon sait
aujourdhui que F
n
est compos pour 5 n 21. On conjecture
que tous les F
n
sont composs partir dun certain rang, mais on
ne sait pas montrer quune infinit dentre eux sont composs.
Semblablement, 2
m
1 ne peut tre premier que si m est
lui-mme premier. Les nombres de la forme
M
p
:= 2
p
1
sont appels nombres de Mersenne, daprs le nom de celui qui
a donn en 1644 une liste (partiellement inexacte) des valeurs
de p 257 pour lesquelles M
p
est premier. Lucas a trouv une
mthode pour tester la primalit des nombres de Mersenne qui
sert encore produire de grands nombres premiers comme
celui cit dans lavantpropos.
On ignore sil existe une infinit de nombres premiers de
Mersenne, mais largument probabiliste suggre une rponse
positive. Hooley (1976) a fourni une preuve conditionnelle que, si
b est un entier impair avec [b[ > 1, le nombre
b
(x) de valeurs de
1. Si m = kp avec p > 2, on a 2
m
+ 1 = (2
k
+ 1)
0jp1
(1)
j
2
kj
.
156
n x telle que 2
n
+b P satisfait
b
(x) = o(x). Il a galement
tabli, inconditionnellement, un rsultat analogue concernant les
nombres premiers de Cullen, i.e. de la forme K
n
:= n2
n
+1 : on a
lestimation [n x : K
n
P[ = o(x).
La liste de conjectures prsente ici est bien entendu loin dtre
exhaustive. Certains problmes mentionns prcdemment dans le
texte, comme la conjecture de Cramr, nont pas t rediscuts dans
ce chapitre. Dautres questions, comme celles dorigine algbrique,
ne sont pas abordes. On se consolera en observant que lentreprise
est par nature illimite : les nombres premiers, le lecteur laura
compris, sont nigmes avant toute autre chose.
157
Lectures complmentaires
Z.I. Borevitch & I.R. Chafarevitch, 1967. Thorie des nombres,
GauthierVillars, Paris.
H. Cohen, 1993. A course in computational algebraic number theory,
Graduate Texts in Mathematics 138, Springer, New York,
Heidelberg, Berlin.
H. Davenport, 1980. Multiplicative number theory, seconde dition
rvise par H. L. Montgomery, Springer, NewYork, Heidelberg,
Berlin.
J.-P. Delahaye, 2000. Merveilleux nombres premiers, coll. Pour la
science, Belin, Paris.
H.M. Edwards, 2003. Riemanns Zeta Function, Dover Publica-
tions Inc.
P.D.T.A. Elliott, 1979. Probabilistic number theory : mean value
theorems, Grundlehren der Math. Wiss. 239, Springer-Verlag,
New York, Berlin, Heidelberg.
1980. Probabilistic number theory : central limit theorems, Grund-
lehren der Math. Wiss. 240, Springer-Verlag, NewYork, Berlin,
Heidelberg.
H. Halberstam & H.-E. Richert, 1974. Sieve methods, London
Mathematical Society Monographs 4, Academic Press, London,
New York, San Francisco.
R.R. Hall & G. Tenenbaum, 1988. Divisors, Cambridge Tracts
in Mathematics 90, Cambridge University Press.
G.H. Hardy & E.M. Wright, 2006. Introduction la thorie des
nombres, prface de Catherine Goldstein, traduction de Franois
Sauvageot, Vuibert.
A.E. Ingham, 1990. The distribution of prime numbers, prface de
R.C. Vaughan, Cambridge University Pres.
A. Ivi c, 2003. The Riemann Zeta-Function : Theory and Applications,
Dover Publications Inc.
159
LECTURES COMPLMENTAIRES
M. Kac, 1972. Statistical independence in probability, analysis
and number theory, Carus Mathematical Monographs 12,
Mathematical Association of America, John Wiley & Sons.
N. Koblitz, 2000. Algebraic aspects of cryptography, 2e dition,
Springer-Verlag, Berlin, Heidelberg.
A.J. Menezes, P.C. van Oorschot & S.A. Vanstone, 2001.
Handbook of Applied Cryptography, 5e dition, CRC Press,
2001.
H.L. Montgomery & R.C. Vaughan, 2007. Multiplicative number
theory, I. Classical theory, Cambridge Studies in Advanced
Mathematics 97, Cambridge University Press, Cambridge.
I. Niven, H. S. Zuckerman, H. L. Montgomery, 1991. An
introduction to the theory of numbers, John Wiley New York,
Chichester, Brisbane, Toronto, Singapore, xiii+527 pp.
P. Ribenboim, 2000. Nombres premiers : mystres et records, Presses
Universitaires de France.
G. Robin, 1991. Algorithmique et cryptographie, SMAI, coll. Ellipses.
P. Samuel, 1967. Thorie algbrique des nombres, Hermann, Paris.
J.-P. Serre, 1968. Corps locaux, Hermann, Paris.
G. Tenenbaum, 2008. Introduction la thorie analytique et
probabiliste des nombres, troisime dition, coll. chelles, Belin,
592 pp.
E.C. Titchmarsh, 1951. The theory of the Riemann zeta-function,
(seconde dition, rvise par D. R. Heath-Brown en 1986)
Oxford University Press.
R.C. Vaughan, 1997. The Hardy-Littlewood Method, Cambridge
Tracts in Mathematics 125, Cambridge University Press.
160
Index
Abel, Niels, 113
critre de convergence, 82, 85,
117
sommation, 117, 118, 131, 136
Adleman, Len, 18
Alain, Aspect, xii
Alford, William Robert, 16
Allouche, Jean-Paul, xvi
analytique
fonction, 43, 44, 4649, 51,
55, 57, 58, 60, 62, 64, 66,
70, 114
prolongement, 5, 44, 46, 48,
49, 5156, 70
Anker, Jean-Philippe, xvi
anneau
commutatif unitaire, 13, 120
factoriel, 120
intgre, 14, 120
Apry, Roger, 57
asymptotique (formule), 32
Bachet, Claude-Gaspard, 7, 13, 14
Baker, Roger C., 72
Balazard, Michel, xvi
bande critique, 47, 69
Barlet, Daniel, xvi
Bergelson, Vitaly, xvii
Bernoulli, Jacques
nombres, 56
variables, 93
Bertrand, Joseph
postulat, 10, 30, 70
Bohr, Niels, xii
Bombelli, Rafaele, 4
Bombieri, Enrico, 88, 97, 102, 149
Borel, mile, 93
BorelCantelli (lemme), 93
Borevitch, Zenon Ivanovitch, xiv
de la Bretche, Rgis, xvi
Brun, Viggo, 10, 11, 3640, 95, 96
Buchstab, Aleksandr Adolfovich, 96,
138
Cantelli, Francesco, 93
caractre
de Dirichlet, 79
orthogonalit, 80
principal, 80
Cardan, Jrme, 4
Carmichael, Robert Daniel, 16
Cauchy, Augustin-Louis, 43, 44, 46
cercle (mthode), 153
Chafarevitch, Igor Rostilavovitch,
xiv
Charpentier, ric, xvi
Chen, Jing Run, 153
clef publique, 17
complments (formule), 54, 55
congruence (dfinition), 13
conjecture
de Goldbach, 106, 152, 153
161
INDEX
Conrey, J. Brian, 68
convolution
de Dirichlet, 117, 119
inverse de , 123
Copenhague
cole de , xii
corps, 5
van der Corput, Johannes
Gualtherus, 89, 104
Cramr, Harald, 76, 77, 9195, 97,
102, 148, 157
crible, xiv, 10, 11, 39, 41, 72, 91,
96, 117, 149, 153
combinatoire, 36, 39
dratosthne, 10, 2426, 37,
38, 95, 107, 123
de Brun, 36, 95, 96
de Selberg, 99, 153
critre dAbel, 82, 85, 117
critique
bande, 47, 69
droite, 67, 68, 71, 88
Cullen, James, 157
Daboussi, Hdi, xvi, 107, 116, 134,
141
Dartyge, Ccile, xvi
Delahaye, Jean-Paul, xv
densit (thormes de ), 71
Descartes, Ren, 4
Deshouillers, Jean-Marc, xvi, 150
Dickman, Karl
fonction, 136138
Dirichlet, Peter G. Lejeune-, 75, 78,
79, 86, 87, 106, 122, 128
caractres, 79
convolution, 119
principe de lhyperbole, 121
problme, 70
progressions arithmtiques, 75,
79, 81, 8385, 105, 148,
151
sries L, 80, 84
division euclidienne, 12
droite critique, 67, 68, 71, 88
duplication (formule), 54, 55
Eco, Umberto, xvi
Einstein, Albert, xii
Elliott, Peter D.T.A., xv, 88, 154
Encke, Johann Franz, 65
ensemble de multiples, 12
quation
diffrentielle aux diffrences,
117, 137, 138
fonctionnelle, 116, 143
polynomiale, 15, 20
quation fonctionnelle
pour , 54, 136
pour (u), 137, 139
pour (u), 53, 55
pour (s), 5257, 67
quirpartition modulo 1, 102105
critre de Weyl, 103, 104
quirpartition modulo 1
critre de Weyl, 109
ratosthne, 9, 10, 24, 107
Erd os, Paul, xiii, 89, 97, 114116,
150
ergodique, 90
Euclide, 2, 7, 9, 11, 12, 22, 23, 78
162
Euler, Leonhard, 2, 3, 9, 10, 19, 21,
22, 34, 47, 50, 53, 54, 56,
77, 79, 83, 136, 152, 156
constante, xix, 33, 66, 139
fonction , 53, 54, 136
fonction indicatrice, 14, 25
formule (rsidus inversibles),
16, 19
formule du produit, 34, 35, 48,
49, 51, 81, 121
Fermat, Pierre de, 21, 156
grand thorme de , 16
petit thorme de , 16, 20
Fields (Mdaille), xiv
fonction
analytique, 43, 44, 4649, 51,
55, 57, 58, 60, 62, 64, 66,
70, 114
arithmtique, 119
multiplicative, 120, 123, 132,
133
formule
asymptotique (dfinition), 32
de duplication, 54, 55
de Perron, 59, 60
des classes, 86
des complments, 54, 55
formules explicites, 6567, 71, 155
Fort, Jean-Claude, xvi
Fourier, Joseph
transformation, 52, 61
Friedlander, John, 97, 151
Furstenberg, Hillel, 90
Gallagher, Patrick X., 94, 101
Gauss, Carl Friedrich, xii, 3, 4, 710,
13, 21, 32, 47, 65, 75, 84
Girard, Albert, 21
Goldbach, Christian
conjecture, 106, 152, 153
Goldston, Daniel, xiii, xvii, 11, 77,
97, 98
Gowers, W. Thimoty, 90
Granville, Andrew, xvi, 16, 97
Green, Ben, xiii, 76, 8991
Hadamard, Jacques, xii, 6, 58, 62,
64, 66, 67, 86, 113
Halberstam, Heini, 38, 88, 149,
153, 154
Hall, Richard R., xv
Hanrot, Guillaume, xvii
Hardy, Godfrey H., 41, 67, 70, 89,
94, 113, 148, 153, 155
Harman, Glyn, 72
Heath-Brown, D. Roger, 150, 151,
154
Hensley, Douglas, 152
Hildebrand, Adolf J., 97
homomorphisme, 20
Hooley, Christopher, 150, 156
Host, Bernard, 76
Huxley, Martin N., 72
hyperbole (principe), 121, 122, 128
hypothse H, 151
hypothse de Riemann, 47, 65, 67,
71
gnralise, 88, 151, 154, 155
hypothse H, 148
idal de Z, 12
Ikehara, Shikao, 64, 114
163
INDEX
ineffectivit, 86, 87
inquation fonctionnelle, 144, 145
intgrale curviligne, 44
Iwaniec, Henryk, 38, 72, 96, 150,
151
Jacobi, C. Gustav
fonction , 53
jumeaux
nombres premiers, xiii, 10, 11,
3941, 89, 94, 97, 99,
148, 152
Jutila, Matti, 72
Kac, Mark, xii
Kaczorowski, Jerzy, xvi, 148, 155
Kamae, Teturo, 79
Koblitz, Neal, xv
Korobov, Nikola Mikhalovich, 68,
71
Kra, Bryna, 76
La Valle-Poussin, Charles de, xii, 6,
58, 6264, 67, 68, 70, 71,
78, 86, 113
Landau, Edmund, 69, 70, 126, 155
Landreau, Bernard, xvi
Legendre, AdrienMarie
symbole, 20, 83
Legendre, Adrien-Marie, xii, 3, 4, 9,
10, 21, 25, 32, 37, 47, 54,
65
Levinson, Norman, 68
Lindemann, Ferdinand, 57
Linnik, Yurii Vladimirovich, 154
Littlewood, John Edensor, 41, 69,
89, 92, 94, 113, 148,
153155
loi de rciprocit quadratique, xiv
loi de rciprocit quadratique, 8, 21
loi du logarithme itr, 104
Lucas, douard, 16, 156
mthode du cercle, 153
Maier, Helmut, 94, 96, 97
Mallarm, Stphane, xvi
von Mangoldt, Hans, 68
fonction , 27, 81, 114, 123,
126
Marchand, Pierre, xvi
Mathieu, Pierre, xvi
Mends France, Michel, 79
Menezes, Alfred J., xv
Mersenne, Marin, 156
Mertens, Franz, 10, 3234, 36, 37,
40, 63, 83, 95, 133, 139,
145, 146
formule, 33, 34, 49, 140
Moivre, Abraham de, 48
Montgomery, Hugh L., xv, 152, 153
Mozzochi, Charles J., xvii
Murty, Marouti Ram, 79
Newton, Isaac, 4
Nicolas, Jean-Louis, xvi
nombre
de Carmichael, 16
pseudo-premier, 16
sans facteur carr, 23, 25
nombre de diviseurs, 119121
164
nombres
algbriques, 108
complexes, 5
de Bernoulli, 56
de Cullen, 157
de Mersenne, 156
imaginaires, 4
irrationnels, 57, 75, 103
premiers (dfinition), 2, 11
transcendants, 57, 108
nombres premiers
jumeaux, xiii, 10, 11, 3941,
89, 94, 97, 99, 148, 152
noyau
sans facteur carr, 25
van Oorschot, Paul C., xv
orthogonalit des caractres, 80
oscillation (thormes d), 69
Pedon, Emmanuel, xvi
Perron, Oskar
formules dinversion, 59, 60
petits intervalles, 70, 93
Phragmn, Edvard, 69, 70
Piatetski-Shapiro, Ilya I., 151
Pintz, Jnos, xiii, xvii, 11, 72, 77,
97, 98
Poisson, Denis
formule sommatoire, 52, 53
loi, 93
Plya, George, 87
Pomerance, Carl, 16
progression arithmtique, 74
prolongement
analytique, 5, 44, 46, 48, 49,
5156, 70
pseudo-alatoire, 90
pseudo-premier, 16
quadrature du cercle, 57
rciprocit quadratique, xiv
rciprocit quadratique, 8, 21
racine primitive, 80
racines, 15
raison
dune progression arithmtique,
74
Rankin, Robert Alexander, 97, 132
rsidu, 100
quadratique, 20, 21, 78
Ribenboim, Paulo, xv
Richards, Ian, 152
Richert, Hans-Egon, 38, 149, 153
Riemann, Bernhard, 46, 32, 4346,
48, 54, 65, 67, 78, 86
fonction zta, xix, 5, 44, 47,
5053, 56, 57, 63, 66, 67,
69, 72, 113, 119
hypothse de , 47, 65, 67,
71, 92, 94, 97, 147
hypothse de gnralise, 88,
151, 154, 155
intgrale, 103, 104
RiemannLebesgue (lemme), 61
Rivat, Jol, 151
Rivest, Ronald, 18
Rivoal, Tanguy, 57
Robin, Guy, xv
Rosser, J. Barkley, 38
RSA (systme de cryptographie), 18
Samuel, Pierre, xiv
165
INDEX
Sargos, Patrick, xvi
Srkzy, Andrs, 79
Schinzel, Andrzej, 148, 150
Selberg, Atle, 68, 94, 99, 100, 114,
116
crible, 99, 153
identit, 114, 115
Serre, Jean-Pierre, xiv
Shamir, Adi, 18
Sicherman, Jacques, xvi
Siegel, Carl Ludwig, 86, 87, 97, 106
zro, 87, 88
Sierpiski, Wacaw, 148
Smith, Edson, xi
sommation dAbel, 117, 118, 131,
136
Stef, Andr, xvi
Stirling, James
formule, 10, 26, 56, 115
Szemerdi, Endre, 90
Tao, Terence, xiii, xiv, 76, 8991
taubriens (thormes), 113
Tauber, Alfred, 113
Tchbychev, Pafnouti, 3, 10, 26, 27,
2932, 36, 115, 154, 155
fonctions de , 58, 126
te Riele, Herman, 147
Tenenbaum, Grald, xv, 150
Turn, Paul, 89
Vanstone, Scott A., xv
Vaughan, Robert C., xv, 107, 108,
152, 153
Vinogradov, Aleksei Ivanovich, 88,
97, 102
Vinogradov, Ivan M., xx, 68, 71, 87,
105, 107, 149, 153
Walfisz, Arnold, 86, 97, 106
Wallis, John, 4
Waring, Edward, 16
Weyl, Hermann
critre dquirpartition, 103,
104, 109
Wiener, Norbert G., 114
Wilson, John, 16
Wu, Jie, xvi, 41, 151
Yao, Jia-Yan, xvii
Yldrm, Cem, xiii, xvii, 11, 77, 97,
98
zro
de Siegel, 87, 88
zros
non triviaux de (s), 65, 66, 68,
88
triviaux de (s), 56
zta (fonction), xix, 5, 44, 47,
5053, 56, 57, 63, 66, 67,
69, 72, 113, 119
Zimmermann, Paul, xvi
166

Tenenbaum G. Et Mendès M., Les Nombres Premiers Entre L'ordre Et Le Chaos (2011)

Загружено:

Сведения о документе

Оригинальное название

Авторское право

Доступные форматы

Поделиться этим документом

Поделиться или встроить документ

Параметры публикации

Этот документ был вам полезен?

Это неприемлемый материал?

Авторское право:

Доступные форматы

Tenenbaum G. Et Mendès M., Les Nombres Premiers Entre L'ordre Et Le Chaos (2011)

Загружено:

Авторское право:

Доступные форматы

Les Nombres premiers,

entre lordre et le chaos

(a)) le plus grand (resp.

g. La notation de Landau f = o(g) est

1, les solutions de lquation x(10 x) = 40

pour m quelconque : si a (Z/mZ)

est encore inversible)

, on obtient bien que le produit est congru

dfinie par q(x) = x

), on voit que si lquation q(x) = a possde

Maintenant, on observe que

dsigne le noyau sans facteur carr de m (soit m

On peut donc finalement noncer que

on obtient, grce lunicit de la dcomposition en produit de

, tendue tous les

est ncessaire, et au second thorme de

et termine la preuve de la formule

Le raisonnement probabiliste heuristique suggre que lensemble

pour chaque nombre premier et

u (u) (u > 0).

, on obtient, compte tenu de ce qui prcde,

1. Ici dsigne la constante dEuler.

Hardy a tabli en 1914 que la fonction (s) possde une infinit

pour une constante absolue convenable c

pour tout > 0. Un tel rsultat ne dcoule pas

tout entier. tant donne une

(mod q). Pour chaque

dans lui-mme, et donc, puisque

et p est un nombre premier impair,

est encore cyclique et lon dfinit simplement

est un peu plus compliqu : on pose

> 0 telle que

pour tout caractre non principal modulo q.

du thorme de Siegel nest pas

sont donns, si N est

, de sorte que la srie

avec > 2, cette relation nest pas satisfaite

(1) = . Nous avons vu au Chapitre 1, comme consquence

(n) > z, il est donc naturel de supputer

(n) > z est dtermine par la classe de congruence de n

doit tre introduit pour

k|, nous obtenons bien

implique alors, en faisant tendre x vers linfini, la formule du

5. Valeur moyenne de la fonction de Mbius

Comme y peut tre choisi arbitrairement grand, cela implique bien

) = 0 dans le cas contraire. Si n > x

) = 0 si p > y, et remarquer que f

Bien entendu, lestimation du Thorme 6.2 nest utile que

(v) +(v 1) = 0 (v > 1).

(v) < 0 (v > 1)

Les solutions dquations diffrentielles aux diffrences, comme

Une consquence inattendue du thorme prcdent consiste

. Nous avons donc T

. cette fin, nous introduisons

Nous avons donc montr lexistence dune constante K() telle

ce stade, nous utilisons le fait que h

(u) est une fonction

Nous pouvons valuer S

grce au Lemme 2.1 en posant

ds que < 2 log 4 0,6137.

x) valeurs dun polynme quadratique

Landau avait remarqu ds 1918 que, plus gnralement, la formule

Вам также может понравиться