ATLAS Ouvrir dans l'atlas →

ExerciceTerminale, chapitre 6 — Calcul intégral · Pour aller plus loin

Exercice 41

Démonstration

Soit ff une fonction continue sur [1 ;+∞[[1\,;+\infty[ telle que, pour tout réel t⩾1t\geqslant 1, f(t)⩾1tf(t)\geqslant\dfrac{1}{t}. Montrer que lim⁡x→+∞∫1xf(t) dt=+∞\lim_{x\to+\infty}\int_{1}^{x}f(t)\,\mathrm{d}t=+\infty

Source : poly « Mathématiques : du lycée aux CPGE scientifiques » (LLG / H4), n° 228

Corrigé

Soit x⩾1x\geqslant 1. Sur l'intervalle [1 ;x][1\,;x], on a f(t)⩾1tf(t)\geqslant\dfrac{1}{t}, et les bornes sont dans le bon ordre : l'intégration conserve l'inégalité, donc ∫1xf(t) dt⩾∫1x1t dt=ln⁡(x)\int_{1}^{x}f(t)\,\mathrm{d}t\geqslant\int_{1}^{x}\frac{1}{t}\,\mathrm{d}t=\ln(x) Comme ln⁡(x)→+∞\ln(x)\to+\infty quand x→+∞x\to+\infty, le théorème de comparaison donne : lim⁡x→+∞∫1xf(t) dt=+∞\boxed{\lim_{x\to+\infty}\int_{1}^{x}f(t)\,\mathrm{d}t=+\infty} Remarque. L'hypothèse f(t)⩾1tf(t)\geqslant\frac{1}{t} ne peut pas être affaiblie en f(t)⩾1t2f(t)\geqslant\frac{1}{t^{2}} : on a ∫1xdtt2=1−1x\int_{1}^{x}\frac{\mathrm{d}t}{t^{2}}=1-\frac{1}{x}, qui tend vers 11. La fonction t↦1tt\mapsto\frac{1}{t} est à la frontière entre les domaines infinis d'aire infinie et ceux d'aire finie, comme celui de l'exercice 35 ; l'exercice 48 précisera cette frontière pour les sommes.

Dans l'édifice

Thèmes

intégrale, limite

Notions

intégrable au sens de Riemann

Ouvrir dans l'atlas interactif →