Correction de l’exercice 1.

‚ Faire un DL
‚ Faire un DL
‚ Par croissance comparée
ř n2 cn Ñ 0, donc cn “ Op1{n2 q, par comparaison à une série à termes positifs
et convergente cn converge.
‚ Faire un DL
‚ Faire un DL żn
1 1
‚ La fonction x ÞÑ est décroissante, continue et positive sur r 2 ; `8 r. De plus, dx “
x lnpxq 2 x lnpxq
n ř
rlnplnpxqqs2 Ñ `8, par comparaison-série intégrale gn diverge.
1 ř
‚ hn ě pour n ě 3, par comparaison hn diverge.
n ř
‚ in Ñ `8 par croissance comparée, donc ř in diverge grossièrement.
‚ Par croissance comparée jn “ Opn´1.2 q, or n´1.2 converge (série ř de Riemann de paramètre 1.2 ą 1),
par comparaison à une série à termes positifs et
ř ´0.6convergente, jn converge.
‚ Par croissance comparée n ´0.6 “ Opkn q, or řn diverge (série de Riemann de paramètre 0.6 ď 1),
par comparaison de séries à termes positifs, kn diverge.
‚ Faisons un DL, or le seul DL de arctan que l’on connaisse est en 0. Dans ce cas, appliquons la formule 1
arctanpxq ` arctanp1{xq “ π{2 pour tout x ą 0. Ainsi, pour tout n P N˚ ,
ˆ ˆ ˙˙ ˆ ˆ ˙˙ ˆ ˙ ˆ ˙
1 1 1 1
`n “ π{2 ´ arctan ´ π{2 ´ arctan “ arctan ´ arctan
pn ` aq n n n`a
ˆ ˙
1 1 1 1
“ ` Op 3 q ´ `O
n n n`a pn ` aq3
ˆ ˙ ˆ ˙ ˆ ˙
a 1 1 1
“ `O 3
car n ` a „ n doncO 3
“O
npn ` aq n pn ` aq n3
ˆ ˙
1
“ O
n2
ř
Par comparaison à une série à termes positifs et convergentes, `n converge.
‚ Critère de d’Alembert
Correction de l’exercice 2.
Correction de l’exercice 3. Rappelons la formule de Taylor avec reste intégral 2 : soit f P C n`1 pr a ; b s , Rq,
on a

n żb
ÿ pb ´ aqk f pkq paq pb ´ tqn pn`1q
f pbq “ ` f ptq dt
k“0
k! a n!
żb
1pb ´ aq2 2 pb ´ aqn pnq pb ´ tqn pn`1q
“ f paq ` pb ´ aqf paq ` f paq ` . . . ` f paq ` f ptq dt
2 n! a n!
Soit n P N, appliquons la formule de Taylor à la fonction exp P C n`1 pr 0 ; 1 s , Rq avec a “ 0 et b “ 1 :
n ż1
1
ÿ 1k p1 ´ tqn t
e “ ` e dt
k“0
k! 0 n!
Ainsi, en faisant passer la somme de l’autre côté :
n ż1 ż1 1
ÿ 1 p1 ´ tqn e t e e
0ďe ´ “ dt ď dt “ Ñ 0
k“0
k! 0 n! 0 n! n! nÑ`8
ˆ n 1
˙ `8
ř 1
est une suite convergente de limite égale à e , donc 3 e “
ř
Ceci démontre que .
k“0 k! n n“0 n!
1. Rappelons que cette formule se démontre en dérivant f : x ÞÑ arctanpxq ` arctanp1{xq sur R˚ , on obtient une dérivée nulle,
donc f est constante sur R˚ ˚
` et R´ . Enfin on trouve les deux valeurs constantes en calculant f p1q et f p´1q.
2. Cette formule est à connaître, et il faut connaître le principe de la démonstration (par récurrence sur n en effectuant une
pb ´ tqn
IPP : dériver le terme en f pn`1q et en intégrant le terme en ).
n!
`ř8 xn
3. On peut généraliser cet exercice et montrer que pour tout x P R, e x “ .
n“0 n!

[Link]@[Link] PSI de l’Essouriau, 19-20, TD3 1

Correction de l’exercice 4. Effectuons un développement de un .
? ? ?
un “ n`a n`1`b n`2
˜ ˆ ˙1 ˆ ˙1 ¸
? n`1 2 n`2 2
“ n 1`a `b
n n
ˆ ˆ ˙ ˆ ˙˙
? 1 1 1
“ n 1 ` ap1 ` q`b 1` `O
2n n n2
ˆ ˙
? 1 1
“ np1 ` a ` bq ` pa ` 2bq ? ` O 3
2 n n2
´ 3
¯
‚ Si 1 ` a ` b “ 0 et a ` 2b “ 0, alors, un “ O 1{n´ 2 , par comparaison à une série à termes positifs
ř
convergente (série de Riemann de paramètre 3{2řą 1), un converge.
‚ 1 ` a ` b ‰ 0, alors un diverge vers `ř8 et donc un diverge grossièrement.
‚ 1 ` a ` b “ 0 et a ` 2b ‰ 0, alors un diverge (somme de deux séries l’une convergente l’autre
řdivergente).
Ainsi un converge si et seulement si ? a ` 2b “?0 et 1 ` a ` b “ 0. Plaçons nous donc dans l’unique cas de
?
convergence, on a donc un “ n ´ 2 n ` 1 ` n ` 2. En reconnaissant des séries télescopiques, calculons
les sommes partielles :

n
ÿ n ?
ÿ ? ?
uk “ p k ´ 2 k ` 1 ` k ` 2q
k“0 k“0
ÿn ? ? n ?
ÿ ?
“ p k ´ k ` 1q ` p k ` 2 ´ k ` 1q
k“0 k“0
? ?
“ ´ n`1` n`2´1
˜ c ¸
? n`1
“ ´1 ` n ` 2 1 ´
n`2
˜ c ¸
? 1
“ ´1 ` n ` 2 1 ´ 1 ´
n`2
ˆ ˙
1
“ ´1 ` O ?
n`2
`8
ř
Donc, un “ ´1.
n“0

p´1qn
Correction de l’exercice 5. Posons un “ pour n ě 2, alors
n ` p´1qn
» fi
p´1qn — 1
un “
ffi
n
n
– fl
p´1q
1`
ˆn
p´1qn p´1qn
„ ˙
“ 1`O
n n
n
ˆ ˙
p´1q 1
“ `O
n n2

Or p´1qn {n est une série de Riemann alternée de paramètre 1 ą 0 donc converge. De plus 1{n 2
ř ř
ř est
` une ˘
série à termes positifs et convergente. Par théorème
ř de comparaison à une série terme positifs, O 1{n2
converge. Par somme de séries convergentes, un converge.
Pour calculer la somme, on va prendre une somme partielle, séparer les termes paires et impaires, soit

[Link]@[Link] PSI de l’Essouriau, 19-20, TD3 2

nPN:
2n`1
ÿ 2n`1
ÿ 2n`1
ÿ
uk “ uk ` uk
k“2 k“2 k“2
k“2p k“2p`1
ÿn ÿn
“ u2p ` u2p`1
p“1 k“1
n n
ÿ 1 ÿ ´1
“ `
p“1
2p ` 1 k“1 2p
n n n n
ÿ 1 ÿ 1 ÿ 1 ÿ 1
“ ` ´ ´
p“1
2p ` 1 p“1 2p p“1 2p p“1 2p
˜ ¸
n n n
ÿ 1 ÿ 1 ÿ 1
“ ` ´2
p“1
2p ` 1 p“1 2p p“1
2p
2n`1 n
ÿ 1 ÿ 1
“ ´
p“2
p p“1 p
2n`1 n
ÿ 1 ÿ 1
“ ´1 ` ´
p“1
p p“1 p
“ ´1 ` plnp2n ` 1q ` γ ` Op1qq ´ plnpnq ` γ ` Op1qq
ˆ ˙
1
“ ln 2 ` ´ 1 ` Op1q
n
2n`1
ÿ
uk ÝÑ lnp2q ´ 1
nÑ`8
k“2

On a donc montré que

`8
p´1qn ÿ
“ lnp2q ´ 1
n“2
n ` p´1qn
ř
Correction de l’exercice 6. Supposons que la série u řn converge. Alors pour tout n P N, 0 ď vn ď un ,
par théorème de comparaison de séries à termes positifs, vn converge.
ř
Supposons que la série vn converge. Comme un ě 0, on en déduit que vn ě 0. De plus, lim vn “ 0.
nÑ`8
Donc il existe N P N, tel que pour tout entier naturel n ě N , on ait vn ď 1{2, en particulier, pour tout
n P N, si n ě N , alors vn ‰ 1. Donc, pour n ě N , unř“ vn {p1 ´ vn q, pour n ě N , on a 0 ď un ď 2vn , par
théorème de comparaison de séries à termes positifs, un converge.

Correction de l’exercice 7.

Correction de l’exercice 8. 1. Soient x “ px1 , x2 , . . . , xn q P Rn et y “ py1 , y2 , . . . , yn q P Rn . L’inéga-

lité de Cauchy-Schwarz stipule que
g g
n
ÿ
f n
f ÿ
f n
fÿ
xk yk ď e 2
xk ˆ e yk2
k“1 k“1 k“1
?
ř un
2. Grâce à l’inégalité de Cauchy-Schwarz, majorons les sommes partielles de la série .
n
g g g g
n ? f n f n f `8 f `8
ÿ uk f ÿ f ÿ 1 f ÿ fÿ 1
@n P N‹ ď e uk ˆ e
2
ď e uk ˆ e
k“1
k k“1 k“1
k k“1 k“1
k2
?
ř un
est donc une série à termes positifs dont les sommes partielles sont majorées. C’est donc une
n
série convergente.

[Link]@[Link] PSI de l’Essouriau, 19-20, TD3 3

 n
ř
Correction de l’exercice 9. Considérons Sn “ uk , pour n P N, comme un est décroissante, on a
k“0
2n
ÿ 2n
ÿ
S2n ´ Sn “ uk ě u2n “ nu2n ě 0
k“n`1 k“n`1
Comme pSn qn converge, on donc que S2n ´ Sn Ñ 0, ainsi par théorème d’encadrement, nu2n Ñ 0 donc
2nu2n Ñ 0. De plus 0 ď p2n ` 1qu2n`1 ď p2n ` 1qu2n “ 2nu2n ` u2n Ñ 0 ` 0, on obtient encore par théorème
d’encadrement que p2n ` 1qu2n`1 Ñ 0. En réunissant ces deux résultats, on a que pnun qn est une suite
convergente vers 0.

Remarque : on remarque que c’est le même principe utilisé pour montrer la divergence de la série harmo-
nique.
Correction de l’exercice 10. 1. Tout d’abord cette série est une série télescopique, ensuite on peut
l’écrire en transformant la différence des logarithmes :
ÿn
plnpuk`1 q ´ lnpuk qq “ lnpun`1 q ´ lnpu1 q
k“1
n ˆ ˙
ÿ un`1
“ ln
k“1
un
n
ÿ ´ α ¯
“ ln 1 ´ ` vk
k“1
k
On pose xk “ ´α{k ` vk pour k P N‹ , alors lim xk “ 0, Effectuons un développement limité de
xÑ`8 ` ˘
x ÞÑ lnp1 ´ xq en 0 : lnp1 ´ xq “ ´x ` Opx q. On sait que xk “ α{k ` O 1{k β . Calculons Opxk 2 q 4 :
2

ˆ ˙2
α2
ˆ ˙ ˆ ˙
2 2α 1 1 1
xk “ 2
` O β
`O β
“O
lookmoon loooooomoooooon
k k k
loooomoooon k2
´ ¯
1 ´ ¯ ´ ¯
O O 1
O 1
k2
kβ`1 k2β
` ˘
En effet, 2β et β ` 1 sont ` supérieurs
˘ `ou égales
˘ à 2. Ainsi, xk “ ´a{k ` O 1{k 2 ř , on obtientř donc
lnp1 ´ xk q “ ´α{k ` O 1{k β ` O 1{k 2 . Comme 2 ą 1 et β ą 1, les séries 1{k 2řet ` 1{k β˘
β
convergent
ř ` par 2
˘ critère de Riemann. Donc, par théorème de comparaison à une série positif, O 1{k
et O 1{k convergent

n n ´
ÿ ÿ α ´ ¯¯
´ ` O 1{k 2 ` O 1{k β
` ˘
lnpuk`1 q ´ lnpuk q “
k“1 k“1
k
`8 `8
ÿ ` 2˘ ÿ
O 1{k 2
` ˘
“ ´αplnpnq ` γ ` Op1qq ` O 1{k ´
k“1 k“n`1
`8 ´ ¯ `8 ´ ¯
ÿ ÿ
` O 1{k β ´ O 1{k β
k“1 k“n`1
`8 ´ 8
¯ `ÿ
ÿ
O 1{k β ` O 1{k 2 ` Op1q
` ˘
“ ´αplnpnq ` γ ` Op1qq `
k“1 k“1
“ ´α lnpnq ` C ` Op1q
Où on a utilisé, d’après le cours, le développement asymptotique de la série harmonique.
2. En utilisant les deux écritures des sommes partielles, et en passant à l’exponentielle, on obtient
lnpun`1 q “ ´α lnpnq ` C te ` Op1q
un`1 “ expp´α lnpnq ` C te ` Op1qq
“ n´α ˆ exppC te ` Op1qq
A
„ où A P R˚`
`8 nα
4. Pour ça on applique la règle Op1{kγ q Ă Op1{kδ q, dès que δ ď γ.

[Link]@[Link] PSI de l’Essouriau, 19-20, TD3 4

 A A
Remarquons que l’on a également un „ α
„ α.
pn ´ 1q n
3. En particulier,
ř par théorème de comparaison des séries à termes positifs et par critère de Riemann,
la série un converge si et seulement si α ą 1.
ˆ ˙
n! un`1 1 1
4. On note un “ n n et on trouve après calculs et développement limité que
´ ¯ “ 1` `O .
un 2n n2
e
´1 ?
Donc, en appliquant la question 2, au cas où α “ et β “ 2 ą 1, un „ A n. On a donc prouvé
? 2 `8

que n! „ pn{eqn nA où A est une constante strictement positive 5 .

nÑ`8

Correction de l’exercice 11. Posons un “ n´α ln´β pnq ě 0 pour n ě 2.

1. Pour α “ 1, divisons en deux cas :
n´1
(a) Si β ă 0, alors ln´β pnq tend vers `8 quand n tend vers `8. Ainsi tend vers 0. Autrement dit
ř ´1 un
n ´1
ř “ Opun q. Or n diverge, donc par théorème de comparaison des séries à termes positifs,
un diverge.
(b) Posons la fonction f : x ÞÑ x´1 ln´β pxq définie sur r 2 ; `8 r. Dans le cas où β ě 0, remarquons
que x ÞÑ x lnβ pxq est croissante (car l’identité et ln le sont et β ě 0). Donc f est décroissante,
de plus, elle est continue et positive. Ainsi le théorème deˆżcomparaison ˙ série-intégrale s’applique
ř ř n
donc un “ f pnq converge si et seulement si la suite f pxq dx converge. Si β ‰ 1, on
2 ně2
a
żn n
lnpxq1´β lnpnq1´β lnp2q1´β
„
1
@n P N ně2 dx “ “ ´
2 x lnpxqβ 1´β 2 1´β 1´β

Comme lnpnq tend vers `8 quand n tend vers 1´β q converge si et seulement si 1´β ď 0,
ˆż `8, plnpnq
˙ n
n

autrement dit. Dans le cas β P R˚` zt1u, f pxq dx

converge si et seulement si β ą 1. Le
2 ně2 ř
cas β “ 1 a déjà été étudié lors de l’exercice 1, et la série diverge. Donc dans le cas α “ 1, un
converge si et seulement si β ą 1.
1`α
2. Si α ą 1, alors considérons γ P s 1 ; α r, (par exemple γ “ ), remarquons, alors que
2
un 1
@n P N, n ě 2 “ nγ un “ α´γ β Ñ 0
1 n ln pnq nÑ`8
nγ
En effet, comme γ ă α´γ q tend vers `8 et par croissance comparée pnα´γ lnβ pnqq aussi. Ainsi
γ
ř α, pn
γ
n n
un “ O p1{n q. Or 1{n est une série deřRiemann convergente et à termes positifs, car γ ą 1, par
comparaison des séries à termes positifs, un converge.
1`α
3. Si α ă 1, alors considérons γ P s α ; 1 r, (par exemple γ “ ), remarquons, alors que
2
1
1 1 γ
@n P N, n ě 2 un “ γ ˆ α´γ β donc n “ nα´γ lnβ pnq Ñ 0
n n ln pnq un nÑ`8

En effet, comme γ řą α, pnα´γ qn tend vers 0 et par croissance comparée pnα´γ lnβ pxqqn aussi. D’où
1{nγ “ Opun q. Or 1{nγ est une série de ř Riemann divergente et à termes positifs, car γ ă 1, par
comparaison des séries à termes positifs, un diverge.
ř
En conclusion, un converge si et seulement si α ą 1 ou (α “ 1 et β ą 1).
?
Correction de l’exercice 12. Soit pun qn une suite strictement positive, on suppose que n un Ñ `.
?
5. En passant par les intégrales de Wallis, on trouverait que A “ 2π ce qui prouverait la formule de Stirling.

[Link]@[Link] PSI de l’Essouriau, 19-20, TD3 5

 1. Si ` ă 1, on pose ε “ p1 ´ `q{2 ą 0, ainsi il existe N0 P N tel que
?
@n P N n ě N0 ùñ n
un ď ` ` ε “ p1 ` `q{2 “ r
n n
ř nx ÞÑ x est croissante sur R` , on obtient pour tout n ě N0 , un ď r , comme r ă 1, on sait
Comme
que r convergeř(série géométrique de raison r avec |r| ă 1), par critère de comparaison des séries
à termes positifs un converge.
2. Si ` ą 1, on pose ε “ p` ´ 1q{2 ą 0, ainsi il existe N0 P N tel que
?
@n P N n ě N0 ùñ n
un ě ` ´ ε “ p1 ` `q{2 “ r

Comme x ÞÑ xn est croissante sur R` , on obtient pour tout n ě N0 , un ě rn , comme r ą 1, rn Ñ `8,

donc un Ñ `8, ainsi un diverge grossièrement 6 .
ř

ř
Correction de l’exercice 13. Pour tout n P N, on a 0 ď wn ´ vn ď wn ´ un , or pwn ´ un q converge,
ř par
combinaison linéaire de séries convergentes. Donc par comparaison
ř ř à termes positifs pwn ´ vn q
řdes séries
converge. Par combinaison linéaire de séries convergentes, vn “ pwn q ´ pwn ´ vn q converge. ř
Remarque : on peut en déduire derechef que toute suite absolumentřconvergente ř converge, en effet si un
converge absolument,
ř alors pour tout n P N, ´|un | ď un ď |un |, avec |un | et ´|un | qui convergent, donc
d’après l’exo un converge.
p´1qn ř
Correction de l’exercice 14. 1. Posons un “ pour n P N˚ . Vérifions que un vérifie le critère
n
des séries alternées :
1
‚ Pour tout n P N˚ , p´1qn un “ ě 0. un est donc alternée.
ř
n
˚ 1 1 1
‚ Pour tout n P N , |un`1 |´|un | “ ´ “´ ď 0. Ainsi p|un |qn est donc décroissante.
n`1 n npn ` 1q
‚ Comme ´1{n ď un ď 1{n, pour tout n P N˚ , par théorème d’encadrement, on en déduit que
un Ñ 0. ř
Donc d’après le critère des séries alternées, la série un converge. Ainsi, le reste de cette série est
définie, Rn existe pour n P N˚ .
ř
2. Montrons que Rn vérifie le critère des séries alternées
(a) En tant que reste d’une série convergente, Rn Ñ 0.
˚, R u
(b) De plus, d’après le critère des séries alternées, pour tout n P Nř n n`1 ě 0, or un`1 a le même
signe que p´1qn`1 . Donc Rn p´1q n`1 n
ě 0, d’où Rn p´1q ď 0, Rn est bien alternée.
(c) Soit n P N˚ , comme on sait que pour Rn est du signe de p´1qn`1 , on a |Rn | “ p´1qn`1 Rn . Donc

`8
ÿ p´1qk`n`1 1 1 1 1 1 1
|Rn | “ “ ´ ` ´ `. . . “ ` `. . .
k“n`1
k n`1 n`2 n`3 n`4 pn ` 1qpn ` 2q pn ` 3qpn ` 4q

De même 7
1 1
|Rn`1 | “ ` ` ...
pn ` 2qpn ` 3q pn ` 3qpn ` 4q
Ainsi, |Rn`1 | ´ |Rn | ď 0, donc p|Rn |qn est décroissante
ř
Par application du théorème des séries alternées, Rn converge.
6. Peut-on même appeler ça de la diverge grossièrement grossière ?
7. Si on aime pas les raisonnements, à base de . . . dans des infinis (et on a bien raison), on peut écrire ceci,
ř p´1qk`n`1
n`2p ř p´1qk`n`1
n`2p ř p´1qj`2n`2
2p´1
|Rn | “ lim , puis “ . En séparant les cas pair j “ 2i et im-
pÑ`8 k“n`1 k k“n`1 k k“j`n`1 j“0 j`n`1
2p´1
ř p´1qj ř p´1q2i
p´1 p´1
ř p´1q2i`1 p´1
ř 1 1
pair j “ 2i ` 1 impair, on obtient “ ` “ ´ “
j“0 j ` n ` 1 i“0 2i ` n ` 1 i“0 p2i ` 1q ` n ` 1 i“0 2i ` n ` 1 2i ` n ` 2
p´1 `ř8
ř 1 1
. En repassant à la limite, on a que |Rn | “ . Faire le même raisonnement
i“0 p2i ` n ` 1qp2i ` n ` 2q i“0 p2i ` n ` 1qp2i ` n ` 2q
ř 1
avec des sommes infinies tous le long aurait conduit à des absurdités car est une série divergente.
2i ` n ` 1

[Link]@[Link] PSI de l’Essouriau, 19-20, TD3 6

 ř ř
Correction de l’exercice 15. Comme un converge absolument, un converge, en particulier un tend
vers 0, donc il existe N P N tel que pour tout entier n ě N , |un | ďř1, en particulier, pour nřě N , |un |2 ď |un |.
Grâce au théorème de comparaison des séries à termes positifs, |un |2 converge. Donc un 2 converge ab-
solument.

ř p´1qn ř 1
On remarque que ? converge, alors que diverge.
n`1 n`1
ř n
Correction de l’exercice 16. Soitř q P C tel que |q| ă 1, sinon la série q est divergente.
ř Notons
u n
řn “ vn “ q pour tout n. Notons wn la série obtenue en faisant le produit de Cauchy de un et de
vn . On a donc, pour tout n P N
n
ÿ n
ÿ n
ÿ
wn “ uk vn´k “ q k ˆ q n´k “ q n “ pn ` 1qq n
k“0 k“0 k“0
ř
En appliquant le théorème du produit de Cauchy on a que wn est absolument convergente et que

`8
˜` ¸ ˜` ¸
ÿ ÿ8 ÿ8
wn “ un ˆ wn
n“0 n“0 n“0
`8 ˆ ˙ ˆ ˙
ÿ 1 1 1
pn ` 1qq n “ ˆ “
n“0
1´q 1´q p1 ´ qq2

`8 8
1 `
xn “ nxn´1 “
ř ř
Pour les 5/2, vous savez que x ÞÝÑ est dérivable sur s ´1 ; 1 r et de dérivée
n“0 1´x n“0
p1 ´ xq´2 , on obtient donc la même formule.

Correction de l’exercice 17. Il s’agit de reconnaître un produit de ř

Cauchy, posons vn “ 1{n2 ř
pour n P N‹
8
ř
et v0 “ 0 , ainsi que wn “ 1{n!. Effectuons le produit de Cauchy de vn par wn , et notons zn la série
obtenue. On a
n n
ÿ ÿ 1 1
z0 “ v0 ˆ w0 “ 0 @n P N‹ zn “ vp wn´p “ v0 ˆ wn ` 2
ˆ “ un
p“0 p“1
p pn ´ pq!
ř ř
Or vn est absolument convergente (série de Riemann de paramètre 2), et wn est aussi absolument
convergente (par le critère de d’Alembert), donc d’après le théorème du produit de Cauchy :
`8 `8 `8
˜ `8
¸
ÿ ÿ ÿ ÿ 1
zn “ vn ˆ wn “ 0 ` ˆe
n“0 n“0 n“0 n“1
n2

Comme z0 “ 0 et que zn “ un pour tout n P N‹ , on en déduit que un est absolument convergente 9 et que
ř

`8
ÿ π2
un “ e
n“1
6

Correction de l’exercice 18. 1. Appliquer le théorème des séries alternées.

ř ř p´1qn
2. On pose vn la série obtenue par le produit de Cauchy de ? par elle-même. On a
n`1
n n
ÿ p´1qk p´1qn´k ÿ 1
@n P N vn “ ? ? “ p´1qn a
k“0
k`1 n´k`1 k“0 pk ` 1qpn ´ k ` 1q

Or une étude rapide montre que x ÞÑ px ` 1qpn ´ x ` 1q, définie sur r 0 ; n s, atteint son maximum
en x “ n{2. Donc

@k P rr 0 ; n ss 0 ă pk ` 1qpn ´ k ` 1q ď pn{2 ` 1qpn ´ n{2 ` 1q “ pn{2 ` 1q2

8. Ici on rajoute la valeur nulle en 0 pour pouvoir appliquer le théorème du produit de Cauchy.
`ř8 1 π2
9. Le résultat 2
“ n’est pas au programme, mais ici il simplifie le résultat.
n“1 n 6

[Link]@[Link] PSI de l’Essouriau, 19-20, TD3 7

 Comme x ÞÑ x´1{2 est une fonction décroissante sur R˚` ), en sommant les inégalités, on obtient ainsi :
n n
ÿ 1 ÿ 1 pn ` 1q
@n P N |vn | “
a ě a “ „2
k“0 pk ` 1qpn ´ k ` 1q k“0 pn{2 ` 1q2 n{2 ` 1
ř
En particulier |vn | ne tend pas vers 0 donc vn diverge grossièrement. Conclusion : le produit
de Cauchy de deux séries convergentes peut donner une série divergente.
Correction de l’exercice 19. 1. Remarquons que pun qn est croissante, en effet pour tout n P N,
un`1 ´ un “ un 2 ě 0, supposons que un Ñ `, alors un`1 Ñ ` et un ` un 2 Ñ ` ` `2 , par unicité
de la limite, on obtient que ` “ ` ` `2 . Donc que ` “ 0. Or pour tout n P N, un ě u0 , comme les
inégalités larges passent à la limite, on obtient que ` ě u0 , ainsi 0 ě u0 ą 0, d’où 0 ą 0. Ce qui est
absurde. Donc pun qn diverge. Comme elle est croissante, par le théorème de convergence monotone,
on en déduit que un Ñ `8.
2. Tout d’abord comme u0 ą 0 et que pun qn est croissante, on en déduit que pour tout n P N,řun ą 0 ceci
prouve que la suite pvn qnPN est bien défini 10 . Pour montrer que pvn qn converge, étudions vn`1 ´ vn ,
pour cela, on calculer vn`1 ´ vn . Soit n P N.
ˆ ˙
un`1
ln
lnpun`1 q lnpun q lnpun`1 q ´ 2 lnpun q lnpun`1 q ´ lnpun 2 q un 2
vn`1 ´ vn “ n`1
´ n
“ n`1
“ n`1
“ n`1
2ˆ 2 2 2 2
un ` un 2
˙
ln ˆ ˙
un 2 1 1
“ “ n`1 ln 1 `
2n`1 2 un
Comme on a montré à la question précédente que un Ñ `8, on réalise donc que
ˆ ˙
vn`1 ´ vn 1
“ ln 1 ` Ñ0
1 un
2n`1
` n`1 ˘
, or 1{2n`1 converge car c’est une série à terme géo-
ř
On a donc montré que vn`1 ´ vn “ O 1{2
métrique de raisonř1{2 ă 1. Par théorème de comparaison à une série à terme positifs et convergente,
on en déduit que vn`1 ´ vn converge. Par principe des sommes télescopiques, on en déduit que la
suite pvn qn converge.
3. Notons ` la limite de pvn qn . On remarque, de l’expression de vn`1 ´ vn , que pvn qn est croissante.
Comme pun qn tend vers `8, il existe n0 P N tel que pour tout n P N, si n ě n0 , implique un ě 2.
Ainsi, pour n ě n0 , on a
lnpun q lnp2q
vn ě vn0 “ n0 `10 ą n0 `1 ą 0
2 2
Par passage à la limite (qui conserve les inégalités larges) 11 , on a que ` ě vn0 ą 0. Donc ` ą 0.
Dès lors, on peut dire que vn „ `, ainsi lnpun q „ `2n`1 . On en déduit que lnpun q tend très vite vers
`8, comme le ln tend doucement vers `8, on en déduit que pun qn doit converger très rapidement

vers `8 12 .
Correction de l’exercice 20.
Correction de l’exercice 21.
Correction de l’exercice 22.
p´1qn
Correction de l’exercice 23. Pour n ě 1, posons un “ . Soit n P N, n ě 2 :
lnpnq ` p´1qn
p´1qn p´1qn p´1qn p´1qn p´1qn
ˆ ˆ ˙˙ ˆ ˆ ˙˙
1 1 1 1
“ ˆ “ 1´ `O “ ´ `O
lnpnq ` p´1qn lnpnq p´1qn lnpnq lnpnq lnpnq lnpnq ln2 pnq ln2 pnq
1`
lnpnq
10. Non demandé dans l’énoncé, mais plus on est propre plus on est récompensé.
11. Ne surtout pas dire, pour tout n P N, vn ą 0, donc ` ą 0.
12. Difficile d’être plus précis que ça : le piège étant de prendre l’exponentielle dans les équivalents : cela ne marche pas, en
effet n ` 1 „ n, mais e n`1  e n .

[Link]@[Link] PSI de l’Essouriau, 19-20, TD3 8

 n { lnpnq, on vérifie que
ř
Pour n ě 3, posons vn “ p´1q
` ˘ vn vérifie le critère des séries alternées donc converge.
Posons wn “ 1{ ln2 pnq ` 2 2 2
O 1{ ln pnq , alors wn „ 1{ ln pnq. Or 1{n “ Op1{ ln pnqq (le vérifier par croissance
comparée), comme 1{n diverge, on en déduit par comparaison de séries à termes positifs que 1{ ln2 pnq
ř ř
diverge. On en déduit par comparaison ř de séries à termes positifs (au moins à partir d’un certain rang) ř et
dont les termes sont équivalents que wn diverge. Par somme d’une série convergente et divergente, un
diverge.

Correction de l’exercice 24. 1. Critère des séries alternées.

ż1 „ n 1
t 1
2. Pour n P N˚ , tn´1 dt “ “ .
0 n 0 n
n p´1q k´1 n
ż1
k´1 tk´1 dt. Par linéarité de l’intégrale, on en déduit que :
ř ř
3. Ainsi, Sn “ “ p´1q
k“1 k k“1 0

n
ż1 ÿ
Sn “ p´1qk´1 tk´1 dt
0 k“1
ż 1 n´1
ÿ
“ p´tqk dt
0 k“0
ż1
1 ´ p´tqn
“ dt somme des termes d’une suite géométrique de raison ´ t
0 1`t
ż1 ż1
1 ´p´tqn
“ dt ` dt
0 1`t 0 1`t
ż1
´p´tqn
“ rln p|1 ` t|qs10 ` dt
0 1`t
ż1
´p´tqn
“ lnp2q ` dt
0 1`t
ż1
´p´tqn
On obtient le résultat demandée, en posant In “ dt.
0 1`t
4. Pour n ě 1 :
ˇż 1
ˇ ´p´tqn ˇ
ˇ
|In | “ ˇ ˇ dtˇˇ
0 1`t
ż1ˇ
ˇ ´p´tqn ˇ
ˇ
ď ˇ 1 ` t ˇ dt
ˇ ˇ
0
ż1 n
t
ď dt
0 1`t
ż1
ď tn dt car 1 ` t ě 1
0
1
ď
n`1
Ainsi, ´1{n ` 1 ď In ď 1{n ` 1, d’après le théorème d’encadrement, on en déduit que In ÝÑ 0.
nÑ`8
Comme Sn “ lnp2q ` In ÝÑ lnp2q. En conclusion,
nÑ`8

`8
ÿ p´1qk´1
“ lnp2q
k“1
k

[Link]@[Link] PSI de l’Essouriau, 19-20, TD3 9