Vrai/Faux : Suites majorées, minorées et bornées

[enonce]
Pour chaque affirmation suivante sur les suites majorées, minorées et bornées, indiquez si elle est Vraie ou Fausse.
[/enonce]

[etape]
Soit $(u_n)$ une suite définie sur $\mathbb{N}$.

Affirmation : Dire que $(u_n)$ est majorée signifie qu'il existe un réel $M$ tel que pour tout $n \in \mathbb{N}$, $u_n \leqslant M$.

[qcm]
[option correct="true"]Vrai[/option]
[option]Faux[/option]
[reponse statut="correct"]Correct !
C'est exactement la définition d'une suite majorée : il existe un réel $M$, appelé majorant, qui est plus grand que tous les termes de la suite.[/reponse]
[reponse statut="incorrect"]Non, cette affirmation est vraie.
Rappel : une suite est majorée s'il existe au moins un réel $M$ qui dépasse tous ses termes. La définition met en jeu un quantificateur existentiel sur $M$ et universel sur $n$.[/reponse]
[/qcm]

[solution]
Cette affirmation est vraie. C'est la définition exacte d'une suite majorée.
[/solution]
[/etape]

[etape]
On considère la suite $(u_n)$ définie pour tout $n \in \mathbb{N}$ par $u_n = \dfrac{n}{n+1}$.

Affirmation : La suite $(u_n)$ est majorée par $1$.

[qcm]
[option correct="true"]Vrai[/option]
[option]Faux[/option]
[reponse statut="correct"]Bonne réponse !
Pour tout $n \in \mathbb{N}$, $n < n+1$, donc $\dfrac{n}{n+1} < 1$.
La suite est strictement majorée par $1$, donc en particulier majorée par $1$.[/reponse]
[reponse statut="incorrect"]Non, cette affirmation est vraie.
Attention, comparer $u_n$ à $1$ revient à comparer $n$ à $n+1$ : comme $n < n+1$, le quotient est strictement inférieur à $1$.
$1 - u_n = 1 - \dfrac{n}{n+1} = \dfrac{1}{n+1} > 0$, donc $u_n < 1$ pour tout $n$.[/reponse]
[/qcm]

[solution]
Cette affirmation est vraie. Pour tout $n$, $u_n = \dfrac{n}{n+1} < 1$ : la suite est majorée par $1$.
[/solution]
[/etape]

[etape]
Affirmation : Si une suite $(u_n)$ admet $5$ comme majorant, alors $5$ est le seul majorant de $(u_n)$.

[qcm]
[option]Vrai[/option]
[option correct="true"]Faux[/option]
[reponse statut="correct"]Bravo !
Si $5$ est un majorant de $(u_n)$, alors tout réel supérieur à $5$ (par exemple $6$, $10$, $100$…) est aussi un majorant. Une suite majorée admet une infinité de majorants.[/reponse]
[reponse statut="incorrect"]Non, cette affirmation est fausse.
Il ne faut pas confondre « un majorant » et « le plus petit majorant » : dès qu'une suite a un majorant, elle en a une infinité.
Si $u_n \leqslant 5$ pour tout $n$, alors $u_n \leqslant 6$, $u_n \leqslant 7$, etc. Tout réel supérieur à $5$ est aussi un majorant.[/reponse]
[/qcm]

[solution]
Cette affirmation est fausse. Toute suite majorée admet une infinité de majorants : si $M$ majore la suite, tout réel supérieur à $M$ aussi.
[/solution]
[/etape]

[etape]
Soit $(u_n)$ la suite définie sur $\mathbb{N}$ par $u_n = (-1)^n$.

Affirmation : La suite $(u_n)$ n'est pas bornée car ses termes ne convergent pas.

[qcm]
[option]Vrai[/option]
[option correct="true"]Faux[/option]
[reponse statut="correct"]Exactement !
Pour tout $n$, $u_n = \pm 1$, donc $-1 \leqslant u_n \leqslant 1$. La suite est bornée (par $-1$ et $1$), même si elle ne converge pas.
Bornée et convergente sont deux propriétés distinctes.[/reponse]
[reponse statut="incorrect"]Non, cette affirmation est fausse.
Il ne faut pas confondre « bornée » et « convergente » : une suite peut être bornée sans converger.
$u_n = (-1)^n$ ne prend que les valeurs $-1$ et $1$ : elle est minorée par $-1$ et majorée par $1$, donc bornée.[/reponse]
[/qcm]

[solution]
Cette affirmation est fausse. La suite $(-1)^n$ est bornée (entre $-1$ et $1$), même si elle n'a pas de limite.
[/solution]
[/etape]

[etape]
Soit $(u_n)$ une suite croissante définie sur $\mathbb{N}$.

Affirmation : La suite $(u_n)$ est nécessairement minorée par $u_0$.

[qcm]
[option correct="true"]Vrai[/option]
[option]Faux[/option]
[reponse statut="correct"]C'est bien ça !
Si $(u_n)$ est croissante, alors pour tout $n \in \mathbb{N}$, $u_n \geqslant u_0$. Donc $u_0$ est un minorant de la suite.[/reponse]
[reponse statut="incorrect"]Non, cette affirmation est vraie.
Rappel : une suite croissante voit ses termes augmenter (au sens large) à mesure que $n$ croît. Le premier terme est donc inférieur à tous les autres.
Pour une suite croissante : $u_0 \leqslant u_1 \leqslant u_2 \leqslant \dots$, donc $u_0$ minore tous les termes.[/reponse]
[/qcm]

