ATLAS Ouvrir dans l'atlas →

ExerciceMaths Sup – MPSI, chapitre 7 — Nombres réels et suites numériques · Suites monotones et suites adjacentes

Exercice 19

Démonstration

Montrer que les suites (un)n⩾1(u_{n})_{n \geqslant 1} et (vn)n⩾1(v_{n})_{n \geqslant 1} sont adjacentes dans chacun des cas suivants.

(a) un=∑k=1n1n+k\displaystyle u_{n} = \sum_{k=1}^{n} \frac{1}{n + k} et vn=∑k=n2n1k\displaystyle v_{n} = \sum_{k=n}^{2n} \frac{1}{k}.

(b) un=∑k=1n1k−2n+1\displaystyle u_{n} = \sum_{k=1}^{n} \frac{1}{\sqrt{k}} - 2\sqrt{n + 1} et vn=∑k=1n1k−2n\displaystyle v_{n} = \sum_{k=1}^{n} \frac{1}{\sqrt{k}} - 2\sqrt{n}. En déduire que 1n∑k=1n1k→n→+∞2\dfrac{1}{\sqrt{n}}\displaystyle\sum_{k=1}^{n} \frac{1}{\sqrt{k}} \xrightarrow[n \to +\infty]{} 2.

Corrigé

(a) On a un=H2n−Hnu_{n} = H_{2n} - H_{n} et vn=un+1nv_{n} = u_{n} + \frac{1}{n}, avec Hn=∑k=1n1kH_{n} = \sum_{k=1}^{n} \frac{1}{k}. On calcule les différences : un+1−un=12n+1+12n+2−1n+1=12n+1−12n+2>0,u_{n+1} - u_{n} = \frac{1}{2n + 1} + \frac{1}{2n + 2} - \frac{1}{n + 1} = \frac{1}{2n + 1} - \frac{1}{2n + 2} > 0,

vn+1−vn=1(2n+1)(2n+2)−1n(n+1)<0,v_{n+1} - v_{n} = \frac{1}{(2n + 1)(2n + 2)} - \frac{1}{n(n + 1)} < 0, puisque (2n+1)(2n+2)>n(n+1)(2n + 1)(2n + 2) > n(n + 1). Enfin vn−un=1n→n→+∞0v_{n} - u_{n} = \frac{1}{n} \xrightarrow[n \to +\infty]{} 0. (un) et (vn) sont adjacentes\boxed{(u_{n}) \text{ et } (v_{n}) \text{ sont adjacentes}} L'exercice 21 montrera que leur limite commune est ln⁡2\ln 2.

(b) On note Σn=∑k=1n1k\Sigma_{n} = \sum_{k=1}^{n} \frac{1}{\sqrt{k}}, et l'on utilise m+1−m=1m+1+m\sqrt{m + 1} - \sqrt{m} = \frac{1}{\sqrt{m + 1} + \sqrt{m}} : un+1−un=1n+1−2n+2+n+1>0,vn+1−vn=1n+1−2n+1+n<0,u_{n+1} - u_{n} = \frac{1}{\sqrt{n + 1}} - \frac{2}{\sqrt{n + 2} + \sqrt{n + 1}} > 0, \qquad v_{n+1} - v_{n} = \frac{1}{\sqrt{n + 1}} - \frac{2}{\sqrt{n + 1} + \sqrt{n}} < 0, puisque n+2+n+1>2n+1>n+1+n\sqrt{n + 2} + \sqrt{n + 1} > 2\sqrt{n + 1} > \sqrt{n + 1} + \sqrt{n}. Enfin vn−un=2(n+1−n)→n→+∞0v_{n} - u_{n} = 2(\sqrt{n + 1} - \sqrt{n}) \xrightarrow[n \to +\infty]{} 0. (un) et (vn) sont adjacentes\boxed{(u_{n}) \text{ et } (v_{n}) \text{ sont adjacentes}} Leur limite commune cc vaut environ −1,46-1{,}46. Comme (vn)(v_{n}) est bornée, Σnn=2+vnn→n→+∞2\frac{\Sigma_{n}}{\sqrt{n}} = 2 + \frac{v_{n}}{\sqrt{n}} \xrightarrow[n \to +\infty]{} \boxed{2} : la somme croît comme 2n2\sqrt{n}, ce que la comparaison avec ∫1ndtt\int_{1}^{n} \frac{\mathrm{d} t}{\sqrt{t}} rendra naturel au chapitre 20.

Dans l'édifice

Thèmes

suites monotones et adjacentes, suites adjacentes, sommes

Notions

suites adjacentes

Ouvrir dans l'atlas interactif →