428

U
Q
I
N

ANNEXE G. PROBLMES CORRIGS

H
C
TE

On est donc sous les hypothses du th. IV.1.1, ce qui prouve que 1 f est continue en x0 et donc
sur R puisque x0 est arbitraire.
(iii) Que k soit continue suit, par rcurrence, du (ii). La parit de k se dmontre aussi par rcurrence
en faisant le changement de variable t = y dans lintgrale dnissant 1 k (x) : en eet, on a



k+1 (x) = R 1 (x y)k (y) dy = R 1 (x + t)k (t) dt = R 1 (x t)k (t) dt puisque 1 et k
sont paires. Comme la dernire intgrale vaut k+1 (x), cela prouve que k+1 est bien paire.
 2ixt 1/2
 1/2
1
(iv) On a 1 (x) = 1/2 e2ixt dt = 2ix
]1/2 = sinxx . Une rcurrence immdiate utilisant le
e
 sin x k
(iv) de la question (i) montre que k (x) = x
.
La fonction k est sommable si k  2 car continue et O( x12 ) linni. La formule dinversion de Fourier
dans L1 (prop. IV.3.25) applique k nous donne F k (x) = k (x), et comme k est paire, on en
dduit que la transforme de Fourier de k est k .
La fonction 1 nest pas sommable. En eet, si elle ltait, sa transforme de Fourier serait 1 (dans L1 )

E
L
O

Y
L
O
P

par le mme argument que ci-dessus, et comme il nexiste pas de fonction continue gale 1 p.p., cela
contredit le th. de Riemann-Lebesgue.
(v) (1 + |x|2 )k2/2 k (x) est un O( x12 ) au voisinage de linni, et donc est sommable. Il en rsulte, grce
au (ii) du th. IV.2.8, que la transforme de Fourier de k est de classe C k2 , et comme cette transforme
de Fourier est k daprs le (iv), cela permet de conclure.
1
1
1
(vi) 2 (x) est la longueur de lintervalle [ 1
2 , 2 ] [x 2 , x + 2 ]. On a donc 2 (x) = 0, si |x|  1 et
2 (x) = 1 |x|, si |x|  1.
Soit f (t) = 2 ( 2t ). Alors f est de classe C 1 (et mme C ) et f et f  sont des O( t12 ) au voisinage de
linni. On peut donc lui appliquer la formule de Poisson du th. IV.3.18. Comme f(x) = 2F 2 (2x) =


22 (2x), cette formule devient 2 nZ 2 (2n) = nZ 2 ( n2 ). Dans le membre de gauche, le seul terme
non nul est 2 (0) = 1, et dans le membre de droite, seuls 0 et les entiers impairs contribuent, et la formule
devient :

E
L
O


2=1+

Pour en dduire

n impair

T
Y
L
PO

N
H
EC

1
1
8 
=1+ 2
,
(n/2)2

(2m + 1)2

1
n1 n2 ,

et donc

mN


mN

E
U
IQ

1
2
.
=
(2m + 1)2
8

on crit n sous la forme 2k (2m + 1), ce qui nous donne :

 1
 1
  1  

1
1
1
=
=
=
2
2k
2
n
2 (2m + 1)
22k
(2m + 1)2
1

mN
n1
k,mN
kN

1
4

2
2
=
.
8
6

(vii) Il surait de prouver que k (2n) Q et est nul sauf pour un nombre ni de n Z. Or il nest
k
pas trs dicile de prouver que k est nulle en dehors de [ k
2 , 2 ], et est un polynme, de degr k 1,
k
k
coecients dans Q, sur chaque intervalle de la forme [ 2 + i, 2 + i + 1], pour i {0, . . . , k 1}.

E
U
IQ

Question 3.



2
2
ax 2
ab 2
(i) a b (x) = R e(a(xt) +bt ) dt. Or a(x t)2 + bt2 = (a + b) t a+b
+ a+b
x , et on dduit le



2
1
ax
rsultat en faisant le changement de variable u = a+b
t a+b
et en utilisant la formule R eu du = 1.
(ii) On note k la fonction 1 1 (k facteurs). Alors, daprs le (iv) de la question 1, k est la
1

N
H
EC

transforme de Fourier de 1k . Or on vrie, par rcurrence sur k, en utilisant le (i), que 1k = 1k 1/k ,
et comme 1/k (x) = 1 ( xk ), la formule pour les dilatations permet de conclure.
 +
(iii) La fonction 1 tant paire, on a 1 (x) = 0 (e2i xt + e2i xt )1 (t) dt comme le montre un changement de variable t  t sur ] , 0] dans lintgrale dnissant 1 (x). La fonction intgre tant relle,
cela permet de conclure.

E
L
O

T
Y
L
PO

E
U
Q
I

429

G.5. TRANSFORME DE FOURIER ET CONVOLUTION

N
H
EC

 k
(iv) Daprs le (ii), on a 1 (x) = 1 xk , pour tout k  1. Lappartenance de 1 S implique que
1 est de classe C sur R (cor. IV.3.17). En particulier, elle a un dveloppement limit de la forme

2
1 (x) = 1 + x + x2 + o(x2 ) en 0 (on a 1 (0) = R et dt = 1). En passant au logarithme dans
 x k
lidentit 1 (x) = 1 k , et en faisant tendre k vers +, on en dduit que = 0 (ce qui peut


2
aussi se dduire de la parit de 1 ), et log 1 (x) = limk+ k log 1 + xk + o( k1 ) = x2 . On a donc
2

1 (x) = eax , avec a = .

(v) Daprs Riemann-Lebesgue, 1 tend vers 0 linni, et donc a > 0. Maintenant, daprs la formule
dinversion de Fourier dans S (th. IV.3.21), la transforme de Fourier de 1 est 1 (x) = 1 (x) et en

2
particulier, 1 = 1 (0) = R eax = 1a , et donc a = 1. (On peut aussi remarquer que

T
Y
POL

E
L
O

1 
1
(0) =
2 1
2

(2it)2 et dt = 4 2

t2 et dt.

u permet dcrire lintgrale sous la forme

1

2( )3

1
1
2 1
2 ( 2 ) = 2 , on obtient = 4 2( )3 2 = , et

Le changement de variable t =
1
( 32 ),
2( )3

et comme

( 32 )

 +
0

u1/2 eu du =

donc a = 1.)

E
U
IQ

Question 4.
(i) Comme sinuu est paire, il sut de considrer u [0, 3]. Soit g(u) = u2 (1 sinuu ). On peut prolonger
2
g par continuit en 0 en posant g(0) = 6 . La fonction g atteint donc son minimum sur le compact
[0, 3], et comme g est strictement positive sur R+ car sin x < x, si x > 0, on a > 0. Lingalit g(u) 
si u [0, 3] se traduit alors par lingalit cherche

 
 
2
2
(ii) Si |x|  3 k, on a k xk  (1 xk )k daprs le (i), et donc k xk  ex , car log(1 u)  u,
si 0 < u < 1.

 
1
Si |x|  3 k, alors |k xk |  ( |x|k )k . Pour montrer que ceci est  1+x
2 , on passe au logarithme et on

E
L
O

fait le changement de variable u =

T
Y
L
PO

|x|
.
k

N
H
EC

On est ramen montrer que k log u log(1 + ku2 )  0, si k  4 et

