u0 = 0 et un+1 = √6 + un. On a démontré au chapitre précédent que, pour tout n ∈ ℕ, 0 ≤ un ≤ 3, et que (un) est croissante. a) Justifier que (un) converge. b) Déterminer sa limite.
Voir la correction
a) La suite (un) est croissante et majorée par 3. D'après le théorème de convergence monotone, elle converge vers un réel ℓ, et ℓ ≤ 3 par passage à la limite dans l'inégalité un ≤ 3. Comme u0 = 0 et que la suite est croissante, ℓ ≥ 0.
b) La fonction f : x ↦ √6 + x est continue sur [0 ; +∞[ et un+1 = f(un). Puisque un → ℓ, on a f(un) → f(ℓ) ; or un+1 → ℓ aussi. Par unicité de la limite, ℓ = f(ℓ) = √6 + ℓ.
Comme ℓ ≥ 0, on peut élever au carré : ℓ2 = 6 + ℓ, soit ℓ2 − ℓ − 6 = 0. Le discriminant vaut 1 + 24 = 25 ; les racines sont 1 − 52 = −2 et 1 + 52 = 3. La valeur −2 est exclue car ℓ ≥ 0.
La suite converge vers 3. L'ordre des étapes est essentiel : la convergence est établie en a) avant de résoudre l'équation en b) ; résoudre ℓ = f(ℓ) seul ne prouve rien.