SESSION 2009

CAPES EXTERNE
MATHMATIQUES 1

I - Intgrales de Wallis et formule de Stirling

I.1. Intgrales de Wallis.
h i

I.1.a) Soit n N. Lapplication x 7 x est un C1 -diffomorphisme de 0,

sur lui-mme. En posant t = x, on
2
2
2
obtient
Z /2
Z0
Z /2


n
n
sinn (t) dt.
t (dt) =
cos
cos (x) dx =
Wn =
2
0
/2
0
h i
I.1.b) Soit n N. Pour x 0, , cosn (x) cosn+1 (x) = cosn (x)(1 cos(x)) > 0 avec galit si et seulement si x = 0
2
h i

ou x = . Ainsi, la fonction x 7 cosn (x) cosn+1 (x) est continue, positive et non nulle sur 0, . On en dduit que
2
2
Z /2
Wn Wn+1 =
(cosn (x) cosn+1 (x)) dx > 0,
0

Ainsi, n N, Wn+1 < Wn et donc

la suite (Wn )nN est strictement dcroissante.
h i
I.1.c) Soit n N. Les deux fonctions x 7 sin(x) et x 7 cosn+1 (x) sont de classe C1 sur 0, . On peut donc effectuer
2
une intgration par parties et on obtient
Wn+2 =

Z /2
0

Z /2


/2
cos(x) cosn+1 (x) dx = sin(x) cosn+1 (x) 0

= 0 + (n + 1)

Z /2

sin(x) (n + 1)( sin(x)) cosn (x) dx

sin2 (x) cosn (x) dx (car n + 1 > 1)

= (n + 1)

Z /2

Z /2

(1 cos (x)) cos (x) dx = (n + 1)

cos (x) dx

Z /2
0

n+2

cos

(x) dx

= (n + 1) (Wn Wn+2 ) ,
et donc (n + 2)Wn+2 = (n + 1)Wn puis Wn+2 =

n+1
n+2

Wn .

n N, Wn+2 =

I.1.d) W0 =

Z /2
0

1 dx =

et W1 =
2

Z /2
0

n+1
n+2
/2

cos(x) dx = [ sin(x)]0

Wn .

= 1.

Soit p N .
1
(2p) (2p 1) (2p 2) (2p 3) . . . 3 2 1
2p 1 2p 3

. . . W0 =
2p
2p 2
2
((2p) (2p 2) . . . 4 2)2
2
(2p)!
(2p)!
= p 2 = 2p
,
(2 p!) 2
2 (p!)2 2

W2p =

ce qui reste vrai pour p = 0.

Soit p N .
http ://www.maths-france.fr

c Jean-Louis Rouget, 2010. Tous droits rservs.

2p
2p 2
2
((2p) (2p 2) . . . 4 2)2

. . . W1 =
2p + 1 2p 1
3
(2p + 1) (2p) (2p 1) . . . 3 2 1
2p
2
2 (p!)
,
=
(2p + 1)!

W2p+1 =

ce qui reste vrai pour p = 0.

p N, W2p =

(2p)!
22p (p!)2
et W2p+1 =
.
2
(2p + 1)!

22p (p!)2

I.1.e) Daprs la question I.1.c), pour tout n N, (n + 2)Wn+1 = (n + 1)Wn puis, en multipliant les deux membres par
Wn+1 , (n + 2)Wn+2 Wn+1 = (n + 1)Wn+1 Wn . Ainsi, la suite ((n + 1)Wn+1 Wn )nN est constante. On en dduit que pour

.
tout entier naturel n, (n + 1)Wn+1 Wn = W1 W0 = et donc Wn+1 Wn =
2
2(n + 1)
n N, Wn+1 Wn =

.
2(n + 1)

I.1.f ) Soit n N. Tout dabord Wn > 0 (intgrale dune fonction continue, positive et non nulle).
Ensuite, daprs la question I.1.b), Wn+2 < Wn+1 < Wn . En divisant les trois membres de cet encadrement par le rel
strictement positif Wn , on obtient ( laide de la question I.1.c))
Wn+1
Wn
n+1
Wn+2
1
<
<
= 1.
=
=
n+2
n+2
Wn
Wn
Wn

1
Comme

lim 1

n +

1
= 1, le thorme des gendarmes permet daffirmer que
n+2
Wn+1

I.1.g) Daprs les questions question I.1.e),

Wn

2n

n +

n +

lim

n +

Wn+1
= 1 et donc que
Wn

Wn .

2
= Wn Wn+1 Wn
, et puisque Wn > 0,
2(n + 1)
r
p

2
.
Wn = Wn

n +
2n

n +

et en particulier
2n

lim Wn = 0.

n +

I.2. Formule de Stirling.

I.2.a) Soit n > 2.
vn = ln(un un1 ) = ln

n 12 !
 




1
n1
(n 1)n1 n 1
1
n!en

ln 1
.
= ln e
=1+ n
(n 1)!en1
n
2
n
nn n

Par suite,
vn

n +

1
1+ n
2


 
 
1
1
1
1
1
1
2 3 +o
=
.
+o
3
2
n 2n
3n
n
12n
n2
vn

I.2.b) En particulier, vn

n +

donc converge.
Maintenant, pour n > 2,

n
X

k=2

vk =

1
n2

n
X

n +

1
+o
12n2


1
.
n2

et on en dduit que la srie de terme gnral vn , n > 2, converge absolument et

(ln(uk ) ln(uk1 ) = ln(un ) ln(u1 ) = ln(un ) 1 (somme tlescopique). Donc,

k=2

n > 2, ln(un ) = 1 + vn et la suite (ln(un )) converge. Posons = lim ln(un ) puis K = e > 0.
n +

http ://www.maths-france.fr

c Jean-Louis Rouget, 2010. Tous droits rservs.

un = eln(un )
Puisque K nest pas nul, on peut alors crire

n!en
= un
nn n

n +

n +

e = K.

K ou encore n!

n +

I.2.c) Daprs la question I.1.d),

 n n
n.
e

2p

2p
K
2p

(2p)!
e
= .

W2p = 2p
 
2 (p!)2
2 p + 2p 2 p 2p 2
2
K
2 p
2 K
( p)
e

Dautre part, daprs la question I.1.g), W2p

et donc que K = 2.
et on en dduit que =
p + 2 p
2
K 2
Finalement,


n!

n +

 n n
2n.
e

I.3. Une autre application des intgrales de Wallis.

I.3.a) Soit (x1 , . . . , xn ) Rn .
(x1 , . . . , xn ) Bn x21 + . . . + x2n1 + x2n 6 R2 x21 . . . x2n1 6 R2 et x2n 6 R2 x21 . . . x2n1
(car x21 + . . . + x2n1 + x2n 6 R2 x21 + . . . + x2n1 6 R2 )

(x1 , . . . , xn1 ) Bn et x2n 6 R2 x21 . . . x2n1

(x1 , . . . , xn1 ) Bn1

q et
q

R 2 x2 . . . x2
R2 x21 . . . x2n1
1
n1 6 xn 6