[solution]
Cette affirmation est vraie. Une suite croissante est toujours minorée par son premier terme.
[/solution]
[/etape]

[etape]
Soit $(u_n)$ la suite définie sur $\mathbb{N}^*$ par $u_n = n + \dfrac{(-1)^n}{n}$.

Affirmation : La suite $(u_n)$ est majorée.

[qcm]
[option]Vrai[/option]
[option correct="true"]Faux[/option]
[reponse statut="correct"]Tu as raison !
Pour tout $n \geqslant 1$, $\left| \dfrac{(-1)^n}{n} \right| \leqslant 1$, donc $u_n \geqslant n - 1$.
Comme $n - 1 \to +\infty$, la suite n'est pas majorée : elle dépasse n'importe quel réel à partir d'un certain rang.[/reponse]
[reponse statut="incorrect"]Non, cette affirmation est fausse.
Le piège ici est de regarder uniquement le terme $\dfrac{(-1)^n}{n}$ qui oscille en restant petit, et d'oublier la composante $n$ qui domine.
$u_n \geqslant n - 1 \to +\infty$ : aucun réel ne peut majorer tous les $u_n$.[/reponse]
[/qcm]

[solution]
Cette affirmation est fausse. Comme $u_n \geqslant n - 1$, la suite tend vers $+\infty$ et n'admet aucun majorant.
[/solution]
[/etape]

QCM : Variations, majorants et minorants

[enonce]
Ce QCM porte sur le sens de variation des suites et les notions de suites majorées, minorées et bornées. Choisir la bonne réponse parmi les 4 propositions.
[/enonce]

[etape]
La suite $(u_n)$ définie pour tout $n \in \mathbb{N}$ par $u_n = 2n + 3$ est :
[qcm]
[option]strictement décroissante[/option]
[option]constante[/option]
[option correct="true"]strictement croissante[/option]
[option]ni croissante ni décroissante[/option]
[reponse statut="correct"]Bonne réponse !
On calcule $u_{n+1} - u_n = 2(n+1) + 3 - (2n + 3) = 2 > 0$.
La différence est strictement positive : la suite est strictement croissante.[/reponse]
[reponse motif="strictement décroissante"]Non.
Le coefficient devant $n$ vaut $+2$, et non $-2$. Quand le coefficient de $n$ est positif, $u_n$ augmente avec $n$.[/reponse]
[reponse motif="constante"]Non.
Une suite constante vérifie $u_{n+1} = u_n$, donc une expression du type $u_n = c$ (sans $n$). Ici, $u_n$ dépend explicitement de $n$.[/reponse]
[reponse motif="ni croissante ni décroissante"]Non.
Le calcul de $u_{n+1} - u_n$ donne ici un résultat de signe constant, ce qui suffit à conclure que la suite est monotone.[/reponse]
[reponse statut="incorrect"]Non.
Calculer $u_{n+1} - u_n$ : si le résultat est strictement positif pour tout $n$, la suite est strictement croissante ; s'il est strictement négatif, elle est strictement décroissante.[/reponse]
[/qcm]
[/etape]

[etape]
Soit $(u_n)$ définie pour tout $n \in \mathbb{N}$ par $u_n = -3n + 7$. La suite est :
[qcm]
[option correct="true"]strictement décroissante[/option]
[option]strictement croissante[/option]
[option]positive pour tout $n$[/option]
[option]bornée[/option]
[reponse statut="correct"]Tu as raison !
On calcule $u_{n+1} - u_n = -3(n+1) + 7 - (-3n + 7) = -3 < 0$.
La différence est strictement négative : la suite est strictement décroissante.[/reponse]
[reponse motif="strictement croissante"]Non.
Attention au signe du coefficient de $n$. Ici $u_n = -3n + 7$ : ajouter $1$ à $n$ retire $3$ à $u_n$.[/reponse]
[reponse motif="positive pour tout $n$"]Non.
$u_3 = -9 + 7 = -2 < 0$. La suite prend rapidement des valeurs négatives. La question portait d'ailleurs sur les variations, pas sur le signe.[/reponse]
[reponse motif="bornée"]Non.
Une suite bornée est à la fois majorée et minorée. Or $u_n \to -\infty$ quand $n \to +\infty$ : il n'y a pas de minorant.[/reponse]
[reponse statut="incorrect"]Non.
Calculer $u_{n+1} - u_n$. Quand le coefficient devant $n$ est négatif, la suite est strictement décroissante.[/reponse]
[/qcm]
[/etape]

[etape]
Pour la suite $(u_n)$ définie par $u_n = n^2 - 5n$, la différence $u_{n+1} - u_n$ vaut :
[qcm]
[option]$2n + 1$[/option]
[option correct="true"]$2n - 4$[/option]
[option]$-4$[/option]
[option]$n^2 + 2n - 4$[/option]
[reponse statut="correct"]Exactement !
On développe :
$u_{n+1} - u_n = (n+1)^2 - 5(n+1) - (n^2 - 5n)$
$= n^2 + 2n + 1 - 5n - 5 - n^2 + 5n$
$= 2n - 4$.[/reponse]
[reponse motif="$2n + 1$"]Non.
On a négligé la partie $-5(n+1) + 5n = -5$. La partie en $n^2$ donne bien $2n + 1$, mais il faut aussi développer le terme en $-5n$.[/reponse]
[reponse motif="$-4$"]Non.
Les termes en $n$ ($2n$) ne se sont pas annulés : il en reste un dans la différence. Reprendre le développement de $(n+1)^2$.[/reponse]
[reponse motif="$n^2 + 2n - 4$"]Non.
Les termes en $n^2$ se simplifient : $n^2 + 2n + 1 - n^2 = 2n + 1$. Il ne reste pas de $n^2$ dans la différence.[/reponse]
[reponse statut="incorrect"]Non.
Développer $(n+1)^2 = n^2 + 2n + 1$ et $-5(n+1) = -5n - 5$, puis simplifier avec $u_n = n^2 - 5n$.[/reponse]
[/qcm]
[/etape]

