Suites récurrentes
Exercice
1257. Déterminer les fonctions $f : \Rpe \to \Rpe$ telles que $\forall x > 0$, $f(f(x)) = 6x-f(x)$.
Exercice
1258. Soit $\un$ définie par $u_0 = 0$ et $\forall n \in \N$, $u_{n+1} = \sqrt{2+u_n}$. \\
- Montrer que pour tout $n \in \N^*$, $u_n > 0$ et $u_n$ existe. \\
- Montrer que $\forall n \in \N$, $\abs{u_{n+1}-2} \leqslant \Frac{1}{2} \abs{u_n-2}$. \\
- En déduire que pour tout $n \in \N$, $\abs{u_n-2} \leqslant \parenthese{\Frac{1}{2}}^{n-1}$. \\
- Montrer que $\un$ converge et préciser sa limite.
Exercice
1259. Soit $\un$ définie par $u_0 = 1$ et pour tout $n \in \N$, $u_{n+1} = u_ne^{-u_n}$. \\
- Montrer que $\un$ est décroissante. \\
- En déduire que $\un$ converge vers un réel $\ell$ que l'on précisera. \\
- On pose $S_n = \Sum_{k=0}^{n}u_k$. \\
- Montrer que pour tout $n \in \N$, $u_{n+1} = u_0 e^{-S_n}$. \\
- En déduire que $(S_n)$ admet une limite que l'on précisera.
Exercice
1260. On suppose que $u_0 = 2$, $u_1 = 4$ et, pour tout $n \geqslant 0$, $u_{n+2} = \Frac{u_{n+1}^4}{u_n^3}$. \\
Exprimer $u_n$ en fonction de $n$.
Exercice 1261. Oral CCP
\\ Pour tout $n \in \N^*$, on considère l'équation \[ (E_n) \; : \; x\parenthese{1+\Frac{x}{n}}^{\frac{1}{2}} = 1 \]- Montrer que, pour tout $n \in \N^*$, $(E_n)$ admet une seule solution dans $\R_+^*$ notée $x_n$. \\
- Montrer que $(x_n)$ est croissante. \\
- En déduire qu'elle converge et déterminer sa limite.
Exercice
1262. On considère la suite $(x_n)_{n \geqslant 1}$ de terme général
\[
x_n = \sqrt{\,1 + \sqrt{\,1 + \sqrt{\,1 + \dots}}}
\]
où il y a $n$ racines carrées. Calculer $\lim_{n \to +\infty} x_n$.
Exercice
1263. On suppose que $u_0 = 1$ et que, pour tout $n \in \N$, \\
\[
u_{n+1} = 1 + \Frac{1}{u_n}.
\]
Déterminer $u_n$ en fonction de $n$. \\
En déduire la valeur de $\Phi = 1 + \Frac{1}{1 + \Frac{1}{1 + \Frac{1}{1 + \dots}}}$.
Exercice
1264. \\
Soit $\un$ définie par $u_0 = u_1 = u_2 = 1$ et $\forall n \in \N$, \[ u_{n+3} = \Frac{u_{n+2}u_{n+1}+1}{u_n} \]
- Etablir $\forall n \in \N$, $u_{n+4} = 4u_{n+2}-u_n$. \\
- En déduire, $\forall n \in \N$, $u_n \in \N^*$.
Exercice
1265. On considère la suite $(x_n)_{n \geqslant 0}$ définie par $x_0 = \Frac{1}{2}$ et pour tout $n \in \N$ :
\[
x_{n+1} = \Frac{4}{3} x_n^3 + \Frac{1}{6}.
\]
Montrer que la suite $(x_n)_{n \geqslant 0}$ est convergente et que $\lim_{n \to +\infty} x_n = \sin \Frac{\pi}{18}$.
Exercice
1266. \\
Existe-t-il une suite réelle $(u_n)_{n \in \N}$ telle que \[ \begin{cases} \forall n \in \N, u_n \in \Rpe \\ \forall n \in \N, u_{n+2} = \sqrt{u_{n+1}}-\sqrt{u_n} \end{cases} \quad \quad ? \]
Exercice
1267. On considère les deux suites réelles $(u_n)$ et $\vn$ définies par $u_0 > 0$, $v_0 > 0$ et pour tout $n \in \N$, \[ u_{n+1} = \Frac{u_n+v_n}{2} \quad v_{n+1} = \Frac{u_n+\sqrt{u_nv_n}+v_n}{3} \]
Montrer qu'elles convergent, ont la même limite et que cette limite $\ell$ vérifie $v_1 \leqslant \ell \leqslant u_1$.
Exercice
1268. Soit $(a,b) \in ]0,1[^2$ tel que $a \leqslant b$. On considère $\un$ et $\vn$ définies par $u_0 = a$, $v_0 =b$ et \[ \forall n \in \N, \quad u_{n+1} = u_n^{v_n}, \quad v_{n+1} = v_n^{u_n} \]
Montrer que $\un$ converge, et que $\vn$ converge vers $1$.
Exercice
1269. Soit $f : [0,1] \to [0,1]$ une application bijective telle que pour tout $x \in [0,1]$, on a
\[
f\parenthese{2x - f(x)} = x.
\]
Soit $u_0 \in [0,1]$ et pour tout $n \in \N$, $u_{n+1} = f(u_n)$.\\
Que peut on dire de la suite $(u_n)$ ? Reconnaître $f$.