Montrons alors par rcurrence que pour tout entier naturel non nul n, Bn est continment paramtrable.
B1 = [R, R] est continment paramtrable.
Soit n > 2. Supposons que Bn1 soit continment paramtrable. Daprs ce qui prcde,
q
q
Bn = {(x1 , . . . , xn Rn / (x1 , . . . , xn1 ) Bn1 et R2 x21 . . . x2n1 6 xn 6 R2 x21 . . . x2n1 }.

Comme
Bn1 est continment paramtrable q
par hypothse de rcurrence et que les deux fonctions (x1 , . . . , xn1 ) 7
q
2
2
R2 x1 . . . xn1 et (x1 , . . . , xn1 ) 7 R2 x21 . . . x2n1 sont continues sur Bn1 (car la fonction

(x1 , . . . , xn1 ) 7 R2 x21 . . . x2n1 est continue sur Bn1 valeurs dans R+ et la fonction y 7 y est continue sur
+
R ), on en dduit que Bn est continment paramtrable.
On a montr par rcurrence que

n N , Bn est continment paramtrable.

h i
m
I.3.b) Soient > 0 et m N. La fonction : t 7 sin t est de classe C1 sur ,
et la fonction x 7 (2 x2 ) 2
2 2
h i
est continue sur ,
= [, ]. On peut donc poser x = (t) et on obtient
2 2
Z

m
2

dx =

Z /2

( sin t)

m
2

m+1

cos t dt =

(1 sin2 t) 2 cos t dt

/2

/2

= m+1

Z /2

Z /2

cosm+1 t dt

/2

= 2m+1

Z /2
0

cosm+1 t dt (car la fonction t 7 cos t est paire)

= 2m+1 Wm+1 .
I.3.c) Soit n > 2.
Daprs la question I.3.a),
http ://www.maths-france.fr

c Jean-Louis Rouget, 2010. Tous droits rservs.

Vn =

...

dx1 . . . dxn =
Bn

...

Z R2 x21 ...x2n1

Bn1

dxn dx1 . . . dxn1

2
R2 x2
1 ...xn1

1
= 2 ...
R2 x21 . . . x2n1 2 dx1 . . . dxn1
B
Z n1
Z

1
= 2W1 . . .
R2 x21 . . . x2n1 2 dxn1 . . . dx1 .
Bn1

La formule propose est donc vraie quand k = 1.

k
Y

Soit k J1, n 2K. Supposons que Vn = 2

i=1

question prcdente,
Z

...

R2 x21 . . . x2nk
Bnk

=
=

Z
Z

...

...

Bnk1

= 2Wk+1

...

R2 x21 . . . x2nk
Bnk

k2

dxnk . . . dx1 . Daprs la

dxnk . . . dx1

2
R2 x2
1 ...xnk1

R2 x21 . . . x2nk

2
R2 x2
1 ...xnk1

k2

dxnk

dxnk1 . . . dx1

!
k+1
q
2
2
Wk+1 dxnk1 . . . dx1
2
R2 x1 . . . xnk1

Bnk1

k2

Wi

!Z

(R2 x21 . . . x2n(k+1) )

k+1
2

dxnk1 . . . dx1 ,

Bn(k+1)

et donc
k+1
Y

k+1

Vn = 2

Wi

i=1

!Z

...

Bn(k+1)

 k+1

2
dxn(k+1) . . . dx1 .
R2 x21 . . . x2n(k+1)

Le rsultat est dmontr par rcurrence sur k.

ZR
I.3.d) V1 =
dx1 = 2R = W1 (2R)1 .
R

Soit alors n > 2. Le rsultat de la question prcdente appliqu k = n 1 fournit

Vn = 2n1
= 2n1
n

= (2R)

i=1

!Z

n1
Y

2Rn1+1 Wn1+1 (daprs la question I.3.b)

n1
Y

i=1
n
Y

Wi

Wi

Wi

i=1

(R2 x21 )n1 2dx1

R

n N , Vn = (2R)

V2k = (2R)2k

Wi

i=1

= (2R)2k

k
Y

p=1

Wi .

i=1

. On en dduit que
2(i + 1)

Soit k N . Daprs la question I.1.e), i N, Wi Wi+1 =

2k
Y

n
Y

W2p1 W2p

= (2R)2k
k N , V2k =
http ://www.maths-france.fr

k
Y

p=1

2k k
k

= (2R) = Rk .
2k
2 (2p)
2 k!
k!

k k
R .
k!
c Jean-Louis Rouget, 2010. Tous droits rservs.

 Soit k N .
2k+1
Y

V2k+1 =

Wi

i=1

2k+1

(2R)

2k
Y

i=1

Wi (2R)2k 2RW2k+1

22k (k!)2
= V2k 2R
(daprs la question I.1.d))
(2k + 1)!
k k
22k (k!)2
k!
=
R 2R
= 22k+1
k R2k+1 .
k!
(2k + 1)!
(2k + 1)!
En tenant compte de V1 = 2R, on a montr que
k N, V2k+1 = 22k+1

k!
k R2k+1 .
(2k + 1)!

Remarque. On pouvait aussi ne pas utiliser la question I.1.d) en crivant

!
2k+1
k
Y
Y
W2k+1 =
Wi (2R)2k+1 =
W2p W2p+1 (2R)2k+1 .
i=2

p=1

En particulier,

V1 = 2R, V2 = R2 , V3 =

4 3
2 4
R et V4 =
R .
3
2

I.3.e) Daprs la formule de Stirling,

V2k =

k k
R
k!

k +

Comme, lim k ln k + k ln(eR)

k +




1
(R)k
2)
,
=
exp
k
ln
k
+
k
ln(eR)

ln
k

ln(
 k
2

k
2k
e

1
ln k ln( 2) = , on en dduit que lim V2k = 0.
k +
2

Ensuite, daprs la question I.1.g),

V2k+1 = 2RW2k+1 V2k
et comme lim

k +

k +

2R

V2k
2(2k + 1)

= lim V2k = 0, on a encore lim V2k+1 = 0.

k +
2(2k + 1) k +

I.3.f ) Les deux suites extraites (V2k ) et (V2k+1 ) sont convergentes et ont mme limite. On en dduit que la suite (Vn )
converge et de plus lim Vn = lim V2k = 0.
n +

k +

lim Vn = 0.

n +

I.3.g) Soit n N . On a Vn 6= 0 puis daprs la question I.3.d),

!
n+1
Y
Wi (2P)n+1
Vn+1
!
= i=1n
= 2RWn .
Vn
Y
n
Wi (2P)
i=1

Puisque la suite (Wn )nN est strictement dcroissante de limite nulle, il en est de mme de la suite (2RWn )nN et donc il
existe un rang n1 N tel que pour n > n1 , 0 < 2RWn < 1. Soit n0 = Min{n1 N / n > n1 , 0 < 2RWn < 1} (n0 existe
Vn+1
= 2RWn < 1 et
car {n1 N / n > n1 , 0 < 2RWn < 1} est une partie non vide de N). Alors, pour tout n > n0 ,
V n
donc, puisque Vn > 0, Vn+1 < Vn . La suite (Vn )nN est donc dcroissante partir du rang n0 .
Si n0 = 1, la suite (Vn )nN est dcroissante. Sinon, n0 > 2 puis 2RWn0 1

