Trois dguisements de la Grue blanche

La fonction zta et deux analogues

Olivier Fouquet

Table des matires

1 Premire saison
1.1 Combinatoire . . . . . . . . . . . . . . . . . . . . . . .
1.1.1 Nombres de Bernoulli et sommes de puissances
1.1.2 Calculs (Feel the Bern) . . . . . . . . . . . . . .
1.1.3 Sommes des puissances ngatives . . . . . . . .
1.2 Analyse . . . . . . . . . . . . . . . . . . . . . . . . . .
1.2.1 Deux lettres grecques . . . . . . . . . . . . . . .
1.2.2 Prolongement analytique de . . . . . . . . . .
1.3 Arithmtique . . . . . . . . . . . . . . . . . . . . . . .
1.3.1 Lquation fonctionnelle . . . . . . . . . . . . .
1.3.2 Deux mystres plus pais que la nuit . . . . . .
2 Deuxime saison
2.1 Algbre . . . . . . . . . . . . . . . . . .
2.1.1 Rappels dalgbre . . . . . . . . .
2.1.2 quations dans les corps finis . .
2.2 Gomtrie . . . . . . . . . . . . . . . . .
2.2.1 Gomtrie sur les corps finis . . .
2.2.2 Espace projectif . . . . . . . . . .
2.3 Percer le dguisement . . . . . . . . . .
2.3.1 La fonction Z . . . . . . . . . . .
2.3.2 Le kimono dun blanc immacul .

.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.

3
3
3
5
5
6
6
7
8
8
9

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

9
9
9
10
11
11
12
13
13
15

3 Troisime saison
3.1 O en sommes-nous ? . . . . . . . . . . . . . . . . .
3.2 Histoire des mathmatiques . . . . . . . . . . . . .
3.3 Courbe elliptique . . . . . . . . . . . . . . . . . . .
3.3.1 Points rationnels sur les courbes elliptiques
3.3.2 Le dernier dguisement de la Grue blanche .
3.4 Lenvol de la Grue blanche ? . . . . . . . . . . . . .
3.4.1 Le tableau des correspondances . . . . . . .
3.4.2 Chronologie partielle (et partiale) . . . . . .

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

16
16
17
19
19
23
24
24
24

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

Prlude
Cest un plaisir et un honneur dtre devant vous aujourdhui pour cette rentre des Masters. Lun des objectifs que je mtais fix pour ce mini-cours tait dillustrer lunit des
mathmatiques : le sujet que nous allons aborder mlange, vous le verrez, combinatoire,
analyse, arithmtique, algbre, gomtrie, topologie, histoire des mathmatiques... Mais
quand jai commenc prparer, je me suis souvenu de ce que disait la romancire amricaine Maya Angelou : Jai appris que les gens oublient ce que vous dites, oublient ce
que vous faites mais noublient jamais comment vous les avez fait se sentir. Comme je
veux que vous gardiez un bon souvenir de moi-et surtout de ce dont je vais vous parler-je
veux que vous vous sentiez bien, et pour cela, je vais commencer par vous raconter une
histoire.
Sans plus attendre, voici donc, dans une traduction personnelle, Tsuru Nyobo monogatari cest--dire La conte de la grue blanche change en femme.
Il y a longtemps-oh ! si longtemps-vivait un pauvre bucheron la lisire dune fort. Un
jour quil cherchait du bois dans les fourrs, il entendit une plainte dune infinie tristesse :
en sapprochant, il vit quil sagissait dune magnifique grue blanche prise dans un pige.
mu par la souffrance de lanimal, le bucheron la libra. Plusieurs jours plus tard, une
jeune femme dune beaut exceptionnelle se prsenta lui et lui demanda humblement sil
accepterait de lpouser. Sa beaut tait grande ; le bucheron accepta donc et ils vcurent
heureux pendant une saison. Mais la saison suivante, leur misre devint si critique quils
furent menacs de famine. Va me chercher du fil au march dit alors lpouse son
mari puis laisse moi dans notre chambre la porte close pendant toute une journe et,
surtout, nentre pas avant que jai fini mon ouvrage. Le mari fit ce que son pouse lui
demandait sans poser de questions et le soir, elle ressortit les yeux rougis de larmes mais
portant un superbe kimono dun blanc immacul. Le bucheron le vendit prix dor et avec
largent ainsi gagn, ils vcurent heureux pendant une saison. Mais la saison suivante,
leur misre devint si critique quils furent menacs de famine. Va me chercher du fil au
march dit alors lpouse son mari puis laisse moi dans notre chambre la porte close
pendant toute une journe et, surtout, nentre pas avant que jai fini mon ouvrage. Le
mari fit ce que son pouse lui demandait sans poser de questions et le soir, elle ressortit
une nouvelle fois les yeux rougis de larmes mais avec un kimono dun blanc immacul.
Mais la saison suivante... misre... fil... surtout, nentre pas avant que jai fini mon
ouvrage. Cette fois-ci, cependant, la curiosit du bucheron fut plus grande. En fin de
soire, il entrouvrit la porte et jeta un regard dans la chambre. Ce quil vit le stupfia :
son pouse sous la forme dune magnifique grue blanche tissait le kimono partir de
ses propres plumes, quelle sarrachait au prix de grandes douleurs. Hlas, mon poux,
ne tavais-je pas dit de ne pas minterrompre avant la fin de mon ouvrage ? lui dit la
grue. Une pouse oiselle ne convient pas un homme. Je dois donc partir. Et, avec un
dernier regard triste, elle senvola et disparut dans le firmament.
Souvenez-vous bien de cette histoire, ne serait-ce que parce que dans vos deux annes
de Masters, commencer par ce qui va se passer dans ce propre cours, il arrivera que
votre misre devienne si critique que... Enfin bref, ne perdez pas espoir et noubliez pas
quun superbe kimono vous attend.

Premire saison

1.1
1.1.1

Combinatoire
Nombres de Bernoulli et sommes de puissances

Le point de dpart de notre investigation est la clbre quation

 
(n 1)n
1 2
n
1 + 2 + 3 + + (n 1) =
= (n n) =
2
2
2

(1.1.1.1)

