On considère la suite $(u_n)$ définie par $u_0=5$ et, pour tout entier naturel $n$ :
$$u_{n+1}=2+\ln(u_n^2-3).$$
On admet que cette suite est bien définie.
Partie A : Exploitation de programmes Python
- Recopier et compléter le script Python pour que
suite(k) renvoie la liste des $k$ premières valeurs de la suite $(u_n)$.
- On a exécuté
suite(9). Émettre deux conjectures : l'une sur le sens de variation de la suite et l'autre sur son éventuelle convergence.
- On a ensuite créé la fonction
mystere(n) et exécuté mystere(10000), ce qui a renvoyé 1. Cet affichage contredit-il la conjecture sur le sens de variation de la suite ? Justifier.
Partie B : Étude de la convergence de la suite
On considère la fonction $g$ définie sur $[2~;~+\infty[$ par :
$$g(x)=2+\ln(x^2-3).$$
- Démontrer que la fonction $g$ est croissante sur $[2~;~+\infty[$.
-
- Démontrer par récurrence que, pour tout entier naturel $n$ :
$$4\leqslant u_n\leqslant u_{n+1}\leqslant6.$$
- En déduire que la suite $(u_n)$ converge.
Partie C : Étude de la valeur de la limite
On considère la fonction $f$ définie sur $[2~;~+\infty[$ par :
$$f(x)=2+\ln(x^2-3)-x.$$
-
- Montrer que l'équation $f(x)=0$ admet exactement deux solutions sur $[2~;~+\infty[$, notées $\alpha$ et $\beta$ avec $\alpha<\beta$.
- Donner la valeur exacte de $\alpha$ et une valeur approchée à $10^{-3}$ près de $\beta$.
- On note $\ell$ la limite de la suite $(u_n)$. Justifier que $f(\ell)=0$ et déterminer $\ell$.