Vn0
> 1 par dfinition de n0 . Mais alors,
Vn0 1

pour 1 6 n 6 n0 1, puisque la suite (2RWn ) est dcroissante,

http ://www.maths-france.fr

c Jean-Louis Rouget, 2010. Tous droits rservs.

Vn+1
= 2RWn > 2RWn0 1 > 1,
Vn
et donc, pour 1 6 n 6 n0 1, Vn+1 > Vn .
En rsum, la suite (Vn )nN est soit dcroissante, soit croissante jusqu un certain rang n0 puis dcroissante.


Vn+1
I.3.h) Puisque la suite
est dcroissante,
Vn nN
V2
1
Vn+1
61
6 1 2RW1 6 1 R 6 .
Vn
V1
2

(Vn )nN dcroissante n N ,

La suite (Vn )nN est dcroissante si et seulement si 0 < R 6

1
.
2

I.3.i) Supposons R = 1. Soit n N .

Maintenant, daprs la question I.1.d),

Vn+1
1
> 1 2Wn > 1 Wn > .
Vn
2

26
8
1
6!
23456
5
1
24 22
=
=
=
> et W6 = 6 2 =
= 0, 4 . . . <
6
2
2
5!
120
15
2
2 6 2
2 2 3
2
32
2
V6
V7
Par suite,
> 1 et
< 1. Donc, si R = 1, alors n0 = 6.
V5
V6
W5 =

II - Polynmes et nombres de Bernoulli

II.1. Dfinitions.
II.1.a) Soit P R[X]. Le polynme ZQ cherch est ncessairement une primitive du polynme P.
x
Pour x R, posons donc Q0 (x) =
P(t) dt (Q0 est la primitive de P qui sannule en 0). Q0 est un polynme et les
0

primitives de P sont les polynmes Q = Q0 + , R. De plus,

Z1
Z1
Z1
Q(t) dt = 0 (Q0 (t) + ) dt = 0 = Q0 (t) dt.
0

Ceci montre lexistence et lunicit dun polynme Q vrifiant Q = P et

Z1

Q(x) dx savoir le polynme Q tel que

x R, Q(x) =

Zx

P(t) dt

Z 1 Z x
0


P(t) dt dx.

II.1.b) B0 existe, est un polynme et est uniquement dfini.

Soit n N . Supposons avoir dmontr lexistence et lunicit du polynme Bn1 . Alors, daprs la question prcdente,
Z1
il existe un polynme Bn et un seul tel que Bn = nBn1 et
Bn (x) dx = 0.
0

On a montr par rcurrence lexistence et lunicit de la suite de polynmes (Bn )nN .

II.1.c) B0 (X) = 1 et b0 = 1.
Il existe a R tel que B1 (X) = X + a. De plus, 0 =
1
b1 = .
2

B2 (X)

Z1

(x + a) dx =

1
1
1
+ a et donc a = . Par suite B1 (X) = X et
2
2
2

= 2B1 (X) = 2X 1 et donc il existe a R tel que B2 (X) = X X + a. De plus, 0 =

Z1
0

(x2 x + a) dx =

1 1
+a
3 2

1
1
1
et donc a = . Par suite B2 (X) = X2 X + et b2 = .
6
6
6
3
1
1
B3 (X) = 3B2 (X) = 3X2 3X + et donc il existe a R tel que B3 (X) = X3 X2 + X + a.
2
2
2

Z1 
3 2 1
1 1 1
3
1
3
x x + x + a dx = + + a et donc a = 0. Par suite B3 (X) = X3 X2 + X et b3 = 0.
De plus, 0 =
2
2
4
2
4
2
2
0
B4 (X) = 4B3 (X) = 4X3 6X2 + 2X et donc il existe a R tel que B4 (X) = X4 2X3 + X2 + a.
Z1


1
1
1 1 1
et
x4 2x3 + x2 + a dx = + + a et donc a = . Par suite B3 (X) = X4 2X3 + X2
De plus, 0 =
5
2
3
30
30
0
1
b4 = .
30
http ://www.maths-france.fr

c Jean-Louis Rouget, 2010. Tous droits rservs.

1
1
B0 (X) = 1, B1 (X) = X , B2 (X) = X2 X + , B3 (X) = X3
2
6
1
1
b0 = 1, b1 = , b2 = , b3 = 0
2
6

3 2 1
1
X + X et B4 (X) = X4 2X3 + X2 .
2
2
30
1
et b4 = .
30

II.2. Premires proprits.

II.2.a) B0 et de degr 0 et si pour n N , Bn1 est de degr n 1, alors Bn = nBn1 est de degr n 1 N puis Bn
est de degr n. On a mongtr par rcurrence que
n N, Bn est de degr n.
II.2.b) Soit n > 2.
Bn (1) Bn (0) =

Z1

Bn (x)

dx = n

Z1

Bn1 (x) dx = 0 car n 1 > 1.

n > 2, Bn (0) = Bn (1).

(k)

II.2.c) Soit n N . On note tout dabord que pour k J1, nK, Bn = n(n 1) . . . (n k + 1)Bnk =

n!
Bnk ce
(n k)!

qui reste vrai pour k = 0 puis n = 0.

La formule de Taylor pour les polynmes permet alors dcrire
Bn (X) =

n
n
n  
(k)
X
Bnk (0) k X n
Bn (0) k X
n!
X =
X =
bnk Xk .
k!
(n k)!
k!
k

k=0

k=0

k=0

n N, x R, Bn (x) =

II.2.d) Soit n > 1. Lgalit

Z1

Bn (t) dt = 0 fournit

n  
X
n
bnk xk .
k

k=0

n  
X
n bnk

k=0

k k+1

n N , bn =

= 0 et donc bn =

k=1

n  
X
n bnk

k=1

n  
X
n bnk

k k+1

k k+1

On retrouve

b2 = 2

b3 = 3

b4 = 4

puis


b1 b0
1
= .
+
2
3
6



1 1 1
b1 b0
b2
=
=0
+3
+
+
2
3
4
4 2 4

b3
1 1 1
1
b2
b1 b0
= 0+ +
=
+6
+4
+
2
3
4
5
3 2 5
30


b4
+ 10
b5 = 5
2

b5
b6 = 6
+ 15
2

b3
+ 10
3
b4
+ 20
3




1
b2
b1 b0
5
1 1
= +0+
= 0.
+5
+
+
4
5
6
12

 12 2 6

1
1
b3
b2
b1 b0
1 1 1
= 0 +0+ +
=
+ 15
+6
+
.
4
5
6
7
6
2 2 7
42
b5 = 0 et b6 =

1
.
42

II.2.e) b0 = 1 est un rationnel et si pour n > 1, on a k J0, n 1K, bk Q, alors bn =

