Bonjour, j'ai vraiment besoin d'aide... Montrer que si les suites extraites (u3n), (u3n+1) et (u3n+2) convergent vers la même limite, alors (un) converge Pour l
Question
Montrer que si les suites extraites (u3n), (u3n+1) et (u3n+2) convergent vers la
même limite, alors (un) converge
Pour l'instant j'ai fais ça :
(u3n) converge vers l : Pour tout epsilon >0, il existe N appartient IN , I u3n-l I <= epsilon
Pareil pour u3n +1 et u3n+2 avec N' et N'', mais ensuite je dois trouver si n est pair ou impair dans chacun des cas j'imagine, et c'est là que je bloque :/
1 Réponse
-
1. Réponse Tenurf
Bjr,
En fait les ensembles des entiers de la forme (3n), (3n+1), (3n+2) forment une partition de tous les entiers, d'aprés les propriétés de la division euclidienne.
Pour tout n entier il existe un entier k tel que n=3k, ou n=3k+1 ou n=3k+2.
Notons l la limite commune et écrivons la définition de la convergence des suites extraites
[tex](\forall \varepsilon >0) (\exists n_0 \in \mathbb{N}); (\forall n \in \mathbb{N}); (n \geq n_0 => |u_{3n}-l|<\varepsilon)[/tex]
[tex](\forall \varepsilon >0) (\exists n_1 \in \mathbb{N}); (\forall n \in \mathbb{N}); (n \geq n_1 => |u_{3n+1}-l|<\varepsilon)[/tex]
[tex](\forall \varepsilon >0) (\exists n_2 \in \mathbb{N}); (\forall n \in \mathbb{N}); (n \geq n_2 => |u_{3n+2}-l|<\varepsilon)[/tex]
Prenon un epsilon quelconque, et posons
[tex]N=max(3n_0,3n_1+1,3n_2+2)[/tex], du coup
[tex](\forall n \in \mathbb{N}); (n \geq N => |u_{n}-l|<\varepsilon)[/tex]
Et c'est la définition de la convergence de (un) vers l.
De ce fait, la suite (un) converge vers la même limite l.
Merci