Difference between revisions of "Squeeze Theorem"

(category)
(please check for inaccuracy, non-rigor, and grammar.)
Line 5: Line 5:
  
 
==Proof==
 
==Proof==
:''This theorem needs to be proved. You can help AoPSWiki by [http://www.artofproblemsolving.com/Wiki/index.php?title=Squeeze_Play_Theorem&action=edit proving it].''
+
If <math>f(x)</math> is between <math>g(x)</math> and <math>h(x)</math> for all <math>x</math> in the neighborhood of <math>S</math>, then either <math>g(x)<f(x)<h(x)</math> or <math>h(x)<f(x)<g(x)</math> for all <math>x</math> in the neighborhood of <math>S</math>. The second case is basically the first case, so we just need to prove the first case.
  
 +
If <math>g(x)</math> increases to <math>L</math>, then <math>f(x)</math> goes to either <math>L</math> or <math>M</math>, where <math>M>L</math>. If <math>h(x)</math> decreases to <math>L</math>, then <math>f(x)</math> goes to either <math>L</math> or <math>N</math>, where <math>N<L</math>. Since <math>f(x)</math> can't go to <math>M</math> or <math>N</math>, then <math>f(x)</math> must go to <math>L</math>. Therefore, <math>lim_{x\to S}f(x)=L</math>.
 
==See Also==
 
==See Also==
 
*[[Limit]]
 
*[[Limit]]

Revision as of 11:10, 1 December 2007

The Squeeze Play Theorem is a relatively simple theorem that deals with calculus, specifically limits.

Theorem

Suppose $f(x)$ is between $g(x)$ and $h(x)$ for all $x$ in the neighborhood of $S$. If $g$ and $h$ approach some common limit L as $x$ approaches $S$, then $\lim_{x\to S}f(x)=L$.

Proof

If $f(x)$ is between $g(x)$ and $h(x)$ for all $x$ in the neighborhood of $S$, then either $g(x)<f(x)<h(x)$ or $h(x)<f(x)<g(x)$ for all $x$ in the neighborhood of $S$. The second case is basically the first case, so we just need to prove the first case.

If $g(x)$ increases to $L$, then $f(x)$ goes to either $L$ or $M$, where $M>L$. If $h(x)$ decreases to $L$, then $f(x)$ goes to either $L$ or $N$, where $N<L$. Since $f(x)$ can't go to $M$ or $N$, then $f(x)$ must go to $L$. Therefore, $lim_{x\to S}f(x)=L$.

See Also