n  
X
n bnk

k=1

k k+1

Q. Ceci

montre par rcurrence que n N, bn Q.

 
n
Soit n N. Les nombres
bnk , 0 6 k 6 n, sont rationnels et donc le polynme Bn est coefficients rationnel.
k
http ://www.maths-france.fr

c Jean-Louis Rouget, 2010. Tous droits rservs.

II.2.f ) C0 (X) = B0 (X) = 1.

Pour n > 1, Cn (X) = (1)n Bn (1 X) = (1)n1 nBn1 (1 X) = nCn1 (X).
Z1
Z1
Z0
n
n
Pour n > 1,
Cn (x) dx = (1)
Bn (1 t) dt = (1)
Bn (u) du = 0.
0

Par unicit de la suite (Bn )nN , on en dduit que n N, Cn (X) = Bn (X) et donc
n N, Bn (1 X) = (1)n Bn (X).
1
II.2.g) Soit n N. Daprs ce qui prcde, B2n+1 (1 X) = B2n+1 (X) (). En valuant en , on obtient B2n+1
2
 
 
1
1
et donc B2n+1
= 0.
B2n+1
2
2

 
1
=
2

Soit n N . En valuant en 0 les deux membres de lgalit (), on obtient aussi B2n+1 (1) = B2n+1 (0). Mais daprs
la question II.2.b), pour p > 2, on a Bp (1) = Bp (0) et en particulier, puisque 2n + 1 > 1, B2n+1 (1) = B2n+1 (0). On en
dduit que B2n+1 (0) = B2n+1 (0) et donc que b2n+1 = B2n+1 (0) = 0.
n N, B2n+1

 
1
= 0 et n N , b2n+1 = 0.
2

II.3. Etude des variations de Bn sur [0, 1].

II.3.a) On sait que lintgrale dune fonction continue positive et non nulle est strictement positive. Donc si P est un
Z1
polynme non nul et positif sur [0, 1],
P(t) dt > 0. De mme si P est un polynme non nul et ngatif sur [0, 1],
0
Z1
Z1
P(t) dt 6= 0.
P(t) dt < 0. Dans tous les cas,
0

II.3.b) Pour n > 1, on note Pn la liste des six proprits de lnonc.

 


1
1
1 1 1
1
1
1
1
=
=
+
> 0.
(1) B2 (1) = (1) B2 (0) = < 0 et (1) B2
6
2
4 2 6
12



2
1
1
1
Ensuite, pour x [0, 1], (1)1 B2 (x) = x2 x +
= x
+
et donc la fonction (1)1 B2 est strictement
6
2
12






1
1
1
1
1
et strictement dcroissante sur
, 1 . De plus, (1) B2 est strictement ngative sur 0,

croissante sur 0,
2
2
2
12




1
1
1 1
1
1
+ , 1 et strictement positive sur
, +
.
2
2
12
12 2
12


1
1
Puisque ((1)1 B3 ) = 3(1)1 B2 , on en dduit que la fonction (1)1 B3 est strictement dcroissante sur 0,
,
2
12




1 1
1
1
1
1
, +
+ , 1 . Enfin, daprs la question
et strictement dcroissante sur
strictement croissante sur
2
2
2
12
12
12
 
1
1
1
1
II.2.g), (1) B3 (0) = (1) B3 (1) = (1) B3
= 0.
2
Donc, P1 est vraie.
Soit n > 1. Supposons Pn vraie.

n
((1)n+1 B2n+2 ) = (2n+2)(1)n+1 B2n+1 = (2n+2)(1)n B2n+1 . Par
 hypothse
 
 de rcurrence, la fonction (1) B2n+1
1
1
n
n
est strictement dcroissante sur [0, 2n+1 ] et strictement croissante sur 2n+1 ,
avec (1) B2n+1 (0) = (1) B2n+1
=
2
 2

1
0. Donc la fonction (2n + 2)(1)n B2n+1 est strictement positive sur 0, . De mme, la fonction (2n + 2)(1)n B2n+1
2


1
est strictement ngative sur
,1 .
2




1
1
n+1
et strictement dcroissante sur
,1 .
On en dduit que la fonction (1)
B2n+2 est strictement croissante sur 0,
2
2
Z1
Ensuite,
B2n (x) dx = 0 et daprs la question II.3.a), la fonction (1)n+1 B2n+2 ne peut tre de signe constant sur
0
 
1
= 0 car alors la fonction (1)n+1 B2n+2 serait ngative sur [0, 1]. De mme,
[0, 1]. On ne peut avoir (1)n+1 B2n+2
2
 
1
n+1
on ne peut avoir B2n (0) = B2n (1) = 0 car alors la fonction (1)
B2n+2
serait positive sur [0, 1].
2

http ://www.maths-france.fr

c Jean-Louis Rouget, 2010. Tous droits rservs.



 
1
1
6= 0 et puisque la fonction est strictement croissante sur 0,
et nest
Donc, (1)n+1 B2n+2 (0) (1)n+1 B2n+2
2
2

 

1
1
pas de signe constant sur 0, , on a (1)n+1 B2n+2 (0) = (1)n+1 B2n+2 (1) < 0 et (1)n+1 B2n+2
> 0.
2
2
n+1
((1)n+1 B2n+3 ) = (2n + 3)(1)
B2n+2 . Mais daprs ce qui prcde, la fonction
(1)n+1 B2n+2 est continue et


1
1
et vrifie (1)n+1 B2n+2 (0) (1)n+1 B2n+2
< 0. On en dduit que la fonction
strictement croissante sur 0,
2
2


1
(1)n+1 B2n+2 sannule une et une seule fois sur 0,
en un certain rel rel 2n+3 et de plus, la fonction (1)n+1 B2n+2
2


