analyse:derivees:regle_de_l_hospital

La règle de l'Hospital, publiée par le mathématicien français Guillaume François Antoine de l'Hospital dans son livre l'Analyse des Infiniment Petits pour l'Intelligence des Lignes Courbes en 1696, permet de calculer certaines limites à partir de deux fonctions dérivables f,g et un réel x0. Bien que portant son nom, cette règle est en réalité due à Jean Bernoulli (1667-1748).

Règle du marquis de l'Hospital

Si f(x)g(x) admet une limite (finie ou infinie) lorsque xx0 alors f(x)g(x) tend aussi vers , lorsque xx0

Autrement dit, si le quotient des dérivées tend vers (finie ou infinie) alors le quotient des fonctions tend aussi vers

Les hypothèses suivantes doivent obligatoirement être rencontrées :

  1. les deux fonctions f et g s'annulent en x0 (donc le quotient f(x)g(x) est une forme indéterminée)
  2. et en dehors de x0, la dérivée de g ne s'annule pas.

Cette règle s'applique également lorsque x0 tend vers l'infini ou encore, lorsqu'on obtient un cas d'indétermination du type ±±

Remarque : on ne prononce pas le “s” du nom Hospital

Note importante : La règle de l'Hospital est utilisée pour lever des formes d'indétermination comme par exemple 0 ou 00. Pour lever la première on réécrit 010=00.

Pour lever la deuxième, on remplace 00 par e0ln(0) (voir rhéto math 6h).

limx0sinxx=[00]H=limx0cosx1=1

La fonction xsinxx possède une discontinuité réductible en x=0. L'adjectif réductible est employé pour signifier que la fonction peut être prolongée continument; la discontinuité est alors supprimée ou encore réduite.

code source de l'image

code source de l'image

\documentclass{standalone}
\usepackage{fourier,amsmath,tkz-base}
\begin{document}
\begin{tikzpicture}[scale=1.2,x=2mm]
\draw[->,>=latex, black] (-4*pi,0)--(4*pi,0) node[below,black] {\small $x$};
\draw[->,>=latex, black] (0,-0.5)--(0,1.5) node[right,black] {\small $y$};  
\draw[teal!50!black, ultra thick, domain=-4*pi:-.01, samples=100, variable=\x] plot ({\x}, {sin (\x r)/\x});
\draw[teal!50!black, ultra thick, domain=0.01:4*pi, samples=100, variable=\x] plot ({\x}, {sin (\x r)/\x});
\fill[teal!50!black] (0,1) circle (2pt);
\fill[white] (0,1) circle (1.3pt);
\node[teal!50!black] at (6,1) {\scriptsize \(f(x)=\frac{\sin x}{x}\)};
\end{tikzpicture}\qquad 
\begin{tikzpicture}[scale=1.2,x=2mm]
\draw[->,>=latex, black] (-4*pi,0)--(4*pi,0) node[below,black] {\small $x$};
\draw[->,>=latex, black] (0,-0.5)--(0,1.5) node[right,black] {\small $y$};  
\draw[teal!50!black, ultra thick, domain=-4*pi:-.01, samples=100, variable=\x] plot ({\x}, {sin (\x r)/\x});
\draw[teal!50!black, ultra thick, domain=0.01:4*pi, samples=100, variable=\x] plot ({\x}, {sin (\x r)/\x});
\node[teal!50!black] at (8,1) {\scriptsize \(g(x)=\begin{cases} \frac{\sin x}{x} & \text{ si } x\neq 0 \\ 1 & \text{ si } x=0 \end{cases}\)};
\end{tikzpicture}
\end{document}

Remarque : on parle de discontinuité par saut fini lorsque les limites à gauche et à droites sont finies et différentes.

Exemple : la fonction xsinx|x| possède une discontinuité par saut fini en x=0

limx0+sinxx=1 et limx0sinxx=1

Considérons la fonction f définie par f(x)=sinx1cosx. Cette fonction n'est pas définie en x=0, ce qui rend intéressant le calcul de sa limite en ce point.

limx0±sinx1cosx=[00]H=limx0±cosxsinx=10±=±

Nous dirons que f(x)=sinx1cosx possède une discontinuité infinie en x=0.

On considère la limite limx0cosx1xsinx

Cette limite est une forme indéterminée 00. En appliquant la règle de l'Hospital, la limite devient : limx0sinxsinx+xcosx.

On obtient encore une forme indéterminée 00. On applique une *deuxième* fois la règle de l'Hospital : limx0cosx2cosxxsinx=12

La valeur de la limite de départ est donc 12.

On peut aussi appliquer la règle de l'Hospital lorsque les formes indéterminées sont du type 0 ou . Il suffit de réécrire l'expression sous une forme différente (mettre l'expression au même dénominateur).

limx0(cotx1x)=[]=limx0xcosxsinxxsinx=[00]H=limx0xsinxsinx+xcosxH=limx0xcosxsinx2cosxxsinx=0

  • analyse/derivees/regle_de_l_hospital.txt
  • Dernière modification : 2024/12/31 07:37
  • de Frédéric Lancereau