[etape]
Soit $(u_n)$ définie pour $n \in \mathbb{N}$ par $u_n = 5 - \dfrac{1}{n+1}$. Un majorant de cette suite est :
[qcm]
[option]$4$[/option]
[option correct="true"]$5$[/option]
[option]$\dfrac{1}{2}$[/option]
[option]il n'y a pas de majorant[/option]
[reponse statut="correct"]C'est bien ça !
Pour tout $n \in \mathbb{N}$, $\dfrac{1}{n+1} > 0$, donc $u_n = 5 - \dfrac{1}{n+1} < 5$. Ainsi $u_n \leqslant 5$ pour tout $n$ : la suite est majorée par $5$.[/reponse]
[reponse motif="$4$"]Non.
On a $u_1 = 5 - \dfrac{1}{2} = 4{,}5 > 4$. La valeur $4$ ne peut donc pas être un majorant : un majorant doit être supérieur ou égal à tous les termes.[/reponse]
[reponse motif="$\dfrac{1}{2}$"]Non.
Cette valeur correspond à $\dfrac{1}{n+1}$ pour $n=1$, mais ce n'est pas un majorant de $u_n$. Tous les termes $u_n$ sont supérieurs à $4$, donc bien plus grands que $\dfrac{1}{2}$.[/reponse]
[reponse motif="il n'y a pas de majorant"]Non.
Le terme $\dfrac{1}{n+1}$ est toujours strictement positif, donc $u_n$ reste strictement inférieur à $5$.[/reponse]
[reponse statut="incorrect"]Non.
Un majorant $M$ vérifie $u_n \leqslant M$ pour tout $n$. Comparer $u_n$ à différentes valeurs en remarquant que $\dfrac{1}{n+1} > 0$.[/reponse]
[/qcm]
[/etape]

[etape]
Une suite $(u_n)$ vérifie $-3 \leqslant u_n \leqslant 5$ pour tout entier $n$. On peut affirmer que $(u_n)$ est :
[qcm]
[option]croissante[/option]
[option]convergente[/option]
[option correct="true"]bornée[/option]
[option]constante[/option]
[reponse statut="correct"]Correct !
Une suite est bornée lorsqu'elle est à la fois majorée et minorée. Ici $u_n \leqslant 5$ (majoration) et $u_n \geqslant -3$ (minoration), donc $(u_n)$ est bornée.[/reponse]
[reponse motif="croissante"]Non.
L'encadrement ne dit rien sur les variations : la suite peut osciller dans l'intervalle $[-3\,;\,5]$ tout en y restant. Par exemple $u_n = (-1)^n$ vérifie $-3 \leqslant u_n \leqslant 5$ et n'est pas monotone.[/reponse]
[reponse motif="convergente"]Non.
Une suite bornée n'est pas nécessairement convergente : la suite $u_n = (-1)^n$ est bornée mais n'a pas de limite.[/reponse]
[reponse motif="constante"]Non.
Être encadrée par deux constantes ne signifie pas être constante. La suite peut prendre toutes les valeurs entre $-3$ et $5$.[/reponse]
[reponse statut="incorrect"]Non.
Quand une suite est encadrée à la fois par le bas et par le haut, elle est dite bornée. Ne pas confondre avec « monotone » ou « convergente ».[/reponse]
[/qcm]
[/etape]

[etape]
Soit $(u_n)$ définie par $u_0 = 4$ et $u_{n+1} = u_n + n$. Cette suite est :
[qcm]
[option]décroissante car la formule fait apparaître une addition[/option]
[option]constante car la formule contient $u_n$[/option]
[option correct="true"]croissante car $u_{n+1} - u_n = n \geqslant 0$[/option]
[option]ni croissante ni décroissante[/option]
[reponse statut="correct"]Bravo !
La relation $u_{n+1} = u_n + n$ donne directement $u_{n+1} - u_n = n$. Pour $n \in \mathbb{N}$, $n \geqslant 0$, donc la différence est positive ou nulle : la suite est croissante (au sens large).[/reponse]
[reponse motif="décroissante car la formule fait apparaître une addition"]Non.
On ajoute $n$, qui est un entier naturel positif ou nul. Ajouter une quantité positive fait croître la suite.[/reponse]
[reponse motif="constante car la formule contient $u_n$"]Non.
La présence de $u_n$ ne signifie pas constance. Une suite est constante si $u_{n+1} = u_n$, ici $u_{n+1} = u_n + n$ avec $n$ qui varie.[/reponse]
[reponse motif="ni croissante ni décroissante"]Non.
Le calcul direct $u_{n+1} - u_n = n$ donne un signe constant (positif) pour $n \geqslant 0$ : la monotonie est claire.[/reponse]
[reponse statut="incorrect"]Non.
Pour étudier les variations d'une suite donnée par récurrence, calculer $u_{n+1} - u_n$ et étudier son signe.[/reponse]
[/qcm]
[/etape]