1
est strictement ngative sur [0, 2n+3 [ et strictement positive sur 2n+3 , . Mais alors, la fonction (1)n+1 B2n+3
 2



1
1
est strictement dcroissante sur [0, 2n+3 [ et strictement croissante sur 2n+3 , . De mme, puisque x
,1 ,
2
2
n+1
B2n+3 (x) = B2n+3 (1 x), en posant 2n+3 = 1 2n+3 , la fonction (1)
B2n+3 est strictement croissante sur

1
, 2n+3 et strictement dcroissante sur [2n+3 , 1].
2




1
1
Finalement, il existe deux rels 2n+3 0,
et 2n+3
, 1 tels que la fonction (1)n+1 B2n+3 soit strictement
2
2
dcroissante sur [0, 2n+3 ], strictement dcroissante sur [2n+3 , 2n+3
 ]et strictement dcroissante sur [2n+3 , 1]. Enfin,
1
n+1
n+1
n+1
= 0 sont connues.
les galits (1)
B2n+3 (0) = (1)
B2n+3 (1) = (1)
B2n+3
2

Le rsultat est dmontr par rcurrence.

II.3.c) Daprs la question prcdente, p N , (1)p+1 b2p > 0 et donc p N , le signe de b2p est (1)p+1 .
II.3.d) Graphes.
1

B4n2

B4n1

B4n+1

B4n

II.4. Une application arithmtique.

II.4.a) Montrons par rcurrence que n > 1, x R, Bn+1 (x) Bn (x) = nxn1 .
 


1
1
x
= 1 = 1 x0 . La formule dmontrer est donc vraie quand
Pour tout rel x, B1 (x + 1) B1 (x) = x +
2
2
n = 1.
Soit n > 1. Supposons que x R, Bn (x) Bn (x) = nxn1 . Alors, pour tout rel x,
(Bn+1 (x + 1) Bn+1 (x)) = (n + 1)(Bn (x + 1) Bn (x)) = (n + 1)nxn1 .
http ://www.maths-france.fr

c Jean-Louis Rouget, 2010. Tous droits rservs.

Par suite, il existe un rel a tel que pour tout rel x, Bn+1 (x) Bn (x) = (n + 1)xn + a. Maintenant, n + 1 > 2, et donc
Bn+1 (1) Nn+1 (0) = 0 daprs la question II.2.b). En valuant en 0, on obtient 0 = (n + 1)0n + a = a (car n > 1) et
donc pour tout rel x, Bn+1 (x + 1) Bn+1 (x) = (n + 1)xn .
On a montr par rcurrence que
n N , x R, Bn (x) Bn (x) = nxn1 .
II.4.b) Soient N N et p N . Daprs la question prcdente, pour k J0, NK, kp =

1
(Bp+1 (k + 1) Bp+1 (k)) et
p+1

donc

Sp (N) =

N
X

k=0

n
1 X
k =
(Bp+1 (k + 1) Bp+1 (k))
p+1
p

k=0

1
(Bp+1 (N + 1) Bp+1 (0)) (somme tlescopique)
=
p+1
1
(Bp+1 (N + 1) bp+1 ) .
=
p+1
N N , p N , Sp (N) =

Bp+1 (N + 1) bp+1
.
p+1

B2 (N + 1) b2
(N + 1)2 (N + 1)
N(N + 1)
II.4.c) Pour N N, S1 (N) =
=
=
.
2
2
2


3
2
3
1
2N + 3N + N
N(N + 1)(2N + 1)
1
(N + 1)3 (N + 1)2 + (N + 1) =
=
.
Pour N N , S2 (N) =
3
2
2
6
6

N4 + 2N3 + N2
1
N2 (N + 1)2
Pour N N , S3 (N) =
(N + 1)4 2(N + 1)3 + (N + 1)2 =
=
.
4
4
4
N N , S1 (N) =

N(N + 1)(2N + 1)
N2 (N + 1)2
N(N + 1)
, S2 (N) =
et S3 (N) =
.
2
6
4

II.5. Une application analytique.

II.5.a) Soit t R . Daprs la formule de Stirling,
 p 2p
 2p
16p
|b2p | 2p
t
e
2p
t =2
.
t

 2p
p
+
(2p)!
2

2p
4p
e


|b2p | 2p
b2p 2p
Par suite, si |t| < 2, lim
t = 0 et dans ce cas, la suite
t
est borne (toute suite convergente est
p + (2p)!
(2p)!

b2p 2p
|b2p | 2p
t = + et dans ce cas, la suite
t
nest pas borne. Comme dautre part
borne) et si |t| > 2, lim
p + (2p)!
(2p)!


n
b2p+1 2p+1
bn t
p > 1,
est borne si |t| < 2 et non borne si |t| > 2. On sait alors que la srie
t
= 0, la suite
(2p + 1)!
n!
n
bn t
entire de terme gnral
a pour rayon 2.
n!
II.5.b) Soit t ] 2, 2[.
+ n
X
t
n!

n=1

+
X
bn t n
n!

n=0

+
X

n=1
+
X

n=1

n
X
bnk
1

k! (n k)!

k=1

+
X
1
t =
n!
n

n=1

n  
X
n
bnk
k

k=0

bn

tn

1
(Bn (1) bn ) tn (daprs la question II.2.c))
n!

= (B1 (1) b0 )t (daprs la question II.2.b))

= t.
Par suite,

http ://www.maths-france.fr

10

c Jean-Louis Rouget, 2010. Tous droits rservs.

t ] 2, 2[\{0},

Remarque. On peut prolonger la fonction f : t 7

reste alors valable pour t = 0.

+
X
t
bn t n
=
.
et 1
n!
n=0

t
par continuit en 0 en posant f(0) = 1. Lgalit prcdente
et 1

II.5.c) Pour tout rel x et tout rel t ] 2, 2[\{0},

+
X
bn t n
n!

text
=
et 1
=

n=0
+
X

n=0
+
X
n=0

n
X

k=0

+ n n
X
x t
n!
n=0
!

!
!
n  
X
tn
n
k
bnk x
n!
k

+
X
bnk
xk tn =
k!(n k)!

Bn (x)t
n!

n=0

k=0

(daprs la question II.2.c))

+
X
Bn (x)tn
text
=
.
t ] 2, 2[\{0}, x R, t
e 1
n!
n=0

II.5.d) Ceci montre dj que R > 2 o R est la rayon de convergence de la srie entire prcdente. De plus, les calculs
prcdents restent valables si on remplace si on remplace le rel t ] 2, 2[\{0} par un complexe z tel que z 6= 0 et
|z| < 2. En notant D(0, 2), le disque ouvert de centre 0 et de rayon 2,
x R, z D(0, 2) \ {0},

+
X
Bn (x)zn
zexz
=
.
ez 1
n!
n=0


 

 xz 
+
X
 ze 
Bn (x)zn   zexz 



Maintenant, pour x R et |z| < 2, 
.
Or
= z

 ez 1  tend vers + quand z tend vers 2i. Comme

n! 
e 1
n=0
la somme dune srie entire doit tre borne sur tout disque ferm contenu dans son disque ouvert de convergence, on ne
peut avoir R > 2 et finalement R = 2.

III - Fonction de Riemann et nombres de Bernoulli.

III.1. Fonction .
1
III.1.a) Soient k N et s > 0. La fonction x 7 s est continue et dcroissante sur ]0, +[ et donc sur [k, k + 1]. Par
x
suite,
1
1
= (k + 1 k)
=
(k + 1)s
(k + 1)s

Z k+1

s > 0, k N ,

1
dx 6
(k + 1)s

1
6
(k + 1)s

Z k+1
k

Z k+1
k

1
dx 6
xs

Z k+1
k

1
1
dx = s .
ks
k

1
1
dx 6 s .
xs
k

Z +

1
1
dx converge si et seulement si s > 1 et de mme la srie de terme gnral s ,
xs
k
k > 1, converge si et seulement si s > 1.
Il est alors connu que lintgrale

III.1.b) La fonction est dfinie sur ]1, +[. Soient s et s deux rels tels que 1 < s < s . Pour tout n > 2, on a
(car la fonction x 7

+
+
X
X
1
1
1
est
strictement
dcroissante
sur
R)
et
donc
puis (s ) < (s).
<
nx
ns
ns
n=2

1
1
<
s
n
ns

n=2

On a montr que

la fonction est dfinie et strictement dcroissante sur ]1, +[.

III.1.c) Soit s > 1. Daprs la question a),

