- Soit $k$ un entier naturel supérieur ou égal à 2. Justifier que \[ \int_{k-1}^{k} \ln x \, dx \le \ln k \le \int_{k}^{k+1} \ln x \, dx \] En déduire un équivalent simple de $ \ln(n!) $ quand $n$ tend vers $+\infty$.
- Déterminer la nature de la série $ \sum_{n \ge 1} u_n $ avec : \[ u_n = \frac{1}{\ln(n!)} \left(1 + \frac{1}{2} + \dots + \frac{1}{n}\right) \]
Bac Sciences Mathématiques & Lycée
Suites et séries numériques
ĂnoncĂ© avec corrigĂ© dĂ©taillĂ©
Conseil méthodologique : Cherchez attentivement cet exercice au brouillon pendant 15 à 30 minutes avant de consulter la solution détaillée ci-dessous.
ĂnoncĂ© de l'exercice :
Solution Détaillée & Corrigé Pas à Pas Corrigé complet
Correction de l'exercice
- Encadrement et équivalent de $\ln(n!)$ :
- La fonction $ x \longmapsto \ln x $ est croissante sur $ ]0, +\infty[ $.
- Sur l'intervalle $ [k-1, k] $, on a $ \ln x \le \ln k $. En intégrant sur cet intervalle de longueur 1 : \[ \int_{k-1}^{k} \ln x \, dx \le \ln k \]
- Sur l'intervalle $ [k, k+1] $, on a $ \ln k \le \ln x $. En intégrant : \[ \ln k \le \int_{k}^{k+1} \ln x \, dx \]
- On somme ces inégalités pour $ k $ allant de $ 2 $ à $ n $. La relation de Chasles donne : \[ \int_{1}^{n} \ln x \, dx \le \sum_{k=2}^{n} \ln k \le \int_{2}^{n+1} \ln x \, dx \]
- Puisque $ \sum_{k=2}^{n} \ln k = \ln(n!) $ et que $ \int \ln x \, dx = [x \ln x - x] $, on obtient : \[ n \ln n - n + 1 \le \ln(n!) \le (n+1)\ln(n+1) - (n+1) - (2\ln 2 - 2) \]
- En divisant tous les membres par $ n \ln n $ et en passant Ă la limite quand $ n \to +\infty $, les termes de gauche et de droite tendent vers $ 1 $.
- D'aprÚs le théorÚme des gendarmes, on en déduit l'équivalent classique : \[ \ln(n!) \sim n \ln n \]
- Nature de la série $\sum u_n$ :
- Le numérateur est la $n$-iÚme somme partielle de la série harmonique, dont l'équivalent usuel est : \[ 1 + \frac{1}{2} + \dots + \frac{1}{n} \sim \ln n \]
- D'aprÚs la question précédente, le dénominateur vérifie : \[ \ln(n!) \sim n \ln n \]
- Les suites étant à termes strictement positifs pour $ n \ge 2 $, on procÚde au quotient des équivalents : \[ u_n \sim \frac{\ln n}{n \ln n} = \frac{1}{n} \]
- On reconnaßt le terme général d'une série de Riemann avec $ \alpha = 1 $ (série harmonique).
- Par comparaison, la série $ \sum u_n $ diverge.