2ku
k
2
u  3. Or la fonction u  k log u log(1 + ku2 ) admet comme drive uk 1+ku
2 = u(1+ku2 ) (1 + (k 2)u )
qui est toujours positive ; elle atteint donc son minimum en u = 3, et comme k  k log 3 log(1 + 9k)
est croissante sur [4, +[ et  0 en k = 4, cela permet de conclure.

2 2
x/ k k

(iii) On a sinuu = 1 6u + o(u2 ) au voisinage de 0. On en dduit que fk (x) = ( sinx/

) tend
k
2 2
 x2 1 
6x
quand k tend vers +. Comme par ailleurs fk est majore par sup e
, 1+x2 qui est
vers e
sommable et indpendante de k, il rsulte du thorme de convergence domine (th. III.1.32) que fk tend
2 x2

vers e 6 dans L1 (R).

(iv) gk est la transforme de Fourier de fk . Or, daprs le th. IV.2.7 (Riemann-Lebesgue), la transforme
le (iii),
de Fourier est continue de L1 (R) dans C0 (R) (muni de la norme   ). Comme fk tend, daprs

vers f dans L1 (R), cela implique que gk tend uniformment sur R vers f. Or f (t) = 1 ( 6 t), et donc

2
f(x) = 6 1 ( 6 x) = 6 e6x . Il sagit, normalisation prs, dun cas particulier dune variante du

thorme de la limite centrale.

E
L
O

T
Y
L
PO

N
H
EC

E
U
IQ

430

U
Q
I
N

ANNEXE G. PROBLMES CORRIGS

H
C
TE

G.6. Loi daddition sur une courbe elliptique

Y
L
O
P

Soit (1 , 2 ) une base directe

> 0) de C sur R, et soit = {m1 + n2 , m, n Z}.
On dit que f : C C est -priodique si on a f (z + ) = f (z), quels que soient z C et .
(Im( 21 )

E
L
O

Partie I

(o) Montrer quil existe C > 0 tel que |a1 + b2 |  C sup(|a|, |b|), quels que soient a, b R, et
montrer que r() = inf {0} || est non nul.
(i) Soit A = {1 + 2 , , [0, 1]}. Montrer que A est compact et que , si z C, il existe
et u A tels que z = + u. En dduire que si f : C R+ est continue et -priodique,
alors f est borne et atteint son maximum.
(ii) Montrer quune fonction -priodique, holomorphe sur C, est constante.

(iii) Montrer que {0} ||1 k converge si k est un entier  3.
(iv) Montrer que, si R > 0 et si ||  2R, alors z + ne sannule pas sur D(0, R) et les sries



1
1
1 
2
et
2
(z + )

(z + )3
, ||2R

N
H
EC

, ||2R

convergent normalement sur D(0, R).

(v) En dduire que, si z C , alors la srie F(z) =

T
Y
L
PO

1
z2

{0}

E
U
IQ

1
(z+)2

1
2

converge,

et que z  F(z) est holomorphe(6) sur C .

(vi) Montrer que F est -priodique et que F est paire. En dduire que F est -priodique.


n
n
(vii) Si k  3, soit Gk = {0} 1k . Montrer que la srie +
n=1 (1) (n + 1)Gn+2 z est de
rayon de convergence exactement r(), et que sa somme est G(z) = F(z) z12 , si |z| < r().
(viii) Montrer que Gk = 0, si k est impair. En dduire que, si lon pose g2 = 60G4 et g3 = 140G6 ,
alors H(z) = F (z)2 4F(z)3 + g2 F(z) + g3 est holomorphe et nulle en 0.
(ix) Montrer que F (z)2 = 4F(z)3 g2 F(z) g3 , quel que soit z C .

E
L
O

Partie II
Soit C/ le quotient de C par son sous-groupe . Rappelons que cela signie que lon dispose
dun morphisme de groupes : C C/ surjectif et tel que (z) = 0 si et seulement si z (o
lon a not 0 llment neutre du groupe commutatif C/). Lquation(7) u = u a 4 solutions
2
dans C/, savoir : 0, e1 = ( 21 ), e2 = ( 22 ) et e3 = ( 1 +
2 ).
Si a C, soit Sa = {a + 1 + 2 , , [0, 1[}. On peut crire tout lment z de C de
manire unique sous la forme z = + u, avec(8) u Sa et . On en dduit que induit une
bijection de Sa sur C/, et donc que Sa est un systme de reprsentants de C/ dans C. On
note sa : (C/) Sa la bijection rciproque, et donc sa (u) est le reprsentant de u dans Sa , si
u C/.
(6)

T
Y
L
PO

N
H
EC

E
U
IQ

La notation standard est (z) ou (z, L) ; cest la fonction de Weierstrass.

Elle est quivalente 2u = 0 dans C/, ce qui se traduit, en choisissant u
C avec (
u) = u, par
2
u , ou encore u
12 , et tout lment de 12 peut scrire de manire unique sous la forme ou
1
2
1 +2
+ , avec .
2 + ou 2 + ou
2
(8)
On crit za sous la forme x1 +y2 , avec x, y R, et alors = [x]1 +[y]2 , et u = a+{x}1 +{y}2 .
(7)

E
L
O

E
U
Q
I

431

G.6. LOI DADDITION SUR UNE COURBE ELLIPTIQUE

N
H
EC

On note a = {a+1 +2 , , ]0, 1[} lintrieur de Sa , et a le bord de a parcouru dans

le sens direct. Cest le compos des segments [a, a + 1 ], [a + 1 , a + 1 + 2 ], [a + 1 + 2 , a + 2 ]

et [a + 2 , a]. On remarquera que Sa a a . On notera simplement(9) f (z) dz lintgrale

[,] f (z) dz.

E
L
O

T
Y
POL

Une fonction f : C C qui est -priodique peut tre considre comme une fonction
de C/ dans C. Si f est une fonction mromorphe sur C, -priodique, on dit que les zros
(resp. les ples) de f dans C/ sont les ui , pour i I, avec multiplicits mi  1, si les zros
(resp. les ples) de f dans Sa sont les sa (ui ), pour i I, et si la valuation de f en sa (ui ) est mi

(resp. mi ), ce qui ne dpend pas du choix de a C. Si tel est le cas, on note N0 (f ) = iI mi

(resp. N (f ) =
iI mi ) le nombre de zros (resp. de ples) de f dans C/, compts avec
multiplicit.

(i) Soit f une fonction mromorphe sur C non identiquement nul. Montrer que, si a C, il
existe ra > 0 tel que f nait aucun zro ni ple dans D(a, ra ) {a}. En dduire que si K est un
compact de C, alors f na quun nombre ni de zros et de ples dans K.
(ii) Soit f une fonction -priodique, non identiquement nulle, mromorphe sur C. Montrer quil
existe a C tel que f nait ni zro ni ple sur le chemin a .

 (z)
dz = 2i(N0 (f ) N (f )). En dduire que N0 (f ) = N (f ).
(iii) Montrer que a ff (z)
(iv) Dans tout ce qui suit, F est la fonction de Weierstrass dnie la question (v) de la partie I.
Calculer N0 (F ), et montrer que F est impaire. En dduire que les zros de F dans C/ sont
e1 , e2 et e3 , et que ce sont des zros simples.
(v) Calculer N (F b), si b C. En dduire que F : (C/) {0} C est surjective, et que
F(a) = F(a ) si et seulement si a = a. (On fera attention au cas F(a) {F(e1 ), F(e2 ), F(e3 )}.)
(vi) En dduire que z  P(z) = (F(z), F (z)) est une bijection de (C/) {0} sur lensemble
E(C) des solutions (X, Y) dans C2 de lquation Y2 = 4X3 g2 X g3 .
(vii) Soient C un ouvert contractile et f : C, holomorphe et ne sannulant pas sur .

Montrer quil existe g holomorphe sur telle que f = eg , et que g  = ff .
(viii) Si a, b C, et si r > 0, soit r (a, b) = {z C, c [a, b], |z c| < r}. Montrer que
r (a, b) est un ouvert convexe.
(ix) Soit f une fonction -priodique, non identiquement nulle, mromorphe sur C, et soient
a C et tels que f nait ni zro ni ple sur [a, a + ]. Montrer que, si r > 0 est assez
 a+ f  (z)
1
petit, f na ni zro ni ple dans r (a, a + ). En dduire que 2i
a
f (z) dz Z.
(x) Soit f une fonction -priodique, non identiquement nulle, mromorphe sur C.
(a) Montrer que lensemble Xa des lments de Sa tels que vz (f ) = 0 est ni et que limage de

zXa vz (f ) z dans C/ ne dpend pas de a C. On la note (f ).
(b) Soit a C tel que f nait ni zro ni ple sur le chemin a . Montrer que

I1 =

1 
2i

E
L
O

a+1

z
a

f  (z)
dz+
f (z)

T
Y
L
PO

a+2

z
a+1 +2

f  (z) 
dz
f (z)

et I2 =

E
L
O

a prend moins de place si et sont compliqus.

1 
2i

Y
L
O
P

appartiennent . (On ne traitera que I1 ou I2 .)

(c) En dduire que (f ) = 0.
(9)

N
H
EC

a+1 +2

HN

f  (z)
dz+
f (z)

TEC
a+1

E
U
IQ

E
U
IQ

a+2

f  (z) 
dz
f (z)

432

U
Q
I
N

ANNEXE G. PROBLMES CORRIGS

H
C
TE

(xi) Soit E(C) = E(C) {}. On tend lapplication z  P(z) de la question (vi) en une
bijection de C/ sur E(C), en posant P(0) = , et on note : E(C) C/ la bijection
rciproque. On dnit Q1 Q2 , si Q1 , Q2 E(C) par Q1 Q2 = P((Q1 ) + (Q2 )). Montrer que
est une loi de groupe commutatif dlment neutre sur E(C), et que, si Q1 , Q2 , Q3 E(C)
sont distincts, alors Q1 Q2 Q3 = si et seulement si Q1 , Q2 , Q3 sont sur une mme droite
complexe de C2 .


 F(z) F(z1 ) F(z2 ) 

 
(On pourra sintresser aux zros de la fonction G(z) = F (z) F (z1 ) F (z2 ), o zi = (Qi ).)
 1
1
1 

E
L
O

Y
L
O
P

Corrig
Partie I

E
U
IQ

(o) Lapplication (a, b)  a1 + b2 est un isomorphisme de R2 sur C et (a, b)  |a1 + b2 | est une
norme sur R2 ; elle est donc quivalente la norme (a, b) = sup(|a|, |b|) (on est en dimension nie) ; on
en dduit lexistence de C > 0 tel que |a1 + b2 |  C sup(|a|, |b|), quels que soient a, b R. Finalement,
on a r()  C > 0.
(i) A est compact car cest limage du compact [0, 1] [0, 1] par lapplication (, )  1 + 2 , qui est
continue. On peut crire z sous la forme a1 + b2 , avec a, b R, et il sut de poser = [a]1 + [b]2
et u = {a}1 + {b}2 pour obtenir une dcomposition de z sous la forme z = + u voulue. On en dduit
que, si f est -priodique, on a f (C) = f (A), et comme A est compact, si f est de plus continue, cela
implique que f est borne et atteint son maximum sur A.
(ii) Si F est -priodique, holomorphe sur C, alors f = |F| est continue et -priodique. Daprs la
question (i), cela implique que |F| atteint son maximum, et daprs le th. V.1.23, cela implique que F est
constante.


1
1
k
(iii) Daprs la question (o), on a
{0} ||k  C
(n,m)Z2 {(0,0)} sup(|m|,|n|)k . Or il y a 8N
couples (m, n) vriant sup(|m|, |n|) = N, ce qui nous fournit la majoration

E
L
O

{0}

T
Y
L
PO

N
H
EC

+

1
8N
 Ck
 8Ck (k 1) < +,
k
||
Nk

si k > 2.

N=1

1
1
2z+z
(iv) On a (z+)
2 2 = 2 (+z)2 et | + z|  || |z| 
z + ne sannule pas sur D(0, R), et on a




||
2 ,

si ||  2R et z D(0, R). En particulier,

8R
1  2||R + R2
4R2
1
=
2 
+
,
2
4
3
(z + )

|| /4
||
||4

E
U
IQ

si z D(0, R) et ||  2R. On dduit la convergence normale de la premire srie sur D(0, R) de la

1
8
question (iii). Pour dmontrer celle de la seconde, on remarque que | (+z)
3 |  ||3 , si z D(0, R) et
||  2R, et on conclut de la mme manire.
 1


1
(v) F(z) est la somme, sur D(0, R ) de la somme nie z12 + {0}, ||<2R (z+)
2 2 , dont chacun des termes est une fonction holomorphe en dehors de , et de la srie normalement convergente
 1


1

, ||2R (z+)2 2 qui est holomorphe sur D(0, R ) daprs le th. V.2.14. On en dduit lholo
morphie de F sur D(0, R ) et, ceci tant vrai pour tout R, lholomorphie de F sur C .
 1


1
tant uniforme sur tout compact de
(vi) La convergence de la srie z12 + {0} (z+)
2 2
C , on peut calculer la drive de F en drivant la srie terme terme (th. V.2.14) ; on a donc

E
L
O

T
Y
L
PO

N
H
EC

E
U
Q
I

G.6. LOI DADDITION SUR UNE COURBE ELLIPTIQUE

N
H
EC

433



2
2

F (z) = (z+)
3 . Maintenant, si , on a F (z + ) =
(z++)3 , et la srie tant absolument convergente, on peut utiliser le fait que  + est une bijection de pour en dduire que
F (z + ) = F (z).
  1


1
1
1
= (z)2 ()
La parit de F suit de ce que (z+)
2 2
2 , et  est une bijection de .
Maintenant, si , la fonction F(z + ) F(z) a une drive nulle et donc est constante sur C .
Notons c() cette constante. On a c() = c() car F est paire, et

E
L
O

T
Y
POL

c(1 + 2 ) = F(z + 1 + 2 ) F(z + 1 ) + F(z + 1 ) F(z) = c(2 ) + c(1 ).

En prenant 1 = et 2 = , on en dduit que 2c() = 0, et donc que F est -priodique.

(vii) La fonction G(z) est holomorphe sur C ( {0}), mais a un ple en tous les lments de {0}.
Le plus grand disque ouvert de centre 0 contenu dans C ( {0}) tant D(0, r() ) par dnition
de r(), la srie de Taylor de G en 0 a pour rayon de convergence r() daprs le (i) de la rem. V.2.8
Maintenant, on a G(0) = 0 daprs la formule dnissant F, et, daprs le th. V.2.14, on peut calculer
G(n) (0) comme la somme de la srie des drives ; on obtient, si n  1,
 (1)n (n + 1)!
= (1)n (n + 1)!Gn+2 .
G(n) (0) =
n+2
{0}

+

N
H
EC

G(n) (0) n
z ,
n=0
n!

E
U
IQ

si |z| < r(), cela permet de conclure.

Comme, daprs le (i) de la rem. V.2.8 on a G(z) =
(viii) La fonction G tant paire, on a Gk = 0, si k est impair, et donc

T
Y
L
PO

1
2
F(z) = 2 + 3G4 z 2 + 5G6 z 4 + O(z 5 ) et F (z) = 3 + 6G4 z + 20G6 z 3 + O(z 4 )
z
z
1
9G4
4
24G4
3

2
F(z) = 6 + 2 + 15G6 + O(z) et (F (z)) = 6 2 80G6 + O(z)
z
z
z
z
On en dduit que H(z) se prolonge en une fonction holomorphe nulle en 0.
(ix) La fonction H(z) est -priodique, holomorphe sur C et holomorphe en 0. Par -priodicit,
elle est aussi holomorphe en tous les points de , et donc est holomorphe sur C. Elle est donc constante,
daprs la question (ii), et comme elle vaut 0 en 0, elle est identiquement nulle.

E
L
O

Partie II.

(i) Soit k = va (f ). Alors g(z) = (z a)k f (z) est holomorphe dans un voisinage de a et non nulle en a ; il
existe donc ra > 0 tel que g ne sannule pas sur D(a, ra ), et alors f na ni zro ni ple sur D(a, ra ) {a}.
Maintenant, si K est compact, on peut extraire un recouvrement ni(10) du recouvrement de K par les
D(a, ra ), pour a K ; autrement dit, il existe un sous-ensemble ni A de K tel que K aA D(a, ra ).
Par construction de ra , lensemble des zros et ples de f sur K est alors inclus dans A, et donc est ni.
(ii) Soit B = {1 + 2 , , [1, 1]}. Comme B est compact, f na quun nombre ni de zros et
de ples dans B daprs la question (i). Si les zros et ples de f dans B sont les i 1 + i 2 , pour i I
ni, il sut de prendre a de la forme 1 + 2 , o [1, 0] nest pas de la forme i ou i 1, et
[1, 0] nest pas de la forme i ou i 1, pour i I.

(z)
en w est vw (f ) ; on dduit donc de la formule des rsidus que
(iii) Si w a , le rsidu de ff (z)



f
(z)
1
dz
=
v
(f
).
Par
ailleurs, comme f na ni zro ni ple sur Sa a , cette dernire
w
w
2i a f (z)
a
somme est aussi gale wSa vw (f ) = N0 (f ) N (f ).

T
Y
L
PO

N
H
EC

E
U
IQ

(10)
On peut aussi raisonner en termes de suites, en disant que, si lensemble Z des zros et ples de f dans
K est inni, et si (an )nN est une suite dlments distincts de Z, alors on peut extraire de (an )nN une
sous-suite ayant une limite a dans K, mais alors D(a, ra ) contient une innit de an , ce qui est contraire
la dnition de ra .

E
L
O

434

U
Q
I
N

ANNEXE G. PROBLMES CORRIGS

H
C
TE

 a+
a
 a+  (z)



(z)
(z)
(z+2 )
Comme ff (z)
est -priodique, on a a+12+2 ff (z)
dz = a+1 ff (z+
dz = a 1 ff (z)
dz. On a
2)
 a+1 f  (z)
 a+2





a+1 +2 f (z)
a
f (z)
f (z)
donc a
dz
+
dz
=
0
et
dz
+
dz
=
0.
On
en
dduit
que
f (z)
f (z)
a+1 +2 f (z)
a+1
a+2 f (z)
 f  (z)
dz = 0, et donc que N0 (f ) = N (f ).
a f (z)
(iv) F a un ple dordre 3 en 0 et est holomorphe en dehors de ; on a donc N (F ) = 3. Par ailleurs,
F tant paire, F est impaire et on a F (z) = 0, si z = z dans C/. On en dduit que e1 , e2 et e3 sont
des zros de F dans C/. Comme N0 (F ) = N (F ) = 3, ce sont les seuls zros de F et ils sont simples.
(v) Si b C, la fonction F(z) b a un ple double en 0 et est holomorphe en dehors de . On a donc
N (F b) = 2, et aussi N0 (F b) = 2, ce qui implique en particulier que lensemble des solutions de
lquation F(z) = b dans (C/){0} nest pas vide. On en dduit la surjectivit de F : (C/){0} C.
Maintenant, la fonction F tant paire, si a est une solution de F(z) = b, alors a aussi. Comme
/ {e1 , e2 , e3 }. On en dduit que, si
N0 (F b) = 2, ce sont les seules solutions si a = a, cest--dire si a
F(a)
/ {F(e1 ), F(e2 ), F(e3 )}, et si F(a ) = F(a), alors a = a.
Si a {e1 , e2 , e3 }, comme F (a) = 0 daprs le (i), la fonction F(z) F(a) a un zro double en z = a,
et comme N0 (F(z) F(a)) = 2, ce zro est lunique zro de F(z) F(a) dans C/ ; on en dduit encore
dans ce cas que F(a ) = F(a) si et seulement si a = a (et a = a).
(vi) Lappartenance de P(z) E(C) rsulte de la question (ix) de la partie I. Si P(z1 ) = P(z2 ), on a en
particulier F(z1 ) = F(z2 ), et donc z1 = z2 daprs la question (v). Si z1 = z2 , alors F (z2 ) = F (z1 ),
et donc P(z1 ) = P(z2 ) et z1 = z2 impliquent F (z1 ) = 0. Or ceci implique z1 {e1 , e2 , e3 }, et donc
z1 = z1 et z1 = z2 . On en dduit linjectivit de z  P(z). Pour prouver la surjectivit, il sut de
constater que si (a, b) E(C), il existe z tel que F(z) = a, et on a F (z) = b, ce qui fait que lon a
(a, b) = P(z) ou (a, b) = P(z).

(vii) Comme est contractile, et comme ff est holomorphe sur , il existe, daprs le (i) de la rem. VI.2.2,

E
L
O

Y
L
O
P

E
L
O

T
Y
L
PO

N
H
EC

E
U
IQ

h holomorphe sur telle que h = ff . Soit z0 . Quitte rajouter une constante h, on peut supposer
que eh(z0 ) = f (z0 ). Mais alors (eh f ) = h eh f + eh f  = 0, et donc eh f est constante sur , et
comme elle vaut 1 en z0 , on a f = eh sur . Si g est une autre fonction holomorphe sur vriant eg = f ,
on a egh = 1, et donc g h est holomorphe et valeurs dans 2iZ. Comme est connexe, g h est

constante et g  = ff .
(viii) r (a, b) est la runion des D(c, r ), pour c [a, a + ], et donc est un ouvert en tant que runion
douverts. Si z1 , z2 r , il existe c1 , c2 [a, a+] tels que |zi ci | < r, si i = 1, 2. Maintenant, si t [0, 1],
alors tc1 + (1 t)c2 [a, a + ] et |(tz1 + (1 t)z2 ) (tc1 + (1 t)c2 )| = |t(z1 c1 ) + (1 t)(z2 c2 )| <
r(t + (1 t)) = r, ce qui prouve que tz1 + (1 t)z2 r (a, b), et que r (a, b) est convexe.
(ix) 1 (a, a + ) est un ouvert born contenant [a, a + ]. Son adhrence K est un compact et donc ne
contient quun nombre ni de zros et de ples de f , daprs la question (i). Il sut de prendre pour r
le minimum des distances de ces zros et ples au segment [a, a + ] pour tre sr que r (a, a + ) ne
contient ni zro ni ple de f .
Un ouvert convexe tant contractile, il existe g holomorphe sur r (a, a + ) telle que eg = f , et donc
 a+ f  (z)
 a+ f  (z)


g = ff . On a alors a
f (z) dz = g(a + ) g(a), et donc exp( a
f (z) dz) = f (a + )/f (a) = 1,
 a+ f  (z)
puisque f est -priodique. On en dduit que a
f (z) dz 2iZ.

N
H
EC

E
U
IQ

(x) (a) Comme Sa est born, lensemble des zros et des ples de f dans ladhrence Sa de Sa est ni ; il en
est donc a fortiori de mme dans Sa . Par ailleurs, si on change a en b, alors z  sb ((z)) est une bijection
de Sa sur Sb qui induit une bijection de Xa sur Xb , et on a z sb ((z)) et vz (f ) = vsb ((z)) (f ). On
en dduit que



vz (f ) z
vz (f ) z =
vz (f )(z sb ((z))) ,

E
L
O

zXa

zXb

et donc que (f ) est bien indpendant de a.

T
Y
L
PO
zXa

E
U
Q
I

G.6. LOI DADDITION SUR UNE COURBE ELLIPTIQUE

N
H
EC

a
a



(z)
(z+2 )
(z)
z ff (z)
dz = a+1 (z + 2 ) ff (z+
dz = a+1 (z + 2 ) ff (z)
dz puisque f est -priodique.
2)




a1 f (z)
f (z)
1 a+1
1
On en dduit que I1 = 2i a
2 f (z) dz, et comme 2i a
dz

Z daprs la question (ix), on

f (z)
a I1 Z2 . Largument est le mme pour I2 .


1
z f (z) dz = I1 + I2 . Par ailleurs, il rsulte de la formule des rsidus
(c) Il rsulte du (b) que 2i
a f (z)




1
que 2i
z f (z) dz = ua vu (f ) u, et comme f na ni zro ni ple sur Sa a , on a uSa vu (f ) u =
a f (z)


ua vu (f ) u . Limage (f ) de
uSa vu (f ) u dans C/ est donc nulle.
(xi) Par construction, on a Q1 Q2 = Q3 si et seulement si (Q1 ) + (Q2 ) = (Q3 ). Comme (C/, +) est
un groupe commutatif dlment neutre 0, et comme est une bijection de E(C) sur C/, cela implique
que (E(C), ) est un groupe commutatif dlment neutre 1 (0) = .
Maintenant, Q1 , Q2 , Q3 E(C) sont distincts et vrient Q1 Q2 Q3 = si et seulement si
z1 = (Q1 ), z2 = (Q2 ) et z3 = (Q3 ) sont distincts, non nuls, et vrient z1 + z2 + z3 = 0. En particulier,
on a z1 = z2 , et donc F(z1 ) = F(z2 ). Ceci implique que si on crit G(z) sous la forme F(z)+F (z)+,
alors = 0.
Comme F a un ple dordre 3 en z = 0, et F a un ple dordre 2, le ple en z = 0 de F + F + est
dordre 3 exactement. On a donc N (G) = 3, et on dduit de la question (iii) que G a 3 zros dans C/
compts avec multiplicit.
Il est clair que z1 et z2 sont deux zros de G, et si z  est le troisime, alors (G) = z1 + z2 + z  3 0.
Il rsulte alors du (c) de la question (x) que z1 + z2 + z  = 0, et donc z  = z3 . On a donc prouv que
G(z) = 0 si et seulement si z {z1 , z2 , z3 }.
Par ailleurs X + Y + = 0 est lquation de la droite passant par P(z1 ) = Q1 et P(z2 ) = Q2 ; on en
dduit que G(z) = 0 si et seulement si P(z) appartient la droite (Q1 , Q2 ). Ceci permet de conclure.
(b)

 a+2

435

a+1 +2

E
L
O

T
Y
POL

E
L
O

T
Y
L
PO

E
L
O

N
H
EC

T
Y
L
PO

E
U
IQ

N
H
EC

E
U
IQ

436

U
Q
I
N

ANNEXE G. PROBLMES CORRIGS

H
C
TE

G.7. Coecients de Fourier des fonctions analytiques

Y
L
O
P

On dit que f : R C est analytique si, pour tout a R, il existe > 0 tel que f soit somme
de sa srie de Taylor en a pour tout x ]a , a + [. On se propose de dmontrer quune fonction
priodique est analytique si et seulement si la suite de ses coecients de Fourier (cn (f ))nZ est
dcroissance exponentielle (i.e. il existe r > 1 tel que |r|n| cn (f )| 0 quand |n| +).

E
L
O

Question 1. (i) Montrer que, si F est holomorphe sur un ouvert contenant R, alors la restriction de F R est analytique.
(ii) Soit (an )nZ telle quil existe r < 1 et C > 0, avec |an |  Cr|n| , pour tout n Z. Montrer

que la srie nN an e2i nt converge pour tout t R et dnit une fonction analytique sur R,
priodique de priode 1.

Question 2. (i) Montrer que si f est analytique sur R, alors pour tout a R, il existe un disque
ouvert Da de centre a et une fonction holomorphe Fa sur Da dont la restriction R Da est f .
(ii) Montrer que, si Da Db = , alors Fa et Fb concident sur Da Db . En dduire quil existe
un ouvert de C contenant R, et une fonction holomorphe F sur dont la restriction R est f .
(iii) Montrer quun ouvert de C contenant R contient un ouvert rectangulaire de la forme
() = {z, < Re(s) < 1 + , |Im(z)| < }.
(iv) On suppose f : R C analytique et priodique de priode 1. Soit un ouvert de C
contenant R sur lequel il existe une fonction holomorphe F dont la restriction R est f , et soit
> 0 tel que () soit contenu dans . Montrer que pour tout r ]e2 , 1[, il existe C(r) > 0
tel que |cn (f )|  C(r)r|n| , pour tout n Z.
(v) Conclure.

E
L
O

T
Y
L
PO

N
H
EC

E
U
IQ

Corrig

Question 1. (i) Il sut de revenir la dnition dune fonction holomorphe : si a R, alors F est
somme de sa srie de Taylor en a sur un petit disque de centre a, elle est donc a fortiori somme de sa
srie de Taylor sur un segment de la forme ]a , a + [.

(ii) La srie nN an e2i nz est normalement convergente dans la bande |Im(z)| < , si re2 < 1
1
log 1r ). Elle dnit donc une fonction holomorphe, priodique de priode 1, sur cette bande
(i.e. si < 2
puisque chacun des termes de la srie est holomorphe et priodique de priode 1. Sa restriction R est
donc analytique daprs le (i), ce qui permet de conclure.
+ f (n) (a)
n
Question 2. (i) Par hypothse, il existe > 0 tel que f (t) =
n=0
n! (t a) , quel que soit
+ f (n) (a) n
t ]a , a + [. En particulier, la srie n=0 n! T est de rayon de convergence > et il sut de
+ (n)
prendre Da = D(a, ) et Fa (z) = n=0 f n!(a) (z a)n , si z Da .
(ii) Si Da Db = , alors Da Db est connexe (car convexe et donc connexe par arcs), et son intersection
avec R est un intervalle ouvert I non vide. Par ailleurs, Fa et Fb concident sur I, et le thorme des zros
isols implique que Fa et Fb concident sur Da Db tout entier.
Ceci permet de dnir une fonction F sur louvert = aR Da (qui contient R par construction), en
posant F(z) = Fa (z) si z Da . Comme Fa et Fb concident sur Da Db , on voit que la dnition de F(z)
ne dpend pas du choix de a R tel que z Da . De plus, F est holomorphe sur Da pour tout a, et donc
est holomorphe sur tout entier.
(iii) Comme [a, b] est compact, que C est ferm et dintersection vide avec [a, b], la distance d de
[a, b] C est > 0. On peut alors prendre = d/2.

E
L
O

T
Y
L
PO

N
H
EC

E
U
IQ

E
U
Q
I

G.7. COEFFICIENTS DE FOURIER DES FONCTIONS ANALYTIQUES

N
H
EC

437

(iv) Comme f (z)e2inz est holomorphe sur 0 = {z, < Re(s) < 1 + , |Im(z)| < } qui est
contractile car convexe, lintgrale de f (z)e2inz dz sur le rectangle de sommets 0, 1, 1 + ic, ic est nulle,
pour tout choix de c ] , [. De plus, f (z)e2inz tant priodique de priode 1, les deux intgrales sur
les cts verticaux se compensent, et comme lintgrale sur [0, 1] nest autre que cn (f ), on en dduit que
1
log r
r
cn (f ) = e2nc 0 f (t + ic)e2i nt dt, pour tout c ] , [. En prenant c = 2
si n  0 et c = log
2 si
r
log r
)|,
|f
(t

i
)|,
on
obtient
la
majoration
voulue.
n  0, et en posant C(r) = supt[0,1] max(|f (t + i log
2
2
(v) Lnonc cherch est la conjonction des (ii) de la question 1 et (iv) de la question 2.

E
L
O

T
Y
POL

E
L
O

T
Y
L
PO

E
L
O

N
H
EC

T
Y
L
PO

E
U
IQ

N
H
EC

E
U
IQ

438

U
Q
I
N

ANNEXE G. PROBLMES CORRIGS

H
C
TE

G.8. Prolongement analytique dintgrales et de sries

Y
L
O
P

Le but de ce devoir est dillustrer la souplesse que procure la possibilit de dplacer le chemin
sur lequel on intgre, et de montrer comment combiner cette souplesse avec la formule de Poisson
pour prolonger analytiquement certaines sries.

E
L
O

1
Si s C, on note s : R C la fonction dnie par la formule s (t) = (t2 +1)
s , la dtermination du logarithme choisie tant la dtermination principale (on rappelle quavec cette
dtermination, |z s |  e |Im(s)| |z|Re(s) , pour tous z C et s C).

Question 1. Dans cette question, s est rel (et > 12 pour le (i), > 32 pour (ii)-(vi)).

 +
2
(s 12 )

.
(i) Calculer 0 eu(1+t ) us du
u . En dduire que s (0) =
(s)
2


(ii) Montrer que s est de classe C et que s est la transforme de Fourier de (t2it
2 +1)s .
(iii) Montrer que s et  sont dcroissance rapide (on rappelle que f est dcroissance
s

E
U
IQ

rapide si |xN f (x)| 0, pour tout N N, quand |x| +).

(iv) Trouver une relation linaire coecients dans C[t] entre s , s et s . En dduire que
x
) est solution de lquation direntielle x2 v  + 2(1 s)xv  x2 v = 0.
s (x) = s ( 2
(v) Montrer que s est de classe C sur R et que toutes ses drives sont dcroissance
rapide. Existe-t-il s > 32 tel que s soit de classe C sur R ?
(vi) Que peut-on attendre du comportement linni de s , compte-tenu des (iii) et (iv) ? (On
demande juste un argument heuristique, pas une justication dtaille.)

E
L
O

T
Y
L
PO

N
H
EC

Question 2. On note louvert obtenu en retirant au demi-plan Im(s) > 1 la demi-droite

[i, i[ ; cest un ouvert contractile car il est toil par rapport tout point du segment ] i, i[.
1
On note encore s : C la fonction z  (z 2 +1)
s.
(i) Montrer que s est holomorphe sur .
(ii) Montrer que s peut se prolonger en une fonction mromorphe sur le demi-plan Im(s) > 1
si et seulement si s Z.
R
(iii) Soit UN = {z, |Im(z)| < N, |Re(z)| < N}. Montrer que,
 si1 s UN4, si N/2
 + {1} et si
1
N sup

,
(
+
4)
.
t [1, 1], alors  (1+(i+t)
2 )s  CN (), o CN () = e
2
N
|

 |1 N
1
4
N/2


(iv) Montrer que, si s UN et si t R, alors
(t + 4) , si t R.
2 s  e

(1+(1+it) )

Question 3. Si 0 < < 1, on note le chemin constitu de la demi-droite verticale

1, =] 1 + i, 1 + i], du segment 2, = [1 + i, 1 + i] et de la demi-droite verticale 3, = [1 + i, 1 + i[. Si < 0, soit
F (s, ) =

e2i z
dz.
(1 + z 2 )s

N
H
EC

E
U
IQ

On note I1, (s, ) (resp. I2, (s, ), resp. I3, (s, )) lintgrale sur 1, (resp. 2, , resp. 3, ).
(i) Montrer que s  I2, (s, ) est holomorphe sur C tout entier et |I2, (s, )|  2CN ()e2 ,
pour tous < 0 et s UN .
(ii) Montrer que s  I1, (s, ) et s  I3, (s, ) sont holomorphes sur C tout entier et quil
existe CN () tel que |I1, (s, )|  CN ()e2 , si i = 1, 3, pour tous  1 et s UN . (On se
contentera de traiter I1, (s, ) car les arguments sont les mmes pour I3, (s, ).)

E
L
O

T
Y
L
PO

E
U
Q
I

G.8. PROLONGEMENT ANALYTIQUE DINTGRALES ET DE SRIES

N
H
EC

439

(iii) Montrer que s  F (s, ) est holomorphe sur C tout entier et quil existe CN () tel que
|F (s, )|  CN ()e2 , pour tous  1 et s UN .
 +
Question 4. (i) Soit f L1 (R+ ). Montrer que |f (t)|dt 0 quand +.
(ii) Montrer que I1, (s, ) 0 quand +, puis que F (s, ) 0 quand +.
e2iz
(iii) En dduire, en termes du rsidu de (1+z
2 )k en i, la valeur de F (k, ), si k Z. (On
sintressera F (k, ) F (k, ), si < , et on discutera suivant les positions de , et 1.)
(iv) En dduire que F (k, ) = 0, si k  0, et calculer F (k, ), si ]0, 1[, pour k = 1, 2.

E
L
O

T
Y
POL

Question 5. On suppose Re(s) > 12 , ce qui fait que s L1 (R).

(i) Montrer que s (x) = s (x), pour tout x R.
(ii) Si R > 1, soit ,R le chemin compos des segments [R, R], [R, R + iR], [R + iR, 1 + iR],
[1 + iR, 1 + i], [1 + i, 1 + i], [1 + i, 1 + iR], [1 + iR, R + iR] et [R + iR, R]. Que
vaut lintgrale de e2iz s (z)dz le long de ce chemin ? En dduire que F (s, ) = s (), pour
tout ]0, 1[.
(iii) Montrer quau voisinage de linni, s () = O(e2|| ), pour tout ]0, 1[. Ceci saccordet-il avec votre heuristique du (vi) de la question 1 ?


1
1
1+e2
1+e2
e2
2
Question 6. (i) Montrer que nZ 1+n
2 = 1e2 et
nZ (n2 +1)2 = 2 1e2 +2 (1e2 )2 .
+
(ii) Montrer que la srie n=1 F1/2 (s, n) converge pour tout s C, et que la somme F(s)
est une fonction holomorphe sur C tout entier.

1
1
(iii) Montrer que G(s) =
nZ (n2 +1)s converge sur Re(s) > 2 et est holomorphe sur ce
demi-plan.
(iv) Montrer que G admet un prolongement mromorphe C tout entier, holomorphe en
dehors de ples simples aux k + 12 , pour k N.
(v) Que vaut G(k), si k N.

E
L
O

T
Y
L
PO

N
H
EC

E
U
IQ

Question 7.
(i) Soit f : [0, 1] R+ de classe C , et soient a, b R, a > 0. Montrer que la fonction
1
s  0 tas+b f (t)s dt se prolonge en une fonction mromorphe sur C tout entier, holomorphe en
dehors de ples simples ventuels en les bk
a , avec k entier  1. (On pourra utiliser la formule
de Taylor avec reste intgral lordre n pour t  f (t)s .)
(ii) Soit P un polynme unitaire, de degr d  2, coecients rels, ne sannulant pas sur R.
 + 1
Montrer, que P(t)
s dt se prolonge en une fonction mromorphe sur C tout entier, holomorphe

en dehors de ples simples potentiels aux 1k

d , pour k N.
(iii) Soient (resp. A) le minimum des |Im(a)| (resp. le maximum des |Re(a)|), pour a racine de P. Soient + louvert obtenu en retirant au demi-plan Re(s) > la bande ferme
{z, |Re(z)|  A, Im(z)  } et le symtrique de + par rapport laxe rel. Montrer que
1
+ et sur . (On pourra factoriser
z  P(z)
s se prolonge en une fonction holomorphe P,s sur
P et se ramener s .)

1
(iv) Montrer que GP (s) = nZ P(n)
s se prolonge en une fonction mromorphe sur C tout

T
Y
L
PO

entier, holomorphe en dehors de ples simples potentiels aux

E
L
O

N
H
EC

1k
d ,

pour k N.

E
U
IQ

440

U
Q
I
N

ANNEXE G. PROBLMES CORRIGS

H
C
TE
Corrig

Y
L
O
P

 +
2
(s)
Question 1. (i) Le changement de variable v = (1+t2 )u fournit la formule 0 eu(1+t ) us du
u = (1+t2 )s .



+
+ u(1+t2 ) s du
1
e
u u dt.
Il en rsulte que s (0) = (s)

0
On peut alors utiliser Fubini pour les fonctions positives pour intervertir les deux intgrations, et
 +
 +


2
2
comme eu(1+t ) dt = eu eut dt = u eu (le changement de variable t = u v nous ramne


+ u s 1 du
(s 12 )
e u 2
=
.
lintgrale de la gaussienne), on obtient nalement s (0) =

E
L
O

(s)

(s)

(ii) La fonction (1 + t2 )s (t) tant sommable, le rsultat suit du (ii) du th. IV.2.8.
k (t)
(iii) La drive k-ime de s est, comme le montre une rcurrence immdiate, de la forme (t2P+1)
s+k ,
o Pk est un polynme de degr k ; elle est donc sommable pour tout k, ce qui permet dutiliser le (i) du
th. IV.2.8, pour en dduire que xk s 0 en linni, pour tout k N. Ceci permet de conclure pour s .
k (t)
le raisonnement pour s est identique : la drive k-ime de ts (t) est de la forme (t2Q+1)
s+k , o Qk est
un polynme de degr k + 1 ; elle est donc sommable pour tout k.
(iv) On a (t2 + 1)s + 2(s + 1)ts + 2ss = 0. On en dduit que


i d
d2
(ixs ) + 2ss = 0,
+ 1)(x2 s ) + 2(s + 1)
dx2
dx

N
H
EC

E
U
IQ

et le rsultat aprs des calculs sans mystre.

(v) Lquation direntielle satisfaite par s montre, par rcurrence, que s est de classe C k sur R
(k)
et que s est une combinaison linaire de s et s , coecients dans C[ x1 ]. Comme s et s sont
(k)
dcroissance rapide linni, il en est de mme de s , pour tout k.

Si s est C sur R, elle appartient lespace de Schwartz, et donc sa transforme de Fourier inverse
aussi (cor. IV.3.17). Par ailleurs, comme s et s sont dans L1 , la transforme de Fourier inverse de s
est s (prop. IV.3.25). Comme s nest pas dcroissance rapide, on aboutit une contradiction qui
prouve que s nest jamais C sur R.
(vi) Au voisinage de linni, lquation direntielle satisfaite par s se rapproche de lquation diffrentielle v  = 4 2 v dont une base de solutions est constitue de e2x et e2x . Parmi les solutions de
lquation v  = 4 2 v, seuls les multiples de e2x (resp. e2x ) nexplosent pas en + (resp. ) ; on
peut donc sattendre ce que s ressemble un multiple de e2x au voisinage de + et de e2x au
voisinage de .
s 12

En fait, on a (s)
Ks 12 (2|x|), o K est la fonction de Bessel de lex. IV.1.8 donne
s s (x) = |x|

1
+

par la formule K (y) = 12 0 ey(t+t )/2 t dt

t , si C et y R+ , ce qui permet dutiliser le (ii) de

cet exercice pour en dduire un quivalent de s au voisinage de linni. La formule prcdente rsulte
du calcul ci-dessous, o lon a utilis successivement le (i), le th. de Fubini, le fait que la transforme de

2
1 2 2
Fourier de eut est u eu x , et le changement de variable u = |x|w :

E
L
O

s (x) =

(t2

1
(s)

=
(s)

T
Y
L
PO

euu

|x|s 2
(s)

du
u

eu us

1
1
e2itx dt =
+ 1)s
(s)

E
L
O
0

eu(t

eut e2itx dt

T
Y
L
PO
R

2 x2 s 12

e2|x|(w+w

du
u

ws 2

dw
w

+1) s 2itx

u e

du
dt
u

N
H
EC

E
U
IQ

E
U
Q
I

G.8. PROLONGEMENT ANALYTIQUE DINTGRALES ET DE SRIES

N
H
EC

441

Question 2. (i) Limage de par z  z 2 + 1 est incluse dans C R et s est la compose de z  z 2 + 1

de dans C R avec z  exp(s log z) de C R dans C qui sont toutes les deux holomorphes. On
en dduit lholomorphie de s .
1
(ii) Si s Z, la fonction (z2 +1)
s est mromorphe sur C tout entier (et mme holomorphe si s < 0),
comme quotient de deux fonctions holomorphes sur C.
Par ailleurs, si a > 1 et si tend vers 0, alors (ia + )2 + 1 = 1 + 2 a2 + 2ia tend vers un nombre
ngatif avec une partie imaginaire positive si > 0 et ngative si < 0. Il en rsulte que les limites en
1
ia+0+ et ia+0 de log(z 2 +1) dirent de 2i et donc que celles de (z2 +1)
s dirent dune multiplication
2is
, qui nest pas gal 1 si s
/ Z. On ne peut donc prolonger par continuit s en aucun point de
par e
la demi-droite [i, i[, et donc s ne se prolonge aucun ouvert de Im(s) > 1 contenant strictement .
(iii) On a |1 + (i + t)|2= (1 2 )2+ t4 + 2t2 + 2t2 2 , et donc (1 2 )2  |1 + (i + t)|2  4 + 4,


1
1
  e|Im(s)| sup
, (4 + 4)Re(s)/2 , et le rsultat suit de
si |t|  1. Il en rsulte que  (1+(i+t)
2 )s
|12 |Re(s)
lappartenance de s UN .


1
  4e|Im(s)|
, et le rsultat suit de
(iv) On a |1 + (1 + it)2 |2 = t4 + 4, et donc  (1+(1+it)
2 )s
(t +4)Re(s)/2
lappartenance de s UN .
1
e2i(i+t)
Question 3. (i) Soit g(t, s) = (1+(i+t)
2 )s de telle sorte que I2, (s, ) = 1 g(t, s) dt.
Si t [1, 1] est x, alors g(t, s) est holomorphe sur UN .
e2
2
, pour tous t [1, 1] et s UN , daprs le (iii) de la question 2.
|g(t, s)| = |(1+(i+t)
2 )s |  CN ()e
Comme t  CN ()e2 est sommable sur [1, 1], on est dans les conditions dapplication du th. V.2.9,
ce qui montre que s  I2, (s, ) est holomorphe sur UN . Comme ceci est vrai pour tout N, elle est aussi
holomorphe sur NN UN = C.
1
Enn, on a |I2, (s, )|  1 |g(s, t)| dt  2CN ()e2 , ce qui permet de conclure.
 +
2i(1+it)
e
(ii) Soit g(t, s) = (1+(1+it)
g(t, s) dt.
2 )s de telle sorte que I1, (s, ) =
Si t [, +[ est x, alors g(t, s) est holomorphe sur UN .
2t
|Im(s)| 2t
e
|g(t, s)| = |(2te2 2it)s |  e(t2 +4)Re(s)/2
 e N (t4 + 4)N/2 e2t , pour tout t [, +[ et s UN .

E
L
O

T
Y
POL

E
L
O

T
Y
L
PO

N
H
EC

E
U
IQ

Comme < 0, la fonction t  e N (t4 + 4)N/2 e2t est sommable sur [, +[, et on est donc dans les
conditions dapplication du th. V.2.9, ce qui montre que s  I1, (s, ) est holomorphe sur UN . Comme
ceci est vrai pour tout N, elle est aussi holomorphe sur NN UN = C.
 +
 +
Enn, |I1, (s, )|  |g(t, s)|  e2 0 eN ((t + )4 + 4)N/2 e2t dt, et comme on suppose
 +
 1, on peut majorer lintgrale par CN () = 0 eN ((t + )4 + 4)N/2 e2t dt, ce qui permet de
conclure.
3
(iii) Comme F (s, ) =
i=1 Ii, (s, ), cest une consquence immdiate des (i) et (ii), et on peut
prendre CN () = 2CN () + 2CN ().
Question 4. (i) Si n est une suite tendant vers +, et si fn (t) = f (t)1[n ,+[ (t), alors fn est majore,
en valeur absolue par |f | et fn 0 en tout point de [0, +[. Il en rsulte, daprs le th. de convergence
 +
 +
domine, que n f = 0 fn 0, pour toute suite tendant vers +. Ceci permet de conclure.
2i(1+it)

E
U
IQ

e
(ii) I1, (s, ) est lintgrale sur [, +[ de la fonction sommable g(t) = (1+(1+it)
2 )s ; il en rsulte que
I1, (s, ) 0 quand +.
Maintenant, F (s, ) = I1, (s, ) + I2, (s, ) + I3, (s, ). Les arguments utiliss pour prouver que
I1, (s, ) 0 montrent que I3, (s, ) 0. Enn, |I2, (s, )|  CN ()e2 , si s UN , et quand +,
on a CN () = eN (4 + 4)N/2 . Comme (4 + 4)N/2 e2 0 puisque < 0, cela permet de conclure.
e2iz
(iii) Si < , alors F (k, ) F (k, ) est lintgrale de (1+z
2 )k dz sur le rectangle de sommets

T
Y
L
PO

2iz

N
H
EC

e
1 + i, 1 + i, 1 + i, 1 + i. Comme (1+z
2 )k dz est holomorphe sur le demi-plan Im(s) > 1 priv
de i, la formule des rsidus montre que F (k, ) F (k, ) = 0, si < < 1 ou si 1 < < ,

E
L
O

442

U
Q
I
N

ANNEXE G. PROBLMES CORRIGS

H
C
TE

 e2iz 
et que F (k, ) F (k, ) = 2i Res (1+z

F (k, ) est
2 )k , i , si < 1 < . En particulier,
constant sur ]1, +[, et comme F (k, ) 0 quand +, on a F (k, ) = 0 si > 1 et
 e2iz 
F (k, ) = 2i Res (1+z
2 )k , i , si < 1.

Y
L
O
P
e2iz
(1+z 2 )k

(iv) Si k  0, la fonction

E
L
O

Si k = 1, la fonction

e2iz
(1+z 2 )k
2

On a donc F (1, ) = e
Si k = 2, la fonction

dveloppement de

est holomorphe en i et son rsidu est nul, et donc F (k, ) = 0.

2iz

a un ple simple en z = i de rsidu lim (zi) e 1+z2 = lim

zi

zi

e2iz
z+i

1 2
.
2i e

e2iz
a un ple
(1+z 2 )k
2iz
Taylor de e(z+i)2 en z =

dordre 2 en z = i, et le rsidu est le terme de degr 1 du

i. Comme

e2iz
1 2
e2 (1 2i(z i) + )
=
e (1 + (i 2i)(z i) + ),
=
2
(z + i)
4 + 4i(z i) +
4
on a F (2, ) = 2i

1
4 (i

2i)e2 = ( 2 2 )e2 .

Question 5. (i) Cela suit du changement de variable u = t et de la parit de s .

(ii) Comme ,R est un lacet inclus dans qui est contractile, lintgrale de e2z s (z)dz le long de ce
chemin est nulle, et ce, pour tout R. Sur chacun des segments [R, R+iR], [R+iR, 1+iR], [1+iR, R+iR]
|Im(s)|
et [R + iR, R], on a |z 2 + 1|  R2 1 et |e2z |  1, et donc |s (z)|  (Re2 1)Re(s) . Par ailleurs, ces
quatre segments sont de longueur  R, et donc la somme des intgrales sur ces segments est, en valeur
4R
1
absolue, majore par (R2 1)
Re(s) , et donc tend vers 0 quand R tend vers + puisque Re(s) > 2 . Comme
lintgrale sur [R, R] tend vers s (), et comme la somme des intgrales sur les trois morceaux restants

T
Y
L
PO

N
H
EC

E
U
IQ

tend vers F (s, ), cela permet de conclure.

(iii) Cest une consquence immdiate du (iii) de la question 3.

E
L
O

2t
est sommable, ainsi que sa drive (1+t
2 )2 ; on peut donc lui appliquer

la formule de Poisson ce qui nous donne, en utilisant la formule 1 (n) = e2|n| , consquence du (ii) de
la question 5 et du (iv) de la question 4 (pour n < 0), et de la parit de 1 (pour en dduire le cas n > 0) :

Question 6. (i) La fonction


nZ

1
1+t2

+


1
e2 
1 + e2
= + 2
e2n = 1 + 2
.
=
2
2
1+n
1e
1 e2
n=1

De mme, on a

nZ

+
+




1
1
+ 2 n e2n .
= 2 (0) + 2
F1/2 (2, n) = + 2
2
2
(1 + n )
2
2
n=1
n=1

+
+ n
z
1
On conclut via la formule n=0 nz n = (1z)
2 obtenue en drivant lidentit 1z =
n=0 z .
(ii) Daprs le (iii) de la question 3 (utilis pour = 12 ), on a |F1/2 (s, n)|  CN ( 12 )en , pour tous
+
n  1 et s UN . Il en rsulte que la srie n=1 F1/2 (s, n) est normalement convergente sur UN , et
comme chacun des termes est holomorphe sur C tout entier ((iii) de la question 3), sa somme F(s) est,
daprs le th. V.2.13, holomorphe sur UN . On en dduit lholomorphie de F sur NN UN = C, ce que
lon voulait dmontrer.
 1 
1
1
  2 1 , et comme la srie 
(iii) Si Re(s) > , alors  (n2 +1)
s
nZ (n2 +1) est convergente si > 2 ,
(n +1)

1
il en rsulte que la srie nZ (n2 +1)s est normalement convergente sur le demi-plan Re(s) > , pour
1
tout > 12 . Comme chaque fonction s  (n2 +1)
s est holomorphe sur C, et quune srie normalement
convergente de fonctions holomorphes est holomorphe (th. V.2.13), G est holomorphe sur le demi-plan
Re(s) > , pour tout > 12 , et donc aussi sur la runion de ces demi-plans, ce qui permet de conclure.

E
L
O

T
Y
L
PO

N
H
EC

E
U
IQ

E
U
Q
I

443

G.8. PROLONGEMENT ANALYTIQUE DINTGRALES ET DE SRIES

N
H
EC

sont sommables sur R ; on peut donc lui

appliquer la formule de Poisson, ce qui nous donne, en tenant compte de ce que s (n) = s (n),
(iv) Si Re(s) >

1
2,

E
L
O

la fonction s et sa drive

T
Y
POL
G(s) = s (0) + 2

+


2st
(1+t2 )s+1

F1/2 (s, n),

si Re(s) >

n=1

1
.
2

Maintenant, la srie dans le second membre aussi gale s (0) + 2F(s). Comme F est holomorphe sur
C tout entier et G lest sur le demi-plan Re(s) > 12 , on en dduit que s (0) est holomorphe sur ce

(s 12 )
(s 12 )
sur ce demi-plan puisque s (0)
est identiquement
demi-plan, et donc concide avec

(s)
(s 1 )

(s)

2
+ 2F(s) est alors mromorphe sur C, holomorphe en dehors de
nulle sur ] 12 , +[. La fonction
(s)
1
ples simples aux k + 2 , pour k N, et est gale G(s) sur le demi-plan Re(s) > 12 ; cest donc le
prolongement voulu.
(v) Si s = k, avec k N, tous les termes de la srie dnissant G(s) sont nuls (pour s (0) cest d
la prsence de ples de aux entiers ngatifs, pour F1/2 (s, n), cela fait lobjet du (iv) de la question 3)
et donc G(k) = 0, si k N.

E
U
IQ

Question 7. (i) La drive k-ime fs,k (t) de t  f (t)s est de la forme f (t)sk Pk (s, f (t), . . . , f (k) (t)), o
Pk est un polynme. En particulier, fs,k (0) est de la forme Qk (s)f (0)sk , o Qk est un polynme en s.
La formule de Taylor avec reste intgral nous donne
f (t)s =

n

f (0)sk Qk (s)
k=0

k!

O
P
E
L
CO

On en dduit que
1

tas+b f (t)s dt =

n


k=0

tn+1
n!

f (0)sk Qk (s)
+
k!(as + b + k + 1)

N
H
EC

LY T
tk +

fs,n+1 (tu)(1 u)n du.

tas+b+n+1 fs,n+1 (tu)(1 u)n du dt.

, pour tout
Maintenant, s  g(s, t, u) = tas+b+n+1 fs,n+1 (tu)(1 u)n est holomorphe sur Re(s) > b+n+1
a
(t, u) [0, 1][0, 1], et est une fonction continue de (s, t, u), ce qui implique lexistence, pour tout compact
K de Re(s) > b+n+1
, dune constante CK telle que lon ait |g(s, t, u)|  CK , si (s, t, u) K [0, 1]2 . On
a
11
peut donc utiliser le th. V.2.9 pour en dduire le fait que s  0 0 tas+b+n+1 fs,n+1 (tu)(1 u)n du dt
b+n+1
est holomorphe sur le demi-plan Re(s) > a . Comme les autres termes sont mromorphes sur C
 1 as+b
tout entier, avec des ples simples aux bk
f (t)s dt admet
a , pour k {1, . . . , n + 1}, on voit que 0 t
b+n+1
un prolongement mromorphe au demi-plan Re(s) > a , avec des ples simples aux bk
a , pour
k {1, . . . , n}. Comme ceci est vrai pour tout n N, cela permet de conclure.
 +
(ii) On dcoupe lintgrale en trois morceaux : ] , 1], [1, 1] et [1, +[. Sur ] , 1]
1
(resp. [1, +[), on fait le changement de variable t = 1
u (resp. t = u ), et on tombe sur lintgrale
 1 ds2
 1 ds2
1
1
u
du
(resp.
u
du)
qui
peut
se
traiter
en utilisant le (i). Comme les
0
0
(ud P(1/u))s
(ud P(1/u))s
1 1
mthodes habituelles montrent que s  1 P(t)s dt est holomorphe sur C tout entier, cela permet de
conclure.
d/2
(iii) On crit P sous la forme j=0 (z aj ibj )(z aj + ibj ), avec bj > 0, pour tout j. On a alors




za
d/2
2s
1
s bj j , si z R, et comme la formule dnit une fonction holomorphe sur + et
j=0 bj
P(z)s =

sur , cela permet de conclure (en fait, il sut denlever des demi-droites verticales partant des zros
de P dans le demi-plan Im(z) > 0 (resp. Im(z) < 0)).
(iv) La srie converge normalement sur tout demi-plan de Re(s) > , si > d1 , et donc GP est
1
holomorphe sur Re(s) > d1 . Par ailleurs, sur ce demi-plan, P(t)
s est sommable, ainsi que sa drive

sP (t)
,
ce
qui
permet
dutiliser
la
formule
de
Poisson
et
dobtenir
GP (s) =
P,s (n). La fonction
s+1
P(t)

E
L
O

T
Y
L
PO

N
H
EC
nZ

E
U
IQ

444

U
Q
I
N

ANNEXE G. PROBLMES CORRIGS

H
C
TE

s  P,s (0) fait lobjet du (ii) ; elle admet un prolongement mromorphe C, holomorphe en dehors de
ples simples aux 1k
d , pour k N.
La mthode du (ii) de la question 5 permet dcrire P,s () comme lintgrale de e2iz P,s (z) sur le
chemin constitu de ]B+i, B+i], [B+i, B+i] et [B+i, B+i[ (resp. de ]Bi, Bi],
[B i, B i] et [B i, B i[), o B = A + 1 et ]0, [, si < 0 (resp. si > 0). Ceci permet
de montrer, comme au (iii) de la question 3, que s  P,s () se prolonge en une fonction holomorphe
sur C, et quil existe une constante CN telle que lon ait |P,s ()|  CN e2|| , pour tous s UN et

vriant ||  1. On en dduit, comme au (ii) de la question 6, que nZ{0} P,s (n) se prolonge en une
fonction holomorphe sur C, et donc que GP se prolonge en une fonction mromorphe sur C, holomorphe
en dehors de ples simples aux 1k
d , pour k N.

E
L
O

Y
L
O
P

E
L
O

T
Y
L
PO

E
L
O

N
H
EC

T
Y
L
PO

E
U
IQ

N
H
EC

E
U
IQ

E
U
Q
I

G.9. LE THORME DE MORDELL-WEIL

G.9. Le thorme de Mordell-Weil

T
Y
POL

N
H
EC

445

Dans tout ce problme(11) , D est un entier impair sans facteur carr. Si S = {p1 , . . . , ps }, o
s est le cardinal de S, est lensemble des nombres premiers divisant D, alors 2
/ S et D est le
produit des pi , pour 1  i  s.
Lobjet du problme est ltude de lensemble C(Q) des solutions (x, y) Q2 de lquation
2
y = x3 D2 x, avec x > 0. Plus prcisment, il sagit de dmontrer que lon peut munir
C(Q) = C(Q) {} dune structure de groupe commutatif de type ni (cas particulier du
thorme de Mordell-Weil). On note C lensemble des solutions dans R2 de lquation
y 2 = x3 D2 x, avec x > 0 ; on a donc C(Q) = C Q2 .

E
L
O

I
Dans cette partie, est un groupe commutatif pour une loi note +. Llment neutre de
est not 0 et loppos dun lment x de est not x. Si n Z et x , on note nx llment
de vident (0x = 0 et (n + 1)x = nx + x si n Z).
On dit que est de type ni sil existe r N et x1 , . . . , xr tels que tout lment x de

puisse scrire sous la forme ri=1 ni xi , avec ni Z, si 1  i  r. On dit que est de type ni
modulo 2 sil existe un sous-ensemble ni Z de tel que tout lment x de puisse scrire sous
la forme z + 2y, avec z Z et y .
On appelle hauteur sur une application h : R+ telle quil existe M  0 tel que, quels
que soient (x, y) 2 , on ait

E
L
O

T
Y
L
PO

N
H
EC

E
U
IQ

|h(x + y) + h(x y) 2h(x) 2h(y)|  M.

On dit que h est admissible si, quel que soit B  0, lensemble des lments x de vriant
h(x)  B est un ensemble ni.
1. On note tors lensemble des x tels quil existe n Z {0} tel que nx = 0.
1.a. Montrer que tors est un sous-groupe de .
1.b. Le groupe tors est-il ncessairement ni ?
2. Soit h une hauteur sur .
h(x)
2.a. Montrer que, si x , la suite de terme gnral 4n h(2n x) tend vers une limite 



quand n tend vers +, et quil existe M  0 tel que |h(x) h(x)|  M , quel que soit x .
2.b. Montrer que 
h vrie lidentit :

h(x + y) + 
h(x y) = 2
h(x) + 2
h(y) quels que soient x, y .
(11)

N
H
EC

E
U
IQ

Il sagit de lpreuve de 6 heures du concours dentre 2003 lcole Normale. La partie I donne un
critre permettant de montrer quun groupe commutatif est de type ni. La partie II munit C = C {}
dune structure de groupe commutatif (on peut prfrer utiliser les fonctions holomorphes, comme dans
le problme G.6, pour atteindre ce but). La partie III donne un certain nombre de formules relatives
cette loi de groupe, et la partie IV est consacre la dmonstration du thorme de Mordell-Weil. Ces
4 parties reposent sur des techniques direntes et peuvent se traiter de manire indpendante (pour la
partie III, on na besoin que de la dnition de la loi daddition donne dans la question 6.b de la partie
II, et la partie IV utilise de manire intensive les formules de la partie III mais pas leur dmonstration).

E
L
O

T
Y
L
PO

446

U
Q
I
N

ANNEXE G. PROBLMES CORRIGS

H
C
TE

2.c. Calculer 
h(nx) en fonction de 
h(x), si n Z.

Y
L
O
P

3. On suppose que lon peut munir dune hauteur admissible h.

3.a. Montrer que 
h est une hauteur admissible sur .
3.b. Montrer que 
h(x) = 0 si et seulement si x tors .

E
L
O

3.c. Montrer que tors est ni.

3.d. Montrer que, si x = z + 2y, alors 
h(y)  12 (
h(x) + 
h(z)).
3.e. Montrer que si est de type ni modulo 2, alors il est de type ni.

II

On rappelle que C est lensemble des solutions (x, y) R2 de lquation y 2 = x3 D2 x avec

x > 0. (Il nest probablement pas inutile de faire un dessin grossier de C.) Si (x0 , y0 ) C, la
tangente C en (x0 , y0 ) est la droite dquation 2y0 (y y0 ) = (3x20 D2 )(x x0 ).
Si (u, v) R R, notons (u , v  ) le couple dni par u = u1 , v  = uv , et Pu,v et Qu ,v les
polynmes dnis par
Pu,v (x) = x3 D2 x (ux + v)2

E
U
IQ

et Qu ,v (y) = (u y + v  )3 D2 (u y + v  ) y 2 .

N
H
EC

On note Du,v la droite dquation y = ux + v. On pourra utiliser sans dmonstration les quivalences (I1) (I2) (I3), avec
(I1) (x, y) Du,v C
(I2) x > 0, Pu,v (x) = 0 et y = ux + v
(I3) Qu ,v (y) = 0 et x = u y + v  > 0
et, si (x0 , y0 ) C Du,v , les quivalences (T1) (T2) (T3), avec
(T1) Du,v est tangente C en (x0 , y0 )
(T2) Pu,v a un zro double en x0
(T3) Qu ,v a un zro double en y0 .

E
L
O

T
Y
L
PO

1. Soit n(u, v) le cardinal de lintersection de C avec la droite Du,v dquation y = ux + v.

1.a. Montrer que n(u, v)  3.
1.b. Montrer que U = {(u, v) R R, n(u, v) = 3} est un ouvert de R2 .
1.c. Montrer que, si n(u, v)  2 et si Du,v nest pas tangente C, alors n(u, v) = 3.
1.d. Montrer que, si (a, b) R2 , il nexiste quun nombre ni de points P de C tels que la
tangente C en P passe par (a, b).
2. Si P = (x, y) C, on pose x(P) = x et y(P) = y.
2.a. Montrer que, si t R, il existe un unique point P(t) de C vriant y(P(t)) = t, et que,
si on pose F(t) = x(P(t)), alors C est lensemble des couples (F(y), y), avec y R.
2.b. Montrer que F(y)  D quel que soit y R, que F est paire, que lon a F(y1 ) = F(y2 ) si
et seulement si y1 = y2 , et que F est de classe C 1 sur R.
2.c. Montrer que |y|2/3 F(y) tend vers 1 quand y tend vers + ou vers .
2.d. Soient a R et t R {0, a, a}. Notons D(a, t) la droite joignant P(t) P(a) et
Ha (t) llment de R dni par
3 ) tF(a) aF(t) 3

tF(a) aF(t) *
ta
a t Ha (t) =
D2
.
F(t) F(a)
ta
ta

E
L
O

T
Y
L
PO

Montrer que lon a les quivalences suivantes :

N
H
EC

E
U
IQ

E
U
Q
I

G.9. LE THORME DE MORDELL-WEIL

N
H
EC

447

(i) Ha (t)
/ {a, t} P(Ha (t)) est le troisime point dintersection de C et D(a, t) ;
(ii) Ha (t) = a D(a, t) est la tangente C en P(a) ;
(iii) Ha (t) = t D(a, t) est la tangente C en P(t).
2.e. Calculer la limite de Ha (t) quand t tend vers +. Que devient la droite D(a, t) ?
 +
2 dt
3. On dduit des questions 2.b et 2.c la convergence absolue de lintgrale 3F(t)
2 D2 . On
 +
2 dt
note la valeur de lintgrale 3F(t)2 D2 , et on dnit une fonction y  L(y) par la formule

E
L
O

T
Y
POL

L(y) =

2 dt
.
3F(t)2 D2

3.a. Montrer que L induit une bijection de R sur ]0, [.

3.b. Calculer L(y) + L(y) si y R.
4. Soient x1 , . . . , xn , des nombres complexes distincts deux deux.
4.a. Montrer que, si Q C[X] est de degr  n 1, alors
Q(X) =

n


Q(xi )

i=1

4.b. Montrer que, si P(X) =

00

= 1) et calculer

j=i

alors

N
H
EC

n

LY T

i=1 (X xi ),
xn1
i
i=1 P (xi ) .

n

O
P
E
L
CO

la convention
5.

n

 X x 
j
.
xi xj
xki
i=1 P (xi )

E
U
IQ

= 0 si k {0, . . . , n 2} (avec

5.a. Soit I un intervalle ouvert de R, et soient t  y1 (t), t  y2 (t) et t  y3 (t) des fonctions
de classe C 1 de I dans R telles que, quel que soit t I, les points Pi (t) = (xi (t), yi (t)) = P(yi (t)),
i {1, 2, 3}, soient distincts deux deux et aligns. Montrer que la fonction
t  G(t) = L(y1 (t)) + L(y2 (t)) + L(y3 (t))

est constante sur I. (On introduira lquation y = u(t)x + v(t) de la droite contenant les Pi (t) et
on commencera par vrier que u et v sont de classe C 1 sur I.)
5.b. Montrer que, si Ha (t) est la quantit introduite la question 2.d, alors pour tous a > 0
et t > a, on a L(a) + L(t) + L(Ha (t)) = 2.
5.c. Montrer que, si y1 , y2 , y3 sont trois lments de R, distincts deux deux, tels que P(y1 ),
P(y2 ) et P(y3 ) sont aligns, alors L(y1 ) + L(y2 ) + L(y3 ) {, 2}.
5.d. Montrer que, si y1 = y2 , et si P(y2 ) est sur la tangente C en P(y1 ), alors 2L(y1 ) + L(y2 )
appartient {, 2}.
5.e. Montrer que, si y1 , y2 , y3 sont trois lments de R, distincts deux deux, tels que
L(y1 ) + L(y2 ) + L(y3 ) Z, alors P(y1 ), P(y2 ) et P(y3 ) sont aligns.

N
H
EC

E
U
IQ

6. Soit G le groupe des nombres complexes de module 1 et soit E : C G lapplication dnie

par E() = 1 et E(P(y)) = exp( 2i
L(y)) si y R.

T
Y
L
PO

6.a. Montrer quil existe, sur C, une unique loi de groupe commutatif + telle que lon ait
E(P+Q) = E(P)E(Q). Montrer de plus, que, si P+Q = , alors L(y(P+Q)) = L(y(P))+L(y(Q))
si L(y(P)) + L(y(Q)) < et L(y(P + Q)) = L(y(P)) + L(y(Q)) si L(y(P)) + L(y(Q)) > .

E
L
O

448

U
Q
I
N

ANNEXE G. PROBLMES CORRIGS

H
C
TE

6.b. Montrer que est llment neutre pour + et que, si P1 = (x1 , y1 ), P2 = (x2 , y2 ) et
P3 = (x3 , y3 ) sont trois lments distincts de C, alors P1 + P2 + P3 = si et seulement si P1 ,
P2 et P3 sont aligns.
6.c. Montrer que, si P C, alors loppos P de P pour la loi + est le symtrique de P par
rapport laxe des x.
6.d. Montrer que si P C, lquation 2Q = P a toujours des solutions ; combien en a-t-elle ?
6.e. Montrer que, si y1 + y2 = 0, et si z1 tend vers y1 et z2 tend vers y2 , alors y(P(z1 ) + P(z2 ))
tend vers y(P(y1 ) + P(y2 )). Que se passe-t-il si y1 + y2 = 0 ?

E
L
O

Y
L
O
P

III

Dans les questions 1.b, 2.b et 4, les formules que lon cherche tablir vont par groupe ; dans
chaque groupe, on dmontrera la formule qui nest pas entre crochets, et on admettra les autres.
1. Soient P1 = (x1 , y1 ) et P2 = (x2 , y2 ) deux lments de C, avec x1 = x2 , et P3 = (x3 , y3 ) C
dni par P1 + P2 + P3 = .
1.a. Montrer que x1 , x2 , x3 sont les racines du polynme
2

y2 y 1
(x x1 ) .
P(x) = x3 D2 x y1 +
x2 x1
En dduire que lon a
x3 =

LY T

 x21 + x1 x2 + x22 D2 2
x1 x2
y 1 + y2

O
P
E
L
CO

et y3 =

N
H
EC

E
U
IQ

x21 + x1 x2 + x22 D2
(x3 x1 ) + y1 .
y1 + y2

(On commencera par supposer que P1 , P2 et P3 sont distincts.)

1.b. tablir les formules (la formule entre crochets sera admise sans dmonstration) :
 (x + D)y (x + D)y 2
1
2
2
1
(x1 + D)(x2 + D)(x3 + D) =
x2 x1
+
 x y x y 2 ,
1 2
2 1
x1 x2 x3 =
.
x2 x1
2. Soit P = (x, y) C, avec y = 0 et 2P = (x , y  ).
2.a. tablir les formules :
 3x2 D2 2
3x2 D2 
(x x) + y.
2x et y  =
x =
2y
2y
 2 +D2 2
. On admettra que, de mme,
2.b. Montrer que lon a x = x 2y
+
 x2 + 2Dx D2 2
 x2 2Dx D2 2 ,
.
et x D =
x + D =
2y
2y
3. Montrer que C(Q) est un sous-groupe de C.

N
H
EC

E
U
IQ

4. Soient P1 = (x1 , y1 ) et P2 = (x2 , y2 ) deux lments de C(Q), avec x1 = x2 , et soient

P3 = P1 + P2 = (x3 , y3 ) et P4 = P1 P2 = (x4 , y4 ). tablir les formules (la formule entre
crochets sera admise sans dmonstration) :
+
 x x + D(x + x ) D2 2
 x x + D2 2 ,
1 2
1
2
1 2
et
x3 x4 =
.
(x3 + D)(x4 + D) =
x2 x1
x2 x1

E
L
O

T
Y
L
PO

E
U
Q
I

449

G.9. LE THORME DE MORDELL-WEIL

T
Y
POL

N
H
EC
IV

IV. A

1. Si p est un nombre premier et a Z {0}, on dnit lentier vp (a) comme le plus grand entier
n tel que pn divise a (par exemple 48 = 3 24 et donc v2 (48) = 4, v3 (48) = 1 et vp (48) = 0 si
p
/ {2, 3}). On a vp (ab) = vp (a) + vp (b), ce qui permet dtendre vp Q grce la formule
vp (ab1 ) = vp (a) vp (b). Si a Q , alors vp (a) = 0 sauf pour un nombre ni de nombres

premiers p et, si a est positif, alors a = p pvp (a) . Si v Z, on note v son image dans Z/2Z.

E
L
O

1.a. Montrer que a Q est un carr si et seulement si a > 0 et vp (a) = 0 quel que soit le
nombre premier p.
1.b. Montrer que, si a, b Q vrient vp (a) < vp (b), alors vp (a + b) = vp (a).

2. Soit P = (x, y) C(Q), et soit c {1, 4, 9, 16, . . .} le plus petit carr (dentier) tel que
a = cx Z.

E
U
IQ

2.a. Montrer que, si vp (c)  1, alors vp (c)  2 et vp (a) {0, 1}.

2.b. Montrer que a(a Dc)(a + Dc) est un carr.
2.c. Montrer que, si p
/ S {2}, alors vp (a) et vp (a + Dc) sont des nombres pairs.

N
H
EC

3. Soit : C(Q) (Z/2Z)2s+2 lapplication qui envoie sur (0, . . . , 0) et P = (x, y) sur

T
Y
L
PO

(v2 (x), vp1 (x), . . . , vps (x), v2 (x + D), vp1 (x + D), . . . , vps (x + D)).
3.a. Montrer que est un morphisme de groupes de C(Q) dans (Z/2Z)2s+2 .
3.b. Montrer que, si P = (x , y  ) C(Q) est tel que x , x D et x + D sont des carrs dans Q,
et si Q C est une solution de lquation 2Q = P, alors Q C(Q).
3.c. Caractriser le noyau de .
3.d. Montrer que C(Q) est de type ni modulo 2.

E
L
O

IV. B

On dnit une fonction h : C(Q) R+ en envoyant sur 0 et P = (x, y) sur log(a + Dc) =
log(c(x + D)), si c est le plus petit carr rendant a = cx entier.
1. Montrer que, quel que soit P C(Q), on a
h(2P)  4h(P).
 x2 , et soient
2. Soient P1 = (x1 , y1 ) et P2 = (x2 , y2 ) deux lments de C(Q), avec x1 =
P3 = P1 + P2 = (x3 , y3 ) et P4 = P1 P2 = (x4 , y4 ). Soit c1 (resp. c2 ) le plus petit carr
rendant a1 = c1 x1 (resp. a2 = c2 x2 ) entier.

E
U
IQ

2.a. Montrer que, si d divise T = a1 a2 + D2 c1 c2 , U = a1 a2 D2 c1 c2 + D(a1 c2 + a2 c1 ) et

V = a1 c2 a2 c1 , alors d divise aussi 2a1 (a2 + Dc2 ) et 2a2 (a1 + Dc1 ) ainsi que 4D2 a1 c22 et
4D2 a2 c21 .
2.b. Montrer que, si p
/ S {2}, alors p ne divise pas 4D2 a1 c22 , 4D2 a2 c21 ou a1 a2 + D2 c1 c2 (on
commencera par montrer que p ne divise ni le p.g.c.d. de a1 et c1 , ni celui de a2 et c2 ).
2.c. Montrer que, si p S {2}, alors p4 ne divise pas 4D2 a1 c22 , 4D2 a2 c21 ou a1 a2 + D2 c1 c2 .
2.d. Montrer que le p.g.c.d. de a1 a2 + D2 c1 c2 , a1 a2 D2 c1 c2 + D(a1 c2 + a2 c1 ) et a1 c2 a2 c1
divise (2D)3 .

E
L
O

T
Y
L
PO

N
H
EC

450

U
Q
I
N

ANNEXE G. PROBLMES CORRIGS

H
C
E

2.e. Montrer que, si x3 x4 = de et (x3 + D)(x4 + D) = de , o d, d et e sont des entiers, si c3

(resp. c4 ) est le plus petit carr rendant a3 = c3 x3 (resp. a4 = c4 x4 ) entier, et si
= p.g.c.d.(d, d , e), alors c3 ce4 est entier et h(P3 ) + h(P4 )  log d log .
2.f. Montrer que, quels que soient (P1 , P2 ) C(Q)2 avec P1 P2 = , on a

E
L
O

T
Y
POL

h(P1 + P2 ) + h(P1 P2 )  2(h(P1 ) + h(P2 )) log(32 D3 ).

3. On suppose dornavant que le groupe C(Q) est inni.

3.a. Montrer que les seules solutions de lquation 2P = sont P = et P = (D, 0).
3.b. Montrer que h(2P)  4h(P) 6 log(2(2D)3 ) quel que soit P C(Q).
3.c. Montrer quil existe A > 0 tel que, quels que soient (P, Q) C(Q)2 , on ait
h(P + Q) + h(P Q)  2(h(P) + h(Q)) A.
3.d. Montrer que h est une hauteur sur C(Q).

E
U
IQ

3.e. Montrer que h est une hauteur admissible sur C(Q).

3.f. Montrer que C(Q)tors est un groupe ni et que C(Q) est de type ni.

Corrig
I

T
Y
L
PO

N
H
EC

1.a. Si nx = 0 et my = 0, alors nm(x y) = mnx nmy = 0.

1.b. Non : par exemple, si = C , alors tors est lensemble des racines de lunit dordre quelconque
et donc est inni.
2.a. Posons xn = 4n h(2n x) et M0 = M + h(0). On a |h(2n+1 x) + h(0) 4h(2n x)|  M, et donc
k
+ M0
M0
M0
2
0
|xn+1 xn |  4M
n+1 . On a donc |xn+k xn | 
i=1 4n+1 
i=1 4n+1 = 34n quels que soient (n, k) N ,
M
h(x) vrie |
h(x) x0 |  30 . Comme
ce qui prouve que la suite xn est de Cauchy, et que sa limite 
x0 = h(x), on peut prendre M = M30 .
n
n
n
n
+ h(2 4(xy))
2 h(24n x) 2 h(24n y) |  4Mn et le rsultat sen dduit en passant la limite.
2.b. | h(2 4(x+y))
n
n
h(x), si 0  k  n. En prenant x = y = 0, on
2.c. Montrons par rcurrence sur n  0 que 
h(kx) = k 2 



obtient 2h(0) = 4h(0) et donc h(0) = 0, et la proprit est vraie pour n = 0 et n = 1. Pour passer de n
n + 1, constatons que

E
L
O


h((n + 1)x) = 2
h(nx) + 2
h(x) 
h((n 1)x) = (2n2 + 2 (n 1)2 )
h(x) = (n + 1)2 
h(x).
La proprit est donc vraie pour tout n  0. Par ailleurs, en prenant x = 0, y = a, on obtient

h(a) + 
h(a) = 2
h(a) et donc 
h(a) = 
h(a) et la fonction 
h est paire. La fonction n  
h(nx) n2 
h(x)
est donc une fonction paire de n Z sannulant pour n N ; elle est donc identiquement nulle.
3.a. On a 
h(x)  0 par passage la limite et cest une hauteur en vertu de la question 2.b ; elle est
admissible car 
h(x)  B implique h(x)  B + M daprs la question 2.a.
3.b. Si mx = 0, alors 
h(mx) = m2 
h(x) = 0 et 
h(x) = 0.

Rciproquement, si h(x) = 0, alors 
h(nx) = 0 quel que soit n Z daprs la question 2.c, et comme

h est admissible, lensemble {nx, n Z} est ni. Il existe donc n1 = n2 tels que n1 x = n2 x, et donc
(n1 n2 )x = 0 et x tors .
3.c. Cest une consquence immdiate de la question prcdente et de ladmissibilit de 
h.
3.d. Comme 
h(x + z)  0, on a 4
h(y) = 
h(2y) = 
h(x z)  2
h(x) + 2
h(z).
3.e. Par hypothse, il existe un ensemble ni Z tel que tout lment x de puisse scrire sous la
forme x = z + 2y avec z Z et y . Soit B = supzZ 
h(z) et soit A = {a , 
h(a)  2B}. Alors A

E
L
O

T
Y
L
PO

N
H
EC

E
U
IQ

E
U
Q
I

G.9. LE THORME DE MORDELL-WEIL

N
H
EC

451

est un ensemble ni ; on note a1 , . . . , ar ses lments. Montrons par rcurrence sur k que tout lment x
de vriant 
h(x)  (2k + 1)B peut scrire sous la forme n1 a1 + + nr ar . Cest vrai pour k = 0 par
construction. Si k N et 
h(x)  (2k+1 + 1)B, on peut crire x sous la forme x = z + 2y, avec z Z et
1 

y vrie h(y)  2 (h(z) + 
h(x))  12 (B + (2k+1 + 1)B) = (2k + 1)B, ce qui permet dutiliser lhypothse
de rcurrence pour y, et on conclut en remarquant que z Z A.

E
L
O

T
Y
POL

II

1.a. Du,v C est en bijection avec un sous-ensemble des racines de Pu,v qui est de degr 3.
1.b. Soit (a, b) R R vriant n(a, b) = 3. Alors le polynme Pa,b a trois zros simples rels
2
) > 0 et
0 < x1 < x2 < x3 et, comme Pa,b est < 0 au voisinage de , on a Pa,b (0) < 0, Pa,b ( x1 +x
2
3
)
<
0.
Par
continuit,
il
existe
un
ouvert
U
contenant
(a,
b)
tel
que,
si
(u,
v)

U
Pa,b ( x2 +x
a,b
a,b , alors
2
2
3
2
) > 0 et Pu,v ( x2 +x
) < 0, ce qui implique que Pu,v a un zro entre 0 et x1 +x
,
Pu,v (0) < 0, Pu,v ( x1 +x
2
2
2
x1 +x2
x2 +x3
x2 +x3
un entre 2 et 2 et un entre 2 et +, et donc n(u, v) = 3. On a donc montr U Ua,b , ce
qui permet de conclure.
1.c. Si n(u, v)  2 et si Du,v nest pas tangente C, le polynme Pu,v a 3 racines relles distinctes
dont deux sont > 0. Le coecient constant de Pu,v est v 2 et il y a priori deux cas :
v = 0 et alors le produit des deux racines non nulles de Pu,v est D2 qui est < 0, ce qui contredit
le fait que ces deux racines sont > 0 ; ce cas est donc exclus ;
v = 0 et le produit v 2 des racines de Pu,v est > 0, ce qui implique que la troisime racine de Pu,v
est > 0 et n(u, v) = 3.
1.d. Lensemble des points P = (x, y) appartenant C tels que (a, b) appartienne la tangente C en
P est lensemble des couples (x, y) R2 vriant y 2 = x3 D2 x, x > 0 et 2y(b y) = (3x2 D2 )(a x).
En particulier, 2by = (3x2 D2 )(a x) + 2y 2 = 2x3 + 3ax2 + 3D2 x D2 a. Si b = 0, alors x est racine
dun polynme de degr 3 et comme y 2 = x3 Dx, pour chaque valeur de x, il y a au plus 2 valeurs de y,
ce qui nous fait au plus 6 couples (x, y) solutions. Si b = 0, en reportant la valeur de y dans lquation
y 2 = x3 Dx, on voit que x est racine dun polynme de degr 6 et donc quil y a au plus 12 couples
(x, y) solutions.
2.a. Si t R, la fonction x  x3 D2 x t2 est dcroissante de 0 D3 et croissante de D3 +.
Comme elle est  0 en x = 0 et x = D, elle ne sannulle pas sur ]0, D[ et comme elle tend vers +
en +, elle sannulle une et une seule fois sur [D, +[. Si on note F(t) le point o elle sannule, alors
P(t) = (F(t), t) est lunique point de C vriant y(P(t)) = t, ce qui permet de conlure.
2.b. La fonction x  x3 D2 x est croissante et de classe C 1 sur ] D3 , +[ ; cest donc une bijection de

E
L
O

T
Y
L
PO

N
H
EC

E
U
IQ

, +[ et son inverse G est de classe C 1 et vrie G(0) = D ; comme on a F(t) = G(t2 ),

] D3 , +[ sur ] 32D
3
cela permet de conclure.
2.c. Si y R, soit fy (x) = x3 D2 x y 2 . Soit > 0. Alors fy ((1 + )|y|2/3 ) et fy ((1 )|y|2/3 ) sont
quivalents respectivement ((1 + )3 1)y 2 et ((1 )3 1)y 2 au voisinage de |y| = +. En particulier,
si |y| est susamment grand, alors fy ((1 + )|y|2/3 ) et fy ((1 )|y|2/3 ) sont de signes opposs et on a
(1 )|y|2/3  F(y)  (1 + )|y|2/3 . On en dduit le fait que |y|2/3 F(y) tend vers 1 quand |y| tend
vers +.
(y a) que lon peut rcrire sous la
2.d. Lquation de la droite D(a, t) est x F(a) = F(t)F(a)
ta

forme x =

F(t)F(a)
y
ta

F(a)taF(t)
.
ta

N
H
EC

E
U
IQ

Pour comprendre lintersection de D(a, t) avec C, on peut utiliser

T
Y
L
PO

lquivalence (I1) (I3) et considrer le polynme Qu,v , avec u = F(t)F(a)

et v = F(a)taF(t)
dont le
ta
ta
3
3
2
coecient dominant est u et le terme constant est v D v. Le produit des racines de Qu,v est donc
3
2
3
v
D2 v
, et comme Qu,v a comme racines a et t par construction, sa troisime racine est v atu
= Ha (t).
v D
3
u3

E
L
O

452

U
Q
I
N

ANNEXE G. PROBLMES CORRIGS

H
C
TE

Les rsultats dmontrer sont alors des consquences immdiates de la question 1.c. et de lquivalence
(T1) (T3).
ta
)3 qui tend vers 1 quand t tend vers +
2.e. Comme F(t) t2/3 au voisinage de +, on a 1t ( F(t)F(a)
1
1
3
2
2
et Ha (t) tend vers a (F(a) D F(a)) = a a = a et la droite D(t, a) devient verticale.
3.a. On a L (y) = 3F(y)22 D2 > 0, ce qui montre que L est une bijection croissante de R sur son image.
Comme limy L(y) = 0 et limy+ L(y) = , cela permet de conlure.
 +
 y
2
3.b. Comme F est paire, on a L(y) = 3F(t)22 D2 dt = y
3F(t)2 D2 dt, ce qui fait que
 +
2
L(y) + L(y) = 3F(t)2 D2 dt = .
4.a. Les deux membres sont des polynmes de degr  n 1, prenant les mmes valeurs en x1 , . . . , xn ;
la dirence est donc un polynme de degr  n 1 ayant n racines et donc est nulle.
4.b. Si on applique ce qui prcde au polynme Xk , que lon identie les termes de degr n 1 et que

n
n
xk
xk
lon remarque que j=i (xi xj ) = P (xi ), on obtient i=1 P (xi i ) = 0 si k  n 2 et i=1 P (xi i ) = 1 si
k = n 1.
(t)y1 (t)
(t)y1 (t)
et v(t) = y1 (t) F(yy22(t))F(y
F(y1 (t)) sont de classe C 1 car y1 , y2 et F
5.a. u(t) = F(yy22(t))F(y
1 (t))
1 (t))
le sont et F(y1 (t)) F(y2 (t)) ne sannulle pas puisque y1 (t) = y2 (t) sont > 0 (et donc y1 (t) = y2 (t)).
3
yi
On a 12 G = i=1 3x2 D
2 . Par ailleurs, on a aussi

Y
L
O
P

E
L
O

2yi yi

(3x2i

)xi

et

yi

On peut liminer xi entre ces deux quations pour obtenir

T
Y
L
PO

N
H
EC
uxi

+ u xi + v .

E
U
IQ

(3x2i D2 2uyi )yi = (3x2i D2 )(u xi + v  )

et

E
L
O

3
3


xi
1
1 
G = u
+ v
2
2 D2 2uy .
2
2
3x

2uy
3x
i
i
i
i
i=1
i=1

De plus, x1 , x2 , x3 sont les racines du polynme P(x) = x3 D2 x (ux + v)2 dont la drive est
3
3
1
= 0
3x2 D2 2u(ux + v) et comme yi = uxi + v, on obtient 12 G = u i=1 Px(xi i ) + v  i=1 P (x
i)
daprs la question prcdente. La fonction G a donc une drive nulle sur I et est donc constante.
5.b. La formule donnant Ha (t) montre que la fonction Ha (t) est de classe C 1 . La question prcdente
/ {a, t}
montre alors que G(t) = L(a)+L(t)+L(Ha (t)) est constante sur tout intervalle I pour lequel Ha (t)
quel que soit t I. Par ailleurs, lensemble des points o Ha (t) = a est ni (cest lintersection de la
tangente C en P(a) avec C) et lensemble des points t tels que Ha (t) = t est aussi ni daprs la
/ {a, t} quel que soit t I recouvre
question 1.d. La runion des intervalles I pour lequels on a Ha (t)
donc ]a, +[ un nombre ni de points prs, et comme G est constante sur chacun de ces intervalles
et continue sur ]a, +[, elle est constante sur ]a, +[. On a donc, daprs les questions 2.e et 3.b.,
G(t) = limt+ G(t) = L(a) + L(a) + limt+ L(t) = 2.
5.c. Si parmi y1 , y2 et y3 , deux sont > 0, la question prcdente montre que L(y1 )+L(y2 )+L(y3 ) = 2.
Si deux sont < 0, alors L(y1 ) + L(y2 ) + L(y3 ) = 3 (L(y1 ) + L(y2 ) + L(y3 )) = . Le cas y1 = 0,
y2 > 0, y3 < 0 est impossible car y1 = 0 implique x1 = D et comme x2 et x3 sont > D, les points (x1 , y1 ),
(x2 , y2 ) et (x3 , y3 ) ne peuvent pas tre aligns.
5.d. Posons a = y2 . Comme il ny a quun nombre ni de tangentes C qui passent par P(a), il existe
un intervalle ouvert I contenant y1 tel que la droite D(a, t) ne soit pas tangente C si t I {y1 }. Mais
alors Ha (t) est continue en t = y1 et L(a) + L(t) + L(Ha (t)) est valeurs dans {, 2} sur I {y1 } ; elle
est donc constante sur I et la limite, on obtient 2L(y1 ) + L(y2 ) {, 2}.
5.e. Daprs la question 1.c, la droite joignant P(y1 ) P(y2 ) coupe C en un troisime point P(z)
ou est tangente C en P(y1 ) (resp. en P(y2 )) auquel cas on pose z = y1 (resp. z = y2 ). Daprs les

E
L
O

T
Y
L
PO

N
H
EC

E
U
IQ

E
U
Q
I

453

G.9. LE THORME DE MORDELL-WEIL

N
H
EC

questions 5.c. et 5.d., on a dans tous les cas L(y1 ) + L(y2 ) + L(z) Z et donc L(z) L(y3 ) Z. Mais
comme L(z) L(y3 ) ] , [, cela implique L(z) L(y3 ) = 0 et donc z = y3 puisque L est injective.
6.a. Daprs la question 3.a, E est une bijection de C sur G et on peut (et doit) dnir + par la formule


P + Q = E1 (E(P)E(Q)). On doit alors avoir exp 2i
(L(y(P + Q)) L(y(P)) L(y(Q))) = 1 et donc
L(y(P + Q)) L(y(P)) L(y(Q)) Z. Le reste de la question suit de ce que L(y(P)) + L(y(Q)) ]0, 2[
et L(y(P + Q)) ]0, [.
6.b. = E1 (1) est llment neutre de + par construction et P1 + P2 + P3 = si et seulement si
L(y1 )+L(y2 )+L(y3 ) Z, cest--dire si et seulement si P1 , P2 et P3 sont aligns daprs les questions 5.c
et 5.e.
6.c. Si P = (x, y) et P = (x , y  ), on a L(y) + L(y  ) Z et comme L(y) et L(y  ) appartiennent
]0, [, cela implique L(y  ) = L(y) = L(y) et donc y  = y puisque L est injective.
6.d. Comme E induit un isomorphisme du groupe C sur G, lensemble des solutions de lquation
2Q = P est en bijection avec celui de lquation z 2 = E(P) ; lquation 2Q = P a donc toujours 2
solutions.
6.e. Si y1 + y2 = 0, on a L(y1 ) + L(y2 ) = et, quitte remplacer y1 par y1 et y2 par y2 , on peut
supposer 0 < L(y1 ) + L(y2 ) < . Comme L est continue, il existe des intervalles ouverts I1  y1 et I2  y2
tels que lon ait 0 < L(z1 ) + L(z2 ) < si (z1 , z2 ) I1 I2 . La bijection rciproque L1 :]0, [ R tant
continue, la fonction (z1 , z2 )  L1 (L(z1 ) + L(z2 )) = y(P(z1 ) + P(z2 )) est continue sur I1 I2 , ce qui
permet de conclure.

E
L
O

T
Y
POL

T
Y
L
PO
III

N
H
EC

E
U
IQ

1.a. Commenons par supposer P1 , P2 et P3 distincts. La droite passant par P1 et P2 est la droite
1
dquation y = y1 + xy22 y
x1 (x x1 ). On en dduit le fait que x1 , x2 , x3 sont les racines du polynme

E
L
O


2
y 2 y1
P(x) = x3 D2 x y1 +
(x x1 ) .
x2 x1

La somme des racines de ce polynme est alors

 y2 y1 2
x2 x1

et comme

y2 y1
x3 D2 x2 x31 + D2 x1
x2 + x1 x2 + x22 D2
y22 y12
= 2
= 1
=
,
x2 x1
(y1 + y2 )(x2 x1 )
(y1 + y2 )(x2 x1 )
y1 + y2
 x2 +x x +x2 D2 2
on obtient x3 = 1 1y12+y2 2
x1 x2 . La formule pour y3 sen dduit en utilisant la formule
1
prcdente et le fait que P3 est sur la droite dquation y = y1 + xy22 y
x1 (x x1 ). Le cas o P3 {P1 , P2 }
se dduit du cas gnral par continuit (cf. question 6.e de la partie II).
1.b. x1 + D, x2 + D et x3 + D sont les racines du polynme P(x D) dont le terme constant est

2


2 (x1 +D) 2
1
= y1 (x2 +D)y
.
xy22 y
x1 (D x1 ) + y1
x2 x1
2.a. Ces formules se dduisent de celles de la question 2.a par continuit.
 2 D2 2
4
2 2
4
8xy 2
2.b. On a x = 3x 2y
2x = 9x 6D x4y+D
, et comme y 2 = x3 D2 x, on a aussi
2
4
2 2
4
2
4
2 2
4
2
2 2
9x 6D x + D 8xy = x + 2D x + D = (x + D ) .
3. Comme P est le symtrique de P par rapport laxe des x, C(Q) est stable par passage loppos.
Soient P et Q appartenant C(Q). Il sagit de prouver que P + Q C(Q). Cest trivial si P = ou si
Q = ou si P = Q. Dans tous les autres cas, on y(P) + y(Q) = 0 et on peut utiliser les formules des
questions 2.a et 3.a pour conclure.

E
L
O

T
Y
L
PO

N
H
EC

E
U
IQ

454

4. Daprs la question 2.b, on a

U
Q
I
N

ANNEXE G. PROBLMES CORRIGS

E
L
O

H
C
TE

 (x + D)y (x + D)y 2
1
2
2
1
(x1 + D)(x2 + D)(x3 + D) =
x2 x1
 (x + D)y + (x + D)y 2
1
2
2
1
(x1 + D)(x2 + D)(x4 + D) =
x2 x1

Y
L
O
P

(x +D)2 y 2 (x +D)2 y 2

2
2
3
2
1
et (x3 + D)(x4 + D) est le carr de (x11+D)(x22+D)(x
2 . Comme yi = xi D xi = xi (xi + D)(xi D),
1 x2 )
cela implique que (x3 + D)(x4 + D) est aussi le carr de

(x1 + D)x2 (x2 D) (x2 + D)x1 (x1 D)

x1 x2 + D(x1 + x2 ) D2
=
.
2
(x1 x2 )
x2 x1
IV.A

1.a. Si b Q et si a = b , alors a > 0 et vp (a) = 2vp (b) est divisible par 2. Rciproquement, si a > 0

et si vp (a) = 2np , alors a est le carr de p pnp (le produit est un produit ni).
1.b. On a vp (da) = vp (a) + vp (d), vp (da) = vp (a) + vp (d) et vp (d(a + b)) = vp (a + b) + vp (d), ce
qui permet, en prenant pour d le produit des dnominateurs de a et b, de se ramner au cas o a et
b sont entiers. On a alors a = pvp (a) a et b = pvp (a) pvp (b)vp (a) b avec a et b premiers p. Comme
vp (b) vp (a) > 0, on a p qui divise pvp (b)vp (a) b et comme a est premier p, cela fait que p ne divise
pas c = a + pvp (b)vp (a) b et donc que a + b = pvp (a) c vrie vp (a + b) = vp (a).
2.a. Comme c est un carr, vp (c) est pair et vp (c)  1 implique vp (c)  2. Dautre part, a nest pas
divisible par p2 car sinon, (p2 c)a serait entier, ce qui contredit la minimalit de c ; donc vp (a)  1 et
vp (a) {0, 1}.
2.b. On a a(a Dc)(a + Dc) = c3 y 2 et comme c est un carr, il en est de mme de a(a Dc)(a + Dc).
2.d. Soit p un nombre premier divisant a(a Dc)(a + Dc) et pas 2D. Si p divise a et c, alors vp (a) = 1
et vp (c)  2 daprs la question 2.a, et on a vp (a Dc) = 1 et vp (a + Dc) = 1 (question 1.b) et donc
vp (a(a Dc)(a + Dc)) = 3 ce qui est impossible puisque a(a Dc)(a + Dc) est un carr. Donc p ne divise
pas (a, c) et p divise un seul des trois nombres a, a Dc et a + Dc et, comme le produit de ces trois
nombres est un carr, deux des nombres vp (a), vp (a Dc) et vp (a + Dc) sont nuls et le troisime est pair.
3.a. Il sagit de vrier que lon a (P + Q) = (P) + (Q) ou encore, comme (P) = (P), que
(P + Q) + (P) + (Q) = 0. Cest trivial si P = ou Q = ; a lest aussi si P + Q = 0 car alors
x(P) = x(Q). Si Q
/ {P, P}, la formule (P + Q) + (P) + (Q) = 0 suit de la question 2.b de la
partie III et, si Q = P, on a 2(P) = 0 = (2P) daprs la question 3.b de la partie III.
3.b. Si Q = (x, y) C vrie 2Q = P, lhypothse selon laquelle x , x D et x + D sont des carrs
dans Q nous dit, daprs la question 3.b de la partie III, quil existe des rationnels a, b, c tels que lon ait

E
L
O

x2 + D2
= a,
2y

T
Y
L
PO

x2 + 2Dx D2
=b
2y

N
H
EC

et

E
U
IQ

x2 2Dx D2
= c.
2y

E
U
IQ

2Dx
On a alors 2a b c = 2D
y , ce qui prouve que y est rationnel, et b c = y , ce qui prouve que x est
rationnel et donc Q C(Q).
3.c. Si P = (x, y) C(Q) est dans le noyau de , cest que vp (x) et vp (x + D) sont pairs quels que soit
le nombre premier p. Dautre part, comme x  D, on a x > 0 et x + D > 0 et x et x + D sont des carrs
dans Q daprs la question 1.a. Comme x(x D)(x + D) = y 2 est un carr, il en est de mme de x D.
Daprs la question 6.d de la partie III, lquation 2Q = P a au moins une solution Q = (x, y) dans C
et la question prcdente montre que Q C(Q) et P 2C(Q). Rciproquement, si P = 2Q, P = et
Q C(Q), alors la question 3.b de la partie III montre que x et x + D sont des carrs dans Q et P est
dans le noyau de . On a donc Ker = 2C(Q).

E
L
O

T
Y
L
PO

N
H
EC

E
U
Q
I

455

G.9. LE THORME DE MORDELL-WEIL

N
H
EC

3.d. Soit Z C(Q) tel que induise une bijection de Z sur limage de C(Q) dans (Z/2Z)2s+2 . Alors
Z est ni (puisquil est en bijection avec un sous-ensemble dun ensemble ni) et, si P C(Q), il existe
R Z tel que (P R) = 0 ; il existe alors Q C(Q) tel que P R = 2Q et P = Z + 2Q, ce qui prouve
que C(Q) est de type ni modulo 2.

E
L
O

T
Y
POL

IV.B

1. Si 2P = , il ny a rien dmontrer. Sinon, si 2P = (x , y  ), on a x + D =

la question 3.b de la partie III. Ceci peut se rcrire sous la forme
 a2
2
a
D2
(a2 + 2Dac D2 c2 )2
2 + 2D
x + D = c  a3 c a 
.
=
2
4ca(a Dc)(a + Dc)
4 c3 D c

 x2 +2DxD2 2
2y

daprs

Alors c = 4ca(a Dc)(a + Dc) est un carr puisque c en est un et a(a Dc)(a + Dc) aussi daprs la
question 2.b de la partie IV.A. On a donc
h(2P)  log(c (x + D)) = 2 log((a + cD)2 2D2 c2 )  4 log(a + Dc) = 4h(P).

E
U
IQ

2.a. Si d divise T, U et V, alors d divise aussi les quantits T + U + DV = 2Da1 (a2 + Dc2 ) et
T + U DV = 2Da2 (a1 + Dc1 ). Il divise donc aussi (a1 + Dc1 )(T + U + DV) 2Da1 U = 4D3 a1 c1 c2 et
(a1 + Dc1 )(T + U + DV) 2Da1 U 4D3 c1 V = 4D3 a2 c21 . Par symtrie, il divise aussi 4D3 a1 c22 .
2.b. Daprs la question 2.c de la partie IV.A, vp (ai ) est pair et daprs la question 2.a de la partie IV.A,
on a vp (ai )  1 si vp (ci ) = 0 ; ceci implique que, si vp (ci ) = 0, alors vp (ai ) = 0 et donc que p ne divise
pas le p.g.c.d. de ai et ci .
Maintenant, comme p est premier 4D3 , il divise a1 ou c2 . Sil divise a1 , alors il ne divise pas c1 et
donc il divise a2 et donc il ne divise pas pas c2 ni a1 a2 + D2 c1 c2 . De mme, sil divise c2 , alors il ne divise
pas a2 et donc il divise c1 et pas a1 et pas non plus a1 a2 + D2 c1 c2 .
2.c. Supposons le contraire ; il y a plusieurs cas :
p divise c1 et c2 ; auquel cas, p2 ne divise ni a1 ni a2 daprs la question 2.a. de la partie IV.A et
p3 ne divise ni a1 a2 ni a1 a2 D2 c1 c2 puisque c1 c2 est divisible par p4 ; ce cas est donc exclus ;
p divise c1 mais pas c2 , auquel cas p2 ne divise pas a1 et p5 ne divise pas 4D3 a1 c2 ; ce cas est donc
aussi exclus ainsi que le cas symtrique p divise c2 mais pas c1 ;
p ne divise ni c1 ni c2 ; auquel cas p2 divise a1 et a2 et a1 a2 + D2 c1 c2 nest pas divisible par p5
puisque D2 nest divisible que par p2 et a1 a2 est divisible par p4 ; ce cas est donc aussi exclus.
2.d. Il sut de regrouper les rsultats des 3 questions prcdentes.
2.e. Soit c3 (resp. c4 ) le plus petit carr tel que c3 x3 (resp. c4 x4 ) soit entier. Soient n = c3 c4 , a = d ,

nd
b = d et c = e . Alors a, b et c sont premiers dans leur ensemble et na
c = e = c3 x3 c4 x4 est entier
nd
ainsi que nb
=
=
c
(x
+
D)c
(x
+
D).
Il
existe
q,
r,
s
entiers
tels
que
lon
ait qa + rb + sc = 1, et
3 3
4 4
c
e
c3 c4
n
na
nb
=
=
q
+
r
+
sn
est
entier.
Maintenant,
un
entier
>
0
tant

1,
on
a
e
c
c
c

E
L
O

T
Y
L
PO

N
H
EC

h(P3 ) + h(P4 ) = log(c3 (x3 + D)) + log(c4 (x4 + D))

N
H
EC

d
c3 c4
= log(c3 c4 ) + log = log d log + log
 log d log .
e
e
2.f. Daprs la question 5 de la partie III, on a
 x x D2 2  a a D2 c c 2
1 2
1 2
1 2
=
x3 x4 =
x1 x2
a1 c2 a2 c1
 a a + D(a c + a c ) D2 c c 2
1 2
1 2
2 1
1 2
(x3 + D)(x4 + D) =
a1 c2 a2 c1

E
L
O

T
Y
L
PO

E
U
IQ

456

U
Q
I
N

ANNEXE G. PROBLMES CORRIGS

H
C
TE

On peut utiliser la question prcdente avec d = (a1 a2 D2 c1 c2 )2 , d = (a1 a2 + D(a1 c2 + a2 c1 ) D2 c1 c2 )2

et e = (a1 c2 a2 c1 )2 . La question 2.c. montre que le p.g.c.d. de d, d et e divise (2D)3 ; on a donc

Y
L
O
P

h(P3 ) + h(P4 )  2 log(a1 a2 + D(a1 c2 + a2 c1 ) D2 c1 c2 ) log(2D)3 .

E
L
O

Par ailleurs, on a

a1 a2 + D(a1 c2 + a2 c1 ) D2 c1 c2 =(a1 + Dc1 )(a2 + Dc2 ) 2D2 c1 c2



2D2
,
=(a1 + Dc1 )(a2 + Dc2 ) 1
(x1 + D)(x2 + D)

et comme x1  D et x2  D, on obtient
a1 a2 + D(a1 c2 + a2 c1 ) D2 c1 c2 

1
(a1 + Dc1 )(a2 + Dc2 ),
2

et donc
1
h(P3 ) + h(P4 )  2 log( (a1 + Dc1 )(a2 + Dc2 )) log(2D)3  2(h(P1 ) + h(P2 )) log(32 D3 ).
2
3.a. Il sut de regarder les formules de la question 2.a de la partie III.
3.b. Si P = ou si P = (0, D), le rsultat est vident. Sinon, choisisons Q
/ {P, P, , (0, D)}. On
a, en utilisant deux fois la question 2.f., la premire fois avec P1 = P + Q et P2 = P Q,

N
H
EC

E
U
IQ

h(2P) + h(2Q)  2(h(P + Q) + h(P Q)) 2 log(2(2D)3 )  4(h(P) + h(Q)) 6 log(2(2D)3 ),

et on conclut en utilisant lingalit 4h(Q)  h(2Q) de la question 1.

3.c. Si P = ou Q = , on peut prendre A = 0. Si P = Q ou P = Q, on peut prendre
A = 6 log(2(2D)3 ) daprs la question prcdente et si P = Q et (P, Q) C(Q), on peut prendre
A = log(2(2D)3 ) daprs la question 2.f. Finalement, A = 6 log(2(2D)3 ) marche dans tous les cas.
3.d. En utilisant la question prcdente pour P + Q et P Q, on en dduit la minoration
h(2P) + h(2Q)  2(h(P + Q) + h(P Q)) A, et comme h(2P)  4h(P) et h(2Q)  4h(Q) daprs
la question 1, on obtient h(P + Q) + h(P Q)  2h(P) + 2h(Q) + A2 . Donc nalement, on a, quel que
soit (P, Q) C(Q)2 ,
|h(P + Q) + h(P Q) 2h(P) 2h(Q)|  A.

E
L
O

T
Y
L
PO

3.e. Soit B > 0. Si h(P)  B, on a soit P = , soit il existe des entiers positifs a et c vriant
a + Dc  eB tel que P = ( ac , y). Comme lensemble de ces couples dentiers est ni et que pour chaque
valeur de x, il y a au plus deux valeurs de y possibles, lensemble des P vriant h(P)  B est ni quel
que soit B > 0.
3.f. Le groupe C(Q) est de type ni modulo 2 daprs la question 3.d de la partie IV.A et possde
une hauteur admissible ; on peut donc utiliser les rsultats de la question 3.e de la partie I.

E
L
O

T
Y
L
PO

N
H
EC

E
U
IQ

H
C
TE

E
L
O

U
Q
I
N

Y
L
O
P
INDEX

E
L
O

T
Y
L
PO

E
L
O

N
H
EC

T
Y
L
PO

E
U
IQ

N
H
EC

E
U
IQ

458

INDEX

Index terminologique

Y
L
O
P

H
C
TE

adle, 207, 377, 389, 390, 402, 404406

adhrence, 54
anneau
de Dedekind, 387
intgre, 40
noethrien, 41
principal, 41

E
L
O

bande de Moebius, 52, 68

base
hilbertienne, 160162, 164, 167, 169, 217,
218, 220, 422
orthonormale, 79, 169, 170, 356, 359361,
364
bloc de Jordan, 36, 39
borlien, 179
boule
ferme, 49
ouverte, 49
bouteille de Klein, 53

E
L
O

E
L
O

formule des, 28
coecient
de Fourier, 162, 167, 216, 218, 220, 353, 354,
420, 436
de Mahler, 95, 170, 353355, 357, 358, 360
compacit, 56, 58, 59, 62, 77, 84, 93, 150, 152
155, 164, 166, 167, 174, 196, 200, 207,
237239, 242, 244246, 256, 257, 262,
271, 276, 277, 298, 299, 356, 360, 390
392, 395, 403
compacit locale, 61, 93, 182
compltion, 71, 89, 90, 94, 154, 190, 232
compltude, 68, 89, 90, 94, 95, 149151, 154, 159,
165, 167, 173, 188, 189, 192, 230, 232
congruence, 15
conjugaison, 22
connexit, 65, 66, 159, 237, 238, 254, 259, 262,
267, 271
composante connexe, 65, 262
par arcs, 66
constante dEuler, 277, 288, 303
continuit, 50
uniforme, 51
contractile, 109, 253, 254, 256, 260, 269
convergence
en moyenne, 185
en moyenne quadratique, 162, 189
normale, 82, 150
simple, 73, 154
simple p.p., 178
uniforme, 73, 83, 152
convolution, 198, 209, 224, 256, 426
coupures de Dedekind, 88
courbe
de Peano, 83
elliptique, 25, 369371, 373, 375, 376, 430
critre de Cauchy, 9, 68, 276
uniforme, 74
cycle, 2932, 102, 119, 135137, 148, 340, 409,
412, 413
cylindre, 52, 68

T
Y
L
PO

caractre
conducteur, 290, 397, 398
cyclotomique, 381
Dirichlet, 132, 289291, 294, 295, 309, 318,
377, 381383, 385, 393
Hecke, 387, 388
irrductible, 128, 338, 349
linaire, 120, 131, 140, 210, 211, 214, 217,
220, 339, 341, 343, 393
orthogonalit, 120, 128, 130, 393, 397
primitif, 290
reprsentation, 119121, 123, 128, 142, 143,
145
table, 134, 346
unitaire continu, 207, 398400, 402, 403
catgorie, 13
centralisateur, 22
centre, 23, 337
chemin, 239
classe
dquivalence, 14
de conjugaison, 22, 337, 344

U
Q
I
N

N
H
EC

T
Y
L
PO

E
U
IQ

N
H
EC

dnombrable, 9, 150, 156, 160, 175

E
U
IQ

INDEX TERMINOLOGIQUE

demi-plan de Poincar, 239, 254, 268, 297

densit, 54, 56, 70, 71, 73, 77, 79, 8486, 91, 96,
153156, 160, 164, 165, 167, 168, 176,
177, 190192, 196, 212, 215, 218, 219,
227, 229, 230, 232, 269, 390, 391, 406
diagramme de Young, 341, 342
diomorphisme, 195
distance, 49
quivalence, 49
p-adique, 90
triviale, 50
ultramtrique, 49
distribution, 156, 191, 212, 223, 229, 281
dollar, 305
million de, 289, 367, 372
domaine fondamental, 21, 220, 221, 323

E
L
O

T
Y
POL

endomorphisme, 34
diagonalisable, 35
trace, 34
ensemble triadique de Cantor, 82, 85
quivalence
classe, 14
distances, 49
normes, 76, 110, 150, 389
quotient par une relation, 14
relation, 14
espace
caractristique, 36
de Banach, 149152, 154159, 163, 166, 188,
191
de Hilbert, 159, 160, 162, 163, 166, 189, 191,
229
mtrique, 49
mtrisable, 49
propre, 35
espace fonctionnel
C , Cb ou Cc , 152, 153, 159, 212, 353, 354,
356
C k ou C , 155, 156, 354, 355
Cuk ou Cu , 355, 357
L 1 ou L1 , 54, 184194, 196, 198, 211213,
224, 225, 227, 228, 236, 280
L 2 ou L2 , 54, 162, 167, 168, 188191, 224
230, 236
Lp , 191
Schwartz S , 221, 392395, 397400

E
L
O

N
H
EC

459

Sobolev Hk , 154, 155, 159, 229, 230

toil, 253, 256, 260

facteur dEuler, 283, 378, 382, 384, 386, 387, 405

ferm, 48
de Zariski, 48
fonction
analytique, 235, 237, 359, 436
de Bessel, 210, 386, 440
centrale, 119, 127129, 131, 143, 347, 349
continue, 50, 95
de carr sommable, 149, 156, 188, 189, 226,
228, 229, 236
elliptique, 430
de Dedekind, 339
dEuler, 207, 209, 234, 248, 271, 277, 278,
285, 289, 404
dHermite, 422
holomorphe, 2, 154, 235238, 242, 243, 245,
247251, 254, 256, 259262, 264, 266
269, 271, 274, 277, 281, 284, 285, 290,
293, 294, 297, 299, 300, 308310, 313,
314, 318, 383, 384, 387, 398401, 404
indicatrice dEuler, 16
lipschitzienne, 51
localement analytique, 360, 361
localement constante, 96, 110, 364, 392, 393,
395, 406
M de Mertens, 319
mromorphe, 267, 268, 271, 274, 277, 284,
286288, 296, 299, 308310, 383, 387,
399, 400, 431, 438, 439, 441, 443, 444
mesurable, 177, 178, 184, 185, 190, 193, 195,
199, 203205, 207, 247
de Moebius, 295, 319
sommable, 184, 185, 187, 191, 198, 208, 210
212, 224, 227229, 247, 263, 280, 308,
395397, 399
de Ramanujan, 296
de Jacobi, 299, 301
uniformment continue, 51
de Weierstrass, 430
fonction L, 2, 377, 378
Artin, 382
automorphe, 404
Dirichlet, 275, 289, 290, 293, 306, 309, 382,
387, 389

T
Y
L
PO

E
L
O

E
U
Q
I

N
H
EC

T
Y
L
PO

E
U
IQ

N
H
EC

E
U
IQ

460

INDEX

H
C
TE

forme modulaire, 298, 384, 386

Hecke, 387, 389
idles, 401
fonction zta
de Dedekind, 387
de Hasse-Weil, 378, 380
de Riemann, 2, 273, 284, 285, 288, 293, 299,
304, 306, 309, 310, 317, 318, 320
p-adique, 366
forme
alterne, 240
automorphe, 403, 405
bilinaire, 139, 141
direntielle, 240, 254
de Jordan, 34, 36, 39, 123
linaire, 19, 139, 156, 158, 159, 162, 163,
165167, 174, 191, 240
de Maass, 385, 386, 404, 405
modulaire, 4, 116, 296302, 340, 378, 384,
404, 405
parabolique, 384
primitive, 384, 404
quadratique, 4
sesquilinaire, 188
formule
k
12 , 297, 298, 301
sommatoire dAbel, 275, 276, 319
de Burnside, 131, 137, 138, 411, 418
de Cauchy, 95, 242, 243, 245, 247, 253, 257,
261, 266
du changement de variable, 195
des complments, 270, 278
des querres, 341, 342
explicite, 310, 318, 319
de rciprocit de Frobenius, 144, 145
de Gauss, 209, 278
 x2

e
dx = , 197, 271
dinversion de Fourier, 132, 207, 227, 229,
330, 394, 395, 428, 429
dinversion de Moebius, 296
de Jacobi, 302
de Poisson, 221, 321, 329, 392, 395, 399, 428,
438, 442, 443
du produit, 321, 390, 392
des rsidus, 253, 264, 269271, 287, 293, 299,
308, 311, 316

E
L
O

Y
L
O
P

E
L
O

de Stirling, 209, 234, 278, 279, 309

de Stokes, 254
de Taylor, 20, 153
2
(2) = 6 , 2, 167, 198, 216, 271, 426

groupe
ablien, 24
altern, 31
cyclique, 25
distingu, 24
le monstre, 115, 380
orthogonal, 22
p-groupe, 33, 337, 338
p-Sylow, 33
simple, 24, 115
sous-groupe, 25
sporadique, 115
symtrique, 29, 339
symplectique, 22
unitaire, 22

T
Y
L
PO

E
L
O

U
Q
I
N

N
H
EC

E
U
IQ

homomorphisme, 50
homothtie, 34

idal, 19
maximal, 40
premier, 40
principal, 41
idle, 388, 391, 398, 402
ingalit
Cauchy, 243, 244
Cauchy-Schwarz, 78, 152, 162, 165, 189, 424
Hlder, 191
Minkowski, 191
triangulaire, 49, 53, 54, 72, 76, 78, 389
ultramtrique, 90, 95, 232
indice dun lacet par rapport un point, 261,
270, 287, 308
intgrale
de Cauchy, 173
de Lebesgue, 173, 174, 181
de Riemann, 173, 174, 199
intrieur, 54

T
Y
L
PO

N
H
EC

jacobien, 195
matrice jacobienne, 195
lacet, 64, 239

E
U
IQ

INDEX TERMINOLOGIQUE

limite
infrieure, 63
projective, 91, 92, 232
simple, 73
suprieure, 63
uniforme, 73

E
L
O

T
Y
POL

mesurabilit, 177
mesure
de Haar, 182, 280, 322, 323, 331, 364, 392
de Lebesgue, 181, 182
extrieure dun ensemble, 175, 202
nulle (ensemble de), 175
sur Zp , 363
module, 36
de torsion, 37
de type ni, 37
engendr, 37
nombre
algbrique, 11, 176, 376
de Bernoulli, 284
complexe, 89
congruent, 367
duaux, 20
entier, 87
irrationnel, 8, 165, 176
de Liouville, 177
p-adique, 90
premier, 7, 303305, 385
premier de Mersenne, 18, 303
premier rgulier, 285
rel, 88
rationnel, 88, 175, 245, 285, 364, 367
transcendant, 11, 176
norme
quivalence, 76
espace vectoriel, 74
oprateur, 75
p-adique, 90
ultramtrique, 168, 169, 171

E
L
O

oprateur
entrelacement, 122
moyenne, 123
norme dun, 75
orbite, 21, 337

N
H
EC

461

ordre
dun lment, 26
dun groupe, 33
orthonormalisation de Schmidt, 79, 160
ouvert, 48
base, 48
p-adique
entiers, 91
intgration, 363
nombres, 89, 90, 93, 380, 390
norme, 72, 382, 389, 390
transforme de Fourier, 393, 395
transforme de Mellin, 397
partie nie de Hadamard, 281
partition
dun ensemble, 14
dun entier, 30, 339
permutation, 21, 29
signature, 31
support, 29
polynme
binomial, 95, 232
caractristique, 34
irrductible, 37
de Legendre, 167
minimal, 35
primitive, 259, 260, 269
produit scalaire, 78, 125, 128, 159, 167, 188, 215,
218, 220
produit tensoriel, 129, 139141, 217, 356, 404
projectif
droite, 21, 343
espace, 21
plan, 53, 369
prolongement analytique, 237, 273275, 280, 281,
284, 291, 296, 298, 299, 378, 383, 384,
388, 399404, 438, 439, 443, 444
propre
espace, 35
valeur, 35
vecteur, 35
proprit universelle, 12, 19, 24, 71, 139

T
Y
L
PO

E
L
O

E
U
Q
I

N
H
EC

T
Y
L
PO

E
U
IQ

N
H
EC

E
U
IQ

quotient
anneau, 16, 19, 20, 38, 89, 90
espace topologique, 52, 53, 63, 214

462

INDEX

H
C
TE

espace vectoriel, 18, 187189, 191, 215

groupe, 14, 24, 63, 214, 380, 385, 430
module, 37, 46
par une action de groupe, 21
par une relation dquivalence, 14, 72, 88,
347

E
L
O

Y
L
O
P

rduction
des endomorphismes, 34
modulo D, 15
relation dquivalence, 14, 15, 18, 19, 21, 23, 52,
54, 72, 8789, 347
reprsentation, 117
automorphe, 403
duale, 122
dle, 117, 148
induite, 142, 143, 342, 343, 406
irrductible, 124131, 135, 137, 138, 144, 146
148, 338341, 343, 344, 381, 383, 403,
410412, 416, 418, 419
isomorphisme, 123
de permutation, 121, 136, 148, 343, 347, 381,
410413, 417, 419
rgulire, 121, 128, 131, 138, 142, 340, 342,
413, 418
sous-reprsentation, 124
triviale, 120, 122, 340, 382, 411, 419
srie

E
L
O

E
L
O

suite
convergente, 55
de Cauchy, 68
extraite, 55
valeur dadhrence, 57
symbole de Legendre, 272

table des caractres, 134, 135, 137, 147, 148, 346,

409412, 415418
tableau de Young, 341, 342
tipi de Cantor, 85
topologie, 47, 48, 90, 389
algbrique, 253, 380
discrte, 48, 53, 379, 389
espace topologique, 48
grossire, 48, 53
induite, 51
Krull, 379
produit, 52, 77, 397
produit restreint, 390, 391
quotient, 52
spare, 53, 54, 56, 187, 188, 191
totalement discontinue, 65, 90
Zariski, 48, 53
tore, 52
transforme dAmice, 364, 365
transforme de Fourier, 207
adlique, 394
dans S , 221223, 395, 401
dans L1 , 211, 212, 224, 225, 228, 229, 236
dans L2 , 225, 227229, 236, 423
distribution, 221
fonction en escalier, 226
fonction rationnelle, 270
gaussienne, 269, 423, 426
groupes nis, 132
p-adique, 393, 395
transforme de Mellin
adlique, 398
p-adique, 397
sur R, 280, 398
transposition, 30
transvection, 332
tribu, 179
borlienne, 179

T
Y
L
PO

de Dirichlet, 273277, 280282, 284, 289, 308,

317, 318, 377
dEisenstein, 298, 299, 375
entire, 231, 232, 234236, 238, 242, 243
formelle, 123, 231, 232, 365, 407
de Fourier, 159, 167, 207, 217, 222, 299, 384,
385
de Laurent, 266
de Taylor, 233, 242, 243
sommabilit
fonction, 184
srie, 150
somme directe
despaces vectoriels, 12
de groupes, 12
de reprsentations, 120
spectre, 35
stabilisateur, 22

U
Q
I
N

N
H
EC

T
Y
L
PO

E
U
IQ

N
H
EC

E
U
IQ

INDEX TERMINOLOGIQUE

ultramtrique, 49, 68, 90, 91, 96, 109, 168, 169,

171, 232, 353, 359
valuation p-adique, 8
voisinage, 48
base, 48

E
L
O

T
Y
POL

E
L
O

N
H
EC

T
Y
L
PO

E
L
O

E
U
Q
I

N
H
EC

T
Y
L
PO

463

E
U
IQ

N
H
EC

E
U
IQ

464

INDEX

H
C
TE

noncs mathmatiques

E
L
O

Y
L
O
P

abc (conjecture), 43
application ouverte, 250
Artin
conjecture d, 383, 384, 386, 404
thorme d, 145, 383

Bzout (thorme de), 7, 43, 390

Ble (problme de), 2
Baire (lemme de), 69, 70, 80, 86, 156, 157, 176,
354
Banach-Steinaus (thorme de), 156, 157
Banach-Tarski (paradoxe de), 178
Bateman-Horn (conjecture de), 304, 305
Beilinson (conjecture de), 2
Bessel-Parseval (identit de), 162
Birch et Swinnerton-Dyer (conjecture de), 367
Bloch-Kato (conjecture de), 2, 321
Borel-Cantelli (thorme de), 176, 203
Borel-Carathodory (thorme de), 313
Borel-Lebesgue (thorme de), 58
Brauer (thorme de), 146, 343, 383

E
L
O

drivation sous le signe somme, 208, 209, 213

Deligne (conjecture de), 2
Erds (problme d), 305

Galois (problme inverse de), 380

Gauss (lemme de), 7, 42
graphe ferm, 158
GRH (conjecture), 295

E
L
O

E
U
IQ

Hlder (ingalit de), 191

Hahn-Banach (thorme de), 159
Hasse (thorme de), 371
Hasse-Weil (conjecture de), 378
Hecke (thorme de), 388
Heine (thorme de), 60
Hilbert (problmes de), 370, 388

N
H
EC

image ouverte, 157

inni (axiome de l), 87
inversion globale, 250
inversion locale pour les fonctions holomorphes,
248, 250
Jordan (thorme de), 261
Kakeya (problme de), 176
Kronecker-Weber (thorme de), 381, 382, 388,
402

Lagrange
lordre dun sous-groupe divise celui du groupe,
27
thorme des 4 carrs, 300, 301, 375
Landau (thorme de), 274, 292, 318
Langlands (programme de), 275, 377, 378, 383,
385, 402, 405407
les transvections engendrent SLn , 332
limite centrale, 429
Lindelf (hypothse de), 320
Liouville (thorme de), 244

T
Y
L
PO

Fatou (lemme de), 184

ferms emboits, 70
Fermat
grand thorme de, 116, 285, 298, 379, 385

nombres premiers de la forme 4n + 1, 44,

306, 378
non congruence de 1, 368
petit thorme de, 28
Fischer-Riesz (thorme de), 189
Fubini (sur N X), 186, 323
Fubini (thorme de), 173, 192194, 223, 226, 247

T
Y
L
PO

Cauchy (ingalit de), 243

Cauchy-Riemann (relations de), 236
Cayley-Hamilton (thorme de), 35
classication des groupes nis simples, 115
Coates-Wiles (thorme de), 373, 374
continuit dune intgrale dpendant dun paramtre, 207, 226, 262
convergence domine, 173, 185, 187, 190, 194,
207209, 228, 243, 257, 283, 318
convergence domine pour les sries, 186
convergence monotone, 184, 185, 187, 194, 205

U
Q
I
N

N
H
EC

E
U
IQ

NONCS MATHMATIQUES

logarithme itr (loi du), 320

T
Y
POL

Mahler (thorme de), 96, 353

Mertens (conjecture de), 319
Minkowski
ingalit, 191
lemme, 329, 331
moonshine, 116
Mordell-Weil (thorme de), 370, 445
Morera (thorme de), 260
moyenne (proprit de la), 243

E
L
O

N
H
EC

E
U
Q
I

Taniyama-Weil (conjecture de), 378

thorme fondamental
de lalgbre, 89, 236, 238, 244, 270
de lanalyse, 80, 186, 254
de larithmtique, 8, 390
de la thorie de la mesure, 56, 183
valeurs intermdiaires, 66
Wedderburn (thorme de), 27
Weil (conjectures de), 297, 378
zros isols, 237, 267

nombres congruents (problme des), 367

nombres premiers, 303305, 309, 316, 318
Ostrowski (thorme d), 389, 390
Peano (axiomes de), 87
Picard (thorme de), 268
point xe, 69, 70
principe du maximum, 231, 238, 244, 312, 314
progression arithmtique, 132, 292, 303, 305, 307,
318
projection sur un convexe ferm, 164
Pythagore (thorme de), 78

E
L
O

T
Y
L
PO

N
H
EC

E
U
IQ

Ramanujan (conjecture de), 296

Ramanujan-Petersson (conjecture de), 297
rciprocit quadratique (loi de), 18, 271, 371,
377, 382
reprsentation conforme, 254
restes chinois, 17
Riemann (hypothse de), 17, 289, 296, 319, 320,
381
Riemann-Lebesgue (thorme de), 211, 420
Riesz (thorme de), 77, 159, 163, 191
Rouch (thorme de), 271
Sato-Tate (conjecture de), 297
Schwarz (lemme de), 239
Serre (conjecture de), 375, 385
simplicit de An , 32
Stone-Weierstrass (thorme de), 153, 160
structure des groupes abliens nis, 27, 134
structure des modules de torsion sur un anneau
principal, 34, 45
Sylow (thorme de), 33

E
L
O

465

T
Y
L
PO

N
H
EC

E
U
IQ

466

INDEX

H
C
TE

Index des noms propres

Y
L
O
P

Allgre C., 15
Amice Y., 360
Apery R., 176
Artin E., 145, 379, 383, 385, 388, see conjecture,
thorme, fonction L

E
L
O

Bzout E., 7
Bachet de Mziriac C.-G., 7, 301
Baire R., 1, 157, see noncs mathmathiques
Banach S., 1, 79, 149, 157, 159, 178, see espace,
noncs mathmathiques
Barsky D., 355
Beilinson A., 2, 407
Bernoulli J., 251
Besicovitch A., 176
Birch B., 370
Bloch S., 2
Bombieri F., 320
Borcherds R., 116
Borel E., 56, 58, 176, 313
Bourgain J., 305
Brauer R., 146, 383
Breuil C., 372, 378
Burnside W., 1

E
L
O

Erds P., 304, 305

Euler L., 2, 18, 233, 237, 245, 251, 284, 285,
303, 371, see constante dEuler, facteur
dEuler, fonction
de Fermat P., 28, 44, 116, 285, 298, 301, 306, 368,
378
Ferrol R., 52
Fibonacci L., 368
Fields (mdaille), 116, 161, 177, 191, 297, 304,
305, 378, 407
Fischer E., 149
Fontaine J.-M., 5, 95
Fourier J., 207
Frchet M., 1, 47
Friedlander J., 306
Frobenius F., 1, 128, 143
Furtwngler P., 388

T
Y
L
PO

Cantor G., 5, 10, 89

Carleson L., 168, 354
Cauchy A., 1, 20, 33, 60, 157, 173, 207, 238, 301,
387, see critre, formule, formule des rsidus, ingalit, intgrale
Chevalley C., 115, 388
Clozel L., 297
Coates J., 373
Conrad B., 372, 378

U
Q
I
N

N
H
EC

E
U
IQ

Gauss C.-F., 6, 18, 272, 371

Godement R., 4, 403
Goldfeld D., 372
Goldston D., 306
Gowers T., 161, 305
Green B., 305
Griess R., 116
Gross B., 373
Grothendieck A., 53, 297, 378, 380, 407

Dedekind R., 10, 8789, 387

Deligne P., 2, 297, 378
Diamond F., 372, 378
Dirichlet G., 2, 60, 132, 273, 292, 305, see caractre, fonction L, srie
Drinfeld V., 376, 407
Dwork B., 378

Hadamard J., 2, 304

Hahn H., 1, 149, 159
Harris M., 297, 407
Hasse H., 371, 388, see noncs mathmathiques,
fonction zta
Hausdor F., 47, 275, 320
Hecke E., 385, 387, 400, see caractre, fonction
L
Henniart G., 407
Hensel K., 89, 390
Hermite C., 177
Hilbert D., 1, 149, 370, 388, see espace, noncs
mathmathiques

Elkies N., 373

Iwaniec H., 306, 320

E
L
O

T
Y
L
PO

N
H
EC

E
U
IQ

INDEX DES NOMS PROPRES

Jacobi C., 301, see fonction , formule

Jacquet H., 403
Jordan C., 34, 36, 148, 261, see bloc, forme, noncs mathmathiques

E
L
O

T
Y
POL

Kato K., 2
Katz N., 176
Khare C., 385
Kisin M., 385
Kolmogorov A., 168
Kolyvagin V., 373
Kronecker L., 4, 27, 381, 388
Kummer E., 285, 387

Laorgue L., 407

Lagrange J., 27, 231, 301, 375
Langlands R., 376, 383, 385, 386, 403, 404
Lebesgue H., 1, 58, 199, see intgrale, noncs
mathmathiques
Leibnitz G., 251
Lindemann F., 177
Lindenstrauss J., 163
Liouville J., 177, 244

E
L
O

Odlysko A., 320

Ostrowski A., 389
Peano G., 83, 87
Picard E., 268
Plancherel M., 1, 227
Poincar H., 1, 50, 242, 370
Poisson S., 207
Ramanujan S., 296
Ribet K., 375, 378
te Riele H., 320

E
L
O

467

Riemann B., 2, 173, 285, 289, 304, see conjecture,

fonction zta, intgrale, noncs mathmathiques
Riesz F., 1, 77, 149, 159, 163, 189, 191
Rivoal T., 176
Roth K., 177, 305
Roubaud J., 388
Rutherford E., 116
Sato M., 297
Schur I., 1, 126, 342
Schwartz L., 191
Selberg A., 304
Serre J-P., 4, 53, 375, 385
Shafarevich I., 372, 380
Sheperd-Barron N., 297
Shimura G., 371, 375
Siegel C., 321
Solovay R., 178
Steinhaus H., 1, 149
Swinnerton-Dyer H., 370
Sylow L., 33

T
Y
L
PO

Maass H., 385

Mahler K., 96, 353
Manin Y., 376
Matiyasevich Y., 370
Mazur B., 366
McKay J., 116
Mertens F., 319
Moebius A., 52, 295, see bande, fonction, inversion
Mordell L., 296, 370
de Morgan A., 5

N
H
EC

E
U
Q
I

N
H
EC

E
U
IQ

Takagi T., 388

Taniyama Y., 375, 378
Tao T., 176, 305
Tarski A., 178
Tate J., 94, 297, 372, 389, 403
Taylor R., 297, 372, 378, 407
Tchebychev P., 9
Tunnell J., 368, 373, 385, 386
Tzafriri L., 163
de la Valle Poussin C., 2, 304, 305
Waldspurger J.-L., 376
Weber H., 388
Weierstrass K., 1, 79, 86, 242
Weil A., 4, 53, 321, 371, 375, 378, 389, see noncs mathmathiques, fonction zta
Wiles A., 116, 298, 366, 372, 373, 378, 385
Wintenberger J-P., 385

T
Y
L
PO

N
H
EC

Yildirim C., 306

Zagier D., 368, 373

Zudilin W., 176

E
U
IQ

468

INDEX

H
C
TE

Repres chronologiques

Y
L
O
P

av. J.C.
th. de Pythagore, 78
innit de nombres premiers, 8

irrationalit de 2, 8
1150, volume de la sphre, 198
1624, enonc du th. des 4 carrs, 301
1624, th. de Bzout, 7
1638, sommes de polygonaux (nonc), 301
1640, petit th. de Fermat, 28
1640, tout nombre premier de la forme 4n + 1 est
somme de deux carrs, 306
1644, problme de Ble, 2
1712, dispute sur log 1, 251
1730, formule de Stirling, 209
2
1734, (2) = 6 , 2

1737, pP p1 = +, 284
1737, factorisation de en facteurs dEuler, 303
1749, quation fonctionnelle de (conj.), 285
1749, multivaluation du logarithme, 251
1770, dm. du th. des 4 carrs, 301
1783, loi de rciprocit quadratique (nonc), 18
1799, C est algbriquement clos, 244
1801, loi de rciprocit quadratique (dm.), 18
1811, transforme de Fourier, 207
1815, formule dinversion de Fourier, 207
1815, sommes de polygonaux (dm.), 301
1816, formule de Poisson, 222
1821, parution du cours de Cauchy lcole Polytechnique, 237
1823, intgrale de Cauchy, 173
1825, formule intgrale de Cauchy, 242
1829, forme eective du th. des 4 carrs, 301
1837, progression arithmtique (th.), 2, 292, 305
1844, transcendance des nombres de Liouville,
177
1844, une fonction borne, holomorphe sur C, est
constante, 244
1847, dnition de C comme R[X]/(X2 + 1), 20
1851, reprsentation conforme (nonc), 254
1852, th. de Fermat pour les nombres premiers
rguliers, 285
1853, th. de Kronecker-Weber (nonc), 381

E
L
O

E
L
O

1854, continuit uniforme des fonctions continues

sur un segment, 60
1854, intgrale de Riemann, 173
1858, quation fonctionnelle de (dm.), 285
1858, hypothse de Riemann, 2, 289
1858, th. de Cayley-Hamilton, 35
1867, structure des groupes abliens nis, 26
1870, dbut de la thorie des ensembles, 5
1872, coupures de Dedekind et R comme complt de Q, 88
1872, thormes de Sylow, 33
1873, non dnombrabilit de R, 10
1873, transcendance de e, 177
1875, fonctions continues drivables nulle part,
79, 242
1877, R et R2 ont le mme cardinal, 10
1882, transcendance de , 177
1885, densit des polynmes dans C ([0, 1]), 154
1886, dm. du th. de Kronecker-Weber, 381
1888, prsentation axiomatique des entiers, 87
1889, axiomes de Peano, 87
1894, compacit, 56
1896, th. des nombres premiers, 2, 304
1897, nombres p-adiques, 89
1897, orthonormalit des caractres, 128
1899, dcomposition dune reprsentation en somme
dirrductibles, 126
1900, conj. de Poincar sur la nitude du rang
dune courbe elliptique, 370
1900, problmes de Hilbert, 370, 388
1902, intgrale de Lebesgue, 173
1904, limites simples de fonctions continues, 157
1905, lemme de Schur, 126
1906, dbut de la topologie gnrale, 47
1906, dnition des espaces mtriques, 47
1906, naissance de 2 , 149
1907, compltude de L2 , 188
1907, isomorphisme entre L2 et 2 , 149
1910, espaces Lp , 191
1910, transforme de Fourier dans L2 , 227
1914, reprsentation conforme (dm.), 254
1916, conj. de Ramanujan-Petersson, 297
1917, multiplicativit de , 296

T
Y
L
PO

E
L
O

U
Q
I
N

N
H
EC

T
Y
L
PO

E
U
IQ

N
H
EC

E
U
IQ

REPRES CHRONOLOGIQUES

N
H
EC

1918, la boule unit nest compacte quen dimension nie, 77

1918, normes sur Q, 389
1919, ensembles de Besicovitch, problme de Kakeya, 176
1922, rang dune courbe elliptique (nitude), 370
1923, conj. dArtin, 383
1924, loi du logarithme itr, 320
1924, paradoxe de Banach-Tarski, 178
1926, fonctions L1 dont la srie de Fourier diverge
en tout point, 168
1927, th. de Banach-Steinhaus, 156
1927, th. de Hahn-Banach, 159
1929, th. de limage ouverte, 157
1933, nombre de points dune courbe elliptique
sur Fp , 371
1935, conj. de Hasse-Weil, 371
1944, dbut de la thorie des distributions, 191
1945, Vol(SLn (R)/SLn (Z)) = (2) (n), 321
1945, distributions : transforme de Fourier, 221
1948, dm. lmentaire du th. des nombres premiers, 304
1948, th. de Stone-Weierstrass, 153
1949, conj. de Weil, 297, 378
1952, primalit de 2521 1 et 22281 1, 18
1954, groupes de Chevalley, 115
1955, Q {p/q, | p/q|  q 2 } ni,
177
1956, GAGA, 53
1956, conj. de Taniyama-Weil, 375, 378
1958, dbut de la rvolution grothendickienne,
53, 297
1958, fonctions continues sur Zp , 96, 353
1959, rationnalit de la fonction zta, 378
1960, conj. de Birch et Swinnerton-Dyer, 3
1960, conj. de Sato-Tate, 297
1962, conj. de Bateman-Horn, 305
1964, fonction p-adique, 365
1964, fonctions loc. analytiques sur Zp , 360
1965, convergence p.p. de la srie de Fourier dune
fonction continue, 168
1966, mesurabilit de tout ensemble, 178
1966, pas de 2i dans Cp , 94
1967, programme de Langlands, 383
1970, solution (ngative) du 10-ime problme de
Hilbert, 370

E
L
O

T
Y
POL

E
L
O

469

1971, une caractrisation de 2 , 163

1973, conj. de Ramanujan-Petersson (dm.), 297
1973, fonctions C k sur Zp , 355
1973, hypothse de Riemann pour les varits sur
les corps nis, 297
1973, prdiction de lexistence du monstre, 116
1977, apparition du moonshine, 116
1977, conj. de Deligne, 2
1977, systme RSA, 8
1977, th. de Coates-Wiles, 373
1979, irrationalit de (3), 176
1979, th. de Waldspurger, 376
1981, contrexemple dEno, 149
1982, construction du monstre, 116
1982, nombres complexes p-adiques, 5, 95
1983, caractrisation des nombres congruents, 368
1983, th. de Gross-Zagier, 373
1984, conj. de Serre, 375
1984, zros de la fonction p-adique, 366
1985, conj. de Beilinson, 2
1985, conjecture abc, 43
1985, rfutation de la conj. de Mertens, 320
1988, dm. de la conj. de Serre, 375
1989, conj. de Bloch-Kato, 2
1989, th. de Kolyvagin, 373
1992, explication du moonshine, 116
1994, dm. du th. de Fermat, 116, 372, 378
1996, une caractrisation de 2 , 161
1998, innit de nombres premiers de la forme
n2 + m4 , 306
1999, conj. de Taniyama-Weil (dm.), 372, 378
1999, correspondance de Langlands locale, 407
1999, correspondance de Langlands pour les corps
de fonctions, 407
2000, irrationalit dune innit de (2n+1), 176
2004, progressions arithmtiques dans les nombres
premiers, 305
2005, petits carts entre nombres premiers, 306
2006, courbes elliptiques de rang  28, 373
2008, dm. de la conj. de Serre, 385
2008, primalit de 243112609 1, 303
2009, conj. de Sato-Tate (dm), 297

T
Y
L
PO

E
L
O

E
U
Q
I

N
H
EC

T
Y
L
PO

E
U
IQ

N
H
EC

E
U
IQ

E
L
O

Y
L
O
P

E
L
O

H
C
TE

T
Y
L
PO

E
L
O

U
Q
I
N

N
H
EC

T
Y
L
PO

E
U
IQ

N
H
EC

E
U
IQ

Dans la mme collection

BIOLOGIE

H
C
TE

U
Q
I
N

Bioinformatique. Gnomique et post-gnomique - F. Dardel et F. Kps - 250 pages - ISBN 2-7302-0927-1

CHIMIE

E
L
O

Y
L
O
P

Chimie molculaire des lments de transition - F. Mathey et A. Sevin - 300 pages - ISBN 2-7302-0714-7

Les orbitales molculaires dans les complexes - avec Exercices et Corrigs - Y. Jean
350 pages - ISBN 2-7302-1024-5
Chimie molculaire, sol-gel et nanomatriaux - R. Corriu et Nguyen T.-A.
208 pages - ISBN 978-2-7302-1413-1
Introduction la chimie quantique - P. Hiberty et Nguyen T.-A. - 320 pages - ISBN 978-2-7302-1485-8

INFORMATIQUE

Introduction la thorie des langages de programmation - G. Dowek, J.-J. Lvy

112 pages - ISBN 978-2-7302-1333-2

N
H
EC

E
U
IQ

Les principes des langages de programmation - G. Dowek - 176 pages - ISBN 978-2-7302-1526-8

CONOMIE

T
Y
L
PO

Introduction la microconomie - N. Curien

110 pages - ISBN 2-7302-0722-8 - ISBN 978-2-7302-0722-5

E
L
O

Introduction lanalyse macroconomique - P.-A. Muet - 208 pages - ISBN 2-7302-1140-3

conomie de lentreprise - J.-P. Ponssard, D. Sevy, H. Tanguy (2e dition)

316 pages - ISBN 978-2-7302-1244-1

MATHMATIQUES

Cours danalyse - J.-M. Bony - 272 pages - ISBN 2-7302-0775-1

Calcul diffrentiel et intgral - F. Laudenbach - 220 pages - ISBN 2-7302-0724-4
Mthodes mathmatiques pour les sciences physiques - J.-M. Bony - 217 pages - ISBN 2-7302-0723-6
Les thormes de Noether - Y. Kosmann-Schwarzbach, avec la collaboration de L. Meersseman
180 pages - ISBN 2-7302-1138-1 (2e dition)

N
H
EC

E
U
IQ

Groupes et symtries. Groupes finis, groupes et algbres de Lie, reprsentations - Y. Kosmann-Schwarzbach

198 pages - ISBN 2-7302-1257-4 (2e dition)

T
Y
L
PO

Algbre corporelle - A. Chambert-Loir - 200 pages - ISBN 2-7302-1217-5

Calcul variationnel - J.-P. Bourguignon - 348 pages - ISBN 978-2-7302-1415-5

E
L
O

Aspects des systmes dynamiques - XUPS1994-1996 - N. Berline et C. Sabbah (Comit ditorial)

238 pages - ISBN 978-2-7302-1560-2

Aspects de la thorie du contrle - XUPS1999 - N. Berline et C. Sabbah (Comit ditorial)

208 pages - ISBN 978-2-7302-1530-5

H
C
TE

U
Q
I
N

Groupes finis - XUPS 2000 - N. Berline et C. Sabbah (Comit ditorial)

104 pages - ISBN 2-7302-0751-5

Y
L
O
P

Pavages - XUPS 2001 - N. Berline et C. Sabbah (Comit ditorial) - 112 pages - ISBN 2-7302-0855-0

E
L
O

La fonction zta - XUPS 2002 - N. Berline et C. Sabbah (Comit ditorial)

206 pages - ISBN 2-7302-1011-3

Distributions - XUPS 2003 - Dans le sillage de Laurent Schwartz - N. Berline et C. Sabbah

(Comit ditorial) - 106 pages - ISBN 2-7302-1095-4
Graphes- XUPS 2004 - N. Berline et C. Sabbah (Comit ditorial) - 84 pages - ISBN 2-7302-1182-9
Thorie algorithmique des nombres et quations diophantiennes - XUPS2005 - N. Berline, A. Plagne
et C. Sabbah (Comit ditorial) - 200 pages - ISBN 2-7302-1293-0

E
U
IQ

Thorie des jeux. Introduction la thorie des jeux rpts - XUPS 2006 - N. Berline, A. Plagne
et C. Sabbah (Comit ditorial) - 152 pages - ISBN 978-2-7302-1366-0

N
H
EC

Sur la dynamique des groupes de matrices et applications arithmtiques - XUPS2007 N. Berline, A. Plagne et C. Sabbah (Comit ditorial) - 160 pages - ISBN 978-2-7302-1418-6

T
Y
L
PO

Gomtrie tropicale - XUPS2008 - P. Harinck, A. Plagne et C. Sabbah (Comit ditorial)

128 pages - ISBN 978-2-7302-1529-9

E
L
O

Sminaires, quations aux drives partielles - Annes 1971 1992

Sminaires, quations aux drives partielles - Annes 1993 2001
Sminaires, quations aux drives partielles - Anne 2000-2001 - 400 pages - ISBN 2-7302-0834-8
Sminaires, quations aux drives partielles - Anne 2001-2002 - 364 pages - ISBN 2-7302-0930-1
Sminaires, quations aux drives partielles - Anne 2002-2003 - 390 pages - ISBN 2-7302-1041-5
Sminaires, quations aux drives partielles - Anne 2003-2004 - 404 pages - ISBN 2-7302-1183-7
Sminaires, quations aux drives partielles - Anne 2004-2005 - 404 pages - ISBN 2-7302-1221-3
Sminaires, quations aux drives partielles - Anne 2005-2006 - 366 pages - ISBN 2-7302-1335-X
Sminaires, quations aux drives partielles - Anne 2006-2007 - 444 pages - ISBN 978-2-7302-1414-8

MATHMATIQUES APPLIQUES

Une exploration des signaux en ondelettes - S. Mallat - 654 pages - ISBN 2-7302-0733-3
Promenade alatoire - M. Benam et N. El Karoui - 316 pages - ISBN 2-7302-1168-3

N
H
EC

Analyse numrique et optimisation - G. Allaire - 480 pages - ISBN 2-7302-1255-8

E
U
IQ

Systmes hyperboliques de lois de conservation. Application la dynamique des gaz - F. Dubois, B. Desprs
208 pages - ISBN 2-7302-1253-1

T
Y
L
PO

Commande et optimisation de systmes dynamiques - F. Bonnans et P. Rouchon

286 pages - ISBN 2-7302-1251-5

E
L
O

MCANIQUE

H
C
TE

U
Q
I
N

Dynamique de latmosphre et de locan - P. Bougeault et R. Sadourny - 312 pages - ISBN 2-7302-0825-9

Introduction aux coulements compressibles et aux fluides htrognes - A. Sellier
175 pages - ISBN 2-7302-0764-5

E
L
O

Y
L
O
P

Mcanique des milieux continus - J. Salenon

Tome 1 - Concepts gnraux - 376 pages - ISBN 978-2-7302-1245-8 (avec CD-Rom)
Tome 2 - Thermolasticit - 344 pages - ISBN 978-2-7302-1419-3 (avec CD-Rom)
Tome 3 - Milieux curvilignes - 154 pages - ISBN 2-7302-0962-X

de llasto-plasticit au Calcul la rupture - J. Salenon

(accompagn dun CD-Rom ralis par J. Salenon) - 266 pages - ISBN 978-2-7302-0915-1
Viscolasticit pour le calcul des structures - J. Salenon - 160 pages - ISBN 978-2-7302-1557-2
Fluides et Solides - E. de Langre - 130 pages - ISBN 978-2-7302-0833-8
Ondes acoustiques - A. Chaigne - 224 pages - ISBN 2-7302-0840-2

N
H
EC

E
U
IQ

Stabilit des matriaux et des structures - C. Stolz - 206 pages - ISBN 2-7302-1076-8

T
Y
L
PO

Instabilits, Chaos et Turbulence - P. Manneville - 360 pages - ISBN 2-7302-0913-1

Vibrations des structures couples avec le vent - P. Hmon - 144 pages - ISBN 2-7302-1332-5

E
L
O

Analyse des solides dformables par la mthode des lments finis - M. Bonnet et A. Frangi
316 pages - 2-7302-1349-X

Dynamique et vibrations - E. de Langre et A. Chaigne - 152 pages - ISBN 978-2-7302-1521-3

Modlisation et calcul des milieux continus - P. Le Tallec - 560 pages - ISBN 978-2-7302-1494-0

PHYSIQUE

nergie nuclaire - J.-L. Basdevant, J. Rich et M. Spiro - 340 pages - ISBN 2-7302-0901-8
Mcanique quantique - J.-L. Basdevant et J. Dalibard
(accompagn dun CD-Rom de M. Joffre) 520 pages - ISBN 978-2-7302-0914-4
Problmes quantiques - J.-L. Basdevant et J. Dalibard - 214 pages - ISBN 2-7302-1117-9

N
H
EC

E
U
IQ

Principes de la cosmologie - J. Rich, adaptation franaise J.-L. Basdevant - 400 pages - ISBN 2-7302-0925-5

T
Y
L
PO

Introduction la relativit - A. Roug - 188 pages - ISBN 978-2-7302-0940-3

Relativit restreinte. La contribution dHenri Poincar - A. Roug - 288 pages - ISBN 978-2-7302-1525-1

E
L
O

Introduction la physique subatomique - A. Roug - 448 pages - ISBN 2-7302-1231-0

Physique statistique et illustrations en physique du solide. - C. Hermann - 292 pages - ISBN 2-7302-1022-9

H
C
TE

U
Q
I
N

Bases physiques de la plasticit des solides - J.-C. Toldano - 264 pages - ISBN 978-2-7302-1378-3
Physique des lectrons dans les solides. Structure de bandes, Supraconductivit et Magntisme. H. Alloul Tome 1 - 360 pages - ISBN 978-2-7302-1411-7

E
L
O

Y
L
O
P

Physique des lectrons dans les solides. Recueil dexercices et de problmes. H. Alloul
Tome 2 - 272 pages - ISBN 978-2-7302-1412-4

E
L
O

T
Y
L
PO

E
L
O

N
H
EC

T
Y
L
PO

E
U
IQ

N
H
EC

www.editions.polytechnique.fr

E
U
IQ

E
L
O

Y
L
O
P

E
L
O

H
C
TE

T
Y
L
PO

E
L
O

U
Q
I
N

N
H
EC

T
Y
L
PO

E
U
IQ

N
H
EC

Achev dimprimer en octobre 2009. Dpt lgal : 4e trimestre 2009

ISBN 978 - 2 - 7302 - 1563 - 3. Imprim en France

E
U
IQ

Pierre
Colmez

O
P
LE
O
C

C
E
T
LY

IQ
N
H

Pierre Colmez

UE

Pierre Colmez

Mathmatiques

Pierre Colmez est professeur lcole Polytechnique, en dtachement du CNRS. Cest un arithmticien dont la majorit des travaux concerne le monde p-adique.

lments danalyse
et dalgbre

Cet ouvrage est susceptible dintresser le bon lve de classe prparatoire, ltudiant de L3,
ainsi que toute personne ayant atteint ce niveau et cherchant saisir le fonctionnement interne
des mathmatiques.

(et de thorie des nombres)

E
U
IQ

E
L
O

T
Y
L
PO

N
H
EC

Le cours est complt par un chapitre Vocabulaire Mathmatique (avec une soixantaine
dexercices corrigs) qui regroupe et prcise des notions de base, vues en L1 et L2 ou pendant
les classes prparatoires, et par 9 problmes corrigs couvrant lintgralit du programme.
La principale originalit de louvrage vient de laccent mis sur laspect culturel des mathmatiques. De nombreuses notes de bas de page proposent de petites excursions en dehors de lautoroute des mathmatiques utiles. Six appendices prsentent des extraits de la littrature classique
et moderne, accessibles avec le contenu du cours, qui illustrent lunit des mathmatiques en
montrant comment les thories de base se combinent pour la rsolution de problmes naturels
profonds. Lun dentre eux est consacr au thorme des nombres premiers ; un autre est une
introduction au programme de Langlands, qui occupe les arithmticiens depuis plus de 40 ans,
et dont une des retombes les plus spectaculaires est la dmonstration du thorme de Fermat.

H
C
TE

U
Q
I
N

Illustration de couverture :
Messieurs Cauchy, Poisson, Fourrier et Lagrange accompagns de
leurs formules et dune (petite) partie de leurs descendances.

ISBN 978-2-7302-1563-3

E
L
O

Y
L
PO

Diffusion

lments danalyse et dalgbre

Cet ouvrage est issu dun cours en premire anne lcole Polytechnique. Il offre une introduction trois des thories la racine des mathmatiques et recouvre une bonne partie du cursus
de L3 lUniversit.
Les thories abordes sont :
- la thorie des reprsentations des groupes finis, qui est la fois une extension
naturelle de lalgbre linaire et une premire approche de la transforme de Fourier,
- lanalyse fonctionnelle classique (espaces de Banach et Hilbert, intgrale de Lebesgue,
transforme de Fourier),
- la thorie des fonctions holomorphes.

LES DITIONS DE LCOLE POLYTECHNIQUE

9 782730 215633