http ://www.maths-france.fr

11

c Jean-Louis Rouget, 2010. Tous droits rservs.

(s) 1 =

+ Z k+1
+
X
X
1
1
1
6
dx
6
= (s).
s
s
(k + 1)
x
ks
k

+
X

k=1

k=1

Mais

Z +
+ Z k+1
X
1
1
1
dx
=
dx =
s
s
x
x
(s 1)xs1
k
1


k=1

+

k=1

1
et donc
s1

1
1
6 (s) 6
+ 1.
s1
z1

s > 1,

Par suite, s > 1, 1 6 (s 1)(s) 6 1 + (s 1) et le thorme des gendarmes montre que lim+ (s 1)(s) = 1 ou encore
s 1

que (s)

s 1+

1
. En particulier, lim+ (s) = +.
s 1
s1
(s)

s 1+

1
et lim+ (s) = +.
s 1
s1

 

 
 1 
 1 
1
1
1
III.1.d) Soit a > 1. Pour tout s > a et tout n N ,  s  = s 6 a et donc n N , sup  s  , s > a 6 a .
n
n
n
n
n
1
Puisque a > 1, la srie numrique de terme gnral a , n > 1, converge et donc la srie de fonctions de terme gnral
n
1
fn : s 7 s , n N , converge normalement et donc uniformment vers la fonction sur [a, +[.
n
Soit a > 1. Chaque fonction fn est continue sur [a, +[ et la srie de fonctions de terme gnral fn , n > 1, converge
uniformment vers la fonction sur [a, +[. Donc la fonction est continue sur [a, +[. Ceci tant vrai pour tout a > 1,
la fonction est continue sur ]1, +[.
La srie de fonction de terme gnral fn , n > 1, converge uniformment vers la fonction
sur [2, +[. De plus, chaque

1 si n = 1
fonction fn , n > 1, a une limite quand s tend vers + savoir lim fn (s) =
. Daprs le thorme
0 si n > 2
s +
dinterversion des limites, la fonction a une limite relle en + et
lim (s) =

s +

+
X

n=1

lim fn (x) = 1 + 0 + 0 + . . . = 1.

s +

La fonction est continue sur ]1, +[ et lim (s) = +.

s +


(1)n+1
est alterne en signe et sa valeur absolue tend vers 0 en dcroissant. Donc, la
ns
(1)n+1
, n > 1, converge en vertu du critre spcial aux sries alternes.
srie numrique de terme gnral
ns
Ensuite, pour s > 1,
III.1.e) Soit s > 0. La suite

(s) (s) =

+
+
+
X
X
X
(1)n+1
1 + (1)n
1

=
s
s
n
n
ns

n=1
+
X
p=1

n=1

2
1
= s1
s
(2p)
2

1
2s1

n=1

+
X

p=1

1
ps

(s),

et donc

s > 1, (s) = 1

1
2s1

(s).

III.2. Calcul de (2p).

III.2.a) Soit n N. c0 (Bn ) =
Soit k Z . ck (B0 ) =

Z1
0

Z1
0

Bn (x) dx =

1 si n = 0
.
0 si n > 1

e2ikx dx = 0. Ensuite, les deux fonctions B1 et x 7 e2ikx sont de classe C1 sur [0, 1]. On

peut donc effetuer une intgration par parties et on obtient

http ://www.maths-france.fr

12

c Jean-Louis Rouget, 2010. Tous droits rservs.




1


Z1
Z1 
1 1
1
1 e2ikx
1
1
1
2ikx
2ikx
+
+
.
e
dx =
x
e
dx =
+0=
ck (B1 ) =
x
2
2 2ik 0 2ik 0
2ik 2 2
2ik
0
Soit n > 2. Une intgration par parties fournit

ck (Bn ) =

Z1

2ikx

Bn (x)e

=0+
=
On en dduit que ck (Bn ) =

n
2ik

Z1

e2ikx
dx = Bn (x)
2ik


1

1
+
2ik
0

Z1

Bn (x)e2ikx dx

Bn1 (x)e2ikx dx (pour n > 2, Bn (1) = Bn (0))

n
ck (Bn1 ).
2ik

n
n1
2
n!
ce qui reste vrai quand n = 1.

ck (B1 ) =
2ik
2ik
2ik
(2ik)n


1 si n = 0
,
0 si n >
1
0 si n = 0
n!
k N , n N, ck (Bn ) =
si n > 1

(2ik)n

n N, c0 (Bn ) =

III.2.b) Tout dabord, si k Z et n N, puisque Bn est coefficients rels

ck (Bn ) =

Z1

Bn (x)e2ikx dx =

Z1

Bn (x)e2ikx dx = ck (Bn ).

Par suite, pour n et m entiers naturels non nuls

Z1

Bn (x)Bm (x) dx =

ck (Bn )ck (Bm )

kZ

= c0 (Bn )c0 (Bm ) +

+ 
X

k=1

+
X

(ck (Bn )ck (Bm ) + ck (Bn )ck (Bm ))

k=1
+ 
X

k=1

n!
m!
m!
n!
+
(2ik)n (2ik)m (2ik)n (2ik)m
n


ck (Bn )ck (Bm ) + ck (Bn )ck (Bm )

+
X
n!m! ((1)n + (1)m )
(2ik)n+m

k=1

n!m! ((1) + (1) )

(n + m).
(2i)n+m
Z1

(2p 1)! (1) + (1)2p1
(1)p+1 (2p 1)!
III.2.c) En particulier, pour p N , B1 (x)B2p1 (x) dx =
(2p) =
(2p).
2p
(2i)
22p1 2p
0
Dautre part, une intgration par parties fournit

Z1
0


1
Z
B2p (x)
1 1
1
B1 (x)B2p1 (x) dx = B1 (x)

(B1 (1)B2p (1) B1 (0)B2p (0))

B2p (x) dx =
2p
2p
2p
0
0
b2p
.
=
2p

On en dduit que

2p
2p1 2p
b2p
b2p
(1)p+1 (2p 1)!
p+1 2
p+1 b2p (2)
(2p)
=
et
donc
(2p)
=
(1)
=
(1)
.
22p1 2p
2p
(2p)!
2 (2p)!

p N , (2p) = (1)p+1

b2p (2)2p
.
2 (2p)!

b2 (2)2
42
2
=
=
.
2 2
622
6
164
4
b4 (2)4
=
=
.
(4) =
2 24
30 2 24
90
III.2.d) (2) =

http ://www.maths-france.fr

13

c Jean-Louis Rouget, 2010. Tous droits rservs.

26 6
6
b6 (2)6
=
=
.
2 720
42 2 2.3.4.5.6
945


+
X
(1)n+1
2
1
(2)
=
=
(2)
=
1

.
n2
21
12
n=1


+
X
7 4
1
74
(1)n+1
(4)
=
=
(4)
=
1

=
.
n4
23
8 90
720
n=1


+
X
(1)n+1
31
1
6
316
(6)
=
=
(6)
=
1

=
.
n6
25
32 945
30240
n=1
!


+
+
+
X
X
2
1 2 2
1 X 1
(1)n+1
1
=
=
=
+
+
.
2
2
2
(2n + 1)
2
n
n
2 6
12
8
n=1
n=1
n=0
!


+
+
+
X
X
1
15 4
1 4 7 4
1 X 1
4
(1)n+1
=
=
=
+
+

=
.
4
4
4
(2n + 1)
2
n
n
2 90 8
90
16
90
96
n=0
n=1
n=1


+
X
1
63
1 6
31
6
6
6
=
=
+

=
.
6
(2n + 1)
2 945 32 945
64 945
960

(6) =

n=0

III.2.e) Daprs la question III.1.c), lim (2p) = 1. Par suite, daprs la formule de Stirling,
p +

b2p = (1)p+1

(2p)!
(2p) (1)p+1
p +
22p1 2p
b2p

p +

(1)p+1

2p

2p
4p
 p 2p
e
16p.
= (1)p+1
2p1
2p
2

 p 2p
16p.
e

III.2. Application numrique.

III.3.a) Soient s > 1 et N > 1.
+
X

n=N+1

1
6
ns

+

Z +
+ Z n+1
X
1
1
1
N1s
dx
=
dx
=

.
=
xs
xs
(s 1)xs1 N
s1
n
N

n=N+1

III.3.b) Soient > 0 et s > 1. Pour tout entier naturel non nul N,
0 6 (s)

N
X
1
=
ns

n=1

+
X

n=N+1

N1s
1
6
,
ns
s1

puis
0 6 (s)

1/(s1)

N
X
1
N1s
1
1
s1
.
<

<

N
>

N
>
ns
s1
(s 1)
(s 1)

n=1

On peut prendre N0 = E

1
(s 1)

1/(s1) !

+ 1.

III.3.c) Pour s = 6, on obtient en posant N0 = E

