ATLAS Ouvrir dans l'atlas →

ExerciceMaths Sup – MPSI, chapitre 8 — Limites et continuité · Continuité en un point

Exercice 20

Démonstration

Soit f: ]0 ,+∞[ →ℝf : \,]0\,,+\infty[ \,\to \mathbb{R} une fonction croissante telle que x↦f(x)xx \mapsto \dfrac{f(x)}{x} soit décroissante. Montrer que ff est continue.

On pourra encadrer f(x)f(x) pour xx proche d'un réel a>0a > 0, de part et d'autre de aa, et utiliser les limites à gauche et à droite données par le théorème de la limite monotone.

Corrigé

Soit a>0a > 0. D'après le théorème 6, ff admet en aa des limites à gauche et à droite.

À droite. Pour x>ax > a, la croissance de ff et la décroissance de x↦f(x)xx \mapsto \frac{f(x)}{x} donnent f(a)⩽f(x)etf(x)x⩽f(a)a,d’ouˋf(a)⩽f(x)⩽xaf(a).f(a) \leqslant f(x) \qquad\text{et}\qquad \frac{f(x)}{x} \leqslant \frac{f(a)}{a}, \qquad\text{d'où}\qquad f(a) \leqslant f(x) \leqslant \frac{x}{a}f(a). Le majorant tend vers f(a)f(a) quand x→ax \to a : l'encadrement donne lim⁡x→a+f(x)=f(a)\lim\limits_{x \to a^{+}} f(x) = f(a).

À gauche. Pour 0<x<a0 < x < a, on obtient de même xaf(a)⩽f(x)⩽f(a)\frac{x}{a}f(a) \leqslant f(x) \leqslant f(a), d'où lim⁡x→a−f(x)=f(a)\lim\limits_{x \to a^{-}} f(x) = f(a).

f est continue en tout a>0\boxed{f \text{ est continue en tout } a > 0} Chacune des deux hypothèses interdit les sauts dans un seul sens : la croissance de ff interdit les sauts vers le bas, la décroissance de f(x)x\frac{f(x)}{x} les sauts vers le haut.

Dans l'édifice

Thèmes

continuité en un point, limites, limites à gauche et à droite, fonctions monotones

Notions

continuité en un point, limite d'une fonction

Ouvrir dans l'atlas interactif →