Soit la suite récurrente $(u_n)_{n\in\mathbb{N}}$ définie par :
$$\begin{cases} u_{n+1} = \dfrac{5u_n+3}{u_n+3} \\ u_0 = 1 \end{cases} \quad \forall n \in \mathbb{N}$$
Et soit la suite $(v_n)_{n\in\mathbb{N}}$ définie par : $v_n = \dfrac{u_n-3}{u_n+1}$, $\forall n \in \mathbb{N}$.
1) Montrer que $0 \le u_n \le 3$ pour tout $n \in \mathbb{N}$.
2) a) Étudier la monotonie de la suite $(u_n)_{n\in\mathbb{N}}$.
b) Que peut-on déduire pour la suite $(u_n)_{n\in\mathbb{N}}$ ?
3) Montrer que la suite $(v_n)_{n\in\mathbb{N}}$ est géométrique et déterminer sa raison et son premier terme.
4) Déterminer $v_n$ en fonction de $n$ et en déduire $u_n$ en fonction de $n$.
5) Déterminer $\lim v_n$ et $\lim u_n$.
Voir la correction
1) a) Montrons que $0 \le u_n$ pour tout $n \in \mathbb{N}$
Pour $n=0$ on a $u_0 = 1 \ge 0$ donc la proposition est vraie pour $n=0$.
Supposons $0 \le u_n$.
Montrons que $0 \le u_{n+1}$.
On a $0 \le u_n$ et $u_{n+1} = \dfrac{5u_n+3}{u_n+3}$ donc $u_{n+1} \ge 0$.
Donc $0 \le u_n$ pour tout $n \in \mathbb{N}$.
1) b) Montrons que $u_n \le 3$ pour tout $n \in \mathbb{N}$
Pour $n=0$ on a $u_0 = 1 \le 3$ donc la proposition est vraie pour $n=0$.
Supposons $u_n \le 3$.
Montrons que $u_{n+1} \le 3$.
$$3-u_{n+1} = 3-\frac{5u_n+3}{u_n+3} = \frac{3(u_n+3)-(5u_n+3)}{u_n+3} = \frac{-2u_n+6}{u_n+3} = \frac{-2(u_n-3)}{u_n+3}$$
On a $u_n \le 3$ et $0 \le u_n$ donc $3-u_{n+1} \ge 0$.
Donc $u_{n+1} \le 3$.
Donc $0 \le u_n \le 3$ pour tout $n \in \mathbb{N}$.
2) a) Étude de la monotonie de la suite $(u_n)_{n\in\mathbb{N}}$
$$u_{n+1}-u_n = \frac{5u_n+3}{u_n+3}-u_n = \frac{5u_n+3-u_n(u_n+3)}{u_n+3} = \frac{-u_n^2+2u_n+3}{u_n+3}$$
On a $0 \le u_n$ donc $0 < u_n+3$.
Le signe de $u_{n+1}-u_n$ est celui de $-u_n^2+2u_n+3$.
$\Delta = 4+12 = 16 > 0$ donc $x_1 = \dfrac{-2+4}{-2} = -1$ et $x_2 = \dfrac{-2-4}{-2} = 3$.
Donc $-u_n^2+2u_n+3 = -(u_n-3)(u_n+1)$.
On a $u_n \ge 0$ donc $u_n+1 \ge 0$.
Et on a $u_n \le 3$ donc $u_n-3 \le 0$.
Donc :
$$u_{n+1}-u_n = \frac{-(u_n-3)(u_n+1)}{u_n+3} \ge 0$$
Donc $(u_n)_{n\in\mathbb{N}}$ est croissante.
2) b) Ce que l'on peut déduire
La suite $(u_n)$ est croissante et puisque $(u_n)$ est majorée par 3, alors $(u_n)$ est convergente.
Soit $\lim u_n = l$, on a donc $0 \le l \le 3$.
3) La suite $(v_n)_{n\in\mathbb{N}}$
$$v_{n+1} = \frac{u_{n+1}-3}{u_{n+1}+1} = \frac{\dfrac{5u_n+3}{u_n+3}-3}{\dfrac{5u_n+3}{u_n+3}+1} = \frac{\dfrac{5u_n+3-3(u_n+3)}{u_n+3}}{\dfrac{5u_n+3+(u_n+3)}{u_n+3}} = \frac{\dfrac{2u_n-6}{u_n+3}}{\dfrac{6u_n+6}{u_n+3}} = \frac{2u_n-6}{6u_n+6}$$
$$v_{n+1} = \frac{2(u_n-3)}{6(u_n+1)} = \frac{1}{3}\cdot\frac{u_n-3}{u_n+1} = \frac{1}{3}v_n$$
Donc la suite $(v_n)_{n\in\mathbb{N}}$ est géométrique de raison $q = \dfrac{1}{3}$ et son premier terme est :
$$v_0 = \frac{u_0-3}{u_0+1} = \frac{1-3}{1+1} = -1$$
4) $v_n$ et $u_n$ en fonction de $n$
Puisque $(v_n)_{n\in\mathbb{N}}$ est géométrique de raison $q = \dfrac{1}{3}$ et de premier terme $v_0 = -1$, alors :
$$v_n = (-1)\times\left(\frac{1}{3}\right)^n = -\left(\frac{1}{3}\right)^n$$
Et on a :
$$v_n = \frac{u_n-3}{u_n+1} \iff v_n(u_n+1) = u_n-3 \iff v_nu_n+v_n-u_n = -3$$
$$\iff u_n(v_n-1) = -3-v_n \iff u_n = \frac{-3-v_n}{v_n-1} \iff u_n = \frac{3+v_n}{1-v_n}$$
Et on a $v_n = -\left(\dfrac{1}{3}\right)^n$ donc :
$$u_n = \frac{3-\left(\frac{1}{3}\right)^n}{1+\left(\frac{1}{3}\right)^n}$$
5) Les limites
$$\lim v_n = \lim -\left(\frac{1}{3}\right)^n = 0$$
car $-1 < \dfrac{1}{3} < 1$.
$$\lim u_n = \lim \frac{3-\left(\frac{1}{3}\right)^n}{1+\left(\frac{1}{3}\right)^n} = \frac{3-0}{1+0} = 3$$
car $-1 < \dfrac{1}{3} < 1$.