qui se dmontre immdiatement ou bien en calculant deux fois cette somme et en additionnant les termes extrmes, ou bien par rcurrence, ou bien de manire bijective en
remarquant que les deux membres comptent le nombre de sous-ensemble 2 lments
dun ensemble ayant n lments.
Au moins une fois que lon connat les formules, il est peine plus difficile de dmontrer
par rcurrence la formule calculant la somme des carrs


(n 1)n(2n 1)
1
3 2 1
2
2
2
2
3
1 + 2 + 3 + + (n 1) =
=
n n +
(1.1.1.2)
6
3
2
2
et celle calculant la somme des cubes
13 + 23 + 33 + + (n 1)3 = (1 + 2 + + (n 1))2 =

1 4
n 2n3 + n2 . (1.1.1.3)
4

Cette dernire formule ayant au moins lavantage dtre presque une blague.
Lexprience de ces formules suggre que pour tout r N, il existe un polynme
Sr Q[x] tel que
x1
X
1

xN ,
nr1 = Sr (x)
(1.1.1.4)
r
n=1

et une observation attentive suggre mme que Sr pourrait tre unitaire et de degr r.
On peut aussi se convaincre du fait que si lon parvient deviner Sr , la formule (1.1.1.4)
se dmontrera facilement par rcurrence.
Reste donc dterminer les polynmes Sr . Ceci a t fait par Jakob Bernoulli, probablement vers 1680. En voici une prsentation moderne. Commenons par rappeler que
si

X
X
tn
tn
an et
bn
n!
n!
n=0

n=0

sont deux sries entires (vues ou bien comme objets formels, ou bien comme fonction
analytique auquel cas on supposera quelles sont toutes deux de rayons convergence nonnul), alors leur produit vrifie
!
!

X
X tn
X
tn
tn
an
bn
=
cn
n!
n!
n!
n=0

n=0

pour
cn =

n=0

n  
X
n
s=0

ans bs .

En particulier, si pour n N on note Bn Q le nombre rationnel tel que

X tn
t
=
Bn
et 1
n!
n=0

et Bn (x) Q[x] le polynme tel que

X
tetx
tn
=
B
(x)
,
n
et 1
n!

(1.1.1.5)

n=0

alors
Bn (x) =

n  
X
n

s=0

Bs xns .

(1.1.1.6)

Le membre de droite de lquation (1.1.1.6) a une autre interprtation. En effet

n  
n
n

X
X
X
X
Bs n!
Bs s n
Ds n
n
Bs xns =
xns =
D (x ) =
(x )
Bs
s
s! (n s)!
s!
s!
s=0

s=0

s=0

s=0

pour D loprateur de drivation sur C[x]. Le polynme Br (x) est donc galement limage
du polynme xr par lapplication de C[x] C[x] dfinie par
P (x) 7

Bn

n=0

Dn
(P (x)) .
n!

On obtient ainsi lidentit de polynmes suivante



D
Br (x) =
(xr ).
eD 1
Ceci signifie que


eD 1 Br (x) = D(xr ) = rxr1 .

(1.1.1.7)

Or, la formule de Taylor permet de calculer

eD (P (x)) =

X
Dn
n=0

n!

P (x) = P (x + 1).

Donc (1.1.1.7) se reformule en

1
(Br (x + 1) Br (x)) = xr1 .
r
La somme des puissances (r 1)-unime devient alors simplement le calcul dune somme
tlescopique. On obtient ainsi la formule cl
x1
X

nr1 =

n=0

1
(Br (x) Br (0))
r

(1.1.1.8)

puis
x1
X

nr1 =

n=0

1
(Br (x) Br )
r

car poser x = 0 dans (1.1.1.5) montre que Br (0) = Br pour tout r. Nous avons donc
montr que le polynme Sr (x) = Br (x) Br convient.
4

1.1.2

Calculs (Feel the Bern)

Reste calculer les nombres Bn et les polynmes Bn (x). Le calcul du dveloppement

limit (de prfrence avec une machine) donne
1
1
3
1
B0 (x) = 1, B1 (x) = x , B2 (x) = x3 x + , B3 (x) = x3 x2 + x
2
6
2
2
et

1
.
30
Il est heureusement plus facile de calculer les Bn , que lon appelle les nombres de Bernoulli. On trouve
B4 (x) = x4 2x3 + x2

1
1
1
1
1
B0 = 1, B1 = , B2 = , B4 = , B6 = , B8 =
2
6
30
42
30
ce qui nous amnerait conjecturer que tous les nombres de Bernoulli sont des inverses
dentiers ; auquel cas nous nous tromperions lourdement car
B10 =
1.1.3

5
691
7
, B12 =
, B14 =
66
2730
6

Sommes des puissances ngatives

Maintenant que nous avons rsolu le problme du calcul de

x1
X

nr1 =

n=0

1
(Br (x) Br ) ,
r

nous voulons rsoudre le mme problme pour

x1
X

ns .

n=1

Comme souvent en mathmatique, nous pouvons dclarer que nous avons rsolu le problme en posant

X
(s) =
ns
n=1

et, pour x > 0,

(s, x) =

(x + n)s

n=0

(donc (s, 1) = (s)). Alors

x1
X

ns = (s, x) + (s).

n=1

Imaginons maintenant que nous soyons Euler, en 1744. Alors nous remarquerions que
nous avons maintenant deux formules pour la sommes des puissances positives, savoir
la formule correcte
x1
X
1
nr1 = (Br (x) Br )
r
n=0

et labsurde

x1
X

nr1 = (1 r, x) + (1 r).

n=0

La similitude entre ces deux formules nous amnerait alors conjecturer

(1 r, x) =

Br (x)
r

et donc (en posant x = 1)

(1 r) =

Br (1)
.
r

Lidentit tlescopique
(Br (x + 1) Br (x)) = rxr1
montre que Br (1) = Br (0) = Br si r > 1 tandis que B1 (1) = 1/2. On aurait donc
1
1
1 + 1 + 1 + = , 1 + 2 + 3 + =
2
12
ou (bien sr)
111 + 211 + 311 + =

1.2
1.2.1

691
.
23 32 5 7 13

Analyse
Deux lettres grecques

Oubliez : les deux lettres grecques les plus importantes de la recherche mathmatique
sont et sa grande soeur .
Nous avons dj rencontr les dfinitions de et (s, x)
(s) =

, (s, x) =

n=1

(x + n)s

n=0

