MP2I À RENDRE LE 19.10.

21

DEVOIR MAISON 5
Vous traiterez au choix l’un des deux problèmes suivants, le second étant nettement plus difficile que le premier.
I Problème 1 : nombres harmoniques et inversion de Pascal

Les parties I et II sont indépendantes. La partie III utilise les notations de la partie I et les résultats de la partie II.

Partie I. Sommes partielles de la série harmonique

n
X 1 1 1 1
Pour n ∈ N∗ , on pose Hn = = 1+ + +···+ .
k 2 3 n
k=1
1. a. Montrer que (Hn )n>1 est croissante.
1
b. Prouver que pour tout n ∈ N∗ , H 2n − Hn > .
2
c. En déduire que lim Hn = +∞.
n→+∞
2. Pour n ∈ N∗ ,on pose un = Hn − ln(n + 1) et vn = Hn − ln(n).
n+2 1 n+1
! !
a. Justifier que pour tout n ∈ N , ln
∗ 6 6 ln .
n+1 n+1 n
b. En déduire que (un )n>1 est croissante, et que (vn )n>1 est décroissante.
c. Prouver que pour tout n ∈ N∗ , on a un 6 vn et vn − un −→ 0.
n→+∞
d. En déduire, à l’aide du théorème de la limite monotone, que (un )n>1 et (vn )n>1 convergent, puis
qu’elle ont la même limite (que l’on ne cherchera pas à déterminer) que l’on notera dans la suite γ .
On a donc notamment Hn − ln(n) −→ γ .
n→+∞
3. Une application : somme de la série harmonique alternée
2n
X (−1)k−1
Pour n ∈ N , on pose Sn =
∗ .
k
k=1
a. Pour n ∈ N∗ , montrer que Sn = H 2n − Hn .
b. Exprimer alors Sn en fonction de termes de la suite (vn )n>1 , et en déduire que la suite (Sn )n>1
converge et déterminer sa limite.

Partie II. Formule d’inversion de Pascal

n k n n −i
! ! ! !
4. Soient i, k, n trois entiers naturels avec i 6 k 6 n. Prouver que = .
k i i n −k
n
n
X !
5. Soit (un )n ∈N une suite de nombres réels, et soit (vn )n ∈N la suite définie par : ∀n ∈ N, vn = uk .
k
k =0
n n n−i
n−k n n j n −i
X ! X ! X !
Prouver que pour tout n ∈ N, (−1) vk = ui (−1) .
k i=0
i j=0
j
k =0
n
n−k n
X !
6. En déduire que pour tout n ∈ N, un = (−1) vk .
k
k=0
Ce résultat (qui dit essentiellement qu’on peut reconstruire la suite (un ) à partir de la suite (vn )) est connu sous le
nom de formule d’inversion de Pascal.

Partie III. Une application

n−1
1 − (1 − x)n X
7. Pour x ∈ R∗ et n ∈ N∗ , prouver que = (1 − x)k .
x
k =0

MP2I LYCÉE CHAMPOLLION 2021–2022

 8. Soit n ∈ N∗ , et soit fn la fonction définie sur R par
n
n (−1)k k
X !
∀x ∈ R, fn (x) = x .
k k
k=1

n−1
= − (1 − x)k .
X
a. Prouver que fn est dérivable sur R et que pour tout x ∈ R, fn0(x)
k =0
n
n (−1)k+1
X !
b. En utilisant deux primitives de fn , prouver que
0 = Hn .
k k
k =1
n
1 X n
!
9. En utilisant la formule d’inversion de Pascal, prouver que pour tout n ∈ N∗ , = (−1)k−1 Hk .
n k
k =1

I Problème 2 : calcul de ζ (2)

Partie I. Une première limite

sin(x)
Sur − π2 , π2 , on définit la fonction tan par : tan : x 7→
 
.
cos(x)
1. Montrer que tan est dérivable sur − π2 , π2 exprimer tan0 en fonction de tan2 .
 

2. En déduire que pour tout x ∈ 0, π4 , 0 6 tan(x) 6 1.

 
Z π
4
3. Pour n ∈ N, on note In = tan2n (x) dx.
0
1
a. Prouver que pour tout k ∈ N, Ik + Ik +1 = .
2k + 1
n
(−1)k
= I 0 + (−1)n In+1 .
X
b. En déduire que pour tout n ∈ N,
2k + 1
k =0
c. Montrer que pour tout n ∈ N, In > 0.
En déduire à l’aide de la question 3.a l’existence et la valeur de lim In .
n→+∞
n
X (−1)k π
d. Prouver enfin que lim = .
n→+∞ 2k + 1 4
k =0

Partie II. Quelques résultats préliminaires.

