Théorème des gendarmes
En analyse, le théorème des gendarmes<ref>Modèle:Article.</ref> (également appelé théorème de l'étau<ref>Modèle:Ouvrage.</ref>, théorème d'encadrement<ref>Modèle:Ouvrage.</ref> ou théorème du sandwich<ref>Modèle:Ouvrage.</ref>) est un théorème concernant la limite d'une fonction. Selon ce théorème, si deux fonctions (Modèle:Formule et Modèle:Formule) admettent la même limite en un point Modèle:Formule, et qu'une troisième fonction Modèle:Formule est prise en « étau » (ou « encadrée » ou « prise en sandwich ») entre Modèle:Formule et Modèle:Formule dans le voisinage de Modèle:Formule, alors Modèle:Formule admet en Modèle:Formule une limite, égale à la limite commune de Modèle:Formule et Modèle:Formule.
Le théorème des gendarmes est souvent utilisé pour déterminer la limite d'une fonction via la comparaison avec deux autres fonctions dont la limite est connue ou facilement calculable.
Énoncé
Soient :
- Modèle:Math un espace topologique ;
- Modèle:Math une partie de Modèle:Math ;
- <math>a</math> un point de Modèle:Math adhérent à Modèle:Math ;
- <math>f</math>, <math>g</math> et <math>h</math> trois fonctions de Modèle:Math dans [[Droite réelle achevée|Modèle:Surligner = ℝ ∪ Modèle:Math]] ;
- <math>L</math> un élément de Modèle:Surligner.
Origine du nom
Modèle:Section à sourcer Pour comprendre le nom familier du théorème, il faut assimiler les fonctions Modèle:Formule et Modèle:Formule à des gendarmes et Modèle:Formule à un suspect. Ce dernier, encadré par les deux gendarmes, est obligé de les suivre jusqu'à la gendarmerie Modèle:Formule. En Italie, on l'appelle « théorème des carabiniers », « théorème de l'affrontement », ou encore « théorème du sandwich ». Il est également appelé « théorème d'existence de limites par encadrement » dans le supérieur<ref>Modèle:Ouvrage.</ref> car son résultat phare est l'existence de la limite plus que sa valeur. Il existe en effet d'autres théorèmes, comme celui de passage à la limite dans une inégalité, qui permettent d'obtenir la valeur d'une limite si l'on connaît son existence.
Cas particuliers
- Si <math>f\le g</math> et <math>\lim_af=+\infty</math>, les hypothèses du théorème sont satisfaites pour <math>L=+\infty</math>, en posant <math>h:x\mapsto+\infty</math>.
- Si <math>g\le h</math> et <math>\lim_ah=-\infty</math>, les hypothèses du théorème sont satisfaites pour <math>L=-\infty</math>, en posant <math>f:x\mapsto-\infty</math>.
- L'ensemble Modèle:Math peut être un intervalle réel et le point Modèle:Math un élément de cet intervalle, ou l'une de ses deux bornes (finies ou non).
- On peut aussi appliquer le théorème avec <math>A=\N</math> ou <math>\{n\in\N\mid n>N\}</math> et <math>a=+\infty</math> : si Modèle:Formule, Modèle:Formule et Modèle:Formule sont trois suites réelles, telles que pour tout Modèle:FormuleModèle:Retraitavec <math>L</math> réel ou infini.
Exemples
Premier exemple
Un exemple classique d'application du théorème des gendarmes est<ref>Modèle:Note autre projet</ref> :
- <math>\lim_{x\to+\infty}\frac{\sin x}x=0</math>
ou, ce qui est équivalent :
- <math>\lim_{y\to 0}y\sin(\tfrac1y)=0</math>.
A fortiori, <math>\lim_{y\to 0}y^2\sin(\tfrac1y)=0</math>, ce qui peut également se démontrer directement, toujours par le théorème des gendarmes<ref>Modèle:Note autre projet</ref>.
Deuxième exemple
Modèle:Refsou de détermination de limite à l'aide du théorème des gendarmes est la démonstration de l'égalité suivante :
- <math>
\lim_{x\to 0} \frac{\sin x}{x} =1 </math>.
Elle découle du théorème des gendarmes par l'encadrement classique<ref>Voir par exemple Modèle:Ouvrage, ou simplement la propriété 1 de Modèle:Note autre projet</ref>
- <math> \cos x \leq \frac{\sin x}x\leq 1 </math>
pour Modèle:Mvar (non nul) suffisamment proche de 0.
Cette limite est utilisée pour démontrer que la dérivée de la fonction sinus est la fonction cosinus.
Notes et références
Voir aussi
Article connexe
Théorème du sandwich (variante)
