📑 Parties du cours▼

Voici la fiche pédagogique complète, conçue selon les normes de l'inspection pédagogique marocaine pour la classe de 2ème Année Baccalauréat (Séries : Physique-Chimie PC et Sciences de la Vie et de la Terre SVT).


FICHE PÉDAGOGIQUE : SUITES NUMÉRIQUES (LIMITES ET CONVERGENCE)

Matière : Mathématiques
Niveau : 2ème Année du Baccalauréat (PC / SVT)
Matière prérequise : Étude des fonctions numériques, continuité, limites de fonctions, suites arithmétiques et géométriques (1ère Bac).
Volume horaire total : 15 Heures (Découpage sur 3 semaines à raison de 5h/semaine)


1. PLANIFICATION ET RÉPARTITION HORAIRE (15 HEURES)

SemaineSéanceContenu détailléDurée
Semaine 1Séance 1Limites des suites de référence (npn^p, n\sqrt{n}, 1/np1/n^p, 1/n1/\sqrt{n}). Notion de suite convergente/divergente.2h
Séance 2Limites de la suite géométrique (qnq^n) et de la suite (nαn^\alpha, α∈Q∗\alpha \in \mathbb{Q}^*). Opérations sur les limites.2h
Séance 3Applications directes : Calculs de limites et formes indéterminées.1h
Semaine 2Séance 4Limites et ordre. Théorèmes de comparaison (Majorations, minoration, Théorème des gendarmes).2h
Séance 5Critères de convergence : Suite croissante majorée, suite décroissante minorée.2h
Séance 6Exercices d'application sur les théorèmes de comparaison et la monotonie.1h
Semaine 3Séance 7Image d'une suite par une fonction continue : vn=f(un)v_n = f(u_n). Limite de un+1=f(un)u_{n+1} = f(u_n) et équation f(x)=xf(x) = x.2h
Séance 8Étude des suites récurrentes spécifiques : un+1=aun+bu_{n+1} = a u_n + b et un+1=aun+bcun+du_{n+1} = \frac{a u_n + b}{c u_n + d}.2h
Séance 9Exercices de synthèse (Préparation à l'Examen National).1h

2. OBJECTIFS ET CAPACITÉS ATTENDUES

  • Utiliser les limites des suites de référence et les théorèmes de comparaison pour déterminer la limite d'une suite numérique.
  • Utiliser les suites arithmétiques et géométriques dans l'étude de suites récurrentes de la forme un+1=aun+bu_{n+1} = a u_n + b et un+1=aun+bcun+du_{n+1} = \frac{a u_n + b}{c u_n + d}.
  • Déterminer la limite d'une suite convergente (un)(u_n) définie par un+1=f(un)u_{n+1} = f(u_n) avec ff continue sur II et f(I)⊂If(I) \subset I.
  • Modéliser et résoudre des problèmes issus d'autres domaines (biologie, physique, économie) à l'aide des suites numériques.

3. CONTENU DU COURS DÉTAILLÉ

I. Limites de suites de référence et Définitions de base

1. Définition intuitive de la limite d'une suite

Orientation Pédagogique : Toute étude théorique (utilisation des ε\varepsilon et NN) de la notion de limite d'une suite est strictement hors programme. Une suite étant une fonction définie sur N\mathbb{N}, la notion de limite s'entend uniquement lorsque n→+∞n \to +\infty.

  • Définition 1 (Suite convergente) : On dit qu'une suite (un)(u_n) est convergente si elle admet une limite finie l∈Rl \in \mathbb{R} lorsque nn tend vers +∞+\infty. On écrit : lim⁡n→+∞un=l\lim_{n \to +\infty} u_n = l
  • Définition 2 (Suite divergente) : Une suite est dite divergente si elle n'est pas convergente (c'est-à-dire sa limite est +∞+\infty, −∞-\infty, ou elle n'admet pas de limite).

2. Limites des suites de référence

Orientation Pédagogique : On admet, à partir des limites de fonctions de référence vues auparavant, les limites usuelle lorsque n→+∞n \to +\infty.

  • Propriété 1 (Limites infinies usuellement admises) : lim⁡n→+∞n=+∞;lim⁡n→+∞n2=+∞;lim⁡n→+∞n3=+∞;lim⁡n→+∞n=+∞\lim_{n \to +\infty} n = +\infty \quad ; \quad \lim_{n \to +\infty} n^2 = +\infty \quad ; \quad \lim_{n \to +\infty} n^3 = +\infty \quad ; \quad \lim_{n \to +\infty} \sqrt{n} = +\infty De manière générale, pour tout p∈N∗p \in \mathbb{N}^* : lim⁡n→+∞np=+∞\displaystyle \lim_{n \to +\infty} n^p = +\infty.

  • Propriété 2 (Limites nulles usuellement admises) : lim⁡n→+∞1n=0;lim⁡n→+∞1n2=0;lim⁡n→+∞1n=0\lim_{n \to +\infty} \frac{1}{n} = 0 \quad ; \quad \lim_{n \to +\infty} \frac{1}{n^2} = 0 \quad ; \quad \lim_{n \to +\infty} \frac{1}{\sqrt{n}} = 0 De manière générale, pour tout p∈N∗p \in \mathbb{N}^* : lim⁡n→+∞1np=0\displaystyle \lim_{n \to +\infty} \frac{1}{n^p} = 0.

  • Démonstration : [Admis] (Justifié par le lien avec la limite des fonctions f(x)f(x) quand x→+∞x \to +\infty).


3. Limite de la suite géométrique (qn)(q^n) et de la suite (nα)(n^\alpha)

  • Théorème 1 (Limite de qnq^n où q∈Rq \in \mathbb{R}) :

    • Si q>1q > 1, alors lim⁡n→+∞qn=+∞\displaystyle \lim_{n \to +\infty} q^n = +\infty.
    • Si q=1q = 1, alors lim⁡n→+∞qn=1\displaystyle \lim_{n \to +\infty} q^n = 1.
    • Si −1<q<1-1 < q < 1 (soit ∣q∣<1|q| < 1), alors lim⁡n→+∞qn=0\displaystyle \lim_{n \to +\infty} q^n = 0.
    • Si q≤−1q \le -1, la suite (qn)(q^n) n'admet pas de limite.
  • Théorème 2 (Limite de nαn^\alpha avec α∈Q∗\alpha \in \mathbb{Q}^*) :

    • Si α>0\alpha > 0, alors lim⁡n→+∞nα=+∞\displaystyle \lim_{n \to +\infty} n^\alpha = +\infty.
    • Si α<0\alpha < 0, alors lim⁡n→+∞nα=0\displaystyle \lim_{n \to +\infty} n^\alpha = 0.
  • Exemple résolu : Calculer les limites des suites suivantes :

    1. un=(32)n  ⟹  lim⁡n→+∞un=+∞u_n = \left(\frac{3}{2}\right)^n \implies \lim_{n \to +\infty} u_n = +\infty car 32>1\frac{3}{2} > 1.
    2. vn=(−23)n  ⟹  lim⁡n→+∞vn=0v_n = \left(-\frac{2}{3}\right)^n \implies \lim_{n \to +\infty} v_n = 0 car ∣−23∣<1\left|-\frac{2}{3}\right| < 1.

4. Opérations sur les limites

Orientation Pédagogique : Les règles sur les opérations des limites finies et infinies (somme, produit, quotient) pour les fonctions s'appliquent à l'identique aux suites.

⚠️ Attention aux Formes Indéterminées (F.I.) : F.I.∈{"+∞−∞" ; "0×∞" ; "00" ; "∞∞"}\text{F.I.} \in \left\{ "+\infty - \infty" \,;\, "0 \times \infty" \,;\, "\frac{0}{0}" \,;\, "\frac{\infty}{\infty}" \right\}


II. Limites et Ordre - Théorèmes de Comparaison

Orientation Pédagogique : Utiliser la forme explicite des théorèmes ci-dessous, issus directement des directives officielles.

1. Théorèmes de comparaison

  • Théorème 3 (Minoration et Divergence vers +∞+\infty) : Si, à partir d'un certain rang, vn≥α unv_n \ge \alpha \, u_n avec α>0\alpha > 0 et lim⁡n→+∞un=+∞\displaystyle \lim_{n \to +\infty} u_n = +\infty, alors : lim⁡n→+∞vn=+∞\lim_{n \to +\infty} v_n = +\infty

  • Théorème 4 (Majoration et Divergence vers −∞-\infty) : Si, à partir d'un certain rang, vn≤α unv_n \le \alpha \, u_n avec α>0\alpha > 0 et lim⁡n→+∞un=−∞\displaystyle \lim_{n \to +\infty} u_n = -\infty, alors : lim⁡n→+∞vn=−∞\lim_{n \to +\infty} v_n = -\infty

  • Théorème 5 (Encadrement de la valeur absolue et Convergence) : Si, à partir d'un certain rang, ∣vn−l∣≤α un|v_n - l| \le \alpha \, u_n avec α>0\alpha > 0 et lim⁡n→+∞un=0\displaystyle \lim_{n \to +\infty} u_n = 0, alors : lim⁡n→+∞vn=l\lim_{n \to +\infty} v_n = l

  • Théorème 6 (Théorème d'encadrement dit "Des Gendarmes") : Si, à partir d'un certain rang, vn≤un≤wnv_n \le u_n \le w_n et si lim⁡n→+∞vn=lim⁡n→+∞wn=l\displaystyle \lim_{n \to +\infty} v_n = \lim_{n \to +\infty} w_n = l, alors la suite (un)(u_n) converge et : lim⁡n→+∞un=l\lim_{n \to +\infty} u_n = l

  • Démonstrations : [Admis]


Visualisation TikZ : Encadrement d'une suite (Théorème des Gendarmes)

\begin{tikzpicture}[scale=1.0]
  \begin{axis}[
      xlabel={$n$},
      ylabel={$u_n, v_n, w_n$},
      xmin=0, xmax=10,
      ymin=0, ymax=4,
      axis lines=left,
      grid=major,
      legend pos=north east
    ]
    % Suite v_n (minorante)
    \addplot[mark=*, blue, domain=1:10, samples=10] {2 - 2/x};
    \addlegendentry{$v_n$}
    
    % Suite u_n (encadrée)
    \addplot[mark=square*, red, domain=1:10, samples=10] {2 + cos(deg(x*3))/x};
    \addlegendentry{$u_n$}
    
    % Suite w_n (majorante)
    \addplot[mark=triangle*, green!60!black, domain=1:10, samples=10] {2 + 2/x};
    \addlegendentry{$w_n$}
    
    % Ligne asymptote y = l
    \addplot[dashed, black, domain=0:10] {2};
  \end{axis}
\end{tikzpicture}

III. Critères de Convergence (Monotonie et Bornes)

  • Théorème 7 (Admis) :
    1. Toute suite croissante et majorée est convergente.
    2. Toute suite décroissante et minorée est convergente.
[Croissante + Majorée par M]  ===>  Converge vers l (avec l <= M)
[Décroissante + Minorée par m] ===>  Converge vers l (avec l >= m)

⚠️ Remarque Importante : Le théorème garantit l'existence de la limite ll, mais il ne donne pas directement sa valeur exacte. Si une suite croissante est majorée par MM, sa limite ll vérifie l≤Ml \le M (et non obligatoirement l=Ml = M).


IV. Suites de la forme vn=f(un)v_n = f(u_n) et un+1=f(un)u_{n+1} = f(u_n)

1. Image d'une suite par une fonction continue vn=f(un)v_n = f(u_n)

  • Théorème 8 : Soit (un)(u_n) une suite numérique et ff une fonction continue.
    Si lim⁡n→+∞un=l\displaystyle \lim_{n \to +\infty} u_n = l et si ff est continue en ll, alors : lim⁡n→+∞f(un)=f(l)\lim_{n \to +\infty} f(u_n) = f(l)

2. Suites récurrentes de la forme un+1=f(un)u_{n+1} = f(u_n)

  • Théorème 9 (Limite d'une suite récurrente) : Soit ff une fonction continue sur un intervalle II telle que f(I)⊂If(I) \subset I.
    Soit la suite (un)(u_n) définie par u0∈Iu_0 \in I et un+1=f(un)u_{n+1} = f(u_n) pour tout n∈Nn \in \mathbb{N}.
    Si la suite (un)(u_n) est convergente vers une limite l∈Il \in I, alors ll est solution de l'équation : f(x)=xf(x) = x

  • Démonstration : [Admis selon les orientations pédagogiques]

Visualisation TikZ : Représentation graphique en toile d'araignée (Cobweb Plot)

\begin{tikzpicture}[scale=1.2]
    % Axes
    \draw[->] (-0.2,0) -- (4.2,0) node[right] {$x$};
    \draw[->] (0,-0.2) -- (0,4.2) node[above] {$y$};
    
    % Première bissectrice y = x
    \draw[thick, gray, dashed] (0,0) -- (4,4) node[above right] {$y=x$};
    
    % Courbe de f(x) = sqrt(2x + 3) dans [0, 4]
    \draw[thick, blue, domain=0:3.8, samples=100] plot (\x, {sqrt(2*\x + 3)}) node[right] {$\mathcal{C}_f$};
    
    % Construction de la suite (u0 = 0.5)
    % u0 = 0.5
    % u1 = sqrt(4) = 2
    % u2 = sqrt(7) ~ 2.64
    % Point fixe : x = 3
    \draw[red, thick] (0.5, 0) -- (0.5, 2);
    \draw[red, thick] (0.5, 2) -- (2, 2);
    \draw[red, thick, dotted] (2, 0) -- (2, 2);
    
    \draw[red, thick] (2, 2) -- (2, 2.645);
    \draw[red, thick] (2, 2.645) -- (2.645, 2.645);
    \draw[red, thick, dotted] (2.645, 0) -- (2.645, 2.645);
    
    \draw[red, thick] (2.645, 2.645) -- (2.645, 2.88);
    \draw[red, thick] (2.645, 2.88) -- (2.88, 2.88);
    
    % Noeuds
    \node[below] at (0.5,0) {$u_0$};
    \node[below] at (2,0) {$u_1$};
    \node[below] at (2.645,0) {$u_2$};
    \node[below] at (3,0) {$l$};
    \fill[black] (3,3) circle (2pt);
\end{tikzpicture}

4. APPLICATIONS DIRECTES (EXERCICES RÉSOLUS)

Application 1 : Calculs de limites de suites usuellement rencontrées

Calculer les limites des suites suivantes :

  1. un=2n2−3n+15n2+7u_n = \frac{2n^2 - 3n + 1}{5n^2 + 7}
  2. vn=n+1−nv_n = \sqrt{n+1} - \sqrt{n}
  3. wn=4n−2n4n+3nw_n = \frac{4^n - 2^n}{4^n + 3^n}

Corrigé détaillé :

  1. Factorisation par le terme prépondérant : un=n2(2−3n+1n2)n2(5+7n2)=2−3n+1n25+7n2u_n = \frac{n^2 \left(2 - \frac{3}{n} + \frac{1}{n^2}\right)}{n^2 \left(5 + \frac{7}{n^2}\right)} = \frac{2 - \frac{3}{n} + \frac{1}{n^2}}{5 + \frac{7}{n^2}} Comme lim⁡1n=lim⁡1n2=0\lim \frac{1}{n} = \lim \frac{1}{n^2} = 0, on obtient par opération : lim⁡n→+∞un=25\displaystyle \lim_{n \to +\infty} u_n = \frac{2}{5}.

  2. Utilisation de l'expression conjuguée : vn=(n+1−n)(n+1+n)n+1+n=(n+1)−nn+1+n=1n+1+nv_n = \frac{(\sqrt{n+1} - \sqrt{n})(\sqrt{n+1} + \sqrt{n})}{\sqrt{n+1} + \sqrt{n}} = \frac{(n+1) - n}{\sqrt{n+1} + \sqrt{n}} = \frac{1}{\sqrt{n+1} + \sqrt{n}} Comme lim⁡(n+1+n)=+∞\lim (\sqrt{n+1} + \sqrt{n}) = +\infty, on a : lim⁡n→+∞vn=0\displaystyle \lim_{n \to +\infty} v_n = 0.

  3. Suite géométrique : Factorisation par la plus grande base (4n4^n) : wn=4n(1−(24)n)4n(1+(34)n)=1−(12)n1+(34)nw_n = \frac{4^n \left(1 - \left(\frac{2}{4}\right)^n\right)}{4^n \left(1 + \left(\frac{3}{4}\right)^n\right)} = \frac{1 - \left(\frac{1}{2}\right)^n}{1 + \left(\frac{3}{4}\right)^n} Comme ∣12∣<1\left|\frac{1}{2}\right| < 1 et ∣34∣<1\left|\frac{3}{4}\right| < 1, on a lim⁡(12)n=0\lim \left(\frac{1}{2}\right)^n = 0 et lim⁡(34)n=0\lim \left(\frac{3}{4}\right)^n = 0.
    D'où : lim⁡n→+∞wn=1\displaystyle \lim_{n \to +\infty} w_n = 1.


Application 2 : Application du Théorème des Gendarmes

Soit la suite (un)(u_n) définie pour tout n∈N∗n \in \mathbb{N}^* par : un=∑k=1n1n2+k=1n2+1+1n2+2+⋯+1n2+nu_n = \sum_{k=1}^n \frac{1}{n^2 + k} = \frac{1}{n^2 + 1} + \frac{1}{n^2 + 2} + \dots + \frac{1}{n^2 + n} Déterminer lim⁡n→+∞un\displaystyle \lim_{n \to +\infty} u_n.

Corrigé détaillé :

Pour tout 1≤k≤n1 \le k \le n, on a : n2+1≤n2+k≤n2+nn^2 + 1 \le n^2 + k \le n^2 + n En passant à l'inverse (les termes étant strictement positifs) : 1n2+n≤1n2+k≤1n2+1\frac{1}{n^2 + n} \le \frac{1}{n^2 + k} \le \frac{1}{n^2 + 1} En faisant la somme de ces nn inégalités : n×1n2+n≤un≤n×1n2+1  ⟹  nn2+n≤un≤nn2+1n \times \frac{1}{n^2 + n} \le u_n \le n \times \frac{1}{n^2 + 1} \implies \frac{n}{n^2 + n} \le u_n \le \frac{n}{n^2 + 1} Calculons les limites des encadrants :

  • lim⁡n→+∞nn2+n=lim⁡n→+∞nn2=lim⁡n→+∞1n=0\lim_{n \to +\infty} \frac{n}{n^2 + n} = \lim_{n \to +\infty} \frac{n}{n^2} = \lim_{n \to +\infty} \frac{1}{n} = 0
  • lim⁡n→+∞nn2+1=lim⁡n→+∞nn2=lim⁡n→+∞1n=0\lim_{n \to +\infty} \frac{n}{n^2 + 1} = \lim_{n \to +\infty} \frac{n}{n^2} = \lim_{n \to +\infty} \frac{1}{n} = 0

D'après le Théorème des Gendarmes, la suite (un)(u_n) converge et lim⁡n→+∞un=0\displaystyle \lim_{n \to +\infty} u_n = 0.


5. EXERCICES DE SYNTHÈSE (TYPE EXAMEN NATIONAL)

Exercice de Synthèse 1 : Suite Arithmético-Géométrique (un+1=aun+bu_{n+1} = a u_n + b)

Soit (un)(u_n) la suite numérique définie par : u0=1etun+1=13un+2(∀n∈N)u_0 = 1 \quad \text{et} \quad u_{n+1} = \frac{1}{3}u_n + 2 \quad (\forall n \in \mathbb{N})

  1. Montrer par récurrence que pour tout n∈Nn \in \mathbb{N}, un<3u_n < 3.
  2. Étudier la monotonie de la suite (un)(u_n) et en déduire qu'elle est convergente.
  3. Soit (vn)(v_n) la suite auxiliaire définie par vn=un−3v_n = u_n - 3 pour tout n∈Nn \in \mathbb{N}. a. Montrer que (vn)(v_n) est une suite géométrique dont on précisera la raison qq et le premier terme v0v_0. b. Exprimer vnv_n puis unu_n en fonction de nn. c. Calculer lim⁡n→+∞un\displaystyle \lim_{n \to +\infty} u_n.
  4. On pose Sn=u0+u1+⋯+unS_n = u_0 + u_1 + \dots + u_n. Exprimer SnS_n en fonction de nn puis calculer lim⁡n→+∞Sn\displaystyle \lim_{n \to +\infty} S_n.

Corrigé de l'Exercice 1 :

  1. Récurrence :

    • Initialisation : Pour n=0n=0, u0=1<3u_0 = 1 < 3. La propriété est vraie.
    • Hérédité : Soit n∈Nn \in \mathbb{N}. Supposons un<3u_n < 3 et montrons que un+1<3u_{n+1} < 3. un<3  ⟹  13un<1  ⟹  13un+2<3  ⟹  un+1<3u_n < 3 \implies \frac{1}{3}u_n < 1 \implies \frac{1}{3}u_n + 2 < 3 \implies u_{n+1} < 3
    • Conclusion : Pour tout n∈Nn \in \mathbb{N}, un<3u_n < 3.
  2. Monotonie : un+1−un=13un+2−un=−23un+2=−23(un−3)u_{n+1} - u_n = \frac{1}{3}u_n + 2 - u_n = -\frac{2}{3}u_n + 2 = -\frac{2}{3}(u_n - 3) Puisque un<3u_n < 3, on a un−3<0u_n - 3 < 0, donc un+1−un>0u_{n+1} - u_n > 0.
    La suite (un)(u_n) est donc strictement croissante.
    Convergence : (un)(u_n) est croissante et majorée par 3, donc elle est convergente.

  3. Étude de la suite géométrique (vn)(v_n) : a. vn+1=un+1−3=13un+2−3=13un−1=13(un−3)=13vnv_{n+1} = u_{n+1} - 3 = \frac{1}{3}u_n + 2 - 3 = \frac{1}{3}u_n - 1 = \frac{1}{3}(u_n - 3) = \frac{1}{3}v_n.
    Donc (vn)(v_n) est une suite géométrique de raison q=13q = \frac{1}{3} et de premier terme v0=u0−3=1−3=−2v_0 = u_0 - 3 = 1 - 3 = -2. b. vn=v0×qn=−2(13)nv_n = v_0 \times q^n = -2 \left(\frac{1}{3}\right)^n.
    Comme un=vn+3u_n = v_n + 3, on a : un=3−2(13)nu_n = 3 - 2 \left(\frac{1}{3}\right)^n. c. Comme −1<13<1-1 < \frac{1}{3} < 1, lim⁡n→+∞(13)n=0\lim_{n \to +\infty} \left(\frac{1}{3}\right)^n = 0.
    Par conséquent, lim⁡n→+∞un=3\displaystyle \lim_{n \to +\infty} u_n = 3.

  4. Somme SnS_n : Sn=(v0+3)+(v1+3)+⋯+(vn+3)=(v0+v1+⋯+vn)+3(n+1)S_n = (v_0 + 3) + (v_1 + 3) + \dots + (v_n + 3) = (v_0 + v_1 + \dots + v_n) + 3(n+1) v0+v1+⋯+vn=v01−qn+11−q=−21−(13)n+11−13=−3(1−(13)n+1)v_0 + v_1 + \dots + v_n = v_0 \frac{1 - q^{n+1}}{1 - q} = -2 \frac{1 - \left(\frac{1}{3}\right)^{n+1}}{1 - \frac{1}{3}} = -3 \left(1 - \left(\frac{1}{3}\right)^{n+1}\right) Sn=−3(1−(13)n+1)+3(n+1)S_n = -3 \left(1 - \left(\frac{1}{3}\right)^{n+1}\right) + 3(n+1) Comme lim⁡−3(1−(13)n+1)=−3\lim -3 \left(1 - \left(\frac{1}{3}\right)^{n+1}\right) = -3 et lim⁡3(n+1)=+∞\lim 3(n+1) = +\infty, on conclut par somme : lim⁡n→+∞Sn=+∞\lim_{n \to +\infty} S_n = +\infty


Exercice de Synthèse 2 : Suite Homographique (un+1=aun+bcun+du_{n+1} = \frac{au_n+b}{cu_n+d})

Soit (un)(u_n) la suite numérique définie par : u0=2etun+1=2un+1un+2(∀n∈N)u_0 = 2 \quad \text{et} \quad u_{n+1} = \frac{2u_n + 1}{u_n + 2} \quad (\forall n \in \mathbb{N})

  1. Montrer par récurrence que pour tout n∈Nn \in \mathbb{N}, un>1u_n > 1.
  2. Soit la suite (vn)(v_n) définie par vn=un−1un+1v_n = \frac{u_n - 1}{u_n + 1} pour tout n∈Nn \in \mathbb{N}. a. Montrer que (vn)(v_n) est une suite géométrique de raison q=13q = \frac{1}{3}. b. Exprimer vnv_n en fonction de nn, puis montrer que un=1+vn1−vnu_n = \frac{1 + v_n}{1 - v_n}. c. En déduire la limite de la suite (un)(u_n).

Corrigé de l'Exercice 2 :

  1. Récurrence :

    • Pour n=0n=0, u0=2>1u_0 = 2 > 1 (Vrai).
    • Soit n∈Nn \in \mathbb{N}, supposons un>1u_n > 1. un+1−1=2un+1un+2−1=2un+1−un−2un+2=un−1un+2u_{n+1} - 1 = \frac{2u_n + 1}{u_n + 2} - 1 = \frac{2u_n + 1 - u_n - 2}{u_n + 2} = \frac{u_n - 1}{u_n + 2} Puisque un>1u_n > 1, on a un−1>0u_n - 1 > 0 et un+2>0u_n + 2 > 0, donc un+1−1>0  ⟹  un+1>1u_{n+1} - 1 > 0 \implies u_{n+1} > 1.
    • Conclusion : Pour tout n∈Nn \in \mathbb{N}, un>1u_n > 1.
  2. Étude de vnv_n : a. vn+1=un+1−1un+1+1=un−1un+22un+1un+2+1=un−1un+23un+3un+2=un−13(un+1)=13vnv_{n+1} = \frac{u_{n+1} - 1}{u_{n+1} + 1} = \frac{\frac{u_n - 1}{u_n + 2}}{\frac{2u_n + 1}{u_n + 2} + 1} = \frac{\frac{u_n - 1}{u_n + 2}}{\frac{3u_n + 3}{u_n + 2}} = \frac{u_n - 1}{3(u_n + 1)} = \frac{1}{3} v_n.
    (vn)(v_n) est géométrique de raison q=13q = \frac{1}{3} et v0=2−12+1=13v_0 = \frac{2-1}{2+1} = \frac{1}{3}. b. vn=v0×qn=13(13)n=(13)n+1v_n = v_0 \times q^n = \frac{1}{3} \left(\frac{1}{3}\right)^n = \left(\frac{1}{3}\right)^{n+1}.
    Calcul de unu_n : vn(un+1)=un−1  ⟹  vnun+vn=un−1  ⟹  un(1−vn)=1+vn  ⟹  un=1+vn1−vnv_n (u_n + 1) = u_n - 1 \implies v_n u_n + v_n = u_n - 1 \implies u_n (1 - v_n) = 1 + v_n \implies u_n = \frac{1 + v_n}{1 - v_n} c. Comme ∣1/3∣<1|1/3| < 1, lim⁡n→+∞vn=0\lim_{n \to +\infty} v_n = 0.
    Par conséquent : lim⁡n→+∞un=1+01−0=1\lim_{n \to +\infty} u_n = \frac{1 + 0}{1 - 0} = 1


Exercice de Synthèse 3 : Suite récurrente et Fonction un+1=f(un)u_{n+1} = f(u_n)

Soit ff la fonction numérique définie sur I=[−1,+∞[I = [-1, +\infty[ par : f(x)=2x+3f(x) = \sqrt{2x + 3}

  1. Étudier les variations de ff sur II et montrer que f([0,3])⊂[0,3]f([0, 3]) \subset [0, 3].
  2. Soit (un)(u_n) la suite définie par u0=0u_0 = 0 et un+1=f(un)u_{n+1} = f(u_n) pour tout n∈Nn \in \mathbb{N}. a. Montrer par récurrence que pour tout n∈Nn \in \mathbb{N}, 0≤un≤30 \le u_n \le 3. b. Montrer que la suite (un)(u_n) est croissante. c. En déduire que (un)(u_n) est convergente et calculer sa limite ll.

Corrigé de l'Exercice 3 :

  1. Variations et Image d'intervalle : ff est strictement croissante sur II.
    f([0,3])=[f(0),f(3)]=[3,9]=[3,3]⊂[0,3]f([0, 3]) = [f(0), f(3)] = [\sqrt{3}, \sqrt{9}] = [\sqrt{3}, 3] \subset [0, 3].

  2. Étude de la suite (un)(u_n) : a. Récurrence :

    • n=0:u0=0∈[0,3]n=0 : u_0 = 0 \in [0,3].
    • Supposons un∈[0,3]u_n \in [0,3]. Comme ff est croissante, f(0)≤f(un)≤f(3)  ⟹  3≤un+1≤3  ⟹  0≤un+1≤3f(0) \le f(u_n) \le f(3) \implies \sqrt{3} \le u_{n+1} \le 3 \implies 0 \le u_{n+1} \le 3.
    • Conclusion : ∀n∈N\forall n \in \mathbb{N}, un∈[0,3]u_n \in [0, 3]. b. Monotonie : Montrons par récurrence que un≤un+1u_n \le u_{n+1}.
    • u0=0u_0 = 0 et u1=3u_1 = \sqrt{3}, donc u0≤u1u_0 \le u_1.
    • Supposons un≤un+1u_n \le u_{n+1}. Par croissance de ff sur [0,3][0,3] : f(un)≤f(un+1)  ⟹  un+1≤un+2f(u_n) \le f(u_{n+1}) \implies u_{n+1} \le u_{n+2}.
    • La suite est donc croissante. c. Convergence et Limite : La suite (un)(u_n) est croissante et majorée par 3, elle converge donc vers une limite l∈[0,3]l \in [0, 3]. Comme ff est continue sur [0,3][0, 3] et f([0,3])⊂[0,3]f([0, 3]) \subset [0, 3], la limite ll vérifie : f(l)=l  ⟺  2l+3=l  ⟺  2l+3=l2(avec l≥0)f(l) = l \iff \sqrt{2l + 3} = l \iff 2l + 3 = l^2 \quad (\text{avec } l \ge 0) l2−2l−3=0  ⟹  (l−3)(l+1)=0l^2 - 2l - 3 = 0 \implies (l - 3)(l + 1) = 0 Les solutions sont l=3l = 3 et l=−1l = -1.
      Puisque l∈[0,3]l \in [0, 3], la seule valeur retenue est : lim⁡n→+∞un=3\lim_{n \to +\infty} u_n = 3