n n
X 1 X 1
4. Pour tout n ∈ N∗ , on pose an = et b n = .
k =1
k 2
k =0
(2k + 1)2
1 1 1
a. Prouver que pour tout entier k > 2, on a 6 − .
k 2 k −1 k
b. En déduire que la suite (an )n>1 converge.
Dans la suite, on notera ` = lim an . Le but du problème est de déterminer la valeur de `.
n→+∞
an
c. Prouver que pour tout n ∈ N∗ , a 2n+1 = + bn .
4
d. En déduire que la suite (bn )n>1 converge, et déterminer sa limite en fonction de `.
5. Soient m, n deux entiers relatifs, avec m 6 n.
Soient pm , pm+1 , . . . , pn des réels positifs tels que pour tout k ∈ nm, n − 1o, pk+1 6 pk .
a. On suppose dans cette question que m est pair et n est impair.
n
(−1)k pk 6 pm .
X
Prouver alors que 0 6
k=m
b. Montrer que l’encadrement de la question précédente reste vrai si m et n sont tous les deux pairs.

MP2I LYCÉE CHAMPOLLION 2021–2022

 n
(−1)k pk 6 pm .
X
c. Prouver, en utilisant les deux questions précédentes qu’on a toujours
k=m
6. Majoration des sommes partielles de la série harmonique
n
X 1
Pour n ∈ N , on pose Hn =
∗ .
k
k =1
k
1 1 dt
Z
a. Soit k ∈ \ {1}. En exploitant la monotonie de t 7→ , prouver que 6
N∗ .
t k k−1 t
b. En déduire que pour tout n ∈ N , Hn 6 ln(n) + 1.
∗

Hn
c. Déterminer alors lim .
n→+∞ n

+∞
X 1
Partie III. Calcul de ζ (2) = .
k =1
k2
n n
X (−1)k X 1
Pour tout n ∈ N∗ , on pose c n = et dn = .
2k + 1 (2k + 1)2
k =−n k =−n
π
7. a. À l’aide de la partie I, prouver que lim c n = .
n→+∞ 2
b. Prouver que la suite (dn )n est convergente et déterminer sa limite en fonction de `.
1 X (−1)i+j 1 1
!
8. a. Prouver que pour tout n ∈ N , c n = dn +
∗ 2 − .
2 −n6i, j 6n j − i 2i + 1 2j + 1
i ,j

X (−1)i+j
b. En déduire que pour tout n ∈ N∗ , c n2 − dn = .
−n6i, j 6n
(j − i)(2i + 1)
i ,j

X (−1)i+j
9. On pose, pour n ∈ N∗ et i ∈ n−n, no, sn,i = .
−n6j 6n
j −i
j,i

a. Prouver que pour tout n ∈ et tout i ∈ n−n, no, sn,−i = −sn,i . En déduire la valeur de sn,0 .
N∗
n n
X sn,i X sn,i
b. En déduire que pour tout n ∈ N∗ , c n2 − dn = + .
i=1
2i + 1 i=1
2i − 1
n+i
X (−1)k+1
c. Prouver que pour tout n ∈ N∗ et tout i ∈ n1, no, sn,i = .
k
k =n−i+1
On pourra utiliser un changement d’indice de la forme k = j − i.
1
d. En déduire que pour tout n ∈ N∗ et tout i ∈ n1, no, |sn,i | 6 .
n −i +1
n
X 1
e. En déduire que pour tout n ∈ N∗ , |c n2 − dn | 6 2 .
i=1
i(n − i + 1)
1 1
f. Pour n ∈ N∗ et i ∈ n1, no, factoriser + .
i n −i +1
4
g. En déduire que pour tout n ∈ N∗ , |c n2 − dn | 6 Hn .
n+1
n n
X 1 π2 X 1 π2
10. Déduire de tout ce qui précède que lim = et lim = .
n→+∞
k =0
(2k + 1)2 8 n→+∞
k =1
k2 6
+∞ +∞
X 1 π2 X 1 π2
Ces résultats seront plus tard notés = et = .
(2k + 1)2
k=0
8 k2
k =1
6

MP2I LYCÉE CHAMPOLLION 2021–2022

 CORRECTION 1

CORRECTION DU DEVOIR MAISON 5

PROBLÈME 1 : NOMBRES HARMONIQUES ET INVERSION DE PASCAL

Partie I. Sommes partielles de la série harmonique
1.a. Soit n ∈ N∗ . Alors
n+1 n
X 1 X1 1
Hn+1 − Hn = − = >0
k k n+1
k =1 k =1

si bien que (Hn )n>1 est croissante.

1.b. Soit n ∈ N∗ . Alors
2n n 2n
X 1 X 1 X 1
H 2n − Hn = − = .
k k k
k =1 k =1 k =n+1