Suites – Bac S Métropole 2013

Soit la suite numérique $(u_n)$ définie sur $\mathbb{N}$ par $u_0 = 2$ et, pour tout entier naturel $n$ :

$u_{n+1} = \dfrac{2}{3} u_n + \dfrac{1}{3} n + 1$
    1. Calculer $u_1$, $u_2$, $u_3$ et $u_4$. On pourra en donner des valeurs approchées à $10^{-2}$ près.
    2. Formuler une conjecture sur le sens de variation de cette suite.
    1. Démontrer que, pour tout entier naturel $n$, $u_n \leqslant n + 3$.
    2. Démontrer que, pour tout entier naturel $n$, $u_{n+1} - u_n = \dfrac{1}{3}(n + 3 - u_n)$.
    3. En déduire une validation de la conjecture précédente.
  1. On désigne par $(v_n)$ la suite définie sur $\mathbb{N}$ par $v_n = u_n - n$.

    1. Démontrer que la suite $(v_n)$ est une suite géométrique de raison $\dfrac{2}{3}$.
    2. En déduire que, pour tout entier naturel $n$, $u_n = 2 \left(\dfrac{2}{3}\right)^n + n$.
    3. Déterminer la limite de la suite $(u_n)$.
  2. Pour tout entier naturel non nul $n$, on pose :

    $S_n = \sum\limits_{k=0}^{n} u_k = u_0 + u_1 + \dots + u_n$

    et

    $T_n = \dfrac{S_n}{n^2}$
    1. Exprimer $S_n$ en fonction de $n$.
    2. Déterminer la limite de la suite $(T_n)$.

Corrigé

On considère la suite $(u_n)$ définie sur $\mathbb{N}$ par $u_0 = 2$ et, pour tout $n \in \mathbb{N}$, $u_{n+1} = \dfrac{2}{3} u_n + \dfrac{1}{3} n + 1$.

    1. On calcule les premières valeurs :
      $u_1 = \dfrac{2}{3} \times 2 + \dfrac{1}{3} \times 0 + 1 = \dfrac{4}{3} + 1 = \dfrac{7}{3} \approx 2{,}33$
      $u_2 = \dfrac{2}{3} \times \dfrac{7}{3} + \dfrac{1}{3} + 1 = \dfrac{14}{9} + \dfrac{4}{3} = \dfrac{14 + 12}{9} = \dfrac{26}{9} \approx 2{,}89$
      $u_3 = \dfrac{2}{3} \times \dfrac{26}{9} + \dfrac{2}{3} + 1 = \dfrac{52}{27} + \dfrac{5}{3} = \dfrac{52 + 45}{27} = \dfrac{97}{27} \approx 3{,}59$
      $u_4 = \dfrac{2}{3} \times \dfrac{97}{27} + 1 + 1 = \dfrac{194}{81} + 2 = \dfrac{194 + 162}{81} = \dfrac{356}{81} \approx 4{,}40$

      $n$ $0$ $1$ $2$ $3$ $4$
      $u_n$ $2$ $2{,}33$ $2{,}89$ $3{,}59$ $4{,}40$
    2. D'après ces valeurs, on conjecture que la suite $(u_n)$ est strictement croissante.
    1. On démontre par récurrence la propriété $P_n$ : « $u_n \leqslant n + 3$ ».
      Initialisation : pour $n = 0$, $u_0 = 2$ et $0 + 3 = 3$. On a bien $u_0 \leqslant 3$, donc $P_0$ est vraie.
      Hérédité : supposons $P_n$ vraie pour un entier $n$ fixé, soit $u_n \leqslant n + 3$. Montrons que $u_{n+1} \leqslant (n+1) + 3$, c'est-à-dire $u_{n+1} \leqslant n + 4$.
      De $u_n \leqslant n + 3$, on déduit successivement :
      $\dfrac{2}{3} u_n \leqslant \dfrac{2}{3}(n + 3) = \dfrac{2}{3} n + 2$
      $\dfrac{2}{3} u_n + \dfrac{1}{3} n + 1 \leqslant \dfrac{2}{3} n + 2 + \dfrac{1}{3} n + 1 = n + 3$
      soit $u_{n+1} \leqslant n + 3$. Comme $n + 3 \leqslant n + 4$, on a bien $u_{n+1} \leqslant n + 4$ : $P_{n+1}$ est vraie.
      Conclusion : pour tout entier naturel $n$, $u_n \leqslant n + 3$.
    2. Pour tout entier naturel $n$ :
      $u_{n+1} - u_n = \dfrac{2}{3} u_n + \dfrac{1}{3} n + 1 - u_n = -\dfrac{1}{3} u_n + \dfrac{1}{3} n + 1 = \dfrac{1}{3}(n + 3 - u_n)$

      $u_{n+1} - u_n = \dfrac{1}{3}(n + 3 - u_n)$
    3. D'après 2.a, pour tout $n \in \mathbb{N}$, $u_n \leqslant n + 3$, donc $n + 3 - u_n \geqslant 0$. Par conséquent $u_{n+1} - u_n \geqslant 0$ : la suite $(u_n)$ est croissante, ce qui valide la conjecture.
  1. Soit $(v_n)$ la suite définie par $v_n = u_n - n$.

    1. Pour tout entier naturel $n$ :
      $v_{n+1} = u_{n+1} - (n+1) = \dfrac{2}{3} u_n + \dfrac{1}{3} n + 1 - n - 1 = \dfrac{2}{3} u_n - \dfrac{2}{3} n = \dfrac{2}{3}(u_n - n) = \dfrac{2}{3} v_n$
      La suite $(v_n)$ est donc géométrique de raison $q = \dfrac{2}{3}$ et de premier terme $v_0 = u_0 - 0 = 2$.
    2. Pour tout entier naturel $n$ :

      $v_n = 2 \times \left(\dfrac{2}{3}\right)^n$

      Comme $v_n = u_n - n$, on a $u_n = v_n + n$, d'où :

      $u_n = 2 \left(\dfrac{2}{3}\right)^n + n$
    3. Comme $\left|\dfrac{2}{3}\right| < 1$, on a $\lim\limits_{n \to +\infty} \left(\dfrac{2}{3}\right)^n = 0$, donc $\lim\limits_{n \to +\infty} 2 \left(\dfrac{2}{3}\right)^n = 0$. Par ailleurs, $\lim\limits_{n \to +\infty} n = +\infty$. Par somme :

      $\lim\limits_{n \to +\infty} u_n = +\infty$
    1. On décompose $S_n$ :
      $S_n = \sum\limits_{k=0}^{n} u_k = \sum\limits_{k=0}^{n}(v_k + k) = \sum\limits_{k=0}^{n} v_k + \sum\limits_{k=0}^{n} k$
      La somme des $n+1$ premiers termes de la suite géométrique $(v_k)$ de raison $\dfrac{2}{3}$ vaut :
      $\sum\limits_{k=0}^{n} v_k = 2 \times \dfrac{1 - \left(\dfrac{2}{3}\right)^{n+1}}{1 - \dfrac{2}{3}} = 2 \times 3 \left[1 - \left(\dfrac{2}{3}\right)^{n+1}\right] = 6 \left[1 - \left(\dfrac{2}{3}\right)^{n+1}\right]$
      D'autre part :
      $\sum\limits_{k=0}^{n} k = \dfrac{n(n+1)}{2}$
      On obtient donc :

      $S_n = 6 \left[1 - \left(\dfrac{2}{3}\right)^{n+1}\right] + \dfrac{n(n+1)}{2}$
    2. En développant, $S_n = 6 - 6 \left(\dfrac{2}{3}\right)^{n+1} + \dfrac{n^2 + n}{2}$. Alors :
      $T_n = \dfrac{S_n}{n^2} = \dfrac{6}{n^2} - \dfrac{6}{n^2} \left(\dfrac{2}{3}\right)^{n+1} + \dfrac{1}{2} + \dfrac{1}{2 n}$
      Comme $\lim\limits_{n \to +\infty} \dfrac{6}{n^2} = 0$, $\lim\limits_{n \to +\infty} \dfrac{6}{n^2} \left(\dfrac{2}{3}\right)^{n+1} = 0$ et $\lim\limits_{n \to +\infty} \dfrac{1}{2 n} = 0$, on en déduit :

      $\lim\limits_{n \to +\infty} T_n = \dfrac{1}{2}$

