(b). Démontrer que la suite est strictement décroissante. En déduire que la suite possède une limite.
Solution. La suite est strictement décroissante si et seulement si
un+1 < un⇐⇒ un−u2
n< un⇐⇒ u2
n>0,
ce qui est vrai parce que nous avons déjà montré que, pour tout n,0< un<1, donc
en particulier, pour tout n,un6= 0.
Une suite bornée et monotone possède forcément une limite.
(c). Calculer la limite `de la suite.
Solution. Pour calculer la limite `de la suite, nous réécrivons d’abord la défi-
nition par récurrence comme
un+1 =f(un), f(x) := x−x2.
Donc, si la suite admet une limite, celle-ci doit être un point fixe de la fonction
f:
un+1 =f(un)
↓ ↓
`=f(`),
d’où
`=f(`)⇐⇒ `=`−`2⇐⇒ `2= 0 ⇐⇒ `= 0.
Nous avons prouvé que lim
n→∞ un= 0.
(d). En utilisant le théorème des accroissements finis, montrer l’existence d’une constante Mtelle
que |un+2 −un+1| ≤ M|un+1 −un|pour tout n∈N. En déduire une majoration pour |un+2 −`|.
Solution. La fonction fest continue sur [0,1] et dérivable sur ]0,1[. De plus on peut
prouver que, pour tout x∈[0,1],|f0(x)| ≤ 1 =: M. Donc, d’après l’inégalité des
accroissements finis, pour tout (x, y)∈[0,1] ×[0,1], on a |f(x)−f(y)| ≤ M|x−y|.
Si on prend y=unet x=un+1 (et M= 1), on peut réécrire cela |un+2 −un+1| ≤
|un+1 −un|. Si on prend y=`, on obtient |f(x)−f(`)| ≤ M|x−`|, c’est-à-dire |f(x)−`| ≤
M|x−`|. En choisissant x=u0, par récurrence on peut montrer que |un−`| ≤ Mn|u0−`|.
Comme dans ce cas M= 1, cela revient à |un−`| ≤ |u0−`|.
(e). Si on voulait savoir combien d’itérations sont nécessaires pour se rapprocher quatre ordres à
la limite `, cette majoration serait-elle utile ?
Solution. Non, car M≥1. A priori, selon la majoration, unpeut être aussi loin
de la limite que un.
Exercice 4 :
On considère deux suites réelles (un)n∈Net (vn)n∈Nvérifiant :
0≤v0≤u0,∀n∈N, un+1 =un+vn
2et vn+1 =√unvn.
(a). Montrer que ∀n∈N,0≤vn≤un.
Solution. On peut montrer cela par récurrence.
Initialisation. 0≤v0≤u0par hypothèse.
Hérédité. Supposons 0≤vn≤un. Nous avons
0≤vn+1 ≤un+1 ⇐⇒ 0≤√unvn≤un+vn
2⇐⇒ 0≤2√unvn≤un+vn
⇐⇒ 0≤4unvn≤u2
n+v2
n+ 2unvn⇐⇒ −4unvn≤0≤u2
n+v2
n−2unvn
⇐⇒ −4unvn≤0≤(un−vn)2,