Aller au contenu

Un mot pour Fahmio

Tu écris. Tu continues.

Un problème, une idée — assez pour qu’on comprenne, puis tu retournes à ta copie.

On lit. Tu n’as rien d’autre à faire.

Où veux-tu aller ?

↑ ↓ pour parcourir · Entrée pour ouvrir · Échap pour fermer

Fahmio
Fahmio
Bac Tunisie
SU-GSuites réelles

Suite définie par une somme d'intégrales : relation de Chasles, encadrement terme à terme, comparaison avec ln⁡n\ln n

Idée directrice

Au bac, une somme ∑k=1n\sum_{k=1}^{n} se traite rarement par une formule : on l'écrit comme une intégrale (relation de Chasles sur des intégrales Ak=∫kk+1A_k=\int_k^{k+1}) ou on l'encadre terme à terme par des intégrales grâce à la monotonie de la fonction, puis on somme les encadrements. On obtient ainsi la limite de la somme, ou son comportement comparé à ln⁡n\ln n.

Ce qui aide à reconnaître la démarche

« Pour tout n≥1n\ge1, on pose Sn=∑k=1n…S_n=\sum_{k=1}^{n}\dots » ; « montrer que pour tout kk, ⋯≤∫kk+1⋯≤…\dots\le\int_k^{k+1}\dots\le\dots » ; « en déduire un encadrement de SnS_n » ; « déterminer lim⁡Snln⁡n\lim\frac{S_n}{\ln n} »

Besoin d’un point de départ ? Voir la méthode
  • Une somme d'intégrales sur des intervalles consécutifs se regroupe par Chasles en une seule intégrale.
  • Encadrer 1k\frac1k par une intégrale : monotonie de la fonction sur [k,k+1][k,k+1], puis intégration sur un intervalle de longueur 11.
  • Sommer les encadrements en faisant attention aux indices (l'un va de 11 à nn, l'autre de 11 à n−1n-1).
  • Limite d'un quotient par ln⁡n\ln n : encadrer puis diviser par ln⁡n>0\ln n>0 (n≥2n\ge2).
Les pièges à vérifier dans ta démarche

Sommer les deux encadrements sur les mêmes indices et obtenir une inégalité fausse ; oublier que ln⁡n=0\ln n=0 pour n=1n=1 (diviser par ln⁡n\ln n seulement pour n≥2n\ge2) ; croire que HnH_n converge parce que 1k→0\frac1k\to0.

Sujet principal

Exercice 4 — partie C (3,5 points), dans l'esprit des sessions 2019–2026

6 questionsCorrigé masqué

Pour tout entier k≥1k\ge1, on pose Ak=∫kk+1dttA_k=\displaystyle\int_k^{k+1}\frac{dt}{t} et, pour tout entier n≥1n\ge1, Sn=∑k=1nAkS_n=\displaystyle\sum_{k=1}^{n}A_k et Hn=∑k=1n1kH_n=\displaystyle\sum_{k=1}^{n}\frac1k.

  1. Interpréter AkA_k comme une aire et montrer que Ak=ln⁡(k+1)−ln⁡kA_k=\ln(k+1)-\ln k.
  2. Montrer que, pour tout k≥1k\ge1, 1k+1≤Ak≤1k\dfrac{1}{k+1}\le A_k\le\dfrac1k.
  3. À l'aide de la relation de Chasles, montrer que Sn=ln⁡(n+1)S_n=\ln(n+1).
  4. En déduire que, pour tout n≥1n\ge1, ln⁡(n+1)≤Hn≤1+ln⁡n\ln(n+1)\le H_n\le1+\ln n.
  5. En déduire lim⁡n→+∞Hn\displaystyle\lim_{n\to+\infty}H_n et lim⁡n→+∞Hnln⁡n\displaystyle\lim_{n\to+\infty}\frac{H_n}{\ln n}.
  6. On pose un=Hn−ln⁡nu_n=H_n-\ln n. Montrer que la suite (un)(u_n) est décroissante et minorée par 00 ; en déduire qu'elle converge.
Voir la correction commentéeAprès avoir posé votre démarche

1. t↦1tt\mapsto\frac1t est continue et positive sur [k,k+1][k,k+1] : AkA_k est l'aire, en unités d'aire, du domaine limité par la courbe de t↦1tt\mapsto\frac1t, l'axe des abscisses et les droites t=kt=k, t=k+1t=k+1. Ak=[ln⁡t]kk+1=ln⁡(k+1)−ln⁡kA_k=\left[\ln t\right]_k^{k+1}=\ln(k+1)-\ln k.