Suites – Bac S Centres étrangers 2013

L'objet de cet exercice est l'étude de la suite $(u_n)$ définie par son premier terme $u_1 = \dfrac{3}{2}$ et la relation de récurrence : $u_{n+1} = \dfrac{n u_n + 1}{2(n+1)}$.

Partie A - Algorithmique et conjectures

Pour calculer et afficher le terme $u_9$ de la suite, un élève propose l'algorithme ci-dessous. Il a oublié de compléter deux lignes.

Variables $n$ est un entier naturel
  $u$ est un réel
Initialisation Affecter à $n$ la valeur $1$
  Affecter à $u$ la valeur $1{,}5$
Traitement Tant que $n < 9$
  $\quad$ Affecter à $u$ la valeur ...
  $\quad$ Affecter à $n$ la valeur ...
  Fin Tant que
Sortie Afficher la variable $u$
  1. Recopier et compléter les deux lignes de l'algorithme où figurent des points de suspension.
  2. Comment faudrait-il modifier cet algorithme pour qu'il calcule et affiche tous les termes de la suite de $u_2$ jusqu'à $u_9$ ?
  3. Avec cet algorithme modifié, on a obtenu les résultats suivants, arrondis au dix-millième :

    $n$ $1$ $2$ $3$ $4$ $5$ $6$ ... $99$ $100$
    $u_n$ $1{,}5$ $0{,}625$ $0{,}375$ $0{,}2656$ $0{,}2063$ $0{,}1693$ ... $0{,}0102$ $0{,}0101$

    Au vu de ces résultats, conjecturer le sens de variation et la convergence de la suite $(u_n)$.

Partie B - Étude mathématique

On définit une suite auxiliaire $(v_n)$ par : pour tout entier $n \geqslant 1$, $v_n = n u_n - 1$.

  1. Montrer que la suite $(v_n)$ est géométrique ; préciser sa raison et son premier terme.
  2. En déduire que, pour tout entier naturel $n \geqslant 1$, on a : $u_n = \dfrac{1 + (0{,}5)^n}{n}$.
  3. Déterminer la limite de la suite $(u_n)$.
  4. Justifier que, pour tout entier $n \geqslant 1$, on a : $u_{n+1} - u_n = -\dfrac{1 + (1 + 0{,}5 n)(0{,}5)^n}{n(n+1)}$.
    En déduire le sens de variation de la suite $(u_n)$.