1 1
Mais pour tout k ∈ nn + 1, 2no, > , si bien que, en sommant les inégalités,
k 2n
2n Détails
X 1 n 1
H 2n − Hn > = = . On a une somme de n termes
2n 2n 2 1
tous égaux à 2n .
k =n+1

1.c. Puisque (Hn )n>1 est croissante, par le théorème de la limite monotone, elle tend soit vers
+∞, soit vers un réel `.
1 Passage à la limite dans
Si elle était convergente de limite ` ∈ R, on aurait alors H 2n − Hn −→ ` − ` = 0, et donc1
n→+∞ l’inégalité de la question
1
0 > , ce qui est absurde. Donc lim Hn = +∞. précédente.
2 n→+∞

2.a. Rappelons que pour tout x > −1, ln(1

! + x) 6 x.
n + 2 n+1+1 1 1
! !
Et donc pour n ∈ N , on a ln
∗ = ln = ln 1 + 6 .
n + 1! n+1 n + 1! n+1
n+1  n  1 1
Et de même, pour n ∈ N∗ , ln = − ln = − ln 1 − >− , si bien
n n+1 n+1 n+1
1 n+1
!
que 6 ln .
n+1 n
2.b. Soit n ∈ N∗ . Alors
n+1 n
1 1 1 n+2
X X !
un+1 − un = − ln(n + 2) − + ln(n + 1) = − ln
k k n+1 n+1
k =1 k =1

qui est donc positif par la question précédente.

Et donc un+1 > un , si bien que (un )n>1 est croissante.
De même, pour n ∈ N∗ ,

n+1 n
1 1 1 n+1
X X !
vn+1 − vn = − ln(n + 1) − + ln(n) = − ln 60
k k n+1 n
k=1 k =1

et donc (vn )n>1 est décroissante.

2.c. Soit n ∈ N∗ . Alors ln(n) 6 ln(n + 1), si bien que − ln(n) > − ln(n + 1) et donc vn > un .
n+2 1
! !
De plus, vn − un = ln(n + 2) − ln(n + 1) = ln = ln 1 + −→ ln(1) = 0 par
n+1 n + 1 n→+∞
continuité de ln en 1.
2.d. Puisque (un )n>1 est croissante, pour tout n ∈ N∗ , u 1 6 un .
Et donc u 1 6 un 6 vn , si bien que (vn )n>1 est minorée par u 1 . Et donc par le théorème de
la limite monotone, (vn )n>1 est décroissante et minorée, donc converge vers un réel `1 .
2 Par v .
De même, pour tout n ∈ N∗ , un 6 vn 6 v 1 , et donc (un )n>1 est croissante et majorée2 , 1
donc converge vers un réel `2 .
Et alors un − vn −→ `1 − `2 .
n→+∞

MP2I LYCÉE CHAMPOLLION 2021–2022 M. VIENNEY

 2 DEVOIR MAISON 5

Mais par ailleurs, un − vn −→ 0, si bien que `1 − `2 = 0 ⇔ `1 = `2 .

n→+∞
Donc (un ) et (vn ) convergent vers une même limite.
Commentaire : le réel γ est appelé la constante d’Euler, et on sait assez peu de choses à son sujet,
si ce n’est que γ ' 0, 5772.
On ignore par exemple si γ est rationnel (même si l’on suspecte que ce ne soit pas le cas).
3. Une application : somme de la série harmonique alternée
3.a. Soit n ∈ N∗ . Alors
2n 2n 2n
X (−1)k −1 X (−1)k −1 X (−1)k −1
Sn = = +
k k k
k =1 k =1 k =1
k impair k pair

2n 2n 2n 2n
X 1 X 1 X 1 X 1
= − = H 2n − −
k =1
k k =1
k k =1
k k =1
k
k impair k pair k pair k pair

2n
X 1
= H 2n − 2
k =1
k
k pair
n
Détails
X 1 Les entiers pairs de n1, 2no
= H 2n −2 sont exactement les 2p,
p=1
2p
1 6 p 6 n.
n
X 1
= H 2n − = H 2n − Hn .
p=1
p

3.b. On a donc, pour tout n ∈ N∗ ,

Sn = v 2n + ln(2n) − (vn + ln(n)) = v 2n − vn + ln(2) −→ γ − γ + ln(2) = ln(2).

n→+∞

Partie II. Formule d’inversion de Pascal

4. Soient i, k, n trois entiers naturels avec i 6 k 6 n. Alors
n k n! k! n!
! !
= = .
k i k!(n − k)! i!(k − i)! (n − k)!(k − i)!i!
Et de même,
n n −i n! (n − i)! n!
! !
= = .
i n −k i!(n − i)! (n − k)!(n − i − (n − k))! i!(n − k)!(k − i)!