dont il est ais de voir quelles dfinissent des fonctions analytiques de s sur le demi-plan
<s > 1.
La fonction est dfinie par lintgrale
Z
(s) =
et ts1 dt
0

qui dfinit manifestement une fonction analytique sur le demi-plan <s > 0 vrifiant
(1) = 1, (s + 1) = s(s) et donc (n + 1) = n! pour n N.
On admet le lemme suivant.
Lemme 1.1. La fonction admet un prolongement mromorphe C tout entier. Elle
ne sannule pas sur C et a des ples simples aux entiers ngatifs et son rsidu en n est
(1)n /n!. Plus prcisment

Y
1
z  z/n 
z
= ze
1+
e
.
(z)
n
n=1

Ici, dsigne la constante dEuler, cest--dire la limite lorsque n tend vers linfini de
la diffrence
n
X
1
ln(n) +
.
k
k=1

Soit s un nombre complexe de partie relle strictement suprieur 1. Alors

Z

t s dt

1
t
(x + n)s
0
n=0
s

Z X

dt
t
t
.
=
e
x+n
t
0
e t

(s)(s, x) =

n=0

Posons u =

t
x+n .

On obtient alors lexpression intgrale

Z
(s)(s, x) =

n=0
exu

1.2.2

e(x+n)u us

eu

us

du
u

du
.
u

Prolongement analytique de

Pour tudier la convergence de cette intgrale, remarquons tout dabord quen dehors de
zro, la dcroissance rapide de exu assure la convergence pour tout s C. En zro, nous
utilisons le fait que

X
Bn (x) n
uexu
u = u
n!
e 1
n=0

et donc que

X
Bn (x)
n=0

n!

(1)n un =

uexu
1 eu

pour obtenir
Z
0

uexu s2
u du =
1 eu

1X

0 n=0

X Bn (x) (1)n
Bn (x)
(1)n us+n2 du =
.
n!
n! s + n 1
n=0

Cette somme dfinit une fonction mromorphe de s avec des ples simples en 1 n pour
n N de rsidu
Bn (x)
(1)n
.
n!
La fonction (s, x) admet donc un plongement mromorphe C tout entier avec un ple
simple en 1. Soit n un entier strictement positif. De
lim (s + 1 n)(s) =

s1n

(1)n1
(n 1)!

et
lim (s + 1 n)(s)(s, x) =

s1n

(1)n Bn (x)
,
n!

on dduit que
(1 n, x) =

Bn (x)
.
n

En particulier, on a bel et bien

1
(0) = B1 (1) = .
2

1.3
1.3.1

Arithmtique
Lquation fonctionnelle

Soit la fonction

 
= s/2 s (s).
(s)
2
et, pour x R strictement positif, soit
(x) =

en x .

n=1

Si s est un nombre complexe vrifiant <s > 1, alors

Z
Z 1
Z
=
(x)xs/21 dx +
(x)xs/21 dx =
(s)

(x)xs/21 dx,

ce que lon peut crire de manire plus symtrique en faisant le changement de variable
x 7 1/x dans la premire intgrale
Z
Z
s/21

(s) =
(1/x)x
dx +
(x)xs/21 dx.
1

Or, il se trouve que

 
1
+ 1 = x1/2 ((x) + 1) .
2
x
Donc

Z

1  1/2
(x) x + x
x 1 xs/21 dx
+
x
2 1
Z1

 dx
1s
1
=
(x) xs/2 + x 2
+
.
x
s(s 1)
1

=
(s)

s/2

1s
2

 dx

Un miracle a eu lieu. Dans la formule ci-dessus, les rles de s et 1 s sont devenus

exactement similaires. La fonction admet donc un plongement mromorphe C tout
entier avec un ple simple en 0 et 1 et vrifie
s) = (s).