Partie C - Retour à l'algorithmique

En s'inspirant de la partie A, écrire un algorithme permettant de déterminer et d'afficher le plus petit entier $n$ tel que $u_n < 0{,}001$.

Corrigé

Partie A - Algorithmique et conjectures

  1. Les deux lignes complétées :

    Variables $n$ est un entier naturel
      $u$ est un réel
    Initialisation Affecter à $n$ la valeur $1$
      Affecter à $u$ la valeur $1{,}5$
    Traitement Tant que $n < 9$
      $\quad$ Affecter à $u$ la valeur $\mathbf{(n u + 1) / (2(n + 1))}$
      $\quad$ Affecter à $n$ la valeur $\mathbf{n + 1}$
      Fin Tant que
    Sortie Afficher la variable $u$
  2. Pour afficher tous les termes de $u_2$ jusqu'à $u_9$, il faut ajouter une instruction d'affichage à l'intérieur de la boucle, après la mise à jour de $u$ :

    Variables $n$ est un entier naturel
      $u$ est un réel
    Initialisation Affecter à $n$ la valeur $1$
      Affecter à $u$ la valeur $1{,}5$
    Traitement Tant que $n < 9$
      $\quad$ Affecter à $u$ la valeur $(n u + 1) / (2(n + 1))$
      $\quad$ Afficher la variable $u$
      $\quad$ Affecter à $n$ la valeur $n + 1$
      Fin Tant que
  3. Au vu de ces résultats, on conjecture que la suite $(u_n)$ est décroissante et qu'elle converge vers une limite $\ell$ telle que $0 \leqslant \ell < 0{,}0101$.

Partie B - Étude mathématique

  1. On calcule $v_{n+1}$ en fonction de $v_n$. Pour tout $n \geqslant 1$ :
    $v_{n+1} = (n+1) u_{n+1} - 1 = (n+1) \times \dfrac{n u_n + 1}{2(n+1)} - 1 = \dfrac{n u_n + 1}{2} - 1 = \dfrac{n u_n - 1}{2} = \dfrac{v_n}{2}$
    Ainsi, pour tout $n \geqslant 1$, $v_{n+1} = \dfrac{1}{2} v_n$.
    Le premier terme est $v_1 = 1 \times u_1 - 1 = \dfrac{3}{2} - 1 = \dfrac{1}{2}$.
    La suite $(v_n)$ est donc géométrique de raison $\dfrac{1}{2}$ et de premier terme $v_1 = \dfrac{1}{2}$.
  2. D'après ce qui précède, pour tout entier $n \geqslant 1$ :
    $v_n = v_1 \times \left(\dfrac{1}{2}\right)^{n-1} = \dfrac{1}{2} \times \left(\dfrac{1}{2}\right)^{n-1} = \left(\dfrac{1}{2}\right)^n = (0{,}5)^n$
    Or $v_n = n u_n - 1$, donc $n u_n = 1 + v_n = 1 + (0{,}5)^n$.
    On en déduit que :

    $u_n = \dfrac{1 + (0{,}5)^n}{n}$
  3. Comme $|0{,}5| < 1$, on a $\lim\limits_{n \to +\infty} (0{,}5)^n = 0$.
    Le numérateur tend vers $1$ et le dénominateur vers $+\infty$.
    On en déduit que :

    $\lim\limits_{n \to +\infty} u_n = 0$
  4. Pour tout entier $n \geqslant 1$ :
    $u_{n+1} - u_n = \dfrac{1 + (0{,}5)^{n+1}}{n+1} - \dfrac{1 + (0{,}5)^n}{n}$
    $u_{n+1} - u_n = \dfrac{n \left(1 + 0{,}5 \times (0{,}5)^n\right) - (n+1) \left(1 + (0{,}5)^n\right)}{n(n+1)}$
    $u_{n+1} - u_n = \dfrac{n + 0{,}5 n (0{,}5)^n - (n+1) - (n+1)(0{,}5)^n}{n(n+1)}$
    $u_{n+1} - u_n = \dfrac{-1 + \left(0{,}5 n - (n+1)\right)(0{,}5)^n}{n(n+1)}$
    $u_{n+1} - u_n = \dfrac{-1 - (1 + 0{,}5 n)(0{,}5)^n}{n(n+1)} = -\dfrac{1 + (1 + 0{,}5 n)(0{,}5)^n}{n(n+1)}$
    Puisque $n \geqslant 1$, on a $1 + (1 + 0{,}5 n)(0{,}5)^n > 0$ et $n(n+1) > 0$.
    Donc $u_{n+1} - u_n < 0$ : la suite $(u_n)$ est strictement décroissante.

Partie C - Retour à l'algorithmique

L'algorithme suivant détermine et affiche le plus petit entier $n$ tel que $u_n < 0{,}001$ :

Variables $n$ est un entier naturel
  $u$ est un réel
Initialisation Affecter à $n$ la valeur $1$
  Affecter à $u$ la valeur $1{,}5$
Traitement Tant que $u \geqslant 0{,}001$
  $\quad$ Affecter à $u$ la valeur $(n u + 1) / (2(n + 1))$
  $\quad$ Affecter à $n$ la valeur $n + 1$
  Fin Tant que