n k n n −i
! ! ! !
Et donc on a bien = .
k i i n −k
5. Soit n ∈ N. Alors
n n ! k
n n X k
! !
(−1)n−k (−1)n−k
X X
vk = ui
k k i=0 i
k =0 k =0
X n! k !
= (−1)n−k ui
k i
06i 6k 6n
n X n
n k
! !
(−1)n−k ui
X
= Interversion des sommes.
i=0 k=i
k i
n X n
n n −i
! !
(−1)n−k ui
X
=
i=0 k=i
i n − k
n n
n n −i
! X !
(−1)n−k
X
= ui Chgt d’indice
i n − k
i=0 k=i On a posé j = n − k , si bien
que j varie de n − i à 0, et on
n n−i
n n −i
! X !
remet alors les bornes «dans
(−1)j . .
X
= ui le bon sens».
i=0
i j=0
j

MP2I LYCÉE CHAMPOLLION 2021–2022 M. VIENNEY

 CORRECTION 3

6. Il s’agit de reconnaître une formule du binôme : pour n ∈ N et i ∈ n0, no, on a

n−i B Attention !
n −i 0 si n − i > 0 ⇔ i < n
!
(−1)j = (1 + (−1))n−i = 0n−i = 
X 

j=0
j 1 si n − i = 0 ⇔ i = n 00 = 1.


Et donc dans la somme de la question précédente, seul le terme correspondant à i = n est

non nul, si bien que
n
n n
! !
(−1)n−k
X
vk = un = un .
k n
k =0

Partie III. Une application

7. Soit x ∈ R∗ et n ∈ N∗ . Alors 1 − x , 1, si bien que
n−1
1 − (1 − x)n 1 − (1 − x)n
(1 − x)k =
X
= .
1 − (1 − x) x
k =0

8.a. La fonction fn est polynomiale, donc elle est dérivable, et pour x ∈ R,

n n
n (−1)k k −1 X n
! !
(−1)k x k −1 .
X
fn0(x) = kx =
k k k
k =1 k =1

Si x , 0, on a donc
n n
1X n 1 *X n n 0+ 1
! ! !
k k k
fn0(x) = (−1) x = (−x) − x = ((1 − x)n − 1)
x k x, k 0 - x
k =1 k =0

n−1
(1 − x)k .
X
ce qui par la question précédente est égal à −
k =0
Et pour x = 0, on a
n−1
n
!
(1 − 0)k .
X
fn0(x) = (−1)1 00 = −n = −
1
k =0
| {z }
=1

n−1
(1 − x)k .
X
Donc pour tout x ∈ R, fn0(x) = −
k =0

8.b. Une primitive de est évidemment fn .

fn0
Par ailleurs, en intégrant terme à terme la somme de la question précédente, une primitive
de fn0 est Détails
n−1
X (1 − x)k +1 Une primitive de
дn : x 7→ . x 7→ (1 − x )k est
k +1
k =0 x 7→ − k 1+1 (1 − x )k +1 .
Donc ces deux primitives d’une même fonction diffèrent d’une constante : il existe λ ∈ R
tel que pour tout x ∈ R, fn (x) = дn (x) + λ.
n−1 n
X 1 X 1
Mais on a fn (0) = 0 et дn (0) = = = Hn .
k +1 k
k =0 k=1
Donc λ = fn (0) − дn (0) = −Hn .
Et en particulier, on a alors, pour x = 1,
n
n (−1)k +1
X !
= −fn (1) = −дn (1) + Hn = 0 + Hn = Hn .
k k
k =1

(−1)n+1
9. Notons (un ) la suite définie par u 0 = 0 et pour n > 1, un = .
n
n
n
X !
Pour n ∈ N, posons alors vn = uk .
k
k =0

MP2I LYCÉE CHAMPOLLION 2021–2022 M. VIENNEY

 4 DEVOIR MAISON 5

n
!
Alors v 0 = u 0 = 0, et pour n > 1,
0
n n
n n (−1)k+1
X ! X !
vn = uk = = Hn .
k k k
k =0 k =1

Et donc par la formule d’inversion de Pascal de la question 6, pour tout n ∈ N∗ , on a

n n
(−1)n+1 n−k n n−k n
X ! X !
= un = (−1) vk = (−1) Hk
n k k Remarque
k=0 k =1
Aussi jolie soit cette formule,
ce qui après multiplication par (−1)n+1 , donne ce n’est sûrement pas le
moyen le plus simple de
n n
1−k n k−1 n
1 X «reconstruire» la suite de
! X !
= (−1) Hk = (−1) Hk . terme général n1 à l’aide de
n k k la suite (H n ), mieux vaut
k =1 k =1
utiliser :
1
H n − H n−1 = .
PROBLÈME 2. CALCUL DE ζ (2) n

