🔴  Lives #BAC2024

À partir du 12 mai, révise le bac avec nous sur YouTube tous les soirs à 19h30 ! Découvrir la chaîne →

Les suites

Exercice 14 - Exercice 1

15 min
25
Parfois il faut savoir revenir aux définitions !
Question 1
Soit (un)(u_n) une suite telle que les suites extraites (u2n)(u_{2n}) et (u2n+1)(u_{2n+1}) soient convergentes vers une limite commune, notée \ell.

Montrer que la suite (un)(u_n) converge, elle aussi, vers \ell.

Correction
On note par ε\varepsilon un nombre réel quelconque.
Par hypothèse, on sait que la suite (u2n)(u_{2n}) converge vers le réel \ell. Cela signifie que nous ayons :
n1N,nN,(nn1)u2n<ε\exist n_1 \in \mathbb{N}, \,\, \forall n \in \mathbb{N}, \,\,\, (n \geqslant n_1) \,\,\, \Longrightarrow \,\,\, | u_{2n} - \ell | < \varepsilon
De plus, on sait également que, par hypothèse, la suite (u2n+1)(u_{2n+1}) converge également vers le même nombre réel \ell. Donc on a, de manière similaire :
n2N,nN,(nn2)u2n+1<ε\exist n_2 \in \mathbb{N}, \,\, \forall n \in \mathbb{N}, \,\,\, (n \geqslant n_2) \,\,\, \Longrightarrow \,\,\, | u_{2n+1} - \ell | < \varepsilon
Afin d'obtenir une assertion de même type pour la suite (un)(u_{n}), il suffit de poser n0=maxN(2n1;2n2+1)n_0 = \max_{\mathbb{N}} \big( 2n_1 \,;\, 2n_2+1 \big). Ainsi, on obtient :
n2N,nN,(nn0)un<ε\exist n_2 \in \mathbb{N}, \,\, \forall n \in \mathbb{N}, \,\,\, (n \geqslant n_0) \,\,\, \Longrightarrow \,\,\, | u_{n} - \ell | < \varepsilon
Ceci prouve que la suite (un)(u_{n}) converge vers la même limite \ell que les deux suites extraites (u2n)(u_{2n}) et (u2n+1)(u_{2n+1}).