ATLAS Ouvrir dans l'atlas →

ExerciceTerminale, chapitre 1 — Suites numériques · Limites de suites

Exercice 29

DémonstrationCalcul

Soit la suite (un)n∈ℕ(u_n)_{n\in\mathbb{N}} définie par u0=2u_0 = 2 et, pour tout entier nn, un+1=5un−1un+3u_{n+1} = \dfrac{5u_n - 1}{u_n + 3}.

1ʳᵉ méthode

a) Vérifier que pour tout n∈ℕn \in \mathbb{N}, un+1=5−16un+3u_{n+1} = 5 - \dfrac{16}{u_n+3}.

b) Montrer que, pour tout n∈ℕn \in \mathbb{N}, un∈[1 ;2]u_n \in [1\,;2].

c) Établir la relation un+1−un=−(un−1)2un+3u_{n+1} - u_n = -\dfrac{(u_n-1)^2}{u_n+3}, et en déduire le sens de variation de (un)n∈ℕ(u_n)_{n\in\mathbb{N}}.

d) Démontrer que (un)n∈ℕ(u_n)_{n\in\mathbb{N}} converge et déterminer sa limite ll.

2ᵉ méthode On considère la suite (vn)n∈ℕ(v_n)_{n\in\mathbb{N}} définie pour tout n∈ℕn \in \mathbb{N} par vn=1un−1v_n = \dfrac{1}{u_n - 1}.

a) Prouver que (vn)n∈ℕ(v_n)_{n\in\mathbb{N}} est une suite arithmétique de raison 14\dfrac{1}{4}.

b) Exprimer pour tout nn, vnv_n puis unu_n en fonction de nn.

c) En déduire la convergence de (un)n∈ℕ(u_n)_{n\in\mathbb{N}} et sa limite.

Corrigé

1re méthode

a) Pour tout n∈ℕn\in\mathbb{N}, en réduisant au même dénominateur : 5−16un+3=5(un+3)−16un+3=5un+15−16un+3=5un−1un+3=un+15-\frac{16}{u_n+3}=\frac{5\left(u_n+3\right)-16}{u_n+3}=\frac{5u_n+15-16}{u_n+3} =\frac{5u_n-1}{u_n+3}=u_{n+1}

∀n∈ℕ,  un+1=5−16un+3\boxed{\forall n\in\mathbb{N},\; u_{n+1}=5-\frac{16}{u_n+3}}

b) Démontrons par récurrence la propriété suivante : ∀n∈ℕ,Pn:« 1⩽un⩽2 »\forall n\in\mathbb{N},\quad P_n : «\,1\leqslant u_n\leqslant 2\,»

Initialisation : Pour n=0n=0 : u0=2u_0=2 et 1⩽2⩽21\leqslant 2\leqslant 2. Donc P0P_0 est vraie.

Hérédité : Soit k∈ℕk\in\mathbb{N}. Supposons que 1⩽uk⩽21\leqslant u_k\leqslant 2. Alors 4⩽uk+3⩽54\leqslant u_k+3\leqslant 5, et la fonction inverse étant décroissante sur ]0 ;+∞[]0\,;+\infty[ : 15⩽1uk+3⩽14  ⟹  165⩽16uk+3⩽4\frac{1}{5}\leqslant\frac{1}{u_k+3}\leqslant\frac{1}{4} \implies \frac{16}{5}\leqslant\frac{16}{u_k+3}\leqslant 4 En multipliant par −1-1 puis en ajoutant 55, ce qui inverse le sens des inégalités : 5−4⩽uk+1⩽5−165  ⟹  1⩽uk+1⩽955-4\leqslant u_{k+1}\leqslant 5-\frac{16}{5} \implies 1\leqslant u_{k+1}\leqslant\frac{9}{5} Comme 95⩽2\dfrac{9}{5}\leqslant 2, ceci prouve Pk+1P_{k+1}.

Conclusion : Par principe de récurrence : ∀n∈ℕ,  un∈[1 ;2]\boxed{\forall n\in\mathbb{N},\; u_n\in[1\,;2]}

c) Pour tout n∈ℕn\in\mathbb{N} : un+1−un=5un−1un+3−un=5un−1−un(un+3)un+3=−un2+2un−1un+3=−(un−1)2un+3\begin{aligned} u_{n+1}-u_n &= \frac{5u_n-1}{u_n+3}-u_n=\frac{5u_n-1-u_n\left(u_n+3\right)}{u_n+3}\\ &= \frac{-u_n^2+2u_n-1}{u_n+3}=-\frac{\left(u_n-1\right)^2}{u_n+3} \end{aligned} Le numérateur est un carré, donc positif, et le dénominateur est strictement positif puisque un⩾1u_n\geqslant 1 : ce quotient est donc négatif. (un) est deˊcroissante\boxed{(u_n)\text{ est décroissante}}

d) La suite est décroissante et minorée par 11 : d'après le théorème de convergence monotone, elle converge vers un réel ℓ\ell. En passant à la limite dans la relation de récurrence : ℓ=5ℓ−1ℓ+3  ⟺  ℓ2+3ℓ=5ℓ−1  ⟺  ℓ2−2ℓ+1=0  ⟺  (ℓ−1)2=0\ell=\frac{5\ell-1}{\ell+3} \iff \ell^2+3\ell=5\ell-1 \iff \ell^2-2\ell+1=0 \iff (\ell-1)^2=0

(un) converge et ℓ=1\boxed{(u_n)\text{ converge et }\ell=1}

2e méthode

a) Remarquons d'abord que un>1u_n>1 pour tout nn : c'est vrai au rang 00, et si uk>1u_k>1 alors uk+1−1=5uk−1−(uk+3)uk+3=4(uk−1)uk+3>0u_{k+1}-1=\frac{5u_k-1-\left(u_k+3\right)}{u_k+3}=\frac{4\left(u_k-1\right)}{u_k+3}>0 ce qui assure que vnv_n est bien défini. On utilise alors cette même égalité : vn+1=1un+1−1=un+34(un−1)=(un−1)+44(un−1)=14+1un−1=vn+14\begin{aligned} v_{n+1} &= \frac{1}{u_{n+1}-1}=\frac{u_n+3}{4\left(u_n-1\right)}\\ &= \frac{\left(u_n-1\right)+4}{4\left(u_n-1\right)}\\ &= \frac{1}{4}+\frac{1}{u_n-1}=v_n+\frac{1}{4} \end{aligned}

(vn) est arithmeˊtique de raison 14 et de premier terme v0=1\boxed{(v_n)\text{ est arithmétique de raison }\frac{1}{4}\text{ et de premier terme }v_0=1}

b) On en déduit que vn=1+n4=n+44v_n=1+\dfrac{n}{4}=\dfrac{n+4}{4}, puis, en inversant la relation vn=1un−1v_n=\dfrac{1}{u_n-1} : vn=n+44etun=1+4n+4\boxed{v_n=\frac{n+4}{4} \qquad\text{et}\qquad u_n=1+\frac{4}{n+4}}

c) Comme lim⁡n→+∞4n+4=0\displaystyle\lim_{n\to+\infty}\dfrac{4}{n+4}=0, on retrouve bien le résultat de la première méthode : (un) converge et lim⁡n→+∞un=1\boxed{(u_n)\text{ converge et }\lim_{n\to+\infty} u_n=1}

Dans l'édifice

Thèmes

suite définie par récurrence, récurrence, encadrement, sens de variation, convergence monotone, suite auxiliaire, suite arithmétique, limite finie

Notions

suite, limite d'une suite

Ouvrir dans l'atlas interactif →