ATLAS Ouvrir dans l'atlas →

ExerciceMaths Sup – MPSI, chapitre 9 — Dérivabilité et convexité · Extrema, théorèmes de Rolle et des accroissements finis

Exercice 18

Démonstration

1. Montrer que, pour tout x>0x > 0, 1x+1<ln⁡(x+1)−ln⁡x<1x\dfrac{1}{x + 1} < \ln(x + 1) - \ln x < \dfrac{1}{x}.

2. Soit vn=∑k=n+12n1kv_{n} = \sum\limits_{k=n+1}^{2n} \dfrac{1}{k}. Montrer que ln⁡(2n+1)−ln⁡(n+1)<vn<ln⁡(2n)−ln⁡n\ln(2n + 1) - \ln(n + 1) < v_{n} < \ln(2n) - \ln n, et en déduire lim⁡n→+∞vn\lim\limits_{n \to +\infty} v_{n}.

3. Montrer de même que lim⁡n→+∞1ln⁡n∑k=1n1k=1\lim\limits_{n \to +\infty} \dfrac{1}{\ln n}\displaystyle\sum_{k=1}^{n} \dfrac{1}{k} = 1.

Corrigé

1. Le théorème des accroissements finis appliqué à ln⁡\ln sur [x ,x+1][x\,,x + 1] fournit c∈ ]x ,x+1[c \in \,]x\,,x + 1[ tel que ln⁡(x+1)−ln⁡x=1c\ln(x + 1) - \ln x = \frac{1}{c}. Comme x<c<x+1x < c < x + 1, 1x+1<ln⁡(x+1)−ln⁡x<1x\boxed{\frac{1}{x + 1} < \ln(x + 1) - \ln x < \frac{1}{x}}

2. Pour k⩾2k \geqslant 2, la question 1 avec x=kx = k, puis avec x=k−1x = k - 1, donne ln⁡(k+1)−ln⁡k<1k<ln⁡k−ln⁡(k−1).\ln(k + 1) - \ln k < \frac{1}{k} < \ln k - \ln(k - 1). On somme pour kk allant de n+1n + 1 à 2n2n : les sommes sont télescopiques, et ln⁡(2n+1)−ln⁡(n+1)<vn<ln⁡(2n)−ln⁡n=ln⁡2.\ln(2n + 1) - \ln(n + 1) < v_{n} < \ln(2n) - \ln n = \ln 2. Le minorant vaut ln⁡2n+1n+1\ln\frac{2n + 1}{n + 1}, qui tend vers ln⁡2\ln 2 par continuité du logarithme. Par encadrement, lim⁡n→+∞vn=ln⁡2\boxed{\lim\limits_{n \to +\infty} v_{n} = \ln 2}

3. De même, en sommant de k=1k = 1 à nn la minoration, puis de k=2k = 2 à nn la majoration, on obtient ln⁡(n+1)<∑k=1n1k<1+ln⁡n.\ln(n + 1) < \sum_{k=1}^{n} \frac{1}{k} < 1 + \ln n. Pour n⩾2n \geqslant 2, on divise par ln⁡n>0\ln n > 0 : le minorant ln⁡(n+1)ln⁡n=1+ln⁡(1+1/n)ln⁡n\frac{\ln(n + 1)}{\ln n} = 1 + \frac{\ln(1 + 1/n)}{\ln n} et le majorant 1+1ln⁡n1 + \frac{1}{\ln n} tendent tous deux vers 11. lim⁡n→+∞1ln⁡n∑k=1n1k=1\boxed{\lim\limits_{n \to +\infty} \frac{1}{\ln n}\sum_{k=1}^{n} \frac{1}{k} = 1} La somme harmonique tend donc vers +∞+\infty à la vitesse du logarithme, ce que le chapitre 7 n'avait pas pu préciser.

Ouvrir dans l'atlas interactif →