Sixime partie

Problmes danalyse
349
18
Une construction des fonctions
logarithmes
18.1 nonc
Le but du problme est de montrer, avec un minimum de moyens, le rsultat suivant :
Thorme 18.1 Pour tout rel a > 1, il existe une unique fonction f : ]0, +[ R telle que :
f est strictement croissante ;
f (a) = 1 ;
pour tous x, y dans ]0, +[ , f (xy) = f (x) + f (y) .
Un rsultat analogue pour 0 < a < 1 sen dduira.
Les fonctions puissances rationnelles x x
r
, o r Q et x ]0, +[ sont supposes
construites.
1. Montrer que si f est une fonction vriant les conditions du thorme 18.1, alors :
(a) f (1) = 0 ;
(b) pour tout x dans ]0, +[ et tout n dans N, f (x
n
) = nf (x) ;
(c) pour tout x dans ]0, +[ et tout r dans Q, f (x
r
) = rf (x) ;
(d) pour tout r dans Q, f (a
r
) = r.
2. Montrer que pour tout x dans ]0, +[ , il existe un entier m Z tel que a
m
x < a
m+1
.
3. Pour tout x dans ]0, +[ , on dsigne par E
x
la partie de Q dnie par :
E
x
= r Q [ a
r
x .
(a) Montrer que E
x
nest pas vide.
(b) Montrer que E
x
est major.
4. On dsigne par g la fonction dnie par :
x ]0, +[ , g (x) = sup (E
x
) (18.1)
et f est une fonction qui vrie les conditions du thorme 18.1, en supposant quune
telle fonction existe.
(a) Justier la dnition de la fonction g.
351
352 Une construction des fonctions logarithmes
(b) Montrer que :
x ]0, +[ , g (x) f (x) .
(c) Soit x un rel strictement positif.
i. Montrer que pour tout rel > 0, il existe un rationnel r tel que :
f (x) < r < g (x) + .
ii. En dduire que f (x) = g (x) .
On a donc montr que si f est une fonction qui vrie les conditions du thorme 18.1,
cest ncessairement la fonction g.
5. Il nous reste montrer que, rciproquement la fonction g dnie par (18.1) convient bien.
(a) Montrer que g (a) = 1.
(b) Montrer que si r, s sont deux nombres rationnels tels que a
r
x a
s
, alors r
g (x) s.
(c) Soient x, y deux rels strictement positifs et n un entier naturel non nul. On dsigne
par p et q deux entiers relatifs tels que a
p
x
n
< a
p+1
et a
q
y
n
< a
q+1
(question
2).
i. Montrer que :
[g (xy) g (x) g (y)[
2
n
.
ii. En dduire que g (xy) = g (x) + g (y) .
(d)
i. Montrer que g (x) > 0 pour tout rel x > 1.
ii. En dduire que la fonction g est strictement croissante.
La fonction g ainsi dnie, pour a > 1, est appele logarithme de base a et note log
a
.
On a donc :
x ]0, +[ , log
a
(x) = sup r Q [ a
r
x
et cest lunique fonction vriant les conditions du thorme 18.1.
6. Montrer que pour tout rel a ]0, 1[ , il existe une unique fonction f : ]0, +[ R telle
que :
f est strictement dcroissante ;
f (a) = 1 ;
pour tous x, y dans ]0, +[ , f (xy) = f (x) + f (y) .
On note encore log
a
cette fonction.
7. Montrer que, pour tout rel a > 0, la fonction log
a
est continue sur ]0, +[ .
8. Montrer que, pour tout rel a > 0, la fonction log
a
ralise un homomorphisme de ]0, +[
sur R.
9. Montrer que, pour tout rel a > 0, la fonction log
a
est drivable sur ]0, +[ de drive
log

a
(x) =

x
o est une constante relle non nulle.
Solution 353
18.2 Solution
1.
(a) De f (1) = f (1 1) = 2f (1) , on dduit que f (1) = 0.
(b) On procde par rcurrence sur n 0.
Pour n = 0, on a f (x
0
) = f (1) = 0 f (x) et pour n = 1, cest une trivialit.
En supposant le rsultat acquis au rang n 1, on a pour x > 0 :
f
_
x
n+1
_
= f (x
n
x) = f (x
n
) + f (x) = nf (x) + f (x) = (n + 1) f (x) .
(c) Pour x > 0 et n N

, on a :
0 = f (1) = f
_
x
n
x
n
_
= f (x
n
) + f
_
x
n
_
,
de sorte que f (x
n
) = f (x
n
) = nf (x) . On a donc f (x
p
) = pf (x) pour tout
p Z.
En crivant, pour q N

, que f (x) = f
__
x
1
q
_
q
_
= qf
_
x
1
q
_
, on dduit que
f
_
x
1
q
_
=
1
q
f (x) et pour tout r =
p
q
Q avec (p, q) Z N

, on a :
f (x
r
) = f
__
x
1
q
_
p
_
= pf
_
x
1
q
_
=
p
q
f (x) = rf (x) .
(d) En prenant x = a dans ce qui prcde, on a f (a
r
) = rf (a) = r.
2. Si x 1, comme lim
n+
a
n
= + (on a a > 1), on peut trouver des entiers naturels
n tels que x < a
n
et en dsignant par m + 1 1 le plus petit de ces entiers, on a
a
m
x < a
m+1
.
Si 0 < x < 1, comme lim
n+
1
a
n
= 0, on peut trouver des entiers naturels n tels que
1
a
n
x et en dsignant par p + 1 1 le plus petit de ces entiers, on a
1
a
p+1
x <
1
a
p
,
soit a
m
x < a
m+1
avec m = p 1.
3.
(a) Si m Z est tel que a
m
x < a
m+1
, alors m E
x
.
(b) Soit m Z tel que a
m
x < a
m+1
. Pour tout r =
p
q
E
x
avec (p, q) Z N

, on
a a
p
x
q
< a
q(m+1)
et 0 < a
pq(m+1)
< 1, ce qui impose p q (m + 1) < 1 puisque
a > 1. On a donc r =
p
q
< m+ 1 pour tout r E
x
et m+ 1 est un majorant de E
x
.
4.
(a) Lensemble E
x
est une partie non vide et majore de R, il admet donc une borne
suprieure g (x) R.
(b) Il sagit de montrer que f (x) est un majorant de E
x
.
Pour tout r E
x
, on a a
r
x et avec la croissance de f, on dduit que f (a
r
) f (x)
qui, compte tenu de f (a
r
) = r, donne r f (x) . En consquence f (x) est un
majorant de E
x
et f (x) g (x) par dnition de la borne suprieure.
(c)
354 Une construction des fonctions logarithmes
i. En utilisant la densit de Q dans R, on dduit que pour tout rel > 0, il existe
un rationnel r tel que g (x) < r < g (x)+ et ncessairement r / E
x
, cest--dire
que a
r
> x qui donne r > f (x) compte tenu de la stricte croissance de f et de
f (a
r
) = r.
On a donc bien f (x) < r < g (x) + .
ii. On vient de voir que pour tout rel > 0, on a f (x) < g (x) +, ce qui entrane
f (x) g (x) en faisant tendre vers 0. On a donc f (x) = g (x) .
5.
(a) On a :
E
a
= r Q [ a
r
a
a
=
_
r Q [ a
r1
1
_
avec a > 1, ce qui quivaut E
a
= ], 1] Q et alors g (a) = sup (E
a
) = 1.
(b) Si a
r
x a
s
, alors r E
x
et r g (x) . De plus, pour tout t E
x
, on a a
t
x a
s
,
donc a
ts
1 et t s 0 puisque a > 1, cest--dire que s majore E
x
et g (x) s
par dnition de la borne suprieure.
(c)
i. En utilisant le rsultat de la question prcdentes, on dduit des ingalits a
p
n

x < a
p+1
n
, a
q
n
y < a
q+1
n
et a
p+q
n
xy < a
p+q+2
n
que
p
n
g (x)
p + 1
n
,
q
n
g (x)
q + 1
n
et
p + q
n
g (xy)
p + q + 2
n
, ce qui entrane :

2
n
g (xy) g (x) g (y)
2
n
.
ii. Comme n N

est quelconque dans les ingalits prcdentes, en le faisant

tendre vers linni, on dduit que g (xy) = g (x) + g (y) .
(d)
i. Avec lim
n+
a
1
n
= 1 (voir lexercice 3.36 pour une dmonstration qui nutilise pas
la fonction ln) et x > 1, on dduit quil existe un entier n 1 tel que a
1
n
< x.
Le nombre rationnel
1
n
est donc dans E
x
et g (x)
1
n
> 0.
ii. Pour 0 < x < y, on a
y
x
> 1, donc g
_
y
x
_
> 0 et :
g (y) = g
_
x
y
x
_
= g (x) + g
_
y
x
_
> g (x) .
6. Si f est une fonction qui vrie ces conditions on a alors f (1) = 0 (mme dmonstration
quen 1a). De 0 = f (1) = f
_
a
1
a
_
= f (a)+f
_
1
a
_
, on dduit que f
_
1
a
_
= f (a) = 1
et la fonction f vrie les conditions du thorme 18.1 avec f
_
1
a
_
= 1, ce qui quivaut
dire que f = log1
a
. Rciproquement la fonction log1
a
convient. Lunique solution de
ce problme est donc log
a
= log1
a
.
Solution 355
7. Avec log
a
(x) log
a
(y) = log
a
_
x
y
_
pour x > 0 et y > 0, il sut de montrer la continuit
en 1. En eet si (x
n
)
nN
est une suite de rels strictement positifs qui converge vers x,
alors la suite
_
x
n
x
_
nN
converge vers 1 et la continuit de log
a
en 1 nous donne :
lim
n+
(log
a
(x
n
) log
a
(x)) = lim
n+
log
a
_
x
n
x
_
= log
a
(1) = 0.
Avec log
a
= log1
a
, il nous sut de montrer ce rsultat pour a > 1.
Soit (x
n
)
nN
est une suite de rels strictement positifs qui converge vers 1. Pour tout
> 0, il existe un entier n
0
tel que :
n n
0
, 1 < x
n
< 1 + .
Par ailleurs, comme lim
m+
a
1
m
= 1 avec a
1
m
> 1 pour a > 1, il existe un entier m
0
tel
que :
m m
0
, 1 < a
1
m
< 1 + , 1 < a

1
m
< 1.
356 Une construction des fonctions logarithmes
19
Une construction des fonctions
exponentielles
19.1 nonc
Pour tout rel a > 0, la fonction r a
r
=
q

a
p
, o r =
p
q
Q avec (p, q) Z N

,
est suppose construite. Cette fonction ralise un morphisme du groupe additif (Q, +) dans le
groupe multiplicatif (R
+,
, ) et elle constante gale 1 pour a = 1, strictement croissante pour
a > 1 et strictement dcroissante pour a < 1.
I Rsultats prliminaires
Les questions qui suivent doivent tre rsolues sans utiliser les fonctions ln ou exp .
Pour cette partie a dsigne un rel strictement positif.
1. Montrer que lim
n+
(
n

a) = 1.
2. Soit (r
n
)
nN
une suite de nombres rationnels convergente vers 0. Montrer que lim
n+
(a
r
n
) =
1.
3. Pour tout entier n 1, on dnit la fonction u
n
par :
x R
+,
, u
n
(x) = n
_
n

x 1
_
(a) Montrer que la fonction v
n
= u
n
u
n+1
est strictement dcroissante sur ]0, 1[ ,
strictement croissante sur ]1, [ avec v
n
(1) = 0.
(b) En dduire que, pour tout rel x R
+,
1 , la suite (u
n
(x))
nN

est strictement
dcroissante.
(c) Montrer que la suite (n(
n

a 1))
n1
converge vers un rel (a) avec (a) = 0 pour
a = 1, (a) > 0 pour a > 1 et (a) < 0 pour 0 < a < 1.
4. Soit f une fonction dnie sur R, valeurs relles et monotone. Montrer que f est continue
en 0 si, et seulement si, lim
n+
f
_
1
n
_
= f (0) et lim
n+
f
_

1
n
_
= f (0) .
II Lquation fonctionnelle f (x + y) = f (x) f (y) sur R
On se donne une fonction f dnie sur R, valeurs relles et telle que :
(x, y) R
2
, f (x + y) = f (x) f (y) . (19.1)
On peut remarquer que la fonction identiquement nulle vrie bien cette quation fonctionnelle.
357
358 Une construction des fonctions exponentielles
1. Montrer que si la fonction f sannule en un point , cest alors la fonction identiquement
nulle.
On suppose partir de cette question que f nest pas la fonction nulle.
2. Calculer f (0) .
3. Montrer que f est valeurs strictement positives.
4. Montrer que pour tout rel x, on a f (x) =
1
f (x)
.
On note a = f (1) .
5. Montrer que, pour tout rel x et pour tout entier naturel n, on a f (nx) = (f (x))
n
.
6. En dduire que pour tout entier naturel non nul n, on a f
_
1
n
_
=
n

a, puis que pour

tout nombre rationnel r, on a f (r) = a
r
.
7. Montrer que f est croissante [resp. strictement croissante] si, et seulement si, f (x)
1 [resp. f (x) > 1] pour tout rel x > 0. De manire analogue, on vrie que f est
dcroissante [resp. strictement dcroissante] si, et seulement si, f (x) 1 [resp. f (x) < 1]
pour tout rel x > 0.
8. Que peut-on dire si a = 1 et f (x) 1 [resp. f (x) 1] pour tout rel x > 0 ?
9. Donner un exemple de fonction f vriant lquation fonctionnelle f (x + y) = f (x) f (y)
telle que a = f (1) > 1, la restriction de f Q est strictement croissante et la restriction
de f R Q est constante gale 1.
10. Montrer que lim
n+
_
f
_
1
n
__
= 1 et lim
n+
_
f
_

1
n
__
= 1.
11. On suppose que f est monotone.
(a) Montrer que f est continue en 0.
(b) En dduire que f est continue sur R.
(c) En dduire que f est drivable sur R avec f

= (a) f, o la constante relle est celle

dnie en I.3c.
12. On suppose que f est drivable sur R. Montrer que f est alors monotone. Les conditions :
f monotone, f continue en 0, f continue sur R et f drivable sur R sont donc quivalentes.
13. Montrer que, pour tout rel a > 0, il existe au plus une fonction monotone f vriant
lquation fonctionnelle f (x + y) = f (x) f (y) et telle que f (1) = a.
14. On suppose toujours que f est monotone.
Montrer que si a > 1 [resp. 0 < a < 1] alors f est strictement croissante avec lim
x
f (x) =
0 et lim
x+
f (x) = +[resp. strictement dcroissante avec lim
x
f (x) = +et lim
x+
f (x) =
0].
En dduire que f ralise un c
1
-diomorphisme de R sur R
+,
, sa fonction rciproque f
1
ralisant un c
1
-diomorphisme de R sur R
+,
avec les proprits suivantes :
_

_
f
1
(1) = 0
f
1
(a) = 1
x R
+,
, (f
1
)

(x) =
1
(a)
1
x
(x, y) (R
+,
)
2
, f
1
(xy) = f
1
(x) + f
1
(y)
Solution 359
III Les fonctions exponentielles de base a
On se donne un rel a > 0 et on va construire une fonction monotone f qui vrie lquation
fonctionnelle f (x + y) = f (x) f (y) sur R avec f (1) = a. Si a = 1, on sait que f = 1 est la
seule solution. On suppose donc a ,= 1.
1. Montrer que pour toute suite convergente (r
n
)
nN
de nombres rationnels, la suite relle
(a
r
n
)
nN
est convergente.
2. Montrer que si (r
n
)
nN
et (s
n
)
nN
sont deux suites de nombres rationnels convergentes
vers le mme rel x, alors les suites relles (a
r
n
)
nN
et (a
s
n
)
nN
convergent vers le mme
rels.
3. On peut donc dnir la fonction f
a
sur R par :
f
a
(x) = lim
n+
a
r
n
o (r
n
)
nN
est une suite de nombres rationnels qui converge vers x. Montrer que cette
fonction vrie bien lquation fonctionnelle f (x + y) = f (x) f (y) sur R avec f (1) = a.
On note alors f
a
(x) = a
x
et on dit que la fonction f
a
est la fonction exponentielle de base a.
Pour a ,= 1, sa fonction rciproque est la fonction logarithme de base a et elle est note log
a
.
Elle est dnie par :
_
_
_
log
a
(1) = 0
x R
+,
, (log
a
)

(x) =
1
(a)
1
x
ce qui donne :
x R
+,
, log
a
(x) =
1
(a)
_
x
1
dt
t
.
Le logarithme nprien est la fonction ln dnie par :
x R
+,
, ln (x) =
_
x
1
dt
t
.
On a alors :
x R
+,
, log
a
(x) =
ln (x)
(a)
et la condition log
a
(a) = 1 donne (a) = ln (a) .
Le nombre e est dni par ln (e) = 1 (ou (e) = 1), de sorte que la fonction e
x
est dnie
par e
0
= 1 et (e
x
)

= e
x
. On retrouve bien les dnitions habituelles.
19.2 Solution
I Rsultats prliminaires
1. Avec
n

1 = 1 et
n
_
1
a
=
1
n

a
, il sut de montrer le rsultat pour a > 1. On suppose donc
que a > 1.
En posant u
n
=
n

a1, on a u
n
> 0 pour tout n 1 et en utilisant la formule du binme
de Newton, on a :
a = (1 + u
n
)
n
> 1 + nu
n
,
360 Une construction des fonctions exponentielles
et :
0 < u
n
<
a 1
n
et en consquence lim
n+
(u
n
) = 0 encore quivalent lim
n+
(
n

a) = 1.
On peut aussi procder comme suit. La suite (
n

a)
nN

est strictement dcroissante

(
n+1

a <
n

a quivaut a < a
n+1
n
= a
n

a encore quivalent
n

a > 1) et minore
par 1, elle converge donc vers un rel 1. Si > 1, pour ]1, [ il existe un entier
n
0
tel que
n

a > pour tout n n

0
, ce qui entrane a >
n
pour tout n n
0
qui est
incompatible avec lim
n+
a
n
= +.
2. Avec 1
r
n
= 1 et
_
1
a
_
r
n
=
1
a
r
n
, il sut de montrer le rsultat pour a > 1. On suppose
donc que a > 1.
Comme lim
n+
(r
n
) = 0, pour tout entier k 1, il existe un entier n
k
tel que :
n n
k
,
1
k
< r
n
<
1
k
et avec la stricte croissance de la fonction r a
r
sur Q, on dduit que :
n n
k
, a

1
k
=
1
k

a
< a
r
n
< a
1
k
=
k

a
soit :
n n
k
,
_
1
1
k

a
_
< a
r
n
1 <
k

a 1
et avec lim
k+
(
k

a) = 1, on dduit que pour tout rel > 0, il existe un entier k

0
1 tel
que :
k k
0
, 0 < 1
1
k

a
< et 0 <
k

a 1 < ,
ce qui donne :
n n
k
0
, <
_
1
1
k
0

a
_
< a
r
n
1 <
k
0

a 1 <
et signie que lim
n+
(a
r
n
1) = 0. On a donc lim
n+
(a
r
n
) = 1.
3.
(a) La fonction v
n
est indniment drivable sur R
+,
avec, pour tout rel x > 0 :
v

n
(x) = x
1
n
1
x
1
n+1
1
= x

n1
n
x

n
n+1
= x

n
n+1
_
x
1
n(n+1)
1
_
.
La fonction v
n
est donc strictement dcroissante sur ]0, 1[ , strictement croissante sur
]1, [ avec v
n
(1) = 0.
(b) Il en rsulte que v
n
(x) > 0 pour tout x R
+,
1 , ce qui quivaut u
n
(x) <
u
n+1
(x) et la suite (u
n
(x))
nN

est strictement dcroissante. Pour x = 1, la suite

(u
n
(1))
nN

est constante gale 0.

Solution 361
(c) Avec u
n
(1) = 0, u
n
_
1
a
_
= n
_
1
n

a
1
_
=
n(
n

a 1)
n

a
et lim
n+
(
n

a) = 1, il sut
de montrer le rsultat pour a > 1. On suppose donc que a > 1.
Dans ce cas la suite (u
n
(a))
nN

est strictement dcroissante minore par 0, elle est

convergente vers un rel (a) 0. En fait, avec :
a 1 =
_
n

a
_
n
1 =
_
n

a 1
_
_
_
n

a
_
n1
+ +
n

a + 1
_
et (
n

a)
k
< a pour a > 1, n 2 et 0 k n 1 (cest quivalent a
k
< a
n
ou
a
k
_
a
nk
1
_
> 0), on dduit que a 1 < n(
n

a 1) a et u
n
(a) >
a 1
a
qui donne
(a)
a 1
a
> 0.
Pour 0 < a =
1
b
< 1 avec b > 1, on a :
u
n
(a) = u
n
_
1
b
_
=
u
n
(b)
n

n+
= (b) < 0.
4. Supposons f croissante.
Si f est continue en 0 (et non ncessairement monotone), alors lim
n+
f (x
n
) = f (0)
pour toute suite (x
n
)
nN
convergente vers 0. En particulier, lim
n+
f
_
1
n
_
= f (0) et
lim
n+
f
_

1
n
_
= f (0) .
Rciproquement, si lim
n+
f
_
1
n
_
= f (0) et lim
n+
f
_

1
n
_
= f (0) , alors pour tout rel
> 0, il existe un entier n
0
1 tel que :
n n
0
, < f
_

1
n
_
f (0) et f
_
1
n
_
f (0) < .
Avec la croissance de f, on dduit que pour tout x dans
_

1
n
0
,
1
n
0
_
, on a :
< f
_

1
n
0
_
f (0) f (x) f (0) f
_
1
n
0
_
f (0) <
soit :
_
[x[ < =
1
n
0
_
([f (x) f (0)[ < ) .
La fonction f est donc continue en 0.
II Lquation fonctionnelle f (x + y) = f (x) f (y) sur R
1. Si f () = 0, on a alors pour tout rel x :
f (x) = f (x + ) = f (x ) f () = 0
cest--dire que f = 0.
2. On a f (0) = f (0 + 0) = f (0)
2
avec f (0) non nul puisque f ,= 0, ce qui quivaut
f (0) = 1.
362 Une construction des fonctions exponentielles
3. Pour tout rel x, on a f (x) ,= 0 et :
f (x) = f
_
x
2
+
x
2
_
= f
_
x
2
_
2
> 0.
4. Pour tout rel x, on a :
1 = f (0) = f (x + (x)) = f (x) f (x)
ce qui entrane f (x) =
1
f (x)
.
5. On procde par rcurrence sur n 0. Pour n = 0, on a f (0) = 1 = (f (x))
0
et pour
n = 1, le rsultat est trivial. En supposant que f (nx) = (f (x))
n
pour n 1, on a
f ((n + 1) x) = f (nx) f (x) = (f (x))
n
f (x) = (f (x))
n+1
.
6. Avec a = f (1) = f
_
n
1
n
_
=
_
f
_
1
n
__
n
et f
_
1
n
_
> 0 pour n N

, on dduit que
f
_
1
n
_
=
n

a = a
1
n
.
Si r =
p
q
est un nombre rationnel positif avec (p, q) N N

, on a alors :
f (r) = f
_
p
1
q
__
f
_
1
q
__
p
=
_
a
1
q
_
p
= a
p
q
= a
r
.
Si r = s est un nombre rationnel ngatif, on a alors :
f (r) = f (s) =
1
f (s)
=
1
a
s
= a
s
= a
r
.
Le rsultat est donc valable pour tout nombre rationnel.
7. Supposons que f (x) 1 pour tout rel x > 0. Pour x y, on a :
f (x)
f (y)
= f (x) f (y) = f (x y) 1
donc f (x) f (y) et f est croissante. Rciproquement si f est croissante alors f (x)
f (0) = 1 pour tout x > 0. Le cas des ingalits strictes se traite de manire analogue.
8. Si a = f (1) = 1 et f (x) 1 pour tout rel x > 0, alors f est constante gale 1. En
eet, pour tout entier relatif n, on a f (n) = a
n
= 1 et pour tout rel x de partie entire
n, on a n x < n + 1 et 1 = f (n) f (x) f (n + 1) = 1, soit f (x) = 1.
9. On considre R comme un Q-espace vectoriel et on dsigne (e
i
)
iI
une Q-base de R
(utilisation du lemme de Zorn). On dnit sur R lapplication Q-linaire g par g (e
j
) = 1
et g (e
i
) = 0 pour tout i I j o j est x dans I, cette fonction g vrie lquation
fonctionnelle g (x + y) = g (x) + g (y) , est valeurs dans Q et lapplication f dnie sur
R par f (x) = 2
g(x)
vrie lquation fonctionnelle f (x + y) = f (x) f (y) avec :
f (x) = f
_

r
i
e
i
_
= 2
g(

r
i
e
i
)
= 2

r
i
g(e
i
)
= 2
r
j
les sommes considres tant nies et les r
i
rationnels. On a en particulier f (e
j
) = 2
et f (e
i
) = 1 pour i I j . Prenant e
j
= 1 que lon complte en une base, on a
a = f (1) = 2 > 1, f (r) = 2
r
pour tout r Q et f (x) = 1 pour tout x R Q.
Solution 363
10. On a f
_
1
n
_
=
n

a et en premire partie, on a vu que lim

n+
(
n

a) = 1.
Avec f
_

1
n
_
=
1
n

a
, on dduit quon a aussi lim
n+
_
f
_

1
n
__
= 1.
11.
(a) La fonction f tant monotone sur R avec lim
n+
f
_
1
n
_
= f (0) et lim
n+
f
_

1
n
_
=
f (0) , on dduit des rsultats de la premire partie quelle est continue en 0.
(b) Pour tout rels x
0
et x, on a :
[f (x) f (x
0
)[ = [f (x x
0
+ x
0
) f (x
0
)[ = [f (x x
0
) f (x
0
) f (x
0
)[
= [f (x
0
)[ [f (x x
0
) 1[
xx
0
0
La fonction f est donc continue sur R.
(c) La fonction f tant continue sur R est intgrable sur tout segment et pour tout rel
x, on a :
_
1
0
f (x + y) dy =
_
1
0
f (x) f (y) dy = f (x)
_
1
0
f (y) dy
et le changement de variable t = x + y, nous donne :
_
x+1
x
f (t) dt = f (x)
_
1
0
f (y) dy
soit, en notant F (x) =
_
x
0
f (t) dt la primitive de f nulle en 0 :
f (x) =
F (x + 1) F (x)
F (1)
(on a F (1) > 0 car f est continue valeurs strictement positives). La fonction F
tant drivable (de drive gale f), on en dduit que f est drivable sur R.
En drivant la relation (19.1) par rapport y, x x, on a f

(x + y) = f (x) f

(y)
et y = 0 donne f

(x) = f

(0) f (x) avec

f

(0) = lim
n+
f
_
1
n
_
f (0)
1
n
= lim
n+
n
_
n

a 1
_
= (a) .
12. Si f est drivable sur R, le raisonnement prcdent nous dit que f

= (a) f avec f
valeurs strictement positives, il en rsulte que f est monotone (et mme strictement
monotone pour a ,= 1). On a donc montr que :
f monotone f continue en 0 f continue sur R f drivable sur R f drivable
sur R.
Ces conditions sont donc quivalentes.
13. On a vu quune telle fonction concide avec la fonction r a
r
sur Q et quelle est continue
sur R. Deux telles fonctions sont donc continues sur R et concident sur Q, elles sont donc
gales.
364 Une construction des fonctions exponentielles
14. Si a > 1, on a alors (a) > 0 et f est strictement croissante. On a alors lim
n+
nN
f (n) =
lim
n+
a
n
= + et f nest pas majore, donc lim
x+
f (x) = +. Avec f (x) =
1
f (x)
, on
dduit que lim
x
f (x) = 0. On procde de mme pour 0 < a < 1.
La fonction f est donc de classe c
1
, strictement monotone de R sur R
+,
, elle ralise
donc un c
1
-diomorphisme de R sur R
+,
, sa fonction rciproque f
1
tant de classe c
1
strictement monotone de R
+,
sur R et on a les proprits suivantes :
_

_
f (0) = 1 f
1
(1) = 0
f (1) = a f
1
(a) = 1
x = f (y) R
+,
, (f
1
)

(x) =
1
f

(y)
=
1
(a)
1
f (y)
=
1
(a)
1
x
et pour tous x = f (u) et y = f (v) dans R
+,
on a :
f
1
(xy) = f
1
(f (u) f (v)) = f
1
(f (u + v)) = u + v = f
1
(x) + f
1
(y)
II Les fonctions exponentielles de base a
1. On suppose que a > 1. Le cas o a < 1, se traite de manire analogue.
(a) On montre que la suite relle (a
r
n
)
nN
est de Cauchy. Pour tous n, m dans N, on a :
[a
r
m
a
r
n
[ = a
r
n

a
r
m
r
n
1

.
Pour tout entier k 1, il existe un entier n
k
tel que :
n n
k
, m n
k
,
1
k
< r
m
r
n
<
1
k
et avec la stricte croissance de la fonction a
r
sur Q, on dduit que :
n n
k
, m n
k
, a

1
k
=
1
k

a
< a
r
m
r
n
< a
1
k
=
k

a
soit :
n n
k
, m n
k
,
_
1
1
k

a
_
< a
r
m
r
n
1 <
k

a 1
et avec lim
k+
(
k

a) = 1, on dduit que pour tout rel > 0, il existe un entier k

0
1
tel que :
k k
0
, 0 < 1
1
k

a
< et 0 <
k

a 1 < .
On a donc :
n n
k
0
, m n
k
0
, <
_
1
1
k
0

a
_
< a
r
m
r
n
1 <
k
0

a 1 < .
La suite (r
n
)
nN
qui est convergente est borne, il existe donc un rel M > 0 tel que
0 < a
r
n
M pour tout entier n. On a donc :
n n
k
0
, m n
k
0
, M < a
r
n
_
a
r
m
r
n
1
_
< M
ce qui signie que la suite (a
r
n
)
nN
est de Cauchy, donc convergente.
Solution 365
(b) Si lim
n+
r
n
= lim
n+
s
n
= x, on a alors lim
n+
(r
n
s
n
) = 0 et en premire partie
on a vu que cela entrane lim
n+
(a
r
n
s
n
1) = 0, soit lim
n+
(a
r
n
a
s
n
) = 0 et
lim
n+
a
r
n
= lim
n+
a
s
n
.
(c) La fonction f
a
est bien dnie puisque la limite existe et ne dpend pas du choix
dune suite de nombres rationnels qui converge vers x.
Pour x = lim
n+
r
n
et y = lim
n+
s
n
, o (r
n
)
nN
et (s
n
)
nN
sont deux suites de nombres
rationnels, on a x + y = lim
n+
(r
n
+ s
n
) et :
f
a
(x + y) = lim
n+
a
r
n
+s
n
= lim
n+
(a
r
n
a
s
n
)
= lim
n+
(a
r
n
) lim
n+
(a
s
n
) = f
a
(x) f
a
(x) .
366 Une construction des fonctions exponentielles
20
Calcul de

+
n=1
1
n
2
20.1 nonc
Le but de ce problme est de calculer de deux faons la somme
+

n=1
1
n
2
=

2
6
.
Partie I
1. Rappeler, pour tout entier naturel non nul n, une expression complexe des racines n-mes
de lunit.
2. Montrer que la fonction homographique h : z
z + 1
z 1
ralise une bijection de C 1
sur lui mme.
3. Soit P : z
n

k=0
a
k
z
k
une fonction polynomiale de degr n 1 et (z
k
)
1kn
toutes
ses racines complexes distinctes ou confondues. Exprimer les quantits
1
=
n

k=1
z
k
et

2
=

1k<jn
z
k
z
j
en fonction de certains des coecients de P.
4. Montrer que pour tout rel x
_
0,

2
_
, on a :
cotan (x) <
1
x
<
1
sin (x)
. (20.1)
5.
(a) Montrer que, pour tout entier naturel n, les racines complexes de lquation :
(z + 1)
2n+1
= (z 1)
2n+1
(20.2)
sont donnes par :
z
k
= i cotan
_
k
2n + 1
_
(k ,= 0 et n k n)
367
368 Calcul de

+
n=1
1
n
2
(b) Montrer que lquation (20.2) peut scrire :
n

k=0
C
2k+1
2n+1
z
2n2k
= 0 (20.3)
cest--dire que si z C est solution de (20.2) , alors u = z
2
est solution de :
P
n
(u) =
n

k=0
C
2k+1
2n+1
u
nk
= 0 (20.4)
(c) Montrer que :
T
n
=
n

k=1
cotan
2
_
k
2n + 1
_
=
n(2n 1)
3
.
(d) En dduire que :
R
n
=
n

k=1
1
sin
2
_
k
2n+1
_ =
2n(n + 1)
3
.
(e) En utilisant lencadrement (20.1) , dduire de ce qui prcde que :
n(2n 1)
3
<
(2n + 1)
2

2
n

k=1
1
k
2
<
n(2n + 2)
3
.
(f) En dduire les sommes des sries
+

n=1
1
n
2
et
+

n=1
1
(2n + 1)
2
.
Partie II
Pour cette partie, x est un rel dans ]0, [ , n un entier naturel non nul et on note :
J
n
(x) =
n

k=1
e
ikx
, C
n
(x) =
n

k=1
cos (kx) , S
n
(x) =
n

k=1
sin (kx) ,
T
n
(x) =
n

k=1
k cos (kx) , F
n
(x) = 1 + 2
n

k=1
_
1
k
n + 1
_
cos (kx) .
1. Montrer que :
J
n
(x) = e
i
n+1
2
x
sin
_
n
2
x
_
sin
_
x
2
_ .
2. Montrer que :
C
n
(x) = cos
_
n + 1
2
x
_
sin
_
n
2
x
_
sin
_
x
2
_ , S
n
(x) = sin
_
n + 1
2
x
_
sin
_
n
2
x
_
sin
_
x
2
_ .
3. Montrer que :
2C
n
(x) =
sin
_
2n+1
2
x
_
sin
_
x
2
_ 1.
Solution 369
4. Montrer que :
T
n
(x) =
n + 1
2
sin
_
2n+1
2
x
_
sin
_
x
2
_
1
2
sin
2
_
n+1
2
x
_
sin
2
_
x
2
_ .
5. Montrer que :
F
n
(x) =
1
n + 1
sin
2
_
n+1
2
x
_
sin
2
_
x
2
_ .
Ce rsultat est-il encore valable pour x = 0 et pour x = ?
6. Calculer I
k
=
_

0
x cos (kx) dx pour tout entier k 1.
7. Montrer que
n

k=1
1
k
ln (n) + 1.
8. On note G
n
=
_

0
xF
n
(x) dx. Montrer quil existe une suite (
n
)
n1
convergente vers 0
telle que :
G
n
=

2
2
+ 2
n

k=1
(1)
k
1
k
2
+
n
.
9. En utilisant 5. montrer que lim
n+
G
n
= 0.
10. En dduire que
+

n=1
1
n
2
=

2
6
et
+

n=1
(1)
n
n
2
=

2
12
.
20.2 Solution
Partie I
1. Les racines n-mes de lunit sont donnes par :

k
= e
i
2k
n
(0 k n 1) .
2. La fonction h est bien dnie sur T = C 1 et pour tout z T, on a :
h(z) =
z + 1
z 1
= 1 z + 1 = z 1 1 = 1,
ce qui est impossible. La fonction h est donc valeurs dans T. De plus pour tout Z T,
lquation Z =
z + 1
z 1
a pour unique solution z =
Z + 1
Z 1
dans T, ce qui signie que h
ralise une bijection de T sur lui mme.
3. On a :
P (z) =
n

k=0
a
k
z
k
= a
n
n

k=1
(z z
k
)
et en dveloppant le produit, on obtient :
P (z) = a
n
_
z
n

1
z
n1
+
2
z
n2
+ + (1)
n

n
_
370 Calcul de

+
n=1
1
n
2
o
n
=
n

k=1
z
k
. Lidentication des coecients de z
n1
et z
n2
nous donne alors :

1
=
n

k=1
z
k
=
a
n1
a
n
,
2
=

1k<jn
z
k
z
j
=
a
n2
a
n
(on a
n
,= 0 puisque P est de degr n).
4. En utilisant le thorme des accroissements nis, on a, pour tout rel x
_
0,

2
_
:
_
0 < sin (x) = sin (x) sin (0) = x cos (c
x
) < x
tan (x) = tan (x) tan (0) = x (1 + tan
2
(d
x
)) > x > 0
avec 0 < c
x
, d
x
< x, ce qui donne :
0 < sin (x) < x < tan (x)
ou encore :
cotan (x) =
1
tan (x)
<
1
x
<
1
sin (x)
.
5.
(a) Si z C est solution de (20.2) , on a alors z ,= 1 et Z =
z + 1
z 1
est solution de
Z
2n+1
= 1, cest donc une racine (2n + 1)-me de lunit, cest--dire quil existe un
entier p compris entre 0 et 2n tel que :
Z = e
i
2p
2n+1
.
En crivant tout entier p compris entre n + 1 et 2n, sous la forme p = 2n + 1 k
avec k compris entre 1 et n, on a :
e
i
2p
2n+1
= e
i
2(2n+1k)
2n+1
= e
2i
e
i
2k
2n+1
= e
i
2k
2n+1
.
On a donc :
Z
_
e
i
2k
2n+1
[ 0 k n
_

_
e
i
2k
2n+1
[ 1 k n
_
ou encore :
Z S
n
=
_
e
i
2k
2n+1
[ n k n
_
.
En crivant que :
_
z ,= 1 et Z =
z + 1
z 1
_

_
Z ,= 1 et z =
Z + 1
Z 1
_
(la fonction homographique z
z + 1
z 1
ralise une bijection de C1 sur lui mme),
on dduit que si z C est solution de (20.2) , alors Z S
n
1 et il existe un entier
k non nul compris entre n et n tel que :
z =
e
i
2k
2n+1
+ 1
e
i
2k
2n+1
1
=
e
i
k
2n+1
+ e
i
k
2n+1
e
i
k
2n+1
e
i
k
2n+1
=
cos
_
k
2n+1
_
i sin
_
k
2n+1
_
= i cotan
_
k
2n + 1
_
Solution 371
La fonction cotan tant impaire, cela scrit aussi :
z = z
k
= i cotan
_
k
2n + 1
_
(k ,= 0 et n k n) .
La fonction tan qui est strictement croissante sur
_

2
,

2
_
est injective et en cons-
quence z
k
,= z
j
pour k ,= j dans n, , 1, 1, , n (les z
k
sont bien dans
_

2
,

2
_
) cest--dire quon a obtenu 2n racines distinctes de lquation (20.2) .
Comme cette quation est exactement de degr 2n (en dveloppant avec la for-
mule du binme cette quation scrit 2 (2n + 1) z
2n
+ = 0), on a bien toutes les
racines.
(b) En crivant que :
_

_
(z + 1)
2n+1
=
n

j=0
C
j
2n+1
z
2n+1j
=
n

k=0
C
2k
2n+1
z
2n+12k
+
n

k=0
C
2k+1
2n+1
z
2n+1(2k+1)
(z 1)
2n+1
=
n

j=0
C
j
2n+1
(1)
j
z
2n+1j
=
n

k=0
C
2k
2n+1
z
2n+12k

k=0
C
2k+1
2n+1
z
2n+1(2k+1)
on dduit que :
Q
2n
(z) = (z + 1)
2n+1
(z 1)
2n+1
= 2
n

k=0
C
2k+1
2n+1
z
2n2k
et lquation (20.2) est bien quivalente lquation (20.3) (on dtaill les pointills
de la question prcdente).
(c) Comme Q
2n
(z) = P
n
(z
2
) , on dduit que les u
k
= z
2
k
= cotan
2
_
k
2n + 1
_
, o k
est compris entre 1 et n sont des racines de P
n
. Comme P
n
est de degr n et les
u
k
, pour k compris entre 1 et n, sont deux deux distincts (la fonction cotan est
strictement dcroissante sur
_
0,

2
_
et valeurs strictement positives), on a ainsi
toutes les racines de P
n
. La somme des racines du polynme P
n
est :

1
=
n

k=1
u
k
=
n

k=1
cotan
2
_
k
2n + 1
_
=
C
3
2n+1
C
1
2n+1
=
n(2n 1)
3
.
On a donc :
T
n
=
n

k=1
cotan
2
_
k
2n + 1
_
=
n(2n 1)
3
.
Pour n = 1, on a bien cotan
2
_

3
_
=
1
3
.
(d) En crivant que, pour tout k compris entre 1 et n, on a :
cotan
2
_
k
2n + 1
_
=
cos
2
_
k
2n+1
_
sin
2
_
k
2n+1
_ =
1 sin
2
_
k
2n+1
_
sin
2
_
k
2n+1
_ =
1
sin
2
_
k
2n+1
_ 1,
on dduit que :
R
n
=
n

k=1
1
sin
2
_
k
2n+1
_ = T
n
+ n =
n(2n 1)
3
+ n =
2n(n + 1)
3
372 Calcul de

+
n=1
1
n
2
(e) En utilisant lencadrement (20.1) , on a pour tout k compris entre 1 et n :
cotan
2
_
k
2n + 1
_
<
(2n + 1)
2
k
2

2
<
1
sin
2
_
k
2n+1
_
et en sommant :
n(2n 1)
3
= T
n
<
(2n + 1)
2

2
n

k=1
1
k
2
< R
n
=
2n(n + 1)
3
.
(f) Lingalit prcdente scrit :
n 1,
2
n(2n 1)
3 (2n + 1)
2
<
n

k=1
1
k
2
<
2
2n(n + 1)
3 (2n + 1)
2
et faisant tendre n vers +, on en dduit que
+

n=1
1
n
2
=

2
6
.
Comme la srie est termes positifs, on peut crire que :
+

n=1
1
n
2
=
+

p=1
1
(2p)
2
+
+

p=1
1
(2p + 1)
2
et :
+

p=1
1
(2p + 1)
2
=
+

n=1
1
n
2

1
4
+

p=1
1
p
2
=
3
4

2
6
=
3
2
24
.
Partie II
1. Comme e
ix
,= 1, on a :
J
n
(x) = e
ix
n1

k=0
_
e
ix
_
k
= e
ix
1 e
inx
1 e
ix
= e
ix
e
i
n
2
x
e
i
x
2
e
i
n
2
x
e
i
n
2
x
e
i
x
2
e
i
x
2
= e
i
n+1
2
x
sin
_
n
2
x
_
sin
_
x
2
_ .
2. On a C
n
(x) = 1(J
n
(x)) et S
n
(x) = (J
n
(x)) , ce qui donne :
C
n
(x) = cos
_
n + 1
2
x
_
sin
_
n
2
x
_
sin
_
x
2
_ , S
n
(x) = sin
_
n + 1
2
x
_
sin
_
n
2
x
_
sin
_
x
2
_ .
3. Avec :
2 sin
_
n
2
x
_
cos
_
n + 1
2
x
_
= sin
_
2n + 1
2
x
_
sin
_
x
2
_
(2 sin (a) cos (b) = sin (a + b) + sin (a b)), on a :
2C
n
(x) =
sin
_
2n+1
2
x
_
sin
_
x
2
_ 1.
Solution 373
4. On a :
T
n
(x) = S

n
(x) =
n + 1
2
cos
_
n + 1
2
x
_
sin
_
n
2
x
_
sin
_
x
2
_
+
n
2
sin
_
n + 1
2
x
_
cos
_
n
2
x
_
sin
_
x
2
_
1
2
sin
_
n + 1
2
x
_
sin
_
n
2
x
_
cos
_
x
2
_
sin
2
_
x
2
_
=
n + 1
2 sin
_
x
2
_
_
cos
_
n + 1
2
x
_
sin
_
n
2
x
_
+ sin
_
n + 1
2
x
_
cos
_
n
2
x
_
_

sin
_
n+1
2
x
_
2 sin
2
_
x
2
_
_
cos
_
n
2
x
_
sin
_
x
2
_
+ sin
_
n
2
x
_
cos
_
x
2
__
avec :
cos
_
n + 1
2
x
_
sin
_
n
2
x
_
+ sin
_
n + 1
2
x
_
cos
_
n
2
x
_
= sin
_
2n + 1
2
x
_
et :
cos
_
n
2
x
_
sin
_
x
2
_
+ sin
_
n
2
x
_
cos
_
x
2
_
= sin
_
n + 1
2
x
_
ce qui donne :
T
n
(x) =
n + 1
2
sin
_
2n+1
2
x
_
sin
_
x
2
_
1
2
sin
2
_
n+1
2
x
_
sin
2
_
x
2
_ .
5. On a :
F
n
(x) = 1 + 2C
n
(x)
2
n + 1
T
n
(x)
avec :
2C
n
(x) + 1 =
sin
_
2n+1
2
x
_
sin
_
x
2
_
(question 3.) et :
2
n + 1
T
n
(x) =
sin
_
2n+1
2
x
_
sin
_
x
2
_
1
n + 1
sin
2
_
n+1
2
x
_
sin
2
_
x
2
_ ,
ce qui donne :
F
n
(x) =
1
n + 1
sin
2
_
n+1
2
x
_
sin
2
_
x
2
_ .
6. Une intgration par parties donne :
I
k
=
_

0
x cos (kx) dx =
_
x
k
sin (kx)
_

1
k
_

0
sin (kx) dx
=
1
k
2
[cos (kx)]

0
=
(1)
k
1
k
2
.
7. En crivant que, pour k 2, on a :
k 1 t k
1
k

1
t

1
k
=
_
k
k1
dt
k

_
k
k1
dt
t
,
on dduit que :
n

k=2
1
k

n

k=2
_
k
k1
dt
t
=
_
n
1
dt
t
= ln (n)
et
n

k=1
1
k
ln (n) + 1.
374 Calcul de

+
n=1
1
n
2
8. La fonction F
n
est en fait dnie et continue sur R, donc G
n
est bien dnie.
On a :
G
n
=
_

0
x
_
1 + 2
n

k=1
_
1
k
n + 1
_
cos (kx)
_
dx
=
_

0
xdx + 2
n

k=1
_
1
k
n + 1
__

0
x cos (kx) dx
=

2
2
+ 2
n

k=1
_
1
k
n + 1
_
_
(1)
k
1
k
2
_
soit :
G
n
=

2
2
+ 2
n

k=1
(1)
k
1
k
2

2
n + 1
n

k=1
(1)
k
1
k
avec :

k=1
(1)
k
1
k

2
n

k=1
1
k
2 (ln (n) + 1) .
On a donc :
G
n
=

2
2
+ 2
n

k=1
(1)
k
1
k
2
+
n
avec :
[
n
[ =
2
n + 1

k=1
(1)
k
1
k

4
ln (n) + 1
n + 1

n+
0
9. En remarquant que :
sin
2
_
n+1
2
x
_
sin
2
_
x
2
_
x0
_
n+1
2
x
_
2
_
x
2
_
2
= (n + 1)
2
on dduit que la fonction h
n
: x
sin
2
_
n+1
2
x
_
sin
2
_
x
2
_ se prolonge par continuit en 0. Cette
fonction est de plus dnie en . On peut donc crire que :
G
n
=
1
n + 1
_

0
x
sin
2
_
n+1
2
x
_
sin
2
_
x
2
_ dx.
Pour 0 x on a sin
_
x
2
_

, donc :
0 G
n


2
n + 1
_

0
sin
2
_
n+1
2
x
_
x
dx =

2
n + 1
_ n+1
2

0
sin
2
(u)
u
du
avec :
_ n+1
2

0
sin
2
(u)
u
du =
_
1
0
sin
2
(u)
u
du +
_ n+1
2

1
sin
2
(u)
u
du

_
1
0
du +
_ n+1
2

1
du
u
= 1 + ln
_
n + 1
2

_
Solution 375
(sur [0, 1] , on a 0
sin (u)
u
1), ce qui donne :
0 G
n


2
n + 1
_
1 + ln
_
n + 1
2

__
et lim
n+
G
n
= 0.
10. De 8. et lim
n+
G
n
= 0, on dduit que :
lim
n+
n

k=1
(1)
k
1
k
2
=

2
4
,
soit :
+

n=1
(1)
n
n
2

+

n=1
1
n
2
=

2
4
. (20.5)
En notant S =
+

n=1
1
n
2
, on a :
S =
+

p=0
1
(2p + 1)
2
+
+

p=1
1
(2p)
2
=
+

p=0
1
(2p + 1)
2
+
S
4
soit
+

p=0
1
(2p + 1)
2
=
3
4
S et :
T =
+

n=1
(1)
n
n
2
=
+

p=1
1
(2p)
2

+

p=0
1
(2p + 1)
2
=
1
4
S
3
4
S =
1
2
S.
Lgalit (20.5) donne alors
1
2
S S =

2
4
, soit S =

2
6
et T =

2
12
.
376 Calcul de

+
n=1
1
n
2
21
Nombres de Bernoulli et fonction dzta de
Riemann
21.1 nonc
I Polynmes et nombre de Bernoulli
On dit quune suite de polynmes (B
n
)
nN
est une suite de polynmes de Bernoulli si elle
vrie les proprits suivantes :
_
_
_
B
0
= 1,
n N, B

n+1
= B
n
,
n 2, B
n
(0) = B
n
(1) .
(21.1)
On vrie facilement par rcurrence que tous les B
n
sont bien des fonctions polynomiales.
1. Soit (B
n
)
nN
une suite de polynmes de Bernoulli.
(a) Montrer que pour tout n N, B
n
est un polynme de degr n et calculer son
coecient dominant.
(b) Montrer que :
n 1,
_
1
0
B
n
(t) dt = 0
(c) Montrer que la suite (B
n
)
nN
est uniquement dtermine.
On dira que (B
n
)
nN
est la suite des polynmes de Bernoulli.
2. Montrer que :
_

_
B
1
(X) = X
1
2
B
2
(X) =
1
2
X
2

1
2
X +
1
12
3. Calculer B
3
et B
4
.
4. Montrer que :
n N, B
n
(X) = (1)
n
B
n
(1 X) .
5. On dnit la suite (b
n
)
nN
des nombres de Bernoulli par :
n N, b
n
= B
n
(0) .
377
378 Nombres de Bernoulli et fonction dzta de Riemann
(a) Calculer b
0
, b
1
, b
2
, b
3
et b
4
.
(b) Montrer que b
n
= 0 pour tout entier n 3 qui est impair.
II Application au calcul de (2k)
Pour tout entier naturel non nul k, on dnit la fonction g
k
de R dans R par :
_
x [0, 2[ , g
k
(x) = B
2k
_
x
2
_
g
k
est 2-priodique
On dsigne par (
n
(k))
nN
et (
n
(k))
nN

les suites relles dnies par :

_

0
(k) =
_
1
0
B
2k
(t) dt
n 1,
n
(k) = 2
_
1
0
B
2k
(t) cos (2nt) dt,
n 1,
n
(k) = 2
_
1
0
B
2k
(t) sin (2nt) dt
1. Montrer que, pour tout k N

, la fonction g
k
est paire.
2. Montrer que, pour tout k N

, la fonction g
k
est continue sur R.
3. Montrer que la fonction g
1
est classe c
1
sur R2Z et que pour tout entier relatif p, cette
fonction se prolonge en une fonction de classe c
1
sur [2p, 2 (p + 1) ] (elle est donc de
classe c
1
par morceaux sur R).
4. Montrer que, pour tout entier k 2, la fonction g
k
est de classe c
1
sur R.
5. Montrer que :
n 1, k 1,
n
(k) = 0.
6. Montrer que, pour tout entier k 1 et tout rel x, on a :
g
k
(x) =
+

n=0

n
(k) cos (nx) . (21.2)
7. Calculer
0
(k) .
8. Montrer que :
n 1,
n
(1) =
2
(2n)
2
.
9. Montrer que :
n 1, k 2,
n
(k) =
1
(2n)
2

n
(k 1) .
10. En dduire la valeur de
n
(k) pour tout n 1 et tout k 2.
11. Dterminer, pour tout k 1, une relation entre (2k) =
+

n=1
1
n
2k
et b
2k
.
12. Calculer (2) =
+

n=1
1
n
2
et (4) =
+

n=1
1
n
4
.
Solution 379
III Application au calcul de
n

k=1
k
p
Pour tout entier naturel p, on dsigne par lapplication qui associe tout polynme P de
R
p+1
[X] le polynme Q = (P) dni par :
Q(X) = P (X + 1) P (X)
et par E
p+1
le sous-ensemble de R
p+1
[X] form des polynmes P de degr au plus gal p + 1
qui vrient
_
1
0
P (x) dx = 0.
1. Montrer que E
p+1
est un sous-espace vectoriel de R
p+1
[X] et prciser sa dimension.
2. Montrer que lapplication est linaire de R
p+1
[X] dans R
p
[X] et dterminer son noyau.
3. Montrer que lapplication ralise un isomorphisme de E
p+1
sur R
p
[X] .
4. Montrer que, pour tout entier naturel p, B
p+1
est lunique polynme de E
p+1
qui vrie
(P) =
X
p
p!
.
5. Montrer que pour tout entier p 1 et tout entier n 1, on a :
n

k=1
k
p
= p! (B
p+1
(n + 1) b
p+1
) .
6. Calculer
n

k=1
k,
n

k=1
k
2
et
n

k=1
k
3
.
21.2 Solution
I Polynmes et nombre de Bernoulli
1.
(a) On procde par rcurrence sur n 0.
Pour n = 0, B
0
est bien un polynme de degr 0 de coecient dominant
0,0
= 1.
En supposant que, pour n 0, B
n
est un polynme de degr n de coecient domi-
nant
n,n
,= 0, soit B
n
(X) =
n

k=0

n,k
X
k
, on dduit de lgalit B

n+1
= B
n
, que :
B
n+1
(X) =
n

k=0

n,k
k + 1
X
k+1
+
n+1,0
=
n+1,0
+
n+1

j=1

n,j1
j
X
j
(21.3)
cest--dire que B
n+1
est un polynme de degr n+1 de coecient dominant
n+1,n+1
=

n,n
n + 1
,= 0. Cette dernire relation de rcurrence nous dit que
n,n
=
1
n!
pour tout
n N. En eet, le rsultat est vrai pour n = 0 et en le supposant acquis au rang
n 0, on a
n+1,n+1
=

n,n
n + 1
=
1
(n + 1) n!
=
1
(n + 1)!
.
380 Nombres de Bernoulli et fonction dzta de Riemann
(b) Pour tout n 1, on a :
_
1
0
B
n
(t) dt =
_
1
0
B

n+1
(t) dt = B
n+1
(1) B
n+1
(0) = 0 (21.4)
puisque B
m
(0) = B
m
(1) pour m 2.
(c) Cette dernire identit combine avec (21.3) permet de montrer que la suite (B
n
)
nN
est uniquement dtermine. En eet, on a B
0
= 1 et supposant B
n
construit, la rela-
tion (21.3) nous dit que les coecients
n+1,j
=

n,j1
j
sont uniquement dtermins
pour tout j compris entre 1 et n + 1. Enn avec :
0 =
_
1
0
B
n+1
(t) dt =
n+1,0
+
n+1

j=1

n,j1
j (j + 1)
on dduit que :

n+1,0
=
n+1

j=1

n,j1
j (j + 1)
.
On peut aussi remarque que
n+1
(X) =
n

k=0

n,k
k + 1
X
k+1
est la primitive de B
n
nulle
en 0 et B
n+1
=
n+1
+
n+1,0
avec
n+1,0
=
_
1
0

n+1
(t) dt, ce qui dtermine de
manire unique la suite (B
n
)
nN
et donne un algorithme de construction.
2. En utilisant les notations prcdentes, on a :
_
_
_

1
(X) = X,

1,0
=
_
1
0

1
(t) dt =
_
1
0
tdt =
1
2
et :
B
1
(X) =
1
(X) +
1,0
= X
1
2
.
De mme, on a :
_

2
(X) =
1
2
X
2

1
2
X,

2,0
=
_
1
0

2
(t) dt =
_
1
0
_
t
2
2

t
2
_
dt =
1
12
et :
B
2
(X) =
2
(X) +
2,0
=
1
2
X
2

1
2
X +
1
12
.
3. On a :
_

3
(X) =
1
6
X
3

1
4
X
2
+
1
12
X,

3,0
=
_
1
0
_
t
3
6

t
2
4
+
t
12
_
dt = 0
et :
B
3
(X) =
1
6
X
3

1
4
X
2
+
1
12
X.
Solution 381
De mme :
_

4
(X) =
1
24
X
4

1
12
X
3
+
1
24
X
2
,

3,0
=
_
1
0
_
t
4
24

t
3
12
+
t
2
24
_
dt =
1
720
et :
B
4
(X) =
1
24
X
4

1
12
X
3
+
1
24
X
2

1
720
.
4. Soit (C
n
)
nN
la suite de polynmes dnie par :
n N, C
n
(X) = (1)
n
B
n
(1 X) .
Pour montrer que cette suite est la suite des polynmes de Bernoulli, il sut de prouver
quelle vrie les conditions (21.1) compte tenu de lunicit prouve en I.1c.
Pour n = 0, on a C
0
(X) = B
0
(1 X) = 1.
Pour tout n 0, on a :
C

n+1
(X) = (1)
n+1
_
B

n+1
(1 X)
_
= (1)
n
B
n
(1 X) = C
n
(X)
et pour n 2 :
C
n
(0) = (1)
n
B
n
(1) = (1)
n
B
n
(0) = C
n
(1) .
Ce qui donne le rsultat attendu.
5.
(a) Les calculs des questions I.2. et I.3. nous donne :
b
0
= 1, b
1
=
1
2
, b
2
=
1
12
, b
3
= 0, b
4
=
1
720
.
(b) De B
n
(X) = (1)
n
B
n
(1 X) pour tout n N, on dduit que :
n N, b
n
= B
n
(0) = (1)
n
B
n
(1)
et de B
n
(0) = B
n
(1) pour n 2, que :
n 2, b
n
= (1)
n
b
n
.
Il en rsulte que b
n
= b
n
pour n 3 qui est impair et b
n
= 0 dans ce cas.
II Application au calcul de (2k)
1. Soit x R et p Z tel que x [2p, 2 (p + 1) [ .
Si x = 2p, comme g
k
est 2-priodique, on a g
k
(x) = g
k
(x) = g
k
(0) = b
2k
.
Si x ]2p, 2 (p + 1) [ , il scrit x = 2p + h avec h ]0, 2[ et
g
k
(x) = g
k
(2p + h) = g
k
(h) = B
2k
_
h
2
_
et en crivant que x = 2p h = 2 (p + 1) + 2 h avec 2 h ]0, 2[ , on a :
g
k
(x) = g
k
(2 h) = B
2k
_
2 h
2
_
= B
2k
_
1
h
2
_
= B
2k
_
h
2
_
= g
k
(x)
en utilisant le rsultat de la question I.4.
382 Nombres de Bernoulli et fonction dzta de Riemann
2. Pour tout k 1, la fonction B
2k
qui est polynomiale est de classe c

sur R. De la
dnition de g
k
, il rsulte alors que cette fonction est de classe c

sur R 2Z.
Pour tout entier relatif p, on a :
lim
x2p
+
g
k
(x) = lim
h0
+
g
k
(2p + h) = lim
h0
+
g
k
(h) = lim
h0
+
B
2k
_
h
2
_
= B
2k
(0) = g
k
(0) = g
k
(2p)
et en considrant que 2k 2, on a :
lim
x2p

g
k
(x) = lim
h2

g
k
(2 (p 1) + h) = lim
h2

g
k
(h) = lim
h2

B
2k
_
h
2
_
= B
2k
(1) = B
2k
(0) = g
k
(0) = g
k
(2p) .
On a donc ainsi montr que g
k
est continue en tout point de 2Z.
En dnitive, g
k
est continue sur R.
3. On a dj vu que la fonction g
1
est de classe c

sur R 2Z.
On rappelle que si f est une fonction valeurs relles continue sur un intervalle rel I,
de classe c
1
sur I a , o a est un point de I et telle que lim
xa
f

(x) = , elle se prolonge

alors en une fonction de classe c
1
sur I avec f

(a) = (cest une consquence immdiate

du thorme des accroissements nis).
On se donne dans un premier temps un entier k 1.
Pour p Z, tout rel x ]2p, 2 (p + 1) [ scrit x = 2p + h avec h ]0, 2[ et de :
g
k
(x) = g
k
(h) = B
2k
_
h
2
_
= B
2k
_
x 2p
2
_
on dduit que :
g

k
(x) =
1
2
B

2k
_
x 2p
2
_
=
1
2
B
2k1
_
x 2p
2
_
et :
lim
x2p
+
g

k
(x) =
1
2
lim
x2p
+
B
2k1
_
x 2p
2
_
=
1
2
B
2k1
(0)
lim
x2(p+1)

k
(x) =
1
2
lim
x2(p+1)

B
2k1
_
x 2p
2
_
=
1
2
B
2k1
(1)
Pour k = 1, on a B
2k1
(0) = B
1
(0) =
1
2
et B
2k1
(1) = B
1
(1) =
1
2
, ce qui donne :
lim
x2p
+
g

1
(x) =
1
4
lim
x2(p+1)

1
(x) =
1
4
La fonction g
1
est donc drivable droite en 2p, gauche en 2 (p + 1) et sa fonction
drive est continue sur [2p, 2 (p + 1) ] .
4. Pour k 2, on 2k 1 3, donc B
2k1
(1) = B
2k1
(0) = b
2k1
= 0 (question I.5.b.) et
les calculs prcdents nous disent que lim
x2p
g

k
(x) = 0, donc g
k
est drivable en 2p de
drive g

k
(2p) = 0 et g

k
est continue en 2p.
En dnitive, g
k
est de classe c
1
sur R.
Solution 383
5. Le changement de variable t =
x
2
nous donne pour tout k 1 :
_

0
(k) =
_
1
0
B
2k
(t) dt =
1
2
_
2
0
g
k
(x) dx
n 1,
n
(k) =
1

_
2
0
g
k
(x) cos (nx) dx,
n 1,
n
(k) =
1

_
2
0
g
k
(x) sin (nx) dx
cest--dire que les rels
n
(k) pour n 0 et
n
(k) pour n 1 sont les coecients de
Fourier de la fonction g
k
. Comme cette fonction est paire, on a ncessairement
n
(k) = 0
pour tout n 1.
6. Pour k 1 la fonction g
k
tant continue et de classe c
1
par morceaux sur R (et mme
de classe c
1
sur R pour k 2), le thorme de Dirichlet nous dit que sa srie de Fourier
converge normalement vers g
k
sur R, ce qui donne le rsultat annonc.
7. On a pour k 1 :

0
(k) =
_
1
0
B
2k
(t) dt =
_
1
0
B

2k+1
(t) dt = B
2k+1
(1) B
2k+1
(0) = 0.
8. Pour k 1 et n 1, une intgration par parties donne :

n
(k)
2
=
_
1
0
B
2k
(t) cos (2nt) dt
=
_
B
2k
(t)
sin (2nt)
2n
_
1
0

_
1
0
B

2k
(t)
sin (2nt)
2n
dt
=
1
2n
_
1
0
B
2k1
(t) sin (2nt) dt
et une deuxime intgration par parties donne :

n
(k)
2
=
1
2n
_
_
B
2k1
(t)
cos (2nt)
2n
_
1
0
+
_
1
0
B

2k1
(t)
cos (2nt)
2n
dt
_
=
1
(2n)
2
_
B
2k1
(1) B
2k1
(0)
_
1
0
B
2(k1)
(t) cos (2nt) dt
_
Pour k = 1, cela donne :

n
(1)
2
=
1
(2n)
2
_
B
1
(1) B
1
(0)
_
1
0
cos (2nt) dt
_
=
1
(2n)
2
soit
n
(1) =
2
(2n)
2
.
9. Pour k 2, on a B
2k1
(1) = B
2k1
(0) et le calcul prcdent donne :

n
(k) =
1
(2n)
2

n
(k 1) .
384 Nombres de Bernoulli et fonction dzta de Riemann
10. Par rcurrence sur k 1, on dduit que :

n
(k) = (1)
k+1
2
(2n)
2k
.
Pour k = 1, cest vri et en supposant le rsultat acquis au rang k 1 1, on a :

n
(k) =
1
(2n)
2
(1)
k
2
(2n)
2(k1)
= (1)
k+1
2
(2n)
2k
.
11. Lidentit (21.2) pour x = 0 nous donne :
b
2k
= B
2k
(0) = g
k
(0) =
+

n=0

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

n=0
1
n
2k
soit :
(2k) = (1)
k+1
b
2k
(2)
2k
2
.
12. Pour k = 1 et k = 2, on a b
2
=
1
12
, b
4
=
1
720
et :
(2) =
+

n=0
1
n
2
=
1
12
4
2
2
=

2
6
,
(4) =
+

n=0
1
n
4
=
1
720
16
4
2
=

4
90
.
III Application au calcul de
n

k=1
k
p
1. Lapplication : P
_
1
0
P (x) dx est une forme linaire non nul sur R
p+1
[X] et son
noyau, qui nest autre que E
p+1
, est un sous-espace vectoriel de R
p+1
[X] de dimension
(p + 2) 1 = p + 1.
2. On a (1) = 0 et pour tout entier k 1 :

_
X
k
_
= (X + 1)
k
X
k
=
k

j=0
C
j
k
X
j
X
k
=
k1

j=0
C
j
k
X
j
est un polynme de degr k 1. Il en rsulte que est une application de R
p+1
[X] dans
R
p
[X] . On vrie facilement que est linaire, elle ralise donc un morphisme despaces
vectoriels de E
p+1
dans R
p
[X] . Dire que P R
p+1
[X] est dans le noyau de signie
que P (X + 1) = P (X) . On a alors P (1) = P (0) et par rcurrence P (n) = P (0) pour
tout entier n 0, ce qui entrane que le polynme P (X) P (0) a une innit de racines
et cest ncessairement le polynme nul. Le noyau de : R
p+1
[X] R
p
[X] est donc
form des polynmes constants, soit ker () = R, en identiant lensemble des polynmes
constants R.
Solution 385
3. Le noyau de la restriction de E
p+1
est E
p+1
ker () = 0 puisque P =
E
p+1
ker () entrane =
_
1
0
P (x) dx = 0. Lapplication est donc injective de E
p+1
dans R
p
[X] et cest un isomorphisme puisque ces deux espaces sont de mme dimension
gale p + 1.
4. Comme est bijective de E
p+1
sur R
p
[X] , il existe un unique P E
p+1
tel que (P) =
X
p
p!
. Il sut donc de montrer que B
p+1
convient (on a dj vu dans la premire partie
que B
p+1
est de degr p + 1 et que
_
1
0
B
p+1
(x) dx = 0). Pour ce faire, on procde par
rcurrence sur p 0.
Pour p = 0, on a B
1
(X) = X
1
2
et :
(B
1
) = B
1
(X + 1) B
1
(X) = 1 =
X
0
0!
.
En supposant le rsultat acquis au rang p 0, on peut crire, pour tout rel x, que :
(B
p+2
) (x) =
_
x+1
x
B

p+2
(t) dt =
_
x+1
x
B
p+1
(t) dt
=
_
x+1
0
B
p+1
(t) dt
_
x
0
B
p+1
(t) dt
avec :
_
x+1
0
B
p+1
(t) dt =
_
1
0
B
p+1
(t) dt +
_
x+1
1
B
p+1
(t) dt
=
_
x+1
1
B
p+1
(t) dt =
_
x
0
B
p+1
(u + 1) du
ce qui donne, en utilisant lhypothse de rcurrence :
(B
p+2
) (x) =
_
x
0
(B
p+1
(t + 1) B
p+1
(t)) dt =
_
x
0
t
p
p!
dt =
x
p+1
(p + 1)!
.
On a donc bien (B
p+2
) =
X
p+1
(p + 1)!
.
5. On a donc pour tout entier p 1 et tout rel x :
B
p+1
(x + 1) B
p+1
(x) =
x
p
p!
.
En prenant pour x les valeurs entires successives k = 0, 1, , n1, n, o n est un entier
naturel non nul, on a :
B
p+1
(k + 1) B
p+1
(k) =
k
p
p!
(0 k n)
et en sommant toutes ces galits, il vient :
B
p+1
(n + 1) B
p+1
(0) =
n

k=1
(B
p+1
(k + 1) B
p+1
(k)) =
n

k=1
k
p
p!
ou encore :
n

k=1
k
p
= p! (B
p+1
(n + 1) b
p+1
) .
386 Nombres de Bernoulli et fonction dzta de Riemann
6. Pour p = 1, 2, 3, on a :
_

_
B
2
(n + 1) b
2
=
(n + 1)
2
2

n + 1
2
=
n(n + 1)
2
B
3
(n + 1) b
3
=
(n + 1)
3
6

(n + 1)
2
4
+
n + 1
12
=
n(n + 1) (2n + 1)
12
B
4
(n + 1) b
4
=
(n + 1)
4
24

(n + 1)
3
12
+
(n + 1)
2
24
=
n
2
(n + 1)
2
24
et :
_

_
n

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

k=1
k
2
=
n(n + 1) (2n + 1)
6
n

k=1
k
3
=
n
2
(n + 1)
2
4
=
_
n

k=1
k
_
2
22
Une formule sommatoire dEuler
22.1 nonc
Lvaluation asymptotique des sommes partielles de certaines sries numriques utilise sou-
vent la comparaison une intgrale impropre. La formule de sommation tudie avec ce pro-
blme permet dobtenir une expression exacte de lerreur dapproximation.
Pour tout rel x, on dsigne par [x] la partie entire de x. On rappelle que cest lentier relatif
dni par ;
[x] x < [x] + 1.
1. Soit f une fonction de classe c
1
, valeurs relles et dnie sur un intervalle rel [p, q + 1] ,
o p, q sont deux entiers naturels tels que p < q.
(a) Montrer que :
q

k=p+1
f (k) = qf (q + 1) pf (p)
_
q+1
p
[t] f

(t) dt. (22.1)

(b) Montrer que :
_
q+1
p
f (t) dt = (q + 1) f (q + 1) pf (p)
_
q+1
p
tf

(t) dt. (22.2)

(c) Montrer que :
q+1

k=p+1
f (k) =
_
q+1
p
f (t) dt +
_
q+1
p
(t [t]) f

(t) dt. (22.3)

2. Montrer que pour tout rel s strictement positif, lintgrale :
I (s) =
_
+
1
t [t]
t
s+1
dt
est convergente et que pour tout entier naturel non nul n, on a :
_
+
n
t [t]
t
s+1
dt
s
n
s
.
387
388 Une formule sommatoire dEuler
3. Montrer que :
n

k=1
1
k
= ln (n) + + O
_
1
n
_
,
o est la constante dEuler dnie par :
= 1
_
+
1
t [t]
t
2
dt = lim
n+
_
n

k=1
1
k
ln (n)
_
(on a = 0.577 215 664 9...).
4. Montrer que pour tout rel s strictement positif et dirent de 1, on a :
n

k=1
1
k
s
=
1
1 s
1
n
s1
+ (s) + O
_
1
n
s
_
,
o (s) est la constante dnie par :
(s) =
s
s 1
s
_
+
1
t [t]
t
s+1
dt = lim
n+
_
n

k=1
1
k
s

1
1 s
1
n
s1
_
.
22.2 Solution
1.
(a) On a :
_
q+1
p
[t] f

(t) dt =
q

k=p
_
k+1
k
kf

(t) dt =
q

k=p
k (f (k + 1) f (k))
= qf (q + 1) pf (p)
q

k=p+1
f (k) .
(b) Une intgration par parties donne :
_
q+1
p
f (t) dt = [tf (t)]
q+1
p

_
q+1
p
tf

(t) dt
= (q + 1) f (q + 1) pf (p)
_
q+1
p
tf

(t) dt
(c) En faisant (22.1) (22.2) , on obtient :
q

k=p+1
f (k) =
_
q+1
p
f (t) dt +
_
q+1
p
(t [t]) f

(t) dt f (q + 1) ,
soit :
q+1

k=p+1
f (k) =
_
q+1
p
f (t) dt +
_
q+1
p
(t [t]) f

(t) dt.
Solution 389
2. Pour tout rel t > 1, on a 0
t [t]
t
s+1

1
t
s+1
et la convergence de lintgrale impropre
_
+
1
1
t
s+1
dt pour s > 0 entrane celle de
_
+
1
t [t]
t
s+1
dt. De plus, pour tout n 1, on a :
0
_
+
n
t [t]
t
s+1
dt
_
+
n
1
t
s+1
dt =
1
s
1
n
s
.
3. On dsigne par f la fonction dnie sur R
+,
par f (t) =
1
t
. La formule (22.3) applique
cette fonction f sur lintervalle [1, n] (p = 1, q = n 1) donne :
n

k=2
1
k
=
_
n
1
dt
t

_
n
1
t [t]
t
2
dt
ce qui peut encore scrire :
n

k=1
1
k
= ln (n) + 1
_
+
1
t [t]
t
2
dt +
_
+
n
t [t]
t
2
dt.
En notant = 1
_
+
1
t [t]
t
2
dt cela scrit :
n

k=1
1
k
= ln (n) + +
_
+
n
t [t]
t
2
dt
et avec
_
+
n
t [t]
t
2
dt
1
n
, on a bien :
n

k=1
1
k
= ln (n) + + O
_
1
n
_
et = lim
n+
_
n

k=1
1
k
ln (n)
_
.
4. On dsigne, pour s > 0 et s ,= 1, par f la fonction dnie sur R
+,
par f (t) =
1
t
s
. La
formule (22.3) applique cette fonction f sur lintervalle [1, n] (p = 1, q = n1) donne :
n

k=2
1
k
s
=
_
n
1
dt
t
s
s
_
n
1
t [t]
t
s+1
dt
ce qui peut encore scrire :
n

k=1
1
k
s
=
1
1 s
_
1
n
s1
1
_
+ 1 s
_
+
1
t [t]
t
s+1
dt + s
_
+
n
t [t]
t
s+1
dt.
En notant :
(s) = 1
1
1 s
s
_
+
1
t [t]
t
s+1
dt =
s
s 1
s
_
+
1
t [t]
t
s+1
dt,
390 Une formule sommatoire dEuler
cela scrit :
n

k=1
1
k
s
=
1
1 s
1
n
s1
+ (s) + s
_
+
n
t [t]
t
s+1
dt
et avec s
_
+
n
t [t]
t
s+1
dt
1
n
s
, on a bien :
n

k=1
1
k
s
=
1
1 s
1
n
s1
+ (s) + O
_
1
n
s
_
et (s) = lim
n+
_
n

k=1
1
k
s

1
1 s
1
n
s1
_
.
Pour s > 1, on a lim
n+
1
n
s1
= 0 et :
(s) = lim
n+
n

k=1
1
k
s
=
+

n=1
1
n
s
= (s) ,
o dsigne la fonction dzta de Riemann. On a donc, pour s > 1 :
n

k=1
1
k
s
=
1
1 s
1
n
s1
+ (s) + O
_
1
n
s
_
.
Par exemple, pour s = 2, on a (2) =

2
6
et :
n

k=1
1
k
2
=

2
6

1
n
+ O
_
1
n
2
_
.
23
Un problme sur les sries
23.1 nonc
Soit f : R R telle que pour toute srie relle convergente
+

n=0
u
n
, la srie
+

n=0
f (u
n
) est
encore convergente.
On se propose de montrer quil existe alors un voisinage ouvert de 0 sur lequel f est linaire.
1. Montrer que f (0) = 0.
2. Montrer que f est continue en 0.
3. On suppose, pour cette question seulement, que la fonction f est paire. Montrer quil
existe un rel > 0 tel que :
x ], [ , f (x) = 0,
cest--dire que sur un voisinage ouvert de 0, la fonction f est identiquement nulle.
4. On revient maintenant au cas gnral. Montrer quil existe un rel
1
> 0 tel que f soit
impaire sur ]
1
,
1
[ .
5. Montrer quil existe un rel > 0 tel que :
(x, y) ], [
2
, f (x + y) = f (x) + f (y) .
6. On se xe un rel > 0 comme dans la question prcdente.
(a) Montrer que si x est un rel et n un entier naturel tels que 2
n
x soit dans ], [ ,
alors f (2
n
x) = 2
n
f (x) .
(b) Montrer quon peut dnir une fonction g : R R par :
x R, g (x) = 2
n
f
_
x
2
n
_
o, pour x donn dans R, n est un entier naturel tel que
x
2
n
], [ .
(c) Montrer quil existe un rel tel que g (x) = x pour tout x R.
(d) En dduire que f (x) = x pour tout x ], [ .
7. Ce rsultat est-il encore vrai pour f transformant toute srie absolument convergente en
srie convergente.
391
392 Un problme sur les sries
23.2 Solution
1. En considrant la srie
+

n=0
u
n
ou (u
n
)
nN
est la suite constante gale 0, on dduit que
la srie

f (0) est convergente et ncessairement f (0) = 0.
2. Dire que f nest pas continue en 0 signie, compte tenu de f (0) = 0, quil existe un rel
> 0 tel que :
> 0, x ], [ [ [f (x)[ > .
Prenant pour les valeurs successives =
1
n
2
, on construit une suite relle (u
n
)
n1
telle
que :
n 1, [u
n
[
1
n
2
, [f (u
n
)[ > .
Mais dans ce cas on obtient alors une srie
+

n=1
u
n
absolument convergente telle que la srie

f (u
n
) soit divergente (les ingalits [f (u
n
)[ > nous disent que la suite (f (u
n
))
n1
ne peut pas converger vers 0), ce qui est contraire lhypothse de dpart.
3. Supposons le contraire, soit compte tenu de la parit de f avec f (0) = 0, que :
> 0, x ]0, [ , f (x) ,= 0.
Prenant pour les valeurs successives =
1
n
, on construit une suite relle (x
n
)
n1
telle
que :
n 1, 0 < x
n
<
1
n
, f (x
n
) ,= 0.
On associe cette suite une suite dentiers naturels non nuls (p
n
)
n1
telle que :
n 1, p
n
[f (x
n
)[ 1
(cest possible puisque R est archimdien).
On dnit alors la suite u = (u
n
)
n1
par :
u = (x
1
, x
1
, , x
1
, x
1
, x
2
, x
2
, , x
2
, x
2
, , x
k
, x
k
, , x
k
, x
k
, )
o, pour tout k 1, le couple (x
k
, x
k
) est rpt p
k
fois.
En dsignant par (S
n
)
n1
la suite des sommes partielles de la srie

u
n
, on a alors :
S
n
=
_
0 si n = 2r
x
q
r
si r = 2r + 1
avec lim
r+
q
r
= +, ce qui entrane, compte tenu de 0 < x
q
r
<
1
q
r
que lim
r+
x
q
r
= 0 et
lim
n+
S
n
= 0, cest--dire que la srie

u
n
est convergente.
Mais, pour ce qui est de la srie

f (u
n
) , compte tenu de la parit de f, en dsignant
par (T
n
)
n1
la suite des sommes partielles de cette srie, on a :

T
2(p
1
++p
k+1
)
T
2(p
1
++p
k
)

= 2p
k+1
[f (x
k+1
)[ 2.
Mais la convergence de la srie

f (u
n
) vers un rel T nous dit que la suite
_
T
(k)
_
n1
=
_
T
2(p
1
++p
k
)
_
k1
extraite de la suite (T
n
)
n1
doit aussi converger vers T et la suite
_
T
(k+1)
T
(k)
_
n1
doit alors converger vers 0, ce qui est incompatible avec les ingalits

T
(k+1)
T
(k)

2.
En dnitive, f est identiquement nulle sur un voisinage ouvert de 0.
Solution 393
4. La fonction g dnie sur R par g (x) = f (x) + f (x) est paire et vrie las mmes
hypothses que f, elle est donc identiquement nulle sur un voisinage ouvert ]
1
,
1
[ de 0
et sur ce voisinage, f est impaire.
5. Supposons le contraire. On construit alors deux suites relles (x
n
)
n1
et (y
n
)
n1
valeurs
dans ]
1
,
1
[ et de limite nulle telles que :
n 1,
n
= [f (x
n
+ y
n
) f (x
n
) f (y
n
)[ , = 0.
On associe ces suites une suite dentiers naturels non nuls (p
n
)
n1
telle que :
n 1, p
n

n
1
et on dnit la suite u = (u
n
)
n1
par :
u = (x
1
+ y
1
, x
1
, y
1
, , x
1
+ y
1
, x
1
, y
1
,
x
2
+ y
2
, x
2
, y
2
, , x
2
+ y
2
, x
2
, y
2
,
, x
k
+ y
k
, x
k
, y
k
, , x
k
+ y
k
, x
k
, y
k
, )
o, pour tout k 1, le triplet (x
k
+ y
k
, x
k
, y
k
) est rpt p
k
fois.
En dsignant par (S
n
)
n1
la suite des sommes partielles de la srie

u
n
, on a alors :
S
n
=
_
_
_
0 si n = 3r
x
q
r
+ y
q
r
si r = 3r + 1
y
q
r
si r = 3r + 2
avec lim
r+
q
r
= +, ce qui entrane, compte tenu de lim
n+
x
n
= 0 et lim
n+
y
n
= 0 et
lim
n+
S
n
= 0, cest--dire que la srie

u
n
est convergente.
Mais, pour ce qui est de la srie

f (u
n
) , compte tenu de limparit de f, en dsignant
par (T
n
)
n1
la suite des sommes partielles de cette srie, on a :

T
3(p
1
++p
k+1
)
T
3(p
1
++p
k
)

= 3p
k+1

k+1
3.
Mais la convergence de la srie

f (u
n
) vers un rel T nous dit que la suite
_
T
(k)
_
n1
=
_
T
3(p
1
++p
k
)
_
k1
extraite de la suite (T
n
)
n1
doit aussi converger vers T et la suite
_
T
(k+1)
T
(k)
_
n1
doit alors converger vers 0, ce qui est incompatible avec les ingalits

T
(k+1)
T
(k)

3.
En dnitive, on a le rsultat souhait avec ]0,
1
[ .
6.
(a) On procde par rcurrence sur n 0 x x.
Pour n = 0 cest clair.
En supposant le rsultat acquis au rang n 1 0, si 2
n
x ], [ , alors 2
n1
x
], [ et :
f (2
n
x) = f
_
2
n1
x + 2
n1
x
_
= 2f
_
2
n1
x
_
= 2
n
f (x) .
(b) Si m > n sont deux entiers naturels tel que
x
2
n
et
x
2
m
soient dans ], [ , alors :
2
n
f
_
x
2
n
_
= 2
n
f
_
2
mn
x
2
m
_
= 2
n
2
mn
f
_
x
2
m
_
= 2
m
f
_
x
2
m
_
.
La fonction g est donc bien dnie (i. e. la dnition de g (x) ne dpend pas du choix
de lentier n tel que
x
2
n
], [).
394 Un problme sur les sries
(c) La fonction g concide avec f sur ], [ , elle est donc continue en 0 avec g (0) = 0.
Pour x, y dans R et n dans N tel que
x
2
n
et
y
2
n
soient dans
_

2
,

2
_
, les trois rels
x
2
n
,
y
2
n
et
x + y
2
n
sont dans ], [ et :
g (x + y) = 2
n
f
_
x
2
n
+
y
2
n
_
= 2
n
f
_
x
2
n
_
+ 2
n
f
_
y
2
n
_
=
= g (x) + g (y) .
La fonction g est donc une fonction continue en un point (en 0) et vriant lquation
fonctionnelle de Cauchy g (x + y) = g (x) + g (y) sur R, on sait alors que cest
ncessairement une fonction linaire dnie par g (x) = x.
Comme f = g sur ], [ , on a bien le rsultat souhait.
7. La fonction f dnie par f (x) = x
2
transforme toute srie absolument convergente

u
n
en srie convergente puisque [u
n
[
2
[u
n
[ pour n assez grand. Le rsultat nest donc plus
valable.
24
Limite suprieure et limite infrieure
24.1 nonc
Soit (u
n
)
nN
une suite relle borne. Pour tout n N, on pose :
v
n
= sup
pn
u
p
, w
n
= inf
pn
u
p
.
1. Justier la dnition des suites (v
n
)
nN
et (w
n
)
nN
.
2. Montrer que la suite (v
n
)
nN
est dcroissante minore et la suite (w
n
)
nN
croissante ma-
jore. On en dduit que ces deux suites sont convergentes et on note
_
_
_
limsup
n+
u
n
= lim
n+
v
n
,
liminf
n+
u
n
= lim
n+
w
n
,
ces limites tant respectivement appeles la limite suprieure et la limite infrieure de la
suite (u
n
)
nN
. On les note aussi parfois lim
n+
(u
n
) et lim
n+
(u
n
) .
On a donc :
_

1
= liminf
n+
u
n
= sup
nN
_
inf
pn
u
p
_
,

2
= limsup
n+
u
n
= inf
nN
_
sup
pn
u
p
_
.
3. Montrer que
1
et
2
sont des valeurs dadhrence de la suite (u
n
)
nN
.
4. Montrer que pour toute valeur dadhrence de la suite (u
n
)
nN
, on a

1

2
.
Cest--dire que
2
= limsup
n+
u
n
est plus grande valeur dadhrence et
1
= liminf
n+
u
n
la
plus petite valeur dadhrence de la suite borne (u
n
)
nN
.
5. Montrer que la suite (u
n
)
nN
converge si, et seulement si, liminf
n+
u
n
= limsup
n+
u
n
.
6. On suppose pour cette question que (u
n
)
nN
est une suite valeurs relles positives.
Montrer que si la suite
_
n

u
n
_
nN
nest pas majore, alors la srie

u
n
est divergente,
sinon elle est convergente pour limsup
n+
n

u
n
< 1 et divergente pour limsup
n+
n

u
n
> 1
(thorme de Cauchy).
395
396 Limite suprieure et limite infrieure
7. Dduire de la question prcdente que le rayon de convergence de la srie entire

a
n
z
n
est :
R =
1
limsup
n+
n
_
[a
n
[
avec limsup
n+
n
_
[a
n
[ = + si la suite
_
n
_
[a
n
[
_
nN
nest pas majore.
24.2 Solution
1. La suite (u
n
)
nN
tant borne, il en est de mme des ensembles E
n
= u
p
[ p n pour
tout n N et en consquence E
n
admet une borne suprieure v
n
et une borne infrieure
w
n
et on a :
w
n
= inf (E
n
) v
n
= sup (E
n
) .
2. La suite (u
n
)
nN
tant borne, en notant m = inf
nN
u
n
et M = sup
nN
u
n
, on a :
n N, p n, m u
p
M,
cest--dire que, pour tout n N, m est un minorant de E
n
et M un majorant de E
n
, ce
qui entrane :
n N, m w
n
= inf (E
n
) v
n
= sup (E
n
) M
Les suites (v
n
)
nN
et (w
n
)
nN
sont donc bornes.
En crivant, pour tout n N, que :
E
n+1
E
n
= u
n
E
n+1
,
on dduit que :
_
w
n
= inf (E
n
) w
n+1
= inf (E
n+1
)
v
n+1
= sup (E
n+1
) v
n
= sup (E
n
)
cest--dire que (v
n
)
nN
est dcroissante et (w
n
)
nN
croissante. Comme ces suites sont
bornes, elles sont alors convergentes.
3. De
1
= sup
nN
(w
n
) avec (w
n
)
nN
croissante, on dduit que pour tout rel > 0 il existe un
entier n

tel que :
n n

,
1
< w
n
= inf
pn
u
p

1
et par dnition de la borne infrieure, pour tout n n

, il existe un entier p n tel

que :
w
n
u
p
< w
n
+
1
+ .
On a donc montr que pour tout rel > 0 et tout entier n N, il existe un entier p n
tel que :

1
< u
p
<
1
+
(pour donn, on a soit n n

et on trouv un tel entier p n, soit 0 n < n

et on
prend alors p qui correspond n

). On peut alors extraire de (u

n
)
nN
une sous-suite qui
converge vers
1
en procdant comme suit : prenant = 1 et n = 0, on a p = (0) 0
tel que
1
1 < u
(0)
<
1
+1, puis pour =
1
2
et n = (0) +1 on a p = (1) > (0) tel
que
1

1
2
< u
(1)
<
1
+
1
2
et continuant ainsi de suite on construit une suite strictement
Solution 397
croissante dentiers naturels ((n))
nN
telle que
1

1
n + 1
< u
(n)
<
1
+
1
n + 1
(les
entiers (0) < < (k) tant construit en prenant =
1
k + 2
et n = (k) + 1 on
obtient (k + 1)). On a alors lim
n+
u
(n)
=
1
.
On montre de manire analogue que
2
est valeur dadhrence de (u
n
)
nN
.
4. Soit = lim
n+
u
(n)
une valeur dadhrence de (u
n
)
nN
o ((n))
nN
est une suite stricte-
ment croissante dentiers naturels (lexistence de valeurs dadhrence dune suite borne
est assure par le thorme de Bolzano-Weierstrass). En passant la limite dans lenca-
drement :
n N, w
(n)
u
(n)
v
(n)
,
on obtient lencadrement
1

2
.
Dans le cas o la suite (u
n
)
nN
nest pas borne, soit elle nest pas majore et + est
valeur dadhrence, soit elle nest pas minore et est valeur dadhrence. Donc une
suite relle a toujours des valeurs dadhrence dans R et on peut dnir sa limite suprieure
[resp. infrieure] dans R comme la plus grand [resp. petite] de ses valeurs dadhrence.
5. Si la suite (u
n
)
nN
est convergente, sa limite est lunique valeur dadhrence et
1
=
2
.
Rciproquement, si
1
=
2
, toute valeur dadhrence de (u
n
)
nN
tant comprise entre
1
et
2
, il ne peut y en avoir quune et comme (u
n
)
nN
est borne, elle est ncessairement
convergente (thorme 3.20).
6. Si
_
n

u
n
_
nN
nest pas majore, on aura alors
n

u
n
> 1 pour une innit dindices n, donc
aussi u
n
> 1 pour ces indices et la srie

u
n
est divergente puisque la suite (u
n
)
nN
ne
peut converger vers 0.
Si elle est majore, elle est alors borne puisque positive et on peut dnir sa limite
suprieure (en fait dans le cas o la suite nest pas majore sa limite suprieure est
+).
Supposons = lim
n+
_
sup
pn
p

u
p
_
< 1. On peut alors trouver un entier tel que < < 1
et un entier n
0
tel que :
n n
0
, sup
pn
p

u
p

ce qui entrane que :
n n
0
, 0
n

u
n

et revient dire que :
n n
0
, 0 u
n

n
.
Le corollaire 6.9 nous dit alors que la srie

u
n
est convergente comme la srie gom-
trique

n
.
Supposons = lim
n+
_
sup
pn
p

u
p
_
> 1. On peut alors trouver un entier tel que 1 < <
et un entier n
0
tel que :
n n
0
, v
n
= sup
pn
p

u
p
> .
Par dnition de la borne suprieure, on peut trouver pour tout entier n n
0
un entier
p
n
n tel que 1 < <
p
n

u
p
n
v
n
et on aura u
p
n
> 1 pour cet entier p
n
n. Dans une
telle situation la suite (u
n
)
nN
ne peut converger vers 0 et la srie

u
n
est divergente.
398 Limite suprieure et limite infrieure
7. Si la suite
_
n
_
[a
n
[
_
nN
nest pas majore, il en est de mme de
_
n
_
[a
n
z
n
[
_
nN
pour tout
z C

et la srie

[a
n
z
n
[ est divergente. On a donc R = 0 =
1
+
=
1
limsup
n+
n
_
[a
n
[
dans ce cas.
Si
_
n
_
[a
n
[
_
nN
est majore, il en est de mme de
_
n
_
[a
n
z
n
[
_
nN
pour tout z C

et la s-
rie

[a
n
z
n
[ est convergente pour limsup
n+
[z[
n
_
[a
n
[ < 1 et divergente pour limsup
n+
[z[
n
_
[a
n
[ >
1, ce qui revient dire que

[a
n
z
n
[ est convergente pour [z[ <
1
limsup
n+
n
_
[a
n
[
et diver-
gente pour [z[ >
1
limsup
n+
n
_
[a
n
[
. On a donc bien R =
1
limsup
n+
n
_
[a
n
[
.
25
Calculs du nombre
25.1 nonc
On se propose de montrer que :
+

n=0
_
4
8n + 1

2
8n + 4

1
8n + 5

1
8n + 6
_
1
16
n
= .
1. Justier la convergence de cette srie. On notera S sa somme.
2. Montrer que, pour tout entier naturel non nul q, on a :
+

n=0
1
8n + q
1
16
n
_
1

2
_
q
=
_ 1

2
0
t
q1
1 t
8
dt.
3. Montrer que :
S = 4

2
_ 1

2
0
1
1 + t
4
dt 8
_ 1

2
0
t
3
(1 t
2
) (1 + t
4
)
dt.
4. Montrer que :
_ 1

2
0
1
1 + t
4
dt =
1
2

2
_
1
2
ln (5) + arctan (2)
_
.
5. Montrer que :
_ 1

2
0
t
3
(1 t
2
) (1 + t
4
)
dt =
1
8
ln (2)
1
4
arctan
_
1
2
_
.
6. Conclure.
25.2 Solution
1. La terme gnral est major en valeur absolue par
8
16
n
, la srie gomtrique

_
1
16
_
n
tant convergente.
2. On a :
t
q1
1 t
8
=
+

n=0
t
8n+q1
399
400 Calculs du nombre
la convergence tant uniforme sur
_
0,
1

2
_
, ce qui donne :
_ 1

2
0
t
q1
1 t
8
dt =
+

n=0
_ 1

2
0
t
8n+q1
dt =
+

n=0
1
8n + q
_
1

2
_
8n+q
=
+

n=0
1
8n + q
1
16
n
_
1

2
_
q
3. Prenons pour valeurs successives de q, 1, 4, 5 et 6, on a :
+

n=0
1
8n + 1
1
16
n
1

2
=
_ 1

2
0
1
1 t
8
dt
+

n=0
1
8n + 4
1
16
n
_
1

2
_
4
=
1
4
+

n=0
1
8n + 4
1
16
n
=
_ 1

2
0
t
3
1 t
8
dt
+

n=0
1
8n + 5
1
16
n
_
1

2
_
5
=
1
4

2
+

n=0
1
8n + 5
1
16
n
=
_ 1

2
0
t
4
1 t
8
dt
+

n=0
1
8n + 6
1
16
n
_
1

2
_
6
=
1
8
+

n=0
1
8n + 6
1
16
n
=
_ 1

2
0
t
5
1 t
8
dt
et la srie qui nous intresse vaut
_ 1

2
0
f (t) dt o on a pos :
f (t) =
_
4

2 8t
3
4

2t
4
8t
5
_
1
1 t
8
=
4

2 (1 t
4
) 8t
3
(1 + t
2
)
(1 t
2
) (1 + t
2
) (1 + t
4
)
=
4

2
1 + t
4

8t
3
(1 t
2
) (1 + t
4
)
4. On a :
1 + t
4
=
_
1 + t
2
_
2
2t
2
=
_
1

2t + t
2
__
1 +

2t + t
2
_
et la dcomposition en lments simples :
1
1 + t
4
=
at + b
1

2t + t
2
+
ct + d
1 +

2t + t
2
.
Par parit et unicit de la dcomposition, on a c = a et d = b. Prenant t = 0, on a
1 = 2b, soit b =
1
2
, puis t = i, donne
1
2
=
ai + b

2i
+
ai + b

2i
=

2a et a =
1
2

2
. Ce
qui donne :
_ 1

2
0
1
1 + t
4
dt =
1
2

2
_
_ 1

2
0
t +

2
1 +

2t + t
2
dt
_ 1

2
0
t

2
1

2t + t
2
dt
_
Solution 401
avec :
_ 1

2
0
t +

2
1 +

2t + t
2
dt =
1
2
_ 1

2
0
2t +

2
1 +

2t + t
2
dt +

2
2
_ 1

2
0
1
1 +

2t + t
2
dt
=
1
2
_
ln
_
1 +

2t + t
2
__ 1

2
0
+

2
2
_ 1

2
0
1
_
t +

2
2
_
2
+
1
2
dt
=
1
2
_
ln
_
1 +

2t + t
2
__ 1

2
0
+

2
_ 1

2
0
1
_
2t + 1
_
2
+ 1
dt
=
1
2
_
ln
_
1 +

2t + t
2
__ 1

2
0
+
_
arctan
_

2t + 1
__ 1

2
0
=
1
2
ln
_
5
2
_
+ arctan (2)

4
et :
_ 1

2
0
t

2
1

2t + t
2
dt =
1
2
_ 1

2
0
2t

2
1

2t + t
2
dt

2
2
_ 1

2
0
1
1

2t + t
2
dt
=
1
2
_
ln
_
1

2t + t
2
__ 1

2
0

2
2
_ 1

2
0
1
_
t

2
2
_
2
+
1
2
dt
=
1
2
_
ln
_
1

2t + t
2
__ 1

2
0

2
_ 1

2
0
1
_
2t 1
_
2
+ 1
dt
=
1
2
_
ln
_
1

2t + t
2
__ 1

2
0

_
arctan
_

2t 1
__ 1

2
0
=
1
2
ln
_
1
2
_
+

4
En dnitive :
_ 1

2
0
1
1 + t
4
dt =
1
2

2
_
1
2
ln
_
5
2
_
+ arctan (2)

4

1
2
ln
_
1
2
_
+

4
_
=
1
2

2
_
1
2
ln (5) + arctan (2)
_
5. Le changement de variable x = t
2
donne :
_ 1

2
0
t
3
(1 t
2
) (1 + t
4
)
dt =
1
2
_ 1
2
0
x
(1 x) (1 + x
2
)
dx
et la dcomposition en lments simples :
g (x) =
x
(1 x) (1 + x
2
)
=
a
1 x
+
cx + d
1 + x
2
402 Calculs du nombre
avec a = lim
x1
(1 x) g (x) =
1
2
, 0 = lim
x+
xg (x) = a + c, donc c = a et x = 0 donne
d = a. On a donc :
_ 1

2
0
t
3
(1 t
2
) (1 + t
4
)
dt =
1
4
_ 1
2
0
1
1 x
+
x 1
1 + x
2
dx
=
1
4
_
ln (2) +
1
2
ln
_
5
4
_
arctan
_
1
2
__
=
1
8
ln (5)
1
4
arctan
_
1
2
_
.
6. En conclusion :
S = 4

2
_
1
2

2
_
1
2
ln (5) + arctan (2)
__
8
_
1
8
ln (5)
1
4
arctan
_
1
2
__
= 2
_
arctan (2) + arctan
_
1
2
__
= 2

2
=
en utilisant lgalit arctan (x) + arctan
_
1
x
_
=

2
pour x > 0.
7. Cette srie converge trs vite vers , par exemple, n = 20 donne (avec Maple) :
_
S 3.141592653589793238462643383251
3.141592653589793238462643383280
soit 28 dcimales exactes.