Partie I. Une première limite

sur − π2 , π2 car quotient de deux
 
1. Ceci a été fait dans le chapitre 5 : tan
 πestπdérivable
fonctions qui le sont, et pour tout x ∈ − 2 , 2 , on a


cos(x) cos(x) + sin(x) sin(x) cos2 + sin2 (x) cos2 (x) sin2 (x)
tan0(x) = = = + = 1 + tan2 (x).
cos2 (x) cos2 (x) cos2 (x) cos2 (x)

de tan est positive sur l’intervalle − π2 , π2 , si bien que tan est

 
2. En particulier, la dérivée
croissante sur − π2 , π2 . 

Et donc elle l’est sur 0, π4 , si bien que pour tout x ∈ 0, π4 , on a
 

π 
tan(0) 6 tan(x) 6 tan ⇔ 0 6 tan(x) 6 1.
4
Z π Z π Z π 
4 4 4
2k 2k +2
1 + tan2 (x) tan2k (x) dx.

3.a. Soit k ∈ N. Alors Ik +Ik +1 = tan (x) dx+ tan (x) dx =
0 0 0
Mais nous savons que x 7→ 1 + tan2 (x) est la dérivée de tan. Détails
1 On a reconnu une fonction
Et donc une primitive de x 7→ 1 + tan2 (x) tan2k (x) est x 7→ tan2k+1 (x).


2k + 1 de la forme u 0u n , dont une
n+1
Et donc primitive est un+1 .
# π4
1 1 1
"
Ik + Ik+1 = tan2k +1 (x) = (1 − 0) = .
2k + 1 0 2k + 1 2k + 1
3.b. On en déduit que pour n ∈ N,
n n
(−1)k
(−1)k (Ik + Ik +1 )
X X
=
2k + 1
k =0 k =0
n n
(−1)k Ik + (−1)k Ik +1
X X
=
k =0 k =0
n n+1
(−1)k Ik + (−1)i−1 Ii
X X
=
k =0 i=1
n n+1
(−1)k Ik − (−1)i Ii = I 0 + (−1)n In+1 .
X X
=
k =0 i=1

3.c. Soit n ∈ N. Puisque pour tout x ∈ 0, π4 , tan2n (x) = (tann (x))2 > 0, par positivité de
 
Z π
4
3 Formulation savante de
l’intégrale , In =
3 tan2n (x) dx > 0.
0 «l’intégrale d’une fonction
1 1 positive est positive.»
Par la question 2.a, on a donc, pour tout n ∈ N, 0 6 In 6 − In+1 6 .
2n + 1 |{z} 2n + 1
>0
Et donc par le théorème des gendarmes, lim In = 0.
n→+∞

MP2I LYCÉE CHAMPOLLION 2021–2022 M. VIENNEY

 CORRECTION 5

3.d. On a donc, pour tout n ∈ N, −In+1 6 (−1)n In+1 6 In+1 , et donc par le théorème des
B Attention !
gendarmes, lim (−1)n In+1 = 0.
n→+∞ Ne pas conclure trop rapide-
On en déduit donc par passage à la limite dans l’égalité de la question 2.b que ment «pas produit de limites»,
n Z π la suite de terme général
X (−1)k 4 π (−1)n n’a pas de limite en
lim = I0 = 1 dt = . +∞. Nous utilisons ici le fait
n→+∞ 2k + 1 0 4
k =0 qu’elle est bornée, à valeurs
dans [−1, 1].
Partie II. Quelques résultats préliminaires
4.a. Soit k un entier supérieur ou égal à 2. Alors
Détails
1 1 k − (k − 1) 1 1
− = = > 2. k (k − 1) 6 k 2 , donc par
k −1 k k(k − 1) k(k − 1) k passage à l’inverse...

4.b. On a donc, pour n > 2,

n n
1 1 1
X X !
an = 1 + 6 1 + −
k2 k −1 k
k =2 k =2
1 1
6 1+1− 6 2− . Somme téléescopique.
n n
On en déduit notamment que pour tout n ∈ N∗ , an 6 2. Donc la suite (an )n est majorée.
Par ailleurs, pour tout n ∈ N∗ ,
n+1 n
X 1 X 1 1
an+1 − an = − = >0
k =1
k 2
k =1
k 2 (n + 1)2

si bien que la suite (an )n>1 est croissante.

