ATLAS Ouvrir dans l'atlas →

ExerciceMaths Sup – MPSI, chapitre 7 — Nombres réels et suites numériques · Limites : définitions et calculs

Exercice 15

Démonstration

1. Montrer qu'une suite d'entiers relatifs est convergente si et seulement si elle est stationnaire.

2. Soit (un)(u_{n}) une suite qui converge vers un réel ℓ\ell. Que dire de la suite (⌊un⌋)(\lfloor u_{n} \rfloor) ? On distinguera les cas ℓ∉ℤ\ell \notin \mathbb{Z} et ℓ∈ℤ\ell \in \mathbb{Z}, en donnant dans le second cas trois exemples de comportements différents.

3. Soit (un)(u_{n}) une suite d'entiers naturels deux à deux distincts. Montrer que un→n→+∞+∞u_{n} \xrightarrow[n \to +\infty]{} +\infty.

Corrigé

1. Une suite stationnaire converge vers sa valeur finale. Réciproquement, si un→n→+∞ℓu_{n} \xrightarrow[n \to +\infty]{} \ell, il existe NN tel que ∣un−ℓ∣⩽13|u_{n} - \ell| \leqslant \frac{1}{3} pour n⩾Nn \geqslant N ; alors ∣un−um∣⩽23<1|u_{n} - u_{m}| \leqslant \frac{2}{3} < 1 pour nn, m⩾Nm \geqslant N, et deux entiers aussi proches sont égaux. une suite d’entiers converge si et seulement si elle est stationnaire\boxed{\text{une suite d'entiers converge si et seulement si elle est stationnaire}} 2. Si ℓ∉ℤ\ell \notin \mathbb{Z}, notons k=⌊ℓ⌋k = \lfloor \ell \rfloor, de sorte que k<ℓ<k+1k < \ell < k + 1. Avec ε=12min⁡(ℓ−k,k+1−ℓ)\varepsilon = \frac{1}{2}\min(\ell - k, k + 1 - \ell), on a un∈ ]k ,k+1[u_{n} \in \,]k\,,k + 1[ à partir d'un certain rang, donc ⌊un⌋=k\lfloor u_{n} \rfloor = k. Si ℓ∈ℤ\ell \in \mathbb{Z}, les suites ℓ+1n+1\ell + \frac{1}{n + 1}, ℓ−1n+1\ell - \frac{1}{n + 1} et ℓ+(−1)nn+1\ell + \frac{(-1)^{n}}{n + 1} ont pour parties entières ℓ\ell, ℓ−1\ell - 1, et alternativement ℓ\ell et ℓ−1\ell - 1. ℓ∉ℤ:⌊un⌋→⌊ℓ⌋ℓ∈ℤ: limite ℓ, ℓ−1, ou divergence\boxed{\ell \notin \mathbb{Z} : \lfloor u_{n} \rfloor \to \lfloor \ell \rfloor \qquad \ell \in \mathbb{Z} : \text{ limite } \ell, \ \ell - 1, \text{ ou divergence}} 3. Soit AA un réel. Les indices nn tels que un⩽Au_{n} \leqslant A ont des images deux à deux distinctes dans l'ensemble fini ℕ∩[0 ,A]\mathbb{N} \cap [0\,,A] : ils sont en nombre fini. Au-delà du plus grand d'entre eux, on a un>Au_{n} > A. un→n→+∞+∞\boxed{u_{n} \xrightarrow[n \to +\infty]{} +\infty}

La question 2 montre que la partie entière n'est pas continue aux entiers ; le chapitre 8 donnera un nom à ce phénomène.

Dans l'édifice

Thèmes

limites de suites, partie entière et propriété d'archimède

Notions

suite, limite d'une suite, archimédien

Ouvrir dans l'atlas interactif →