r
5

1
5

+ 1, 0 <

N0
X
6
1

< et donc
945
n6
n=1

N0
X
1
< 6 < 945
945
n6
n=1

!
N0
X
1
+ .
n6

n=1

On choisit de sorte que 945 6!102 . Par exemple, on peut prendre = 104 .
r
5


X
1
1
5
On obtient N0 = E 5
+
1
=
E
est une approximation rationnelle
2000
+
1
=
5.
Par
suite,
A
=
945
4
5 10
n6
n=1

de 6 102 prs par dfaut.

v
u
5
5
X
X
u
1
1
6
<

<
sqrt[6]945
+ 102 ou encore 3, 141 . . . < < 3, 146 . . . et donc 3, 14 <
III.3.d) Par suite, t
945
n6
n6
n=1

n=1

< 3, 15. On a obtenu = 3, 14 . . .

http ://www.maths-france.fr

14

c Jean-Louis Rouget, 2010. Tous droits rservs.

IV - Formule de Stirling gnralise.

IV.1.
IV.1.a) Soit n > 1.

n+1
(n + 1)!
=
n+1
n
p
n+1
2(n + 1)
e

ln N = ln 1 +

N1
X

 n n

n+ 12
2n
n
e

. Soit alors N > 2.

=e
n!
n+1

(ln k+1 ln k ) (somme tlescopique)

n=1

= ln 1 +

N1
X

= ln 1 +

N1
X

ln e

n=1

n
n+1

n+ 12 !

= ln 1 +

N1
X
n=1


 

1
n+1
1 n+
ln
2
n

 


1
1
ln 1 +
.
1 n+
2
n

n=1

IV.1.b) Soit t ] 1, 1] \ {0}.



1 1
+
t 2

+
+
X
(1)n1 tn
(1)n1 tn1 X (1)n1 tn
=
+
n
n
2n
n=1
n=1
n=1


+
+
+
X
X
1
1
(1)n tn X (1)n1 tn
n
tn
+
=1+
(1)

=
n+1
2n
n + 1 2n

ln(1 + t) =

1 1
+
t 2

X
+

n=1

n=0

=1+

+
X

(1)n

n=1

Ainsi, si pour t ] 1, +[, on pose (t) =

+
X

(1)n

n=1

n1
tn .
2n(n + 1)

n=1

n1
tn .
2n(n + 1)

1 1
+
t 2

ln(1 + t) si t 6= 0 0 si t = 1 , alors t ] 1, 1], (t) = 1 +




1
n 1 
n

, le rayon de convergence de la srie prcdente est 1.

Puisque (1)
2n(n + 1)  n + 2n

IV.1.c) Soient N > 2 puis n J1, N 1K.


 

  X
+
1
1
k1 1
1
1 n+
ln 1 +
=1
=
(1)k+1
2
n
n
2k(k + 1) nk
k=1

et donc

ln N = ln 1 +

N1
X
n=1

= ln 1 +

+
X

+
X

k=1

k+1

(1)

k1 1
2k(k + 1) nk

k1
(1)k+1
2k(k + 1)

k=2

N1
X
n=1

1
nk

!
!

(somme de N 1 sries convergentes)

= ln 1 +

+
X

X 1
k

1
(k)
.
(1)k+1
2k(k + 1)
nk

k=2

n>N

IV.1.d) La fonction est dcroissante et positive sur ]1, +[. Donc, la suite ((k))k>2 est dcroissante et positive.
k
k1
k2 (k 1)(k + 2)
k + 2
Dautre part, pour k > 2,

=
=
6 0. Donc la suite
2(k + 1)(k + 2)
2k(k + 1)
2k(k + 1)(k
2k(k+ 1)(k + 2)


 + 2)
k1
k1
est dcroissante et positive. On en dduit que la suite
(k)
est dcroissante et positive
2k(k + 1) k>2
2k(k + 1)
k>2
en tant que produit de deux suites dcroissantes et positives.
k1
Enfin, lim (k) = 1 daprs la question III.1.d) et donc lim
(k) = 0.
k +
k + 2k(k + 1)


k1
k+1
(k)
est alterne en signe et sa valeur absolue tend vers 0 en dcroissant.
En rsum, la suite (1)
2k(k + 1)
k>2
k1
Donc la srie de terme gnral (1)k+1
(k), k > 2, converge en vertu du critre spcial aux sries alternes.
2k(k + 1)
http ://www.maths-france.fr

15

c Jean-Louis Rouget, 2010. Tous droits rservs.

IV.1.e) Pour N > 2, on peut donc crire

ln N = ln 1 +

+
X

(1)k+1

+
X

(1)k+1

k=2

= ln 1 +

k1
(k)
2k(k + 1)

+
X

X
k1
1
(1)k+1
2k(k + 1)
nk

k=2
+

n>N

X
k1
k1
(1)k+1
(k)
Rk (N).
2k(k + 1)
2k(k + 1)
k=2

k=2