Sortie Afficher la variable $n$

Suite et récurrence – Exercice de synthèse

Soit la suite $\left(u_{n}\right)$ définie par $u_{0}=2$ et $u_{n+1}=\dfrac{2u_{n}+3}{u_{n}+4}$.

  1. Montrer que pour tout entier $n\in \mathbb{N}$, $u_{n+1}=2 - \dfrac{5}{u_{n}+4}$.
  2. Montrer par récurrence que pour tout entier $n\in \mathbb{N}$, $1 \leqslant u_{n} \leqslant 2$.
  3. Quel est le sens de variation de la suite $\left(u_{n}\right)$ ?
  4. Montrer que la suite $\left(u_{n}\right)$ est convergente.
  5. Soit $\ell$ la limite de la suite $\left(u_{n}\right)$. Déterminer une équation dont $\ell$ est solution et en déduire la valeur de $\ell$.

Corrigé

  1. On part de $2 - \dfrac{5}{u_{n}+4}$ et on réduit au même dénominateur :
    $2 - \dfrac{5}{u_{n}+4} = \dfrac{2\left(u_{n}+4\right)}{u_{n}+4} - \dfrac{5}{u_{n}+4} = \dfrac{2u_{n}+8 - 5}{u_{n}+4} = \dfrac{2u_{n}+3}{u_{n}+4} = u_{n+1}$
  2. Montrons par récurrence que pour tout entier naturel $n$ : $1 \leqslant u_{n} \leqslant 2$.

    Initialisation : $u_{0}=2$ donc $1 \leqslant u_{0} \leqslant 2$. La propriété est vraie au rang $0$.

    Hérédité : Supposons que pour un certain entier $n$ : $1 \leqslant u_{n} \leqslant 2$ (hypothèse de récurrence) et montrons que $1 \leqslant u_{n+1} \leqslant 2$.

    De $1 \leqslant u_{n} \leqslant 2$ on déduit :
    $5 \leqslant u_{n}+4 \leqslant 6$
    On inverse chaque membre (la fonction inverse est strictement décroissante sur $\left]0;+\infty \right[$) :
    $\dfrac{1}{6} \leqslant \dfrac{1}{u_{n}+4} \leqslant \dfrac{1}{5}$
    On multiplie chaque membre par $-5$ (on change une nouvelle fois le sens car $-5$ est négatif) :
    $-\dfrac{5}{5} \leqslant -\dfrac{5}{u_{n}+4} \leqslant -\dfrac{5}{6}$
    Enfin, on ajoute $2$ à chaque membre :
    $2 - 1 \leqslant 2 - \dfrac{5}{u_{n}+4} \leqslant 2 - \dfrac{5}{6}$
    $1 \leqslant u_{n+1} \leqslant \dfrac{7}{6}$
    Or $\dfrac{7}{6} < 2$ donc on a bien $1 \leqslant u_{n+1} \leqslant 2$. La propriété est donc héréditaire.

    Conclusion : D'après le principe de récurrence, pour tout entier $n\in \mathbb{N}$ : $\mathbf{1 \leqslant u_{n} \leqslant 2}$.

  3. On calcule $u_{n+1} - u_{n}$ :
    $u_{n+1} - u_{n} = \dfrac{2u_{n}+3}{u_{n}+4} - u_{n} = \dfrac{2u_{n}+3}{u_{n}+4} - \dfrac{u_{n}\left(u_{n}+4\right)}{u_{n}+4} = \dfrac{2u_{n}+3 - u_{n}^{2} - 4u_{n}}{u_{n}+4}$
    $u_{n+1} - u_{n}=\dfrac{-u_{n}^{2} - 2u_{n}+3}{u_{n}+4}$

    On étudie le signe de $-u_{n}^{2} - 2u_{n}+3$, polynôme du second degré en $u_{n}$ :
    $\Delta =\left(-2\right)^{2} - 4\times \left(-1\right)\times 3 = 4 + 12 = 16$

    Le polynôme possède donc deux racines :
    $x_{1}=\dfrac{2 - 4}{-2}=1$ et $x_{2}=\dfrac{2+4}{-2}=-3$

    Le coefficient de $u_n^2$ étant négatif, $-u_{n}^{2} - 2u_{n}+3$ est négatif ou nul si $u_{n} \in \left]-\infty ; -3\right] \cup \left[1;+\infty \right[$ et positif ou nul si $u_{n} \in \left[-3;1\right]$.

    Or, d'après la question précédente, $1 \leqslant u_{n} \leqslant 2$ donc $-u_{n}^{2} - 2u_{n}+3 \leqslant 0$ pour tout entier $n\in \mathbb{N}$.

    Par ailleurs, comme $u_{n} \geqslant 1$, $u_{n}+4 > 0$, donc :
    $u_{n+1} - u_{n} = \dfrac{-u_{n}^{2} - 2u_{n}+3}{u_{n}+4} \leqslant 0$
    La suite $\left(u_{n}\right)$ est donc décroissante.

  4. La suite $\left(u_{n}\right)$ est décroissante et minorée par $1$, donc elle est convergente (d'après le théorème de convergence monotone).
  5. On fait tendre $n$ vers $+\infty$ dans chaque membre de l'égalité $u_{n+1}=\dfrac{2u_{n}+3}{u_{n}+4}$.

    Si $\lim\limits_{n\rightarrow +\infty }u_{n}=\ell$, alors $\lim\limits_{n\rightarrow +\infty }u_{n+1}=\ell$ et :
    $\lim\limits_{n\rightarrow +\infty }\dfrac{2u_{n}+3}{u_{n}+4}=\dfrac{2\ell+3}{\ell+4}$
    Par unicité de la limite :
    $\ell=\dfrac{2\ell+3}{\ell+4}$
    c'est-à-dire :
    $\ell\left(\ell+4\right)=2\ell+3$
    $\ell^{2}+4\ell - 2\ell - 3=0$
    $\ell^{2}+2\ell - 3=0$
    Cette équation possède deux solutions : $1$ et $-3$ (équation équivalente à celle résolue à la question 3).

    Comme $1 \leqslant u_{n} \leqslant 2$, la limite ne peut pas être égale à $-3$, donc $\ell=1$.

    En conclusion : $\mathbf{\lim\limits_{n\rightarrow +\infty }u_{n}=1}$.

Croissance d’une suite

Soit la suite numérique $ \left(u_{n}\right) $ définie pour tout $ n \in \mathbb{N} $ par :

$ \left\{ \begin{matrix} u_{0}=2 \\ u_{n+1} =\dfrac{1}{2}u_{n}^{2}+1\end{matrix}\right. $
  1. Calculer $ u_{1} $, $ u_{2} $, $ u_{3} $ et $ u_{4} $. Quel semble être le sens de variation de cette suite ?
  2. Première méthode. Étudier le sens de variation de la fonction $ f : x\mapsto \dfrac{1}{2}x^{2}+1 $ sur $ \left[0~;~+\infty \right[ $.

    En déduire le sens de variation de la suite $ \left(u_{n}\right) $.

  3. Deuxième méthode. Calculer et étudier le signe de $ u_{n+1} - u_{n} $.

    Retrouver le résultat de la question 2.

Corrigé

  1. On calcule les premiers termes de la suite.

    $ u_0 = 2 $
    $ u_1 = \dfrac{1}{2}u_0^2 + 1 = \dfrac{1}{2}\times 4 + 1 = 3 $
    $ u_2 = \dfrac{1}{2}u_1^2 + 1 = \dfrac{1}{2}\times 9 + 1 = \dfrac{11}{2} = 5{,}5 $
    $ u_3 = \dfrac{1}{2}u_2^2 + 1 = \dfrac{1}{2}\left(\dfrac{11}{2}\right)^2 + 1 = \dfrac{121}{8} + 1 = \dfrac{129}{8} = 16{,}125 $
    $ u_4 = \dfrac{1}{2}u_3^2 + 1 = \dfrac{1}{2}\left(\dfrac{129}{8}\right)^2 + 1 = \dfrac{16641}{128} + 1 = \dfrac{16769}{128} \approx 131{,}008 $

    La suite $ \left(u_n\right) $ semble être croissante.

  2. Première méthode.

    La fonction $ f(x) = \dfrac{1}{2}x^2 + 1 $ est la somme de la fonction $ x \mapsto \dfrac{1}{2}x^2 $, strictement croissante sur $ [0~;~+\infty[ $, et d'une fonction constante.

    Par conséquent, $ f $ est strictement croissante sur $ [0~;~+\infty[ $.

    On a $ u_{n+1} = f(u_n) $. Comme $ f $ est croissante sur $ [0~;~+\infty[ $ et que tous les termes de la suite sont positifs, on peut montrer par récurrence que la suite est croissante.

    Initialisation : $ u_0 = 2 $ et $ u_1 = 3 $, donc $ u_1 \geqslant u_0 $. La propriété est vraie au rang $ 0 $.

    Hérédité : Supposons que pour un certain entier $ n $, on ait $ u_{n+1} \geqslant u_n $.

    Puisque $ f $ est croissante sur $ [0~;~+\infty[ $ et que $ u_n, u_{n+1} \in [0~;~+\infty[ $, on a $ f(u_{n+1}) \geqslant f(u_n) $, c'est-à-dire $ u_{n+2} \geqslant u_{n+1} $.

    La propriété est donc héréditaire.

    Conclusion : La suite $ \left(u_n\right) $ est croissante.

    Attention

    Attention : Montrer que $ f $ est une fonction croissante ne suffit pas à démontrer que $ (u_n) $ est une suite croissante. Par exemple, si on définit $ v_0 = 4 $ et $ v_{n+1} = \sqrt{v_n} $, la fonction $ x \mapsto \sqrt{x} $ est croissante, mais la suite $ (v_n) $ est décroissante (car $ v_1 = 2 < v_0 $).

  3. Deuxième méthode.

    Étudions le signe de $ u_{n+1} - u_n $.

    $ u_{n+1} - u_n = \dfrac{1}{2}u_n^2 + 1 - u_n = \dfrac{1}{2}(u_n^2 - 2u_n + 2) $

    Le discriminant du trinôme $ x^2 - 2x + 2 $ est $ \Delta = (-2)^2 - 4\times 1\times 2 = 4 - 8 = -4 < 0 $.

    Le trinôme est donc du signe du coefficient de $ x^2 $, c'est-à-dire strictement positif.

    Ainsi, $ u_{n+1} - u_n > 0 $ pour tout $ n $, ce qui confirme que la suite $ \left(u_n\right) $ est strictement croissante.