4 Elle est croissante et majo-
Par le théorème de la limite monotone4 , la suite (an ) converge vers une limite `.
rée.
4.c. Soit n ∈ N∗ . Alors
2n+1 2n+1 2n+1
X 1 X 1 X 1
a 2n+1 = = +
k =1
k2 k =1
k2 k =1
k2
k pair k impair Détails
n n Les entiers pairs inférieurs à
X 1 X 1
= + 2n + 1 sont les 2i, 1 6 i 6 n
i=1
(2i) 2
i=0
(2i + 1)2 et les impairs sont les 2i + 1,
n n 0 6 i 6 n.
1X 1 X 1 an
= + = + bn .
4 i=1 i 2 i=0 (2i + 1)2 4

an ` 3
4.d. On a donc bn = a 2n+1 − −→ ` − = `.
4 n→+∞ 4 4
5.a. Puisque m est pair, il existe i ∈ Z tel que m = 2i, et de même, n étant impair, il existe j ∈ Z
tel que n = 2j + 1.
Et puisque m 6 n, alors i 6 j. Regroupons alors deux par deux les termes de la somme :
n j  j
(−1)k pk = (pm −pm+1 )+(pm+2 −pm+3 )+· · ·+(pn−1 −pn ) =
X X  X
(−1)2` p2` + (−1)2`+1p2`+1 = (p2` −p2`+1 ).
k =m `=i `=i

Mais puisque les pk sont dans l’ordre décroissant, pour tout ` ∈ ni, jo,
p2`+1 6 p2` ⇔ p2` − p2`+1 > 0.
n
(−1)k pk .
X
Et donc ceci prouve déjà que 0 6
k =m

Pour l’autre inégalité, il faut procéder suivant le même principe, mais en regroupant cette
fois un terme pair avec le terme impair qui le précède.
Plus précisément :
n j
(−1)k pk = pm +
X X
(−p2`−1 + p2` ) −pn 6 pm − pn 6 pm .
k =m `=i+1
| {z }
60

MP2I LYCÉE CHAMPOLLION 2021–2022 M. VIENNEY

 6 DEVOIR MAISON 5

5 Le cas n = m ne demande
5.b. Si m et n sont pairs cette fois, disons5 avec m < n, donc m + 2 6 n, on a cette fois un nombre
impair de termes, donc il ne suffit pas de les regrouper par deux. Mais on peut noter que pas beaucoup d’efforts...

n n−1
(−1)k pk = (−1)k pk + pn
X X

k=m k =m

et que m est pair et n − 1 est impair, si bien que le résultat de la question précédente
n
(−1)k pk > 0 + pn > 0.
X
s’applique, et donc
k =m
Par contre cela ne nous fournit pas l’autre inégalité. Pour cela, écrivons
n
(−1)k pk = pm + (−pm+1 + pm+2 ) + · · · + (−pn−1 + pn ) 6 pm .
X

k=m
| {z } | {z }
60 60

5.c. Si m est pair, on a déjà répondu puisque la somme est positive, si bien que
n n
(−1)k pk = (−1)k pk 6 pm .
X X

k =m k =m

Reste donc à traiter le cas m impair. Mais on sait que

n
(−1)k pk 6 pm+1 .
X
06
k=m+1

n
(−1)k pk 6 pm+1 − pm 6 0.
X
Et donc −pm 6
k =m
n n
(−1)k pk = − (−1)k pk 6 pm .
X X
Et ainsi,
k =m k=m
6. Majoration des sommes partielles de la série harmonique
1 1 1
6.a. La fonction t 7→ est décroissante sur [k − 1, k], et donc pour tout t ∈ [k − 1, k], 6 .
t Z k Z k k t Astuce
dt dt Pour a 6 b et λ ∈ R,
Donc par croissance de l’intégrale, 6 .
k −1 k k −1 t
Z b
λ dt = λ(b − a).
1 1
Or l’intégrale de gauche est l’intégrale d’une constante : elle vaut (k − (k − 1)) = . a
Essayez de le visualiser gra-
k k
Z k phiquement en terme d’aire
1 dt (d’un rectangle) plutôt que
Et donc 6 .
k k −1 t d’utiliser une primitive...

6.b. Soit n ∈ N∗ . En sommant les inégalités obtenues à la question précédente, on obtient, en

6 Pour les intégrales.
utilisant la relation de Chasles6
n n Z
1 X k dt
Z n
dt
= [ln(t)]n1 = ln(n).
X
6 6
k k −1 t 1 t
k =2 k =2

Et donc en ajoutant le terme k = 1, il vient

n
X 1
Hn = 1 + 6 1 + ln(n).
k
k =2

6.c. On a alors, pour n ∈ N∗ ,

Hn 1 ln n
06 6 + .
n n n
ln n
Or, par croissances comparées, lim = 0, si bien que par le théorème des gendarmes,
n→+∞ n
Hn
il vient lim = 0.
n→+∞ n

MP2I LYCÉE CHAMPOLLION 2021–2022 M. VIENNEY

 CORRECTION 7