IV.2.
IV.2.a) Soient n > 2 et k > 2.
X Z n+1 1
X 1
X
1
dx
6
=
R
(N)
=
+
k
xk
nk
Nk
n
n>N

et donc

Z +
N

n>N

1
dx 6 Rk (N) 6
xk

Z +
N

n>N+1

1
6
nk

X Zn

n>N+1 n1

1
1
dx + k
xk
N

1
1
dx + k ou enfin
xk
N
1
1
1
6 Rk (N) 6
+ k.
(k 1)Nk1
(k 1)Nk1
N

IV.2.b) Soient p > 3 et N > 2.



X
 X


+
X
 +
 + k 1
k

1
1
1
k1
k


(1)
+
Rk (N) 6
Rk (N) 6

2k(k + 1)
2k(k + 1) (k 1)Nk1 Nk
k=p
 k=p 2k(k + 1)
k=p
=

+
X

k=p

+
X
1
1
k1
1
+
k1
2k(k + 1) N
2k(k + 1) Nk

1
Np1
1
Np1

k=p

+
X

+
+
X
1 X
1
1
1
=
+
+ Rp (N)
k
p1
2k(k + 1)
N
N
2k(k + 1)

+
X

1
1
1
+ p,
+
2k(k + 1) (p 1)Np1
N

k=p

k=p

k=p

k=p



X

+
+
X


k

1
1
1
1
k
p2 
6 1
(1)
et donc N
R
(N)
+
+ 2.
k


2k(k + 1)
k=p
 N k=p 2k(k + 1) (p 1)N N



X
+


k

1
Rk (N) = 0 et finalement
Par suite, lim Np2 
(1)k
N +
2k(k + 1)

k=p
+
X

k1
(1)
Rk (N) = o
N +
2k(k + 1)
k

k=p

IV.3. Daprs la formule de Stirling,

+
X

lim N = 1 et donc

N +


.
p2
1

lim ln (N ) = 0. Ensuite, daprs la question prcdente

N +

k1
Rk (N) = o (1). En passant la limite quand N tend vers + dans lgalit de la question IV.1.e),
N +
2k(k + 1)
k=2
on en dduit que
(1)k

0=

lim ln (N ) = ln (1 ) +

N +

+
X

(1)k+1

k=2

k1
(k) + 0,
2k(k + 1)

et donc que
+
X

k1
(1)
(k) = ln (1 ) = ln
2k(k + 1)
k

k=2

=1

1
ln(2).
2

IV.3.a) On en dduit aussi que pour tout N > 2,

ln (n ) =

+
X

(1)k

k=2

http ://www.maths-france.fr

16

k1
Rk (N).
2k(k + 1)
c Jean-Louis Rouget, 2010. Tous droits rservs.

IV.3.b) Soit p > 1. Daprs la question IV.2.b)

ln (N ) =

p+1
X
k=2



p+1
+
X
X
k1
1
k1
k1
k
k
.
(1)
Rk (N) +
Rk (N) =
Rk (N) + o
(1)
(1)
N +
2k(k + 1)
2k(k + 1)
2k(k + 1)
Np
k

k=p+2

k=2

Par suite, si les suites (R2 (N)), . . . , (Rp+1 (N)) admettent des dveloppements limits en
de la suite (ln (N )).

1
lordre p, il en est de mme
N

 
 
R2 (N)
1
1
21
=
.
R2 (N) + o
+o
N +
2 2(2 + 1)
N N + 12
N
1
1
1
Maintenant, daprs la question IV.2.a), pour tout N > 2,
6 R2 (N) 6
+ 2 . Par suite, lim NR2 (N) = 1 et donc
N +
N
N
N
 
1
1
. Par suite,
+o
R2 (N) =
N + N
N
 
1
1
ln (N ) =
.
+o
N + 12N
N

IV.3.c) Daprs ce qui prcde, ln (N )

(1)2

Mais alors
N = eln N

N +

n!

exp

n +

1
+o
12N

1
N



N +

1+

1
+o
12N


1
.
N


 
 n n
1
1
2n 1 +
.
+o
e
12n
n

IV.4.

+ 
X
1
1
1
(srie tlescopique convergente). Par suite,
=

IV.4.a) Soit N N .
N
n n+1

n=N

R2 (N)



X 1
X
X 1
X 1
1
1
1
1
1
=
=

+
.
2
2
2
N
n
n n+1
n
n n+1
n (n + 1)
n>N

IV.4.b) Soit N > 2. Puisque la fonction x 7

Z +
N

n>N

n>N

n>N

1
est continue et dcroissante sur ]0, +[, on a
+ 1)

x2 (x

Z +
X Z n+1
X
X Zn
1
1
1
1
1
dx =
dx 6
6
dx =
dx.
2
2
2
2
2
x (x + 1)
x (x + 1)
n (n + 1)
N1 x (x + 1)
n
n1 x (x + 1)
n>N

n>N

n>N

Maintenant,
Z +

Z + 



+



1
1
1
1
1
1
1
dx = + ln 1 +
+
ln 1 +
=
x2 x x + 1
x
x N
N
N
N
N


1
1
=
+o
N + 2N2
N2




Z +
1
1
1
1
1
et donc aussi
=
. Par suite,
+o
+o
dx =
2
N + 2(N 1)2
(N 1)2 N + 2N2
N2
N1 x (x + 1)


1
1
1
.
+
o
+
R2 (N) =
N + N
2N2
N2


1
1
Ensuite, daprs la question IV.2.a), R3 (N) =
. Mais alors,
+
o
N + 2N2
N2
1
dx =
x2 (x + 1)







R2 (N) R3 (N)
1
1
1
1
1
1
=

+
o

+o
+
12
12
N2 N + 12 N 2N2
24N2
N2


1
1
,
+o
=
N + 12N
N2

ln (N ) =

puis
http ://www.maths-france.fr

17

c Jean-Louis Rouget, 2010. Tous droits rservs.

N +

n!



exp


 
 n n
1
1
1
2n 1 +
+o
+
.
e
12n 288n2
n2

n +

1
+o
12N

1
N2

=1+

1
1
+o
+
12N 288N2


1
.
N2

1
IV.4.c) On veut effectuer un dveloppement limit de N en
lordre p > 1.
N
!


p+1
X
1
k1
k
. Il sagit alors dobtenir un dveloppement limit
Rk (N) + o
On crit dj N = exp
(1)
N +
2k(k + 1)
Np
k=2
1
de N en
lordre p de chaque Rk (N), 1 6 k 6 p + 1.
N


1
1
puis on obtient la diffrence
+
o
On dmarre avec la question IV.2.a qui fournit Rk (N)
=
N + (k 1)Nk1
Nk1
1
Rk (N)
comme somme dune srie que lon compare une intgrale gnralise pour obtenir un quivalent
(k 1)Nk1
1
1
de Rk (N)
. Puis on ritre pour obtenir le terme en k ...
k1
(k 1)N
N

http ://www.maths-france.fr

18

c Jean-Louis Rouget, 2010. Tous droits rservs.