- Règle de L'Hôpital
-
En mathématiques, et plus précisément en analyse, la règle de L'Hôpital (également appelée règle de l'Hospital ou règle de Bernoulli) utilise la dérivée dans le but de déterminer les limites difficiles à calculer de la plupart des quotients. Le théorème de Stolz-Cesàro est un résultat analogue concernant des limites de suites, mais utilisant les différences finies au lieu de la dérivée.
Sommaire
Historique
La règle porte le nom d'un mathématicien français du XVIIe siècle, Guillaume François Antoine, marquis de L'Hôpital (1661 - 1704), qui a publié l'Analyse des infiniment petits pour l'intelligence des lignes courbes (1696), premier livre de calcul différentiel à avoir été écrit en français[1]. La règle de L'Hôpital apparaît dans cet ouvrage et constitue la prop.1 de la section IX, §163, p.145 : l'objet de cette proposition consiste à donner la valeur d'une quantité y dépendant d'une variable x pour la valeur a de cette variable, lorsque y s'écrit comme une fraction dont le numérateur et le dénominateur s'annulent tous deux en a.
L'auteur du livre est sans doute Jean Bernoulli, car L'Hôpital payait à Bernoulli une pension de 300 francs par an pour le tenir informé des progrès du calcul infinitésimal, et pour résoudre les problèmes qu'il lui posait (comme celui de trouver la limite des formes indéterminées) ; de plus, ils avaient signé un contrat autorisant L'Hôpital à utiliser les découvertes de Bernoulli à sa guise[2]. Quand L'Hôpital publia son livre, il reconnut ce qu'il devait à Bernoulli, et, ne voulant pas se voir attribuer son travail, publia anonymement. Bernoulli prétendit alors être l'auteur de l'ouvrage entier, ce qui fut longtemps cru, mais la règle n'en fut pas moins nommée d'après L'Hôpital, bien qu'il n'ait jamais prétendu l'avoir inventée[3].
Principe
Soit , tel que les fonctions réelles f et g soient définies et dérivables sur un voisinage de a, la dérivée de g ne s'y annulant pas. Si nous essayons de déterminer la limite en a du quotient , où le numérateur et le dénominateur tendent soit les deux vers zéro, soit les deux vers l'infini, alors nous pouvons dériver le numérateur et le dénominateur et déterminer la limite du quotient des dérivées. Si elle existe, la règle affirme que cette limite sera égale à la limite cherchée.
Énoncé des règles de L'Hôpital
Énoncé simple : Dans l'ouvrage de M. de l'Hôpital, la règle qui apparaît est celle communément utilisée dans le cas de deux fonctions dérivables en a et telles que le quotient soit défini :
- Si f et g sont deux fonctions dérivables en a, s'annulant en a et telles que le quotient soit défini, alors .
Cependant, la règle de l'Hôpital se généralise à des situations beaucoup moins restrictives:
Première généralisation à des fonction f et g pour lesquelles n'existe pas forcément.- Si f et g sont deux fonctions dérivables sur ]a ; b[ dont la limite en a est nulle, si g'(x) ne s'annule pas sur ]a ; b[ et si alors .
Le résultat est valide que soit une limite réelle ou infinie.
Seconde généralisation à des fonction f et g dont la limite en a est infinie.
- Si f et g sont deux fonctions dérivables sur ]a ; b[ ayant une limite infinie en a, si g'(x) ne s'annule pas sur ]a ; b[ et si alors .
Le résultat est valide que soit une limite réelle ou infinie.
Les mêmes règles existent pour des fonctions définies sur ]b ; a[.Les théorèmes restent valables en remplaçant a par .
Démonstrations
Démonstration de la règle simple
- C'est une simple opération sur les limites. Comme ƒ(a) = g(a) = 0, on a :
- Comme f et g sont dérivables en a et que le quotient est défini, on peut affirmer que
- 1. g'(a) est non nul, donc que g(x) est non nul sur un intervalle ]a ; c]
- 2.
Démonstration de la première généralisation
- La démonstration de la première généralisation nécessite le théorème des accroissement finis généralisé qui stipule que, pour toutes fonctions f1 et f2 dérivables sur un intervalle ]x ; y[ et continues sur [x ; y], vérifiant que f2' ne s'annule pas sur ]x ; y[, il existe un réel k de ]x ; y[ tel que
- .
- Puisque g' ne s'annule pas sur l'intervalle ]a ; b[, c'est aussi le cas sur ]a ; x[ pour tout réel x de ]a ; b[, et on peut appliquer le théorème des accroissements finis généralisé à f et g pour l'intervalle [a ; x]. Ainsi, pour tout réel x de ]a ; b[, il existe un réel c de ]a ; x] tel que, si l'on prolonge par continuité les fonctions f et g en a en posant ƒ(a) = g(a) = 0, on ait
- Par conséquent, si , on obtient par le le théorème des gendarmes , donc .
Démonstration de la deuxième généralisation
- La démonstration de la deuxième généralisation utilise le même théorème qu'il s'agit de manipuler avec précaution.
- Puisque g' ne s'annule pas sur l'intervalle ]a ; b[, on peut donc appliquer le théorème des accroissements finis à l'intervalle [x ; y] pour tous x et y (distincts) de cet intervalle.
- AInsi, pour tout intervalle [x ; y] non vide inclus dans ]a ; b[, il existe un réel c de [x ; y] tel que
- Puisque les limites de f et g sont infinies en a, il existe un intervalle ]a ; a + r[ sur lequel g ne s'annule pas, l'expression précedente peut donc s'écrire
- Comme , comme c appartient à ]a ; y[, on peut toujours choisir y tel que soit aussi proche que l'on veut de .
- et comme g(x) tend vers l'infini, on peut toujours trouver un intervalle ]a ; a + r[ inclus dans ]a ; y[ tel que et soient aussi proche de 0 que l'on veut pour tout x de ]a ; a + r[.
Pour des limites en , il suffit de poser x = 1/t et de rechercher une limite en 0
- Soient f et g deux fonctions définies sur [M > 0 ; [ dérivables sur ]M ; [, si g'(x) ne s'annule pas et si alors
Utilisations et précautions à prendre
Dans le cas d'indétermination de la forme « 0 / 0 », la première forme peut souvent être utilisée:
Dans le cas d'indétermination de la forme « ∞/∞ », c'est la seconde généralisation que l'on va employer:
Parfois, il faudra utiliser plusieurs fois la règle de l'Hôpital pour parvenir au résultat :
Certaines limites, qui n'apparaissent pas comme des limites de quotients, peuvent être obtenues avec cette règle:
On remarquera que les formes généralisées ne donnent que des conditions suffisantes d'existence de la limite. Il existe donc des cas où la limite du quotient des dérivées n'existe pas et pourtant la limite du quotient des fonctions existe :
alors que :
- n'admet pas de limite en 0.
Enfin, on prendra soin de vérifier que g'(x) est bien non nul au voisinage de a (et donc que g n'oscille pas trop autour de 0), sinon la règle n'est pas applicable. Par exemple, si
- et
alors
- et
donc
Mais
- n'admet pas de limite en car oscille entre 1/e et e.
Notes et références
- Lire en ligne sur Gallica Analyse des infiniment petits, pour l'intelligence des lignes courbes, Guillaume-François-Antoine de L'Hospital, Paris, Imprimerie royale, 1696.
- Maor, Eli, e: The Story of a Number. P. 116. Princeton University Press, 1994.
- Finney, Ross L. and George B. Thomas, Jr. Calculus. 2nd Edition. P. 390. Addison Wesley, 1994.
Voir aussi
- Règle de L'Hôpital sur la monotonie
- La règle de L'Hôpital, telle qu'elle apparaît dans l'Analyse des Infiniment Petits, directement sur Gallica
Catégories :- Analyse réelle
- Théorème d'analyse
Wikimedia Foundation. 2010.