+∞
X 1
Partie III. Calcul de ζ (2) = .
k=1
k2
7.a. Soit n ∈ N∗ . Alors
n
(−1)k X (−1)k
−1
X
cn = + Relation de Chasles.
2k + 1 2k + 1
k =−n k =0
n n
X (−1)−` X (−1)k ` = −k.
= +
`=1
1 − 2` 2k + 1
k =0
n−1 n
X (−1)i+1 X (−1)k i = ` − 1.
= +
i=0
−2i − 1 2k + 1
k =0
n−1 n n
X (−1)i X (−1)k X (−1)k (−1)n
= + =2 −
i=0
2i + 1 2k + 1 2k + 1 2n + 1
k =0 k =0

1 (−1)n 1 (−1)n
Or, − 6 6 , si bien que par le théorème des gendarmes, lim = 0,
2n + 1 2n + 1 2n + 1 n→+∞ 2n + 1
n k
X (−1) π π
et donc en utilisant le résultat de la question 3, lim c n = 2 lim =2 = .
n→+∞ n→+∞ 2k + 1 4 2
k =0
7.b. Sur le même principe, pour n ∈ N∗ , on a
n −1 n n−1
X 1 X 1 X 1 X 1 1 3
dn = + = b n + = b n + = 2bn − −→ `.
k =0
(2k + 1) k =−n (2k + 1)
2 2
`=1
(1 − 2k)2
i=0
(−1 − 2i)2 (2n + 1) n→+∞ 2
2

8.a. Soit n ∈ N∗ . On a
n 2 n n
X (−1)k + X (−1)i + * X (−1)j +
c n2 = * =*
,k =−n 2k + 1 - ,i=−n 2i + 1 - ,j=−n 2j + 1 -
. /

X (−1)i+j
=
−n6i, j 6n
(2i + 1)(2j + 1)
Détails
n
X (−1)2i X (−1)i+j On a séparé les termes pour
= + lesquels i = j de ceux pour
i=−n
(2i + 1)2 −n6i, j 6n (2i + 1)(2j + 1)
i ,j lesquels i , j.
X (−1)i+j
= dn + .
−n6i, j 6n
(2i + 1)(2j + 1)
i ,j

Or, pour (i, j) ∈ n−n, no2 , on a

1 1 1 1 2j − 2i 1 1
!
− = = .
j − i 2i + 1 2j + 1 j − i (2i + 1)(2j + 1) 2 (2i + 1)(2j + 1)

Et donc il vient bien

1 (−1)i+j 1 1
X !
c n2 = dn + − .
2 −n6i, j 6n
j −i 2i + 1 2j + 1
i ,j

8.b. Par linéarité de la somme, et en utilisant la question précédente, pour n ∈ N∗ ,

1 X (−1)i+j 1 1
!
c n2 − dn = −
2 −n6i, j 6n j − i 2i + 1 2j + 1
j ,i

1 X (−1)i+j 1 1 X (−1)i+j 1
= − Détails
2 −n6i, j 6n
j − i 2i + 1 2 −n6i, j 6n
j − i 2j + 1 On a simplement renommé
j ,i j,i
nos variables dans la seconde
1 X (−1)i+j 1 1 X (−1)i+j 1 somme : i devient j et vice-
= − versa.
2 −n6i, j 6n
j − i 2i + 1 2 −n6i, j 6n
i − j 2i + 1
j ,i j,i

MP2I LYCÉE CHAMPOLLION 2021–2022 M. VIENNEY

 8 DEVOIR MAISON 5

1 X (−1)i+j 1 1 X (−1)i+j 1
= +
2 −n6i, j 6n
j − i 2i + 1 2 −n6i, j 6n
j − i 2i + 1
j ,i j,i

X (−1)i+j
= .
−n6i, j 6n
(j − i)(2i + 1)
i ,j

9.a. Soit n ∈ N∗ et soit i ∈ n−n, no. Alors

X (−1)j−i
sn,−i =
−n6j 6n
j +i
j,−i Chgt d’indice
X (−1)−k −i X (−1)−k −i On a posé k = −j.
= =− Si j ne prend pas la valeur −i,
−n6k 6n
−k + i −n6k 6n
k −i alors k ne prend pas la valeur
k ,i k ,i i.
X (−1)i−k X (−1)i−k
=− (−1)2k =− = −sn,i .
−n6k 6n
| {z } k − i −n6k 6n
k −i
k ,i =1 k ,i

Donc en particulier, pour i = 0, sn,0 = −sn,0 , si bien que sn,0 = 0.

9.b. Reprenons le résultat de la question 8.a : pour n ∈ N∗ ,
n X
n
X (−1)i+j
c n2 − dn =
i=−n j=−n
(j − i)(2i + 1)
j,i
n n
X 1 X (−1)i+j
=
i=−n
2i + 1 j=−n j − i
j ,i
n
X 1
= sn,i
i=−n
2i + 1
−1 n
X sn,i X sn,i
= + sn,0 +
i=−n
2i + 1 |{z}
i=1
2i +1
=0
n n Chgt d’indice
X sn,−k X sn,i
= + Dans la première somme, on
1 − 2k i=1 2i + 1 a posé k = −i.
k =1
n X sn,i n
X −sn,k
= +
1 − 2k i=1 2i + 1
k =1
n n
X sn,k X sn,i
= + .
2k − 1 i=1 2i + 1
k =1

9.c. Soit n ∈ N∗ et i ∈ n1, no. Alors en procédant au changement d’indice k = j − i indiqué

dans l’énoncé,
X (−1)i+j n−i
X (−1)2i+k
sn,i = =
−n6j 6n
j −i k =−n−i
k
j,i k ,0

n−i n−i
(−1)k (−1)k X (−1)k
X −1
X
= = + Relation de Chasles.
k k k
k =−n−i k =−n−i k =1
k ,0
n+i n−i Chgt d’indice
X (−1)−` X (−1)k
= + Dans la première somme, on
`=1
−` k a posé ` = −k.
k =1
n−i n+i n−i
` (−1)` X (−1) k

X (−1) X 
=−  − +  Relation de Chasles.
 ` `  k
`=1 `=n−i+1 k =1

n+i
X (−1)k +1
= .
k
k=n−i+1

MP2I LYCÉE CHAMPOLLION 2021–2022 M. VIENNEY

 CORRECTION 9

9.d. Soit n ∈ N∗ et i ∈ n1, no.

n+i
X (−1)k
Il s’agit d’appliquer le résultat de la question 5 à −sn,i = , qui est bien de la
k
k =n−i+1
forme citée à la question 5, où les pk sont les k1 , qui vérifient bien les conditions de positivité
et de décroissance demandées.
1
On a donc |sn,i | = | − sn,i | 6 .
n −i +1
9.e. On a donc, grâce à l’inégalité triangulaire, pour n ∈ N∗ ,
n n
X sn,i X sn,i
|c n2 − dn | = +
i=1
2i + 1 i=1 2i − 1
n n
X sn,i X sn,i
6 +
i=1
2i + 1 i=1
2i −1
n n
X |sn,i | X |sn,i | Détails
6 +
i=1
2i + 1 i=1
2i −1 1 1
Pour tout i, 6 .
n 2i + 1 2i − 1
X |sn,i | On somme alors les inégalités
62 ainsi obtenues.
i=1
2i − 1
n n
X 1 X 1 Détails
62 62 .
i=1
(2i − 1)(n − i + 1) i=1
i(n − i + 1) i 6 2i − 1, donc
1 1
6 .
1 1 n −i +1+i n+1 2i − 1 i
9.f. Pour n ∈ N∗ et i ∈ n1, no, on a + = = .
i n −i +1 i(n − i + 1) i(in − i + 1)
9.g. Des deux questions précédentes, on déduit que pour n ∈ N∗ ,
n
1 1 1
X !
|c n2 − dn | 6 2 +
i=1
n +1 i n −i +1
n n
2 X1 2 X 1
6 + Chgt d’indice
n + 1 i=1 i n + 1 i=1 n − i + 1
On a posé j = n − i + 1,
n
2 2 X1 changement d’indice qui ne
6 Hn + fait que permuter les deux
n+1 n + 1 j=1 j
bornes (quand i = 1, j = n et
4 quand i = n, alors j = 1).
6 Hn .
n+1

Hn Hn ln n + 1
10. D’après la question 6, on a 0 6 6 6 .
n+1 n n
Donc pour n ∈ N∗ , il vient

4 4(ln n + 1) 4(ln n + 1)
c n2 − dn 6 |c n2 − dn 6 Hn 6 6
n+1 n+1 n
et de même,
4(ln n + 1)
c n2 − dn > −|c n2 − dn | > − .
n
ln n
Puisque lim = 0, par le théorème des gendarmes, lim c n2 − dn = 0.
n→+∞ n n→+∞
π 2
Et donc dn = (dn − c n2 ) + c n2 −→ 0 + .
n→+∞ 4
3 3 π2
Puisque nous avons prouvé à la question 7.b que dn −→ `, on a donc ` = , si bien
n→+∞ 2 2 4
π 2 3π 2 π 2
que ` = . Et donc bn −→ = .
6 n→+∞ 4 6 8
n n
X π2 X 1 π2
Soit encore lim et lim = .
n→+∞
k =1
6 n→+∞ (2k + 1)2
k =0
8

MP2I LYCÉE CHAMPOLLION 2021–2022 M. VIENNEY