(1

1.3.2

Deux mystres plus pais que la nuit

A ce stade de notre histoire, faisons deux observations. Tout dabord, regardons nouveau
la formule
1
(0) = .
2
Il se trouve que Z a exactement deux lments inversibles et que dans Z, un nombre
admet une unique dcomposition comme produit de nombres premiers. Les entiers 1 et
2 sont exactement ceux intervenant dans la formule. Est-ce une concidence ? Une des
conjectures les plus importantes, peut-tre la plus importante, de larithmtique actuelle
prdit que non et que ce fait est la premire manifestation dun phnomne bien plus
gnral.
Et puisque lon parle de dcomposition en facteurs premiers, lexistence et lunicit de
cette dcomposition montre que pour <s > 1
s

1p

(s) =

n=1

(np)s =

n=1

X
ns
p-n

donc que
Y

1 ps (s) = 1

ou encore que
(s) =

Y
p

1
.
1 ps

En particulier, (s) est non-nul si <s > 1. Par ailleurs, de la formule



s
1s
s/2
(1s)/2

(s) =

(1 s)
2
2
on dduit une quation fonctionnelle pour la fonction elle-mme ; savoir
 s 
(1 s)(1 s).
(s) = 2s s1 sin
2

(1.3.2.1)

Cette relation montre que la fonction sannule en s = 2k pour k N mais quelle

ne sannule pas pour <s < 0 si s nest pas de cette forme. Il sen suit qu part les zros
de provenant de lapparition de sin dans (1.3.2.1), tous les zros de la fonction sont
dans la bande 0 <s 1.
O sont ces zros ? Une des conjectures les plus importantes des mathmatiques, peuttre la plus importante, que lon appelle lhypothse de Riemann affirme quils sont tous
sur la bande <s = 1/2. Mais pourquoi ? Nous le verrons dans la prochaine saison.

Deuxime saison

2.1
2.1.1

Algbre
Rappels dalgbre

On rappelle les faits suivants sur les corps finis.

1. Un corps est un anneau dont tous les lments non-nuls sont inversibles ; par
exemple Q, R, C et Z/2Z sont des corps.
2. Il existe des corps de cardinal fini ; par exemple lanneau Z/pZ lorsque p est un
nombre premier.
3. Plus gnralement et plus prcisment, il existe un corps fini Fq de cardinal q si et
seulement si q = ps est une puissance dun nombre premier et dans ce cas Fq est
unique isomorphisme prs.
Le nombre premier p sappelle la caractristique du corps Fq .
4. Le groupe multiplicatif F
q dun corps fini est cyclique (ncessairement de cardinal
q 1).
5. En particulier, il existe un lment dordre q 1 dans F
q et tous les lments de
Fq vrifient xq = x.
6. Lapplication x 7 xp est un morphisme de corps.
7. Le corps Fps contient le corps Fpu si et seulement si u|s.
8. Plus prcisment, un lment x Fps appartient Fpu si et seulement si u|s et
u
xp = x.
Soit k un corps fini de cardinal q. On appelle caractre de k un morphisme de groupes
: k C .
Notons que limage de est incluse dans le groupe Uq1 des racines (q 1)-unime de
des caractres de k est fini et il est ais de voir quil est en fait
lunit. Lensemble kc
muni dune structure de groupe multiplicatif commutatif qui le rend isomorphe k (et
donc Z/(q 1)Z). En particulier, si n|q 1, alors il existe un caractre tel que les
caractres vrifiant n = 1 soient exactement les caractres 1, , 2 , , n1 .
Si est un caractre de F
q , on note galement lapplication de Fq dans C obtenu
en posant
(
1 si est le caractre 1 identiquement gal 1,
(0) =
0 sinon.
2.1.2

quations dans les corps finis

Nous allons utiliser les faits rappels plus haut pour rsoudre la question suivante :
combien y a-t-il de solutions lquation
xn = a
pour a Fq et n|q 1 ?
Lemme 2.1. Soit n|q 1. Le nombre N (xn = a) de solutions de lquation xn = a vrifie
N (xn = a) =

X
n =1

10

(a).

(2.1.2.1)

En effet, ou bien a = 0 auquel cas les deux membres (2.1.2.1) sont bien gaux 1, ou
bien a = bn pour b Fq auquel cas ils sont bien gaux tous les deux n, ou bien a F
q
nest pas une puissance n-ime (en particulier a 6= 1). Dans ce cas N (xn = a) est gal
zro. Par ailleurs, il existe un caractre tel que n = 1 et (a) 6= 1. Alors
X
X
X
()(a) = (a)
(a)
(a) =
n =1

donc

2.2
2.2.1

P
n =1

n =1

()n =1

(a) = 0.

Gomtrie
Gomtrie sur les corps finis

Un cercle de rayon 1 est lensemble des points satisfaisant lquation x2 +y 2 = 1. Mais des
points o ? Sagit-il des points rationnels ? rels ? complexes ? Pourquoi ne pas regarder
les corps finis ?
Considrons quoi ressemble un cercle pour un tel corps. Supposons que p (et donc
q) soit impair. Alors k est de cardinal q 1 donc pair et lapplication
: k {1}
x 7 x

q1
2

est un caractre bien dfini qui engendre le groupe des caractres dordre 2. Daprs le
lemme 2.1
N (x2 = a) = 1 + (a).
Donc
X
X


N x2 + y 2 = 1 =
N (x2 = a)N (y 2 = b) =
(1 + (a)) (1 + (b))
a+b=1

a+b=1

et en dveloppant on obtient
X


q1
N x2 + y 2 = 1 = q +
(a)(b) = q (1) 2 .
a+b=1

{z

Somme de Jacobi

Que se passe-t-il maintenant si lon considre plutt la cubique x3 +y 3 = 1 ? Supposons

cette fois que q 1 mod 3. Alors : x 7 x(q1)/3 est bien dfini et le lemme 2.1 implique
que
N (x3 = a) = 1 + (a) + 2 (a).
Donc
N (x3 +y 3 = 1) =

N (x3 = a)N (y 3 = b) =

a+b=1

1 + (a) + 2 (a)

1 + (b) + 2 (b) .

a+b=1

SI lon dveloppe comme plus haut, on trouve

N (x3 + y 3 = 1) = q (1) 2 (1) +

(a)(b) +

11

2 (a)2 (b).

a+b=1

a+b=1

{z

J(,)

{z

J(2 ,2 )

De (1) = 2 (1) = 1 et de 2 = ,
on dduit
!
X

N (x3 + y 3 = 1) = q 2 + 2<

(a)(b) .

a+b=1

Or, il se trouve que

X

(a)(b) |=

a+b=1

et donc que

| N (x3 + y 3 = 1) q + 2 | 2 q.

Autrement dit, parmi les q 2 lments de k 2 , il y en a environ q 2 qui satisfont x3 +y 3 = 1

et le terme derreur est plus petit que 2 q.

Nous sommes des mathmaticiens, la gnralit ne nous fait pas peur. Supposons donc
que q 1 mod n. Alors : x 7 x(q1)/n est bien dfini et vrifie
n

N (x = a) =

n1
X

s (a)

s=0

donc
N (xn + y n = 1) =

N (xn = a)N (y n = b) =

X n1
X

s (a)

a+b=1 s=0

a+b=1

n1
X

t (b).

t=0

Comme plus haut, on peut dcouper cette somme selon que s = t = 0, s + t = n, s = 0

et t 6= 0, t = 0 et s 6= 0 et finalement les (n 1)(n 2) cas restants. On trouve le rsultat
remarquable suivant. Soit n (1) lentier gal 1 si 1 est une puissance n-ime dans k
et gal 0 sinon. Alors

| N (xn + y n = 1) + n (1)n (q + 1) | (n 1)(n 2) q.

2.2.2

Espace projectif

Ce dernier calcul est remarquable car il suggre un lien intime entre nos calculs algbriques et lespace projectif. Quest-ce que lespace projectif ? Tout dabord, dfinissons
lespace affine k n , cest--dire simplement lensemble des n-uplets coefficients dans k
(le cardinal de k n est donc q n ). Lespace projectif Pn (k) est lensemble suivant
Pn (k) = {x = (x0 , x1 , , xn ) k n {0}}/
o est la relation dquivalence x y si et seulement sil existe k tel que x = y.
Remarquons que si k = Fq , alors
| Pn (k) |=

qn 1
= 1 + q + + q n1 .
q1

Reprenons les calculs de la section prcdente mais cette fois-ci en les interprtant dans
lespace projectif P2 (k) plutt que dans lespace affine A2 (k).
Autrement dit, au lieu de considrer
{(x1 , x2 ) A2 (k)|x21 + x22 = 1},
12

on considre
{(x0 , x1 , x2 ) P2 (k)|x21 + x22 = x20 }
et de mme pour x3 + y 3 = 1, xn + y n = 1. Notons que si lon sait calculer


| x P2 (k)|xn1 + xn2 = xn0 |,
alors il est ais de rsoudre notre problme initial N (xn + y n = 1) ; car lensemble


x P2 (k)|xn1 + xn2 = xn0
est en bijection avec lunion disjointe
{(x1 , x2 ) A2 (k)|xn1 + xn2 = 1}

a
{x k|xn = 1}

par lapplication qui envoie (x0 , x1 , x2 ) sur (x1 /x0 , x2 /x0 ) dans le premier ensemble si
x0 6= 0 et qui envoie (0, x1 , x2 ) sur x2 /x1 dans le deuxime ensemble (remarquons que si
x0 = 0, alors x1 6= 0 car xn1 + xn2 = 0 et (0, 0, 0)
/ P2 (k)). Or le cardinal de
{x k|xn = 1}
est n si 1 est une puissance n-ime dans k et 0 sinon. Cest donc n (1). Le cardinal
de


x P2 (k)|xn1 + xn2 = xn0
est donc
N (xn + y n = 1) + n (1).
Donc


(n 1)(n 2) q | x P2 (k)|xn1 + xn2 = xn0 | (q + 1) | (n 1)(n 2) q.

ou encore


(n 1)(n 2) q | x P2 (k)|xn1 + xn2 = xn0 | | P1 (k) | (n 1)(n 2) q.

Le nombre dlments de lespace projectif P2 (k) sur la courbe xn1 + xn2 = xn0 est gal au

nombre de points sur la droite projective P1 (k) un terme derreur prs en q.

2.3
2.3.1

Percer le dguisement
La fonction Z

Quel est lintrt de tout cela ? Pour le percevoir, il faut revenir une seconde la combinatoire. Fixons un nombre premier p 1 mod n et posons


Ns =| x P2 (Fps )|xn1 + xn2 = xn0 | .
Autrement dit, on sintresse non seulement aux solutions dans le corps k = Fp our
k = Fp2 par exemple, mais dans tous les corps de la forme Fps la fois. Plus gnralement,
soit f un polynme homogne en n + 1 variables. Alors lensemble
Ns =| {x Pn (Fps )|f (x) = 0} |
13

est bien dfini et lon peut se demander si le cardinal de cet ensemble vrifie des proprits
similaires celles vrifies dans le cas particulier f (x0 , x1 , x2 ) = xn1 + xn2 xn0 .
Afin dtudier les entiers Ns , on introduit la srie gnratrice
!

X
us
Z(u) = exp
Ns
s
s=1

que lon peut voir comme une srie formelle en u, mais dont il est de toutes faons ais
de vrifier quelle converge pour |u| suffisamment petit. Supposons ne serait-ce que pour
un instant que cette fonction, a priori une srie infinie assez gnrale, soit en fait une
fraction rationnelle et plus prcisment quelle soit de la forme
m
Q

Z(u) =

(1 i u)

i=1

(1 u)(1 pu)

C(u).

Supposons de plus-mais pourquoi ?-quil existe un entier g tel que

Q

m
 
(1 i u)
i=1

Z
= p1g u22g Z(u) = p1g u22g

pu
(1 u)(1 pu)

(2.3.1.1)

et que |i | p pour tout i. Observons alors que si est lun des i , alors 1/ est
un zro de Z donc galement de u 7 Z(1/pu) daprs lquation fonctionnelle (2.3.1.1).
Donc 1/p est aussi un des i . Donc
|1/p|

et donc || p. Finalement, tous les zros rciproques de Z(u) seraient de module

exactement p.
Qui plus est, si lon prend la drive logarithmique de

exp

X
s=1

us
Ns
s

m
Q

!
= Z(u) =

(1 i u)

i=1

(1 u)(1 pu)

et si lon multiplie par u, on obtient

Ns us =

s=1

X u
u
u
+

1 u 1 pu
1 i u

X
s=1

us +

ps us

s=1

i=1
m X

is us .

i=1 s=1

En identifiant termes terms les deux sries, on obtient donc

!
m
X
Ns = ps + 1
is .
i=1

14

et donc

m
X
| Ns ]P1 (Fps ) |=|
is

!
| mps/2 .

i=1

Sous nos tranges hypothses, on retrouverait donc le phnomne que lon a observ
dans la section prcdente : le nombre de points de lespace projectif satisfaisant une
quation (une courbe projective) est gal au nombre de point de la droite projective

un terme derreur prs qui est linaire en q = ps/2 .

2.3.2

Le kimono dun blanc immacul

Mais pourquoi nos hypothses auraient-elles la moindre chance dtre vraies ?

Considrons tout dabord un polynme homogne f coefficients dans Fp et observons
que si x = (x1 , , xn ) est une solution affine de f (x) = 0 telle que le plus petit corps
i
i
contenant tous les xi soit Fps , alors les (xp1 , , xpn ) pour 0 i s 1 sont aussi des
i
solutions des f (x) = 0. En effet, le morphisme i : x 7 xp est un morphisme de corps
donc
f (i (x)) = i (f (x)) = i (0) = 0.
i

De plus, ces solutions sont toutes distinctes car sinon xpj serait gal xj pour tout j
et cela impliquerait que la solution x est coefficients dans un sous-corps strict de Fps .
Dans cette situation, on dira que la solution x est de degr s et les s solutions obtenues
comme plus haut seront appeles les conjugues de x. On appelle zro-cycle de degr
s lensemble des conjugues dune solution de degr s. La partition de lensemble des
solutions coefficients dans Fps en zro-cycles de degr d montre lgalit
Ns =

dad

d|s

o ad dsigne le nombre de zro-cycles de degr d. Donc

!
!0

s
X
X
X
X
X
X
u
1
1
1
s
dr
s
dad u =
Ns
=
Ns u =
u
dad
s
u
u
u
s=1
s=1
s=1
d=1 r=1
d|s
!0

X dad ud1
X
1 X dad ud
=
=
= ad log (1 ud )
u
1 ud
1 ud
d=1
d=1
d=1
!!0



a
d
Y
1
= log
.
1 ud
d=1

En prenant la primitive de chaque ct, on obtient donc lquation fondamentale

ad

Y
1
Z(u) =
.
1 ud
d=1

Or, ad est par dfinition le nombre de zro-cycles de degr d solution de f donc


ad
Y
1
1
=
d
1u
1 udeg(x)
xZC(d)

15

et donc
Z(u) =

1
.
1 udeg(x)
xZC
Y

Si lon dfinit enfin la fonction dune variable complexe s par

= p(s1)(g1) Z(ps ),
(s) = Z(ps ), (s)
on remarque que
(s) =

Y
xZC

1
1 ps deg x

et que nos tranges hypothses signifient que

s) = (s)

(1
et que tous les zros complexes de vrifient <s = 1/2.

Troisime saison

Dans cette saison, nous dcouvrons le secret de la Grue blanche, mais le prix payer est
que, comme dans le conte, nous la perdons galement de vue tout jamais.

3.1

O en sommes-nous ?

Rsumons ce que nous avons vu jusqu prsent. Nous avons dune part rencontr la
fonction de Riemann

X
Y 1
,
(s) =
ns =
1 ps
p
n=1

calcul ses valeurs aux entiers ngatifs, montr quelle vrifiait une quation fonctionnelle
reliant (s) et (1s) et conjectur que ses zros complexes non-triviaux taient de partie
relle 1/2. Ensuite, nous avons introduit
(s) =

Y
xZC

1
1 ps deg x

o le produit est pris sur lensemble des zro-cycles dune quation f (x) = 0. Nous avons
conjectur par analogie avec le premier cas et en observant le nombre de solutions de
cette quation que (s) tait une fraction rationnelle en ps de la forme
m
Q

(s) =

(1 i ps )

i=1

(1 ps )(1 p1s )

satisfaisant une quation fonctionnelle reliant (s) et (1 s) et dont les zros sont de
partie relle <s = 1/2. Rappelons galement que si (s) vrifie bien ces proprits, le
nombre Nq de solutions de lquation f (x) = 0 dans P2 (Fq ) vrifie

| Nq ]P1 (Fq ) | O( q).

Or, nous avons vu par ailleurs que cette ingalit tait vraie pour certains f trs particulier. En consquence, nous avons un faisceau de prsomptions.
16

3.2

Histoire des mathmatiques

Diophante dAlexandrie est un mathmaticien de lAntiquit tardive. Trs peu de choses

certaines sont connues son sujet mais on date en gnral sa vie au troisime sicle de lre
commune. Loeuvre principale qui nous soit parvenue de sa main est son Artihmtique.
LArithmtique de Diophante (ou du moins la partie qui a survcu jusqu nous, soit
10 des 13 livres annoncs dans la prface de louvrage) est une collection de problmes. Le
problme 28 du livre I, par exemple, demande au lecteur de trouver deux nombres dont la
somme et la somme des carrs sont des nombres donns. Un autre problme demande au
lecteur de trouver deux nombres tels que le cube de leur somme soit gal la somme du
cube du premier et du second. Autrement dit, le premier problme demande de rsoudre
(
x+y =a
x2 + y 2 = b
et lArithmtique suggre de traiter le cas a = 20 et b = 208 tandis que le second demande
de rsoudre
(x + y)3 = x3 + y.
Dans lArithmtique, les solutions proposes sont respectivement 12 et 8 et 7/13 et 1/13.
Non seulement tous les problmes de lArithmtique admettent-ils des solutions mais ils
sont mme tous rsolus au sens o Diophante donne au moins une solution. La lecture des
solutions proposes par le manuscrit montre que pour Diophante, nombre signifie nombre
rationnel positif et lon peut de plus infrer quil connaissait les nombres irrationnels :
lorsque ses calculs lamneraient une solution irrationnelle, il sarrte et reprend en
arrire en changeant les valeurs numriques quil considre. Pour ce que cela vaut, je
vous conseille dessayer de rsoudre les deux problmes ci-dessus par vous-mmes.
Pour des raisons historiques, je ne peux pas rsister lenvie de mentionner encore
le problme 8 du livre II de lArithmtique, qui nonce Diviser un carr donn en une
somme de deux carrs et qui propose de traiter le cas de 16 (la solution offerte par
lArithmtiqueest 256/25 et 144/25).
Vers 1630, un magistrat du Sud-Ouest clbre surtout pour son excellente ducation
classique et ses talents de polyglotte tudie soigneusement lArithmtique de Diophante.
Profitant des innovations de lalgbre, il sattache en rsoudre le problmes de manire
gnrale (et non seulement en donnant une solution particulire comme le fait Diophante
lui-mme). Dans la marge de sa copie de lArithmtique, il crit que laire dun triangle
rectangle dont les cts sont des nombres rationnels nest jamais un carr. Autrement
dit, il nexiste pas de nombres rationnels a, b, c, n vrifiant
(
a2 + b2 = c2
ab = 2n2 .
Mais plus intressant encore que lnonc est la preuve qui est inscrite. Tout dabord, on
remarque que si un tel triangle existe, alors en posant 2ab = (2n)2 est un carr. Donc
b2 2ab + a2 = (b a)2 , a2 + b2 = c2 , b2 + 2ab + a2 = (b + a)2
sont trois carrs 2 , 2 et 2 formant une progression arithmtique dont la raison est un
carr 2 . Donc
4 4 = ( 2 2 )( 2 + 2 ) = 2 2 = ()2
17

et lquation
u4 v 4 = w2
admet une solution rationnelle ( savoir u = , v = et w = ). Il sagit donc de
montrer quil nest pas possible dcrire une puissance quatre comme la somme dun
carr et dune puissance quatre non-nulle. Or, cette quation est quivalente lquation
 u 6
v

 u 2
v

u2 w2
v6

en multipliant par u4 /v 6 . Donc il suffit de montrer que lquation

y 2 = x3 x
nadmet pas de solution rationnelle vrifiant y 6= 0.
Avant dtudier cette quation, remarquons le fait suivant. Sil est bien exact que
lquation
u4 v 4 = w2
nadmet pas de solutions rationnelles avec v 6= 0, alors a fortiori lquation
z 4 y 4 = x4
nen admet pas non plus, car si un carr nest jamais la diffrence de deux puissances
quatrimes, une puissance quatrime non plus. Donc, si xyz 6= 0, alors
x4 + y 4 = z 4
nadmet pas de solution rationnelles. A ce stade, vous avez peut-tre devin que le magistrat du Sud-Ouest sappelait Pierre de Fermat. Dans la marge du problme 8 du
livre II, il a crit sur sa copie la deuxime observation la plus clbre de lhistoire des
mathmatiques.
Cubum autem in duos cubos, aut quadratoquadratum in duos quadratoquadratos et
generaliter nullam in infinitum ultra quadratum potestatem in duos eiusdem nominis fas
est dividere cuius rei demonstrationem mirabilem sane detexi.
Cest--dire
Il est impossible de diviser un cubes en deux cubes, ou deux bicarrs en deux bicarrs et
gnralement une puissance suprieure la seconde en deux puissances semblables. Jai
dcouvert une preuve vraiment merveilleuse de ce fait.
La deuxime observation la plus clbre, car la plus clbre vient juste aprs.
Hanc marginis exiguitas non caperet.
Cest--dire
Cette marge est trop troite pour la contenir.
Un fait amusant ce sujet et que Fermat nest pas la premire personne avoir crit
un commentaire dans la marge du problme 8 du livre II. Le grand bibliophile Jean
Chortasmnos, un moine byzantin qui vcut denviron 1370 1431 a lui aussi laiss un
commentaire. Mme marge, mme problme. Son commentaire lui ? Que ton me aille
Satan, Diophante, cause de la difficult de tes thormes et en particulier de celui-l.

18

3.3
3.3.1

Courbe elliptique
Points rationnels sur les courbes elliptiques

Tout ceci est un long prtexte pour tudier lquation

y 2 = x3 x
et la courbe quelle dfinit. Daprs Fermat, il ny a pas de points rationnels dordonne
non-nulle sur cette courbe. Une courbe lisse dfinie par une quation de la forme
E : y 2 = x3 + ax + b
sappelle une courbe elliptique. Voici trois exemples de courbes elliptiques.

Figure 1 : y 2 = x3 x

19

Figure 2 : y 2 = x3 + 1

20

Figure 3 : y 2 = x3 4
Dans la dfinition ci-dessus, ladjectif lisse signifie que la courbe est... lisse. Les courbes
suivantes, bien quelles soient dfinies par des quations de la forme y 2 = x3 + ax + b, ne
sont donc pas des courbes elliptiques.

21

Figure 4 : y 2 = x3

Figure 5 : y 2 = x2 (x + 1)
Maintenant observons le fait suivant : si P1 et P2 sont deux points sur une courbe
elliptique E, alors la droite (P1 P2 ) recoupe la courbe en un troisime point et si P1 et
P2 ont des coordonnes rationnelles, alors il en est de mme du troisime point : en effet,
lquation que doit satisfaire labscisse de P3 est de degr 3, coefficients rationnels et
22

nous en connaissons dj deux solutions rationnelles. Ceci est valable mme si les deux
points P1 , P2 sont confondus ; auquel cas la droite (P1 P2 ) est simplement la tangente
en P1 . Nous avons vu que la droite (P1 P2 ) recoupe la courbe en un troisime point,
mais ce nest pas tout fait exact : un cas particulier est celui o les deux points sont
symtriques lun de lautre par rapport laxe des abscisses, auquel cas on convient que
la droite recoupe la courbe en un point linfini.
En 1922, Louis Mordell a dmontr le thorme suivant.
Thorme 1. Soit E : y 2 = x3 + ax + b une courbe elliptique. Alors lensemble E(Q)
des points rationnels de E plus le point linfini et muni de la loi de composition interne
dcrite plus haut est un groupe commutatif de type fini.
E(Q) ' Zr

m
M
Z/ni Z
i=1

Par exemple, pour la courbe elliptique E : y 2 = x3 x, E(Q) ' Z/2Z Z/2Z (de
gnrateurs (0, 1) et (0, 1)) ; pour E : y 2 = x3 + 1, E(Q) ' Z/6Z (de gnrateur (2, 3))
et pour E : y 2 = x3 4, E(Q) ' Z (de gnrateur (2, 2)).
Se pose alors la question suivante : quelles sont les valeurs possibles de r et des ni
ci-dessus ?
3.3.2

Le dernier dguisement de la Grue blanche

Soit E : y 2 = x3 + ax + b une courbe elliptique coefficients dans Z. On peut alors

considrer lquation dfinissant E comme dfinissant une courbe de Fq comme dans la
deuxime saison et sintresser
aps (E) = ps + 1 | E(Fps ) |
qui est donc la diffrence entre le nombre de points de E et le nombre de point de la
droite projective P1 (Fps ). On pose
!

X
un
ZE,p (u) = exp
apn
.
n
n=1

Dans ce cas, on peut dmontrer que

(
ZE,p (u) =

1
1ap (E)X+pX 2
1
1ap (E)X

pour presque tous les p

pour les autres.

Enfin, on pose
L(E, s) =

Y
Y
ZE,p (ps ) =
p

1
1 ap

ps

+ p12s

Il est facile de voir que ce produit infini converge pour <s >> 0 (par exemple <s > 3/2).
Bien entendu, on conjecture que nous avons affaire un merveilleux kimono, cest-dire que L(E, s) admet un prolongement analytique C tout entier satisfaisant une
quation fonctionnelle, en loccurrence une quation reliant L(E, s) et L(E, 2 s).
Lune des conjectures les plus importantes de larithmtique contemporaine affirme que
lordre dannulation de L(E, s) en s = 1 est exactement lentier r tel que E(Q) ' Zr G.
23

3.4
3.4.1

Lenvol de la Grue blanche ?

Le tableau des correspondances
Fonction
Produit infini

quation fonctionnelle
Valeur spciale
Hypothse de Riemann

Courbes sur Fq
Z(ps )
Q
1

Z
(s)
Q 1

1ps

xZC

(1 s)
Units et factorisation
<s = 1/2

1ps deg x

(1 s)
Cycles
<s = 1/2

E/Q
L(E, s)
Q
p

1
1ap ps +p2s

L(E, 2 s)
Points rationnels
<s = 1

Tous ces objets admettent un analogue dans un monde que lon appelle le monde padique ; tout comme lpouse admet un analogue dans le monde des oiseaux. Pour p (s)
et Lp (E, s), lhypothse de Riemann sappelle la conjecture principale. Elle ne prend pas
la forme Tous les zros de p (s) vrifie <s = 1/2 (bien sr) mais Les zros de p et Lp
sont exactement les zros de Xp et Yp .
3.4.2

Chronologie partielle (et partiale)

1. En tudiant les points rationnels des courbes elliptiques y 2 = x3 x et y 2 = x3 432,

Pierre de Fermat dmontre vers 1637 que lquation xn + y n = z n nadmet pas de
solutions au sens de Diophante lorsque n = 3 ou 4.
2. En 1760, Leonhard Euler redmontre le cas n = 3 (premire dmonstration publie).
3. En 1859, Bernhard Riemann montre le prolongement analytique et lquation fonctionnelle de (s).
4. Dans les annes 1920 et 1930, mile Artin, Helmut Hasse, Friedrich Karl Schmidt et
Andr Weil formulent les premiers cas dquation fonctionnelle et de prolongement
analytique pour des fonctions ztas provenant de la gomtrie sur les corps finis.
5. Entre 1940 et 1948, Andr Weil dmontre la conjecture concernant Z(u) (la Grue
blanche de la deuxime saison) pour les courbes et nonce des conjectures gnrales
Il suggre aussi lexistence de p .
6. Entre 1960 et 1974, Bernard Dwork, Alexander Grothendieck et son cole puis
finalement Pierre Deligne dmontrent toutes les conjectures de la deuxime saison.
Lessentiel de ces travaux a t ralis dans le btiment o vous vous trouvez. Ceci
explique en particulier pourquoi vous vous trouvez actuellement dans le laboratoire
Alexander Grothendieck.
7. En 1963, K.Iwasawa formule lhypothse de Riemann pour p .
8. En 1964, Tomio Kubota et Heinrich-Wolfgang Leopoldt construisent la fonction p .
9. En 1967, Andr Weil caractrise prcisment lquation fonctionnelle que doit vrifier L(E, s) (dans la troisime saison) et fait remarquer que si cette conjecture est
vraie, alors la fonction L(E, s) est relie un objet appel forme modulaire. On
appelle courbe elliptique modulaire une courbe elliptique vrifiant les conditions de
son travail.
24

10. En 1977, Barry Mazur a rsolu le problme de la dtermination des entiers ni et m

pouvant intervenir dans
m
M
r
E(Q) ' Z
Z/ni Z.
i=1

Lessentiel de ce travail a eu lieu dans le btiment o vous vous trouvez.

11. En 1984, Barry Mazur et Andrew Wiles (pas Andr Weil) dmontrent lhypothse
de Riemann pour p (s).
12. En 1990, et en suivant des ides de Jean-Pierre Serre, Yves Hellegouarch et Gerhard
Frey, Ken Ribet dmontre que si an + bn = cn est une solution de xn + y n = z n
avec n 5, alors la courbe elliptique
E : y 2 = x(x an )(x + bn )
nest pas une courbe elliptique modulaire. Lessentiel de ce travail a t effectu ici.
13. En 1993, Kazuya Kato propose de reprsenter lanalogie entre et p et L(E, s) et
Lp (E, s) par le conte de la Grue blanche devenue femme.
14. En 1994, Andrew Wiles dmontre que toutes les courbes elliptiques semi-stables
sont modulaires. En particulier, leurs fonctions L admettent un prolongement analytique et vrifieent une quation fonctionnelle. Ceci termine la preuve du thorme
de Fermat.
15. En 2001, Christophe Breuil, Brian Conrad, Fred Diamond et Richard Taylor prouvent
que toutes les courbes elliptiques sont modulaires. Christophe Breuil travaillait ici.
16. En 2004, Kazuya Kato dmontrent que tous les zros de Yp sont des zros de Lp (f )
si f est une forme modulaire (en particulier une courbe elliptique).
17. En 2014, Chris Skinner et ric Urban dmontrent que tous les zros de Lp (f ) sont
des zros de Yp si f est une forme modulaire ordinaire. Avec le rsultat de Kato, ceci
dmontre lhypothse de Riemann p-adique pour les formes modulaires ordinaires.
18. En 2016, quelquun dmontre lhypothse de Riemann p-adique pour les formes
modulaires plates. Le travail na pas t effectu ici, mais au 425, et au moins la
personne a lavantage dtre dans la salle.
19. La conjecture prdisant que lordre dannulation de L(E, s) en s = 0 est le rang
du groupe E(Q) est encore ouverte ; elle a t choisie comme le problme 5 des 7
problmes mathmatiques les plus importants de ce millnaire.
20. La conjecture prdisant que les zros de (s) sont tous de parties relles 1/2 est
encore ouverte ; elle a t choisie comme le premier problme des 7 problmes
mathmatiques les plus importants de ce millnaire.
Au travail !
Olivier Fouquet
Dpartment de Mathmatiques, Btiment 425, Facult des sciences dOrsay Universit Paris-Sud
E-mail address : olivier.fouquet@math.u-psud.fr
Telephone number : +33169155729
Fax number : +33169156019

25

Annexe
Transmission historique de lArithmtique :
1. Sur la pure base textuelle des rfrences bibliographiques, lArithmtique est crit
au plus tt juste avant lre commune, au plus tard au Vme sicle.
2. Le plus probable est que Diophante ait vcu au IIIme sicle ou avant mais les
indices sont tnus. En particulier, le fait de le placer au IIIme sicle et non avant
repose entirement sur lhypothse quun livre est ddi quelquun de vivant.
3. LArithmtique est connu et apparemment commente par Theon et sa fille Hypatie
(morte en 415EC).
4. LArithmtique est traduite du Grec lArabe Bagdad au Xme sicle dans le
cadre du mouvement de traductions des sciences mondiales. Quatre des treize livres
nous proviennent de cette traduction via une copie de la bibliothque de Meshed,
en Iran, datant de 1198EC.
5. Dautres copies sont tudis Byzance entre le XIme et le XIIIme sicle.
6. Une telle copie grecque de six des treize livres est dcouverte Venise en 1463 par
Regiomontanus.
7. Les premires traductions latines europennes rpertories, due Rafael Bombelli
et Wilhelm Holzmann Xylander, datent de 1572 et 1575.
8. En 1621, Bachet de Mziriac traduit Diophante en Latin Paris. Cest cette copie
que Fermat acquiert vers 1630.

26