Nous supposerons que
- \N(g(x)\Nleq f(x) \Nleq h(x)\N)partout dans le domaine des fonctions
- \N(lim_{x \rightarrow A} g(x)=lim_{x \rightarrow A} h(x)=L\N)
Sur la base de ces hypothèses, tu veux prouver que :
\[lim_{x \N-rightarrow A} f(x)=L\N].
Vois l'image ci-dessous pour une explication visuelle des variables !
Soit un epsilon arbitraire tel que \(\epsilon > 0\) soit connu. Pour prouver le théorème de l'écrasement, nous devons trouver un delta \(\delta > 0\) tel que \(|f(x)-L|< \epsilon\) chaque fois que \(0< |x-A|< \delta\) où L est l'évaluation de la limite lorsque \ (x\) s'approche du point \ (A\).
Or \(\lim_{x \rightarrow A} g(x)=L\) par définition, il doit donc exister une \(\delta_g > 0\) telle que :
\(|g(x)-L|< \epsilon\) pour tout \(0 < |x-A|< \delta_g\) :
En utilisant les lois de la valeur absolue
\[-\epsilon + L < g(x) < \epsilon + L\]
pour tous les
\[0<|x-A|<\delta_g\]
De même, \(lim_{x \rightarrow A} h(x)=L\) par définition, il doit donc exister une \(\delta_g > 0\)telle que
\(|h(x)-L|< \epsilon\) pour tout \(0 < |x-A|< \delta_g\).
En utilisant les lois de la valeur absolue
\[- \epsilon + L < h(x)< \epsilon + L \]
pour tous les
\[0<|x-A|<\delta_g\]
Fig. 2. Explication visuelle de la dérivation géométrique de (1) et (2).
Puisque \N(g(x)\Nleq f(x) \Nleq h(x)\N) pour tout \N (x\N) sur un intervalle ouvert contenant \N(A\N), il doit exister un \N(\Ndelta_f > 0\N) tel que
(3) \N(g(x) \Nleq f(x) \Nleq h(x)\N) pour tout \N(0< |x-A|< \delta_f\N)
Où \(\delta = min (\delta_g, \delta_h, \delta_f)\), alors par (1), (2), et (3)
\N- \N[- \Nepsilon + L < g(x) \Nleq f(x) \Nleq h(x) < L + \Nepsilon\N] pour tout \N(0<|x-A|<\Ndelta\N).
Ainsi
\(-\epsilon< f(x)-L < \epsilon \) pour tout/ \(0<|x-A|<\delta\)
En utilisant les lois de la valeur absolue
\( |f(x)-L| < \epsilon\) pour tout \(0<|x-A|<\delta\)
Alors, par définition :
\N[lim_{x \rencontre A} f(x)=L\N].