Mathématiques - Correction du Devoir Maison 5

A) Peuve du théorème
Soit u une suite qui converge vers ` ∈ R, on note v la suite de ses moyennes.
1. Cas ` = 0 : soit ε > 0.
(a) Justifier l’existence d’un rang N ∈ N à partir duquel |un | < 2ε .
u → 0 signifie que ∀δ > 0, ∃N ∈ N/ ∀n ∈ N, n ≥ N =⇒ |un | < δ.
On applique cette définition avec δ = 2ε .
(b) En utilisant la question précédente, prouver que v converge vers 0.
n N −1 n
1X 1 X 1 X
On a, pour n > 0, vn = uk = uk + uk . En utilisant l’inégalité triangulaire, il
n n n
k=1 k=1 k=N
vient :
PN −1 Pn PN −1 PN −1
| k=1 uk | | k=N uk | | k=1 uk | n − N + 1 ε | k=1 uk | ε
∀n > N, |vn | ≤ + ≤ + ≤ +
n n n n 2 n 2
P −1
PN −1 | N
k=1 uk | ε
Or, | k=1 uk | est un réel et donc, à partir d’un certain rang M , n ≤ 2 ce qui assure que,
si n ≥ max(N, M ), alors |vn | ≤ ε. On a donc bien v qui tend vers 0.
2. Cas ` ∈ R : en utilisant 1., prouver que v converge vers `.
Il suffit d’appliquer le résultat de la question précédente à la suite u − `.
3. Cas ` = +∞ : prouver que v tend vers +∞.
Soit A > 0. La suite u tend vers +∞, il existe donc un rang N à partir duquel les termes de la suite sont
supérieurs à 2A. On a, pour tout n > N :
N −1 n N −1
1 X 1 X 1 X n−N +1
vn = uk + uk ≥ uk + 2A
n n n n
k=1 k=N k=1

PN −1
• n1 k=1 uk tend vers 0 et donc, est supérieur à − A2 à partir d’un certain rang M1 ;
• 2 n−N
n
+1
tend vers 2 et donc, est supérieur à 32 à partir d’un certain rang M2 .
Finalement, si n ≥ max(N, M1 , M2 ), alors vn ≥ A et on a donc bien vn → +∞.
4. Cas ` = −∞ : déduire du cas précédent que v tend vers −∞.
Il suffit d’appliquer le résultat précédent à la suite −u.

B) Réciproque ?
1. Enoncer la réciproque du théorème de Césaro.
La réciproque est « si la suite des moyennes tend vers ` ∈ R alors la suite converge aussi vers ` ».
2. Cette réciproque est fausse, proposer un contre-exemple.
On peut prendre la suite alternée ((−1)n )n∈N∗ : cette suite diverge alors que la suite de ses moyennes
converge vers 0.
3. Démontrer que si on ajoute l’hypothèse de monotonie sur u alors la réciproque du théorème de Césaro est
vraie.
Supposons que u soit monotone et que la suite de ses moyenne tende vers ` ∈ R. La suite u est monotone,
alors elle a une limite `0 ∈ R. Le théorème de Césaro nous assure que c’est `0 est la limite de la suite des
moyennes de u, on a donc ` = `0 .

C) Lemme de l’escalier
1. Soit (un )n∈N une suite de réels telle que un+1 − un −→ ` ∈ R.
n→+∞
un
Montrer que −→
n n→+∞ `. (Lemme de l’escalier)
Soit, pour n ≥ 1, vn = un − un−1 . Par hypothèse, vn −→ `.
n→+∞
Pn
En appliquant le théorème de Césaro, on a n1 k=1 vk −→ `. Or, par téléscopage, pour tout n ≥ 1, on
n→+∞
Pn
a : k=1 vk = un − u0 . On a donc : un −u
n
0
−→ `. Or, un −u0
n ∼ unn , ce qui donne le résultat voulu.
n→+∞
 1
un+1
2. Soit (un )n∈N une suite de réels strictement positifs. Montrer que si −→
un n→+∞ ` > 0 alors (un ) n −→ `.
n→+∞
Tous les termes de u étant strictement positifs, on peut prendre leurs logarithmes.
On a : ∀n ∈ N, ln uun+1
n
= ln un+1 − ln un −→ ln ` par composition (possible car ` > 0). On applique
n→+∞
ln un
le lemme de l’escalier à la suite (ln un )n et on a n −→ ln `. En composant avec exp on obtient le
n→+∞
résultat voulu.
  n1 !
2n
3. En déduire la limite de .
n
n
2(n+1)

(2n+2)!
(n+1) (2n + 2)(2n + 1)
(n+1)!(n+1)! 2(2n + 1)
On a, pour tout n ≥ 0 : 2n

= (2n)!
= = −→ 4. Les conditions
n
(n + 1)(n + 1) n + 1 n→+∞
n!n!
sont réunies pour appliquer le résultat de la question précédente (termes strictement positifs, quotient qui
  n1 !
2n
tend vers une limite finie non nulle), on obtient : lim = 4.
n→+∞ n
n