2. Idée : encadrer l'intégrande, puis intégrer sur un intervalle de longueur 11. t↦1tt\mapsto\frac1t est décroissante : pour t∈[k,k+1]t\in[k,k+1], 1k+1≤1t≤1k\frac{1}{k+1}\le\frac1t\le\frac1k. En intégrant sur [k,k+1][k,k+1] : 1k+1≤Ak≤1k\frac{1}{k+1}\le A_k\le\frac1k.

3. Relation de Chasles : Sn=∫12dtt+∫23dtt+⋯+∫nn+1dtt=∫1n+1dtt=ln⁡(n+1)S_n=\int_1^2\frac{dt}{t}+\int_2^3\frac{dt}{t}+\dots+\int_n^{n+1}\frac{dt}{t}=\int_1^{n+1}\frac{dt}{t}=\ln(n+1).

4. En sommant Ak≤1kA_k\le\frac1k pour k=1,…,nk=1,\dots,n : ln⁡(n+1)=Sn≤Hn\ln(n+1)=S_n\le H_n. Pour n≥2n\ge2, en sommant 1k+1≤Ak\frac{1}{k+1}\le A_k pour k=1,…,n−1k=1,\dots,n-1 : Hn−1≤Sn−1=ln⁡nH_n-1\le S_{n-1}=\ln n ; pour n=1n=1, H1=1=1+ln⁡1H_1=1=1+\ln1. D'où ln⁡(n+1)≤Hn≤1+ln⁡n\ln(n+1)\le H_n\le1+\ln n.

5. ln⁡(n+1)→+∞\ln(n+1)\to+\infty, donc lim⁡Hn=+∞\lim H_n=+\infty. Pour n≥2n\ge2, ln⁡(n+1)ln⁡n≤Hnln⁡n≤1ln⁡n+1\frac{\ln(n+1)}{\ln n}\le\frac{H_n}{\ln n}\le\frac{1}{\ln n}+1 ; or ln⁡(n+1)ln⁡n=1+ln⁡(1+1n)ln⁡n→1\frac{\ln(n+1)}{\ln n}=1+\frac{\ln\left(1+\frac1n\right)}{\ln n}\to1 : lim⁡Hnln⁡n=1\displaystyle\lim\frac{H_n}{\ln n}=\boxed{1}.

6. un+1−un=1n+1−(ln⁡(n+1)−ln⁡n)=1n+1−An≤0u_{n+1}-u_n=\frac{1}{n+1}-\left(\ln(n+1)-\ln n\right)=\frac{1}{n+1}-A_n\le0 d'après 2 : la suite est décroissante. Et un≥ln⁡(n+1)−ln⁡n>0u_n\ge\ln(n+1)-\ln n>0 d'après 4. Décroissante et minorée, elle converge (vers un réel γ≈0,577\gamma\approx0{,}577).

Changer d’énoncé, garder le raisonnement

Choisis un seul transfert après le sujet principal. Qu’est-ce qui change ? Quel résultat ou quelle méthode peux-tu réutiliser ? Les autres exercices restent disponibles pour une prochaine séance.

Variantes rencontrées : somme géométrique ∑t2k−1\sum t^{2k-1} sous l'intégrale et limite d'une somme (principale 2019) ; somme ∑Ukk\sum\frac{U_k}{k} encadrée par télescopage (principale 2023) ; sommes de Riemann encadrant une intégrale (principale 2026) ; Sn=∑AkS_n=\sum A_k comparée à ln⁡n\ln n (contrôle 2026).

Exercices d'entraînement — une nuance à la fois

1 Drill SU-G.1 — Un=∑k=1nln⁡(1+kn2)U_n=\sum_{k=1}^{n}\ln\left(1+\frac{k}{n^2}\right) : encadrement et produit tendant vers e\sqrt e
Entraînement 01 / 02

Drill SU-G.1 — Un=∑k=1nln⁡(1+kn2)U_n=\sum_{k=1}^{n}\ln\left(1+\frac{k}{n^2}\right) : encadrement et produit tendant vers e\sqrt e

3 questionsCorrigé masqué
  1. Montrer que, pour tout x≥0x\ge0, x−x22≤ln⁡(1+x)≤xx-\dfrac{x^2}{2}\le\ln(1+x)\le x (on étudiera deux fonctions).
  2. Pour n≥1n\ge1, on pose Un=∑k=1nln⁡(1+kn2)U_n=\displaystyle\sum_{k=1}^{n}\ln\left(1+\frac{k}{n^2}\right). Montrer que ∑k=1nkn2−12∑k=1nk2n4≤Un≤∑k=1nkn2\displaystyle\sum_{k=1}^{n}\frac{k}{n^2}-\frac12\sum_{k=1}^{n}\frac{k^2}{n^4}\le U_n\le\sum_{k=1}^{n}\frac{k}{n^2}.
  3. Sachant que ∑k=1nk=n(n+1)2\sum_{k=1}^{n}k=\frac{n(n+1)}{2} et ∑k=1nk2=n(n+1)(2n+1)6\sum_{k=1}^{n}k^2=\frac{n(n+1)(2n+1)}{6}, en déduire lim⁡Un\lim U_n, puis la limite du produit Pn=∏k=1n(1+kn2)P_n=\displaystyle\prod_{k=1}^{n}\left(1+\frac{k}{n^2}\right).
Voir la correction commentéeAprès avoir posé votre démarche

1. g(x)=x−ln⁡(1+x)g(x)=x-\ln(1+x) : g′(x)=x1+x≥0g'(x)=\frac{x}{1+x}\ge0 et g(0)=0g(0)=0, donc g≥0g\ge0. h(x)=ln⁡(1+x)−x+x22h(x)=\ln(1+x)-x+\frac{x^2}{2} : h′(x)=11+x−1+x=x21+x≥0h'(x)=\frac{1}{1+x}-1+x=\frac{x^2}{1+x}\ge0 et h(0)=0h(0)=0, donc h≥0h\ge0.

2. On applique 1 à x=kn2≥0x=\frac{k}{n^2}\ge0 et on somme pour k=1,…,nk=1,\dots,n.

3. ∑kn2=n+12n→12\sum\frac{k}{n^2}=\frac{n+1}{2n}\to\frac12 et ∑k2n4=(n+1)(2n+1)6n3→0\sum\frac{k^2}{n^4}=\frac{(n+1)(2n+1)}{6n^3}\to0 : par encadrement lim⁡Un=12\lim U_n=\frac12. Comme Pn=eUnP_n=e^{U_n} et exp⁡\exp est continue, lim⁡Pn=e1/2=e\lim P_n=e^{1/2}=\boxed{\sqrt e}.

2 Drill SU-G.2 — H2n−Hn≥12H_{2n}-H_n\ge\frac12 : la somme harmonique n'est pas majorée
Entraînement 02 / 02

Drill SU-G.2 — H2n−Hn≥12H_{2n}-H_n\ge\frac12 : la somme harmonique n'est pas majorée

3 questionsCorrigé masqué

Pour tout entier n≥1n\ge1, on pose Hn=∑k=1n1kH_n=\displaystyle\sum_{k=1}^{n}\frac1k.

  1. Montrer que la suite (Hn)(H_n) est croissante.
  2. Montrer que, pour tout n≥1n\ge1, H2n−Hn=∑k=n+12n1k≥12H_{2n}-H_n=\displaystyle\sum_{k=n+1}^{2n}\frac1k\ge\frac12.
  3. En raisonnant par l'absurde, montrer que (Hn)(H_n) n'est pas convergente, puis déterminer sa limite.
Voir la correction commentéeAprès avoir posé votre démarche

1. Hn+1−Hn=1n+1>0H_{n+1}-H_n=\frac{1}{n+1}>0.

2. La somme compte nn termes, chacun supérieur ou égal au plus petit, 12n\frac{1}{2n} : H2n−Hn≥n×12n=12H_{2n}-H_n\ge n\times\frac{1}{2n}=\frac12.

3. Si (Hn)(H_n) convergeait vers ℓ\ell, alors H2n→ℓH_{2n}\to\ell aussi et H2n−Hn→0H_{2n}-H_n\to0, ce qui contredit H2n−Hn≥12H_{2n}-H_n\ge\frac12. (Hn)(H_n) est croissante et non convergente : elle n'est pas majorée et lim⁡Hn=+∞\lim H_n=+\infty.

Relier ce raisonnement au bac

Choisis une filière pour voir les sujets qui étayent ce scénario.