- Théorème sandwich
-
Théorème des gendarmes
En analyse, le théorème des gendarmes (également appelé théorème d'encadrement, théorème du pincement, théorème de l'étau ou théorème du sandwich) est un théorème concernant la limite d'une fonction. Ce théorème stipule que si deux fonctions (f et h) admettent la même limite en un point (a) et qu'une troisième fonction (g) est prise en « étau » (ou « encadrée » ou « prise en sandwich ») entre f et h dans le voisinage de a, alors g admet la même limite en a.
Le théorème des gendarmes est une technique très importante en calcul infinitésimal et en analyse. Il est généralement utilisé afin de déterminer la limite d'une fonction via la comparaison avec deux autres fonctions dont la limite est connue ou facilement calculable.
Sommaire
Énoncé
Soit I un intervalle contenant le point a. Soit f, g et h trois fonctions réelles définies sur l'intervalle I, sauf possiblement au point a.
- si pour tout x de I qui n'est pas égal à a on a
- et si ,
- alors
Remarques
- a peut être situé à l'intérieur de l'intervalle I ou à une de ses bornes (extrémités). En effet, dans ce dernier cas, on considérera la limite à gauche ou la limite à droite.
- a peut être fini ou infini. En effet, basé sur la remarque précédente, si, par exemple, , nous pouvons utiliser la limite .
Origine du nom
Pour comprendre le nom familier du théorème, il faut assimiler les fonctions f et h à des gendarmes et g à un délinquant. Ce dernier, encadré par les deux gendarmes, est obligé de les suivre jusqu'à la gendarmerie L. Son nom en italien est le « théorème des carabiniers ».
Démonstration
La démonstration met directement en œuvre la notion de voisinage de a et la définition de la limite.
Pour tout intervalle ouvert U contenant L,
- Puisque , il existe un voisinage V1 de a tel que
-
- pour tout x de V1,
- Puisque , il existe un voisinage V2 de a tel que
-
- pour tout x de V2,
- Enfin, d'après la propriété d'encadrement, il existe un voisinage V3 de a tel que
-
- pour tout x de V3,
L'intersection de trois voisinages est un voisinage donc est un voisinage de a et pour tout x de V, on a
d'où il vient que pour tout voisinage U contenant L, il existe un voisinage V tel que implique
ce qui prouve que
Exemple
Montrons que :
On a, pour tout réel x :
Donc, pour tout réel x strictement positif :
Or :
et Ainsi, d'après le théorème dit « des gendarmes » :
Variantes
Des variantes de ce théorème existent pour des fonctions dont la limite est infinie, mais c'est un théorème de comparaison qui n'est pas celui des gendarmes (à noter « par théorème de comparaison » donc)
- Si f, g sont deux fonctions réelles définies sur un même intervalle I, telles que pour tout x de I dans un voisinage de a :
- et (a fini ou non), alors on a aussi :
- Si f, g sont deux fonctions réelles définies sur un même intervalle I, telles que pour tout x de I dans un voisinage de a :
- et (a fini ou non), alors on a aussi :
- Si f, g sont deux fonctions réelles définies sur un même intervalle I, telles que pour tout x de I dans un voisinage de a :
- et (a fini ou non), alors on a aussi :
Enfin des théorèmes analogues existent pour des limites de suites- Si u, v et w sont trois suites réelles, telles que pour tout n > N
- et , alors on a aussi :
- avec les variantes pour les limites infinies.
Les démonstrations de toutes ces variantes sont analogues à celle développée plus haut.
- Portail des mathématiques
Catégories : Analyse réelle | Théorème de mathématiques
Wikimedia Foundation. 2010.