ATLAS Ouvrir dans l'atlas →

ExerciceMaths Sup – MPSI, chapitre 10 — Analyse asymptotique et développements limités · Relations de comparaison

Exercice 9

Démonstration

On pose, pour n⩾1n \geqslant 1, Sn=∑k=1n1kS_{n} = \displaystyle\sum_{k=1}^{n} \frac{1}{\sqrt{k}}.

1. Montrer que, pour tout n⩾1n \geqslant 1, 1n+1⩽2(n+1−n)⩽1n\dfrac{1}{\sqrt{n + 1}} \leqslant 2\big(\sqrt{n + 1} - \sqrt{n}\big) \leqslant \dfrac{1}{\sqrt{n}}.

2. En déduire un encadrement de SnS_{n}, puis que Sn∼2nS_{n} \sim 2\sqrt{n}.

Corrigé

1. Par la quantité conjuguée, 2(n+1−n)=2n+1+n.2\Big(\sqrt{n + 1} - \sqrt{n}\Big) = \frac{2}{\sqrt{n + 1} + \sqrt{n}}. Comme 2n⩽n+1+n⩽2n+12\sqrt{n} \leqslant \sqrt{n + 1} + \sqrt{n} \leqslant 2\sqrt{n + 1}, on obtient 1n+1⩽2(n+1−n)⩽1n\boxed{\frac{1}{\sqrt{n + 1}} \leqslant 2\Big(\sqrt{n + 1} - \sqrt{n}\Big) \leqslant \frac{1}{\sqrt{n}}}

2. La majoration, sommée de k=1k = 1 à nn, donne Sn⩾2(n+1−1)S_{n} \geqslant 2\Big(\sqrt{n + 1} - 1\Big), par télescopage. La minoration, appliquée à k−1k - 1 pour 2⩽k⩽n2 \leqslant k \leqslant n, donne 1k⩽2(k−k−1)\frac{1}{\sqrt{k}} \leqslant 2\Big(\sqrt{k} - \sqrt{k - 1}\Big), d'où Sn⩽1+2(n−1)S_{n} \leqslant 1 + 2\Big(\sqrt{n} - 1\Big). Ainsi 2n+1−2⩽Sn⩽2n−1.2\sqrt{n + 1} - 2 \leqslant S_{n} \leqslant 2\sqrt{n} - 1. Les deux bornes sont équivalentes à 2n2\sqrt{n}, et la proposition 6 (encadrement) donne Sn∼2n\boxed{S_{n} \sim 2\sqrt{n}}. En particulier, SnS_{n} tend vers +∞+\infty.

Dans l'édifice

Thèmes

relations de comparaison, équivalents, sommes

Notions

négligeable

Ouvrir dans l'atlas interactif →