Question  

Incomplet

Texte de la question

On considère la suite \(u_{n}\) définie pour tout \(n\in\mathbb{N}\) par : \(u_{0}=10\) et \(u_{n+1}=\frac{1}{4}u_{n}+6\)

Démontrez que la suite \(u_{n}\) est convergente et déterminer sa limite.

1. Montrez par récurrence que pour tout \(n\in\mathbb{N}\) : \(8\leq u_{n}\)

On note \(P_{n}\) :

Initialisation : on a \(u_{0}=10\) donc

\(P_{0}\) est vraie.

Hérédité : on suppose que \(P_{n}\) est vraie pour un certain \(n\in\mathbb{N}\), montrons que \(P_{n+1}\) est vraie.

En partant de l'hypothèse de récurrence, rédigez les étapes permettant de démontrer \(P_{n+1}\) :

Par hypothèse de récurrence : \(\Longleftrightarrow\)

                                                                          \(\Longleftrightarrow\)

Or \(\frac{1}{4}u_{n}+6=u_{n+1}\) d'où \(8\leq u_{n+1}\)

\(P_{n+1}\) est vraie.

Conclusion : la proposition \(P_{n}\) est vraie au rang \(n=0\) et héréditaire donc d'après le principe de récurrence, \(P_{n}\) est vraie pour tout \(n\in\mathbb{N}\), c'est-à-dire, pour tout \(n\in\mathbb{N}\).

2. Calculez pour tout \(n\in\mathbb{N}\) : \(u_{n+1}-u_{n}\)

Pour tout \(n\in\mathbb{N}\), \(u_{n+1}-u_{n}=\)

3. En déduire le sens de variation de la suite \(u_{n}\)

D'après la question 1. on a :

\(8\leq u_{n} \Longleftrightarrow -\frac{3}{4}u_{n}\leq\)

               \(\Longleftrightarrow -\frac{3}{4}u_{n}+6\leq\)

On en déduit d'après la question 2. que et donc que la suite \(u_{n}\) est décroissante.

4. Conclure sur la convergence de \(u_{n}\) et son éventuelle limite.

La suite \(u_{n}\) est minorée (question 1.) et décroissante (question 3.) donc d'après le théorème de la limite monotone, la suite \(u_{n}\) converge vers un nombre réel \(l\).

On a donc : \(\lim\limits_{n \rightarrow +\infty} u_{n+1} = l \)

Et \(\lim\limits_{n \rightarrow +\infty} \frac{1}{4}u_{n}+6 = \frac{1}{4}l+6 \)

Or, pour tout \(n\in\mathbb{N}\), \(u_{n+1}=\frac{1}{4}u_{n}+6\)

Écrire l'équation vérifiée par \(l\) :

\(l\) vérifie l'équation :

Finalement, on trouve : \(\lim\limits_{n \rightarrow +\infty} u_{n} = l = \)