Règle de L'Hôpital sur la monotonie

En analyse réelle, les règles de L'Hôpital sur la monotonie (en anglais L'Hospital rules for monotonicity ou LMR) sont des relations liant le sens de variation d'un quotient de deux fonctions numériques au sens de variation du quotient de leurs dérivées. Elles portent le nom de règles de L'Hôpital en référence à la règle de L'Hôpital liant la limite du quotient de deux fonctions tendant vers zéro à la limite du quotient de leurs dérivées. Elles sont utilisés pour déterminer plus facilement des sens de variations et démontrer des inégalités.

Règle première

Théorème — Soient a < b deux réels et soient f et g deux fonctions continues sur [a,b] et dérivables sur ]a,b[. Si l'on suppose que g' n'est jamais nulle (donc garde un signe constant) et si l'on a f(a) = g(a) = 0 alors, si f'/g' est croissante ou décroissante sur ]a,b], il en est de même de f/g.

Remarque : ce théorème est aussi valable lorsqu'on remplace l'hypothèse f(a) = g(a) = 0 par f(b) = g(b) = 0. Il se généralise à des fonctions définies et dérivables sur ]a,b[ où a et b peuvent valoir +∞ ou –∞. L'hypothèse porte alors sur la limite de f et g en a ou en b.

La démonstration fait appel au théorème des accroissements finis généralisé dans un simple calcul de dérivée d'un quotient.

Démonstration

Le fait que la fonction g' ne soit jamais nulle et garde un signe constant conduit à dire que la fonction g est strictement monotone. Comme elle s'annule en a, elle n'est jamais nulle sur ]a,b[ et a même signe que g'. La fonction h = f/g est donc définie et dérivable sur ]a,b[, et sa dérivée

$h'={\frac {f'}{g}}-{\frac {g'f}{g^{2}}}={\frac {g'}{g}}\left({\frac {f'}{g'}}-{\frac {f}{g}}\right)$

est de même signe que

${\frac {f'}{g'}}-{\frac {f}{g}}.$

Les fonctions f et g étant continues sur [a,b] dérivables sur ]a,b[ et g' ne s'annulant pas sur ]a,b[, pour tout réel x de l'intervalle ]a,b], on peut appliquer le théorème des accroissements finis généralisé à l'intervalle [a,x]. Il existe donc un réel t de l'intervalle ]a,x[ tel que

${\frac {f(x)}{g(x)}}={\frac {f(x)-f(a)}{g(x)-g(a)}}={\frac {f'(t)}{g'(t)}}~.$

Supposons la fonction f'/g' strictement croissante, alors l'inégalité t < x conduit à l'inégalité

${\frac {f'(t)}{g'(t)}}<{\frac {f'(x)}{g'(x)}}$

autrement dit

$h'(x)>0.$

La fonction f/g est alors strictement croissante. Un raisonnement analogue peut être fait pour une fonction f'/g' strictement décroissante, ou pour des fonctions s'annulant toutes deux en b.

Variantes

Si aucune condition n'est posée sur la valeur de f et g aux bornes de l'intervalle, on peut encore, dans certaines circonstances, déduire du sens de variation de f'/g' celui de f/g. Ainsi pour les cas de fonctions dérivables sur ]a,b[ de dérivées continues :

• si f'/g' est croissante et gg' > 0, ou si f'/g' est décroissante et gg' < 0, alors f/g est soit monotone, soit décroissante puis croissante ;
• si f'/g' est décroissante et gg' > 0, ou si f'/g' est croissante et gg' < 0, alors f/g est soit monotone, soit croissante puis décroissante.