ATLAS Ouvrir dans l'atlas →

ExerciceTerminale, chapitre 1 — Suites numériques · Raisonnement par récurrence

Exercice 15 Type Bac

CalculDémonstrationConjectureType Bac

Soit la suite (un)(u_n) définie par u0=2u_0 = 2 et ∀n∈ℕ,un+1=23un+13n+1.\forall n \in \mathbb{N}, \quad u_{n+1} = \frac{2}{3}u_n + \frac{1}{3}n + 1.

1. Calculer les 5 premiers termes de la suite. Quelle conjecture peut-on faire sur le sens de variation ?

2. (a) Montrer que pour tout entier nn on a un≤n+3u_n \leq n + 3.

(b) Montrer que pour tout entier nn on a un+1−un=13(n+3−un)u_{n+1} - u_n = \frac{1}{3}(n + 3 - u_n) et en déduire le sens de variation de (un)(u_n).

3. Montrer que la suite (vn)(v_n) définie pour tout nn par vn=un−nv_n = u_n - n est géométrique de raison 23\dfrac{2}{3}. En déduire l'expression de unu_n en fonction de nn.

Corrigé

1. On applique la relation de récurrence : u0=2  ;  u1=73≈2,33  ;  u2=269≈2,89  ;  u3=9727≈3,59  ;  u4=35681≈4,40u_0=2 \;;\; u_1=\frac{7}{3}\approx 2{,}33 \;;\; u_2=\frac{26}{9}\approx 2{,}89 \;;\; u_3=\frac{97}{27}\approx 3{,}59 \;;\; u_4=\frac{356}{81}\approx 4{,}40

On conjecture que la suite (un) est croissante\boxed{\text{On conjecture que la suite }(u_n)\text{ est croissante}}

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

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

Hérédité : Soit k∈ℕk\in\mathbb{N}. Supposons que uk⩽k+3u_k\leqslant k+3. En multipliant par 23>0\dfrac{2}{3}>0 puis en ajoutant 13k+1\dfrac{1}{3}k+1 : uk+1=23uk+13k+1⩽23(k+3)+13k+1⩽23k+2+13k+1⩽k+3⩽(k+1)+3\begin{aligned} u_{k+1}=\frac{2}{3}u_k+\frac{1}{3}k+1 &\leqslant \frac{2}{3}(k+3)+\frac{1}{3}k+1\\ &\leqslant \frac{2}{3}k+2+\frac{1}{3}k+1\\ &\leqslant k+3\leqslant (k+1)+3 \end{aligned} ce qui prouve Pk+1P_{k+1}.

Conclusion : Par principe de récurrence : ∀n∈ℕ,  un⩽n+3\boxed{\forall n\in\mathbb{N},\; u_n\leqslant n+3}

(b) Pour tout n∈ℕn\in\mathbb{N} : un+1−un=23un+13n+1−un=−13un+13n+1=13(n+3−un)\begin{aligned} u_{n+1}-u_n &= \frac{2}{3}u_n+\frac{1}{3}n+1-u_n\\ &= -\frac{1}{3}u_n+\frac{1}{3}n+1\\ &= \frac{1}{3}\left(n+3-u_n\right) \end{aligned} Or d'après la question précédente un⩽n+3u_n\leqslant n+3, donc n+3−un⩾0n+3-u_n\geqslant 0 et ainsi un+1−un⩾0u_{n+1}-u_n\geqslant 0 : (un) est croissante\boxed{(u_n)\text{ est croissante}}

3. Pour tout n∈ℕn\in\mathbb{N} : vn+1=un+1−(n+1)=23un+13n+1−n−1=23un−23n=23(un−n)=23vn\begin{aligned} v_{n+1} &= u_{n+1}-(n+1)\\ &= \frac{2}{3}u_n+\frac{1}{3}n+1-n-1\\ &= \frac{2}{3}u_n-\frac{2}{3}n\\ &= \frac{2}{3}\left(u_n-n\right)=\frac{2}{3}v_n \end{aligned} La suite (vn)(v_n) est donc géométrique de raison 23\dfrac{2}{3}, de premier terme v0=u0−0=2v_0=u_0-0=2. On en déduit que vn=2(23)nv_n=2\left(\dfrac{2}{3}\right)^n, puis que un=vn+nu_n=v_n+n : ∀n∈ℕ,  un=2(23)n+n\boxed{\forall n\in\mathbb{N},\; u_n=2\left(\frac{2}{3}\right)^n+n}

Dans l'édifice

Thèmes

suite définie par récurrence, conjecture, récurrence, majoration, sens de variation, suite auxiliaire, suite géométrique

Notions

suite

Ouvrir dans l'atlas interactif →