AP Calculus AB: The Squeeze Theorem

The Squeeze Theorem is an elegant and indispensable tool in calculus, acting as a mathematical arbitrator for limits that are otherwise difficult or impossible to evaluate directly. It allows you to find the limit of a complex or "misbehaving" function by trapping it between two better-behaved functions. Mastering this theorem is crucial for tackling oscillating functions and forms the bedrock for proving one of the most important limits in calculus: ${\lim }_{x\to 0}\frac{\sin x}{x}=1$.

Understanding the "Squeeze"

At its heart, the Squeeze Theorem (also called the Sandwich Theorem or the Pinching Theorem) is a logical argument about confinement. Imagine you are trying to find where a friend is at noon. You know they were between their home and the library at 11:55 AM, and you also know both their home and the library are at the same location at noon. Logically, your friend must also be at that same location at noon. The theorem formalizes this idea for functions.

Formally, the theorem states: Suppose that $g(x)\le f(x)\le h(x)$ for all $x$ in an interval around $c$ (except possibly at $c$ itself). If the limits of the bounding functions are equal as $x$ approaches $c$, that is, if $$\underset{x\to c}{\lim }g(x)=L\text{and}\underset{x\to c}{\lim }h(x)=L,$$ then the limit of the "squeezed" function $f(x)$ must also be $L$: $$\underset{x\to c}{\lim }f(x)=L.$$ The power of this theorem lies in not needing to know the exact behavior of $f(x)$; you only need to establish bounds and know the limits of those bounds.

A Step-by-Step Application Framework

Applying the Squeeze Theorem is a systematic process. Let’s break it down into a reliable workflow.

1. Identify the Problematic Function: Recognize when a limit involves an expression that oscillates (like $\sin (1/x)$ or $\cos (1/x)$) or is otherwise unstable as $x$ approaches a value.
2. Find Suitable Bounding Functions: This is the critical creative step. You must establish an inequality of the form $g(x)\le f(x)\le h(x)$. This often involves using known properties, such as:

• $-1\le \sin (\theta )\le 1$ and $-1\le \cos (\theta )\le 1$ for any real number $\theta$.
• $0\le |\text{expression}|$ (absolute value is non-negative).

1. Manipulate the Inequality: Multiply, add, or otherwise manipulate the compound inequality to match the form of your target function $f(x)$.
2. Evaluate the Limits of the Bounds: Independently calculate ${\lim }_{x\to c}g(x)$ and ${\lim }_{x\to c}h(x)$. For the theorem to apply, they must be equal.
3. State the Conclusion: By the Squeeze Theorem, since $g(x)\le f(x)\le h(x)$ and the limits of $g$ and $h$ are equal to $L$, the limit of $f(x)$ is also $L$.

The Classic Example: $x\cdot \sin (1/x)$

This is the quintessential Squeeze Theorem problem in AP Calculus. Evaluate ${\lim }_{x\to 0}x\sin \left(\frac{1}{x}\right)$.

Direct substitution is impossible (division by zero), and the function oscillates infinitely often as $x$ approaches 0. The Squeeze Theorem provides a clear path.

1. Establish Bounds: We know the range of the sine function: $-1\le \sin \left(\frac{1}{x}\right)\le 1$ for all $x\ne 0$.
2. Manipulate to Match $f(x)$: We want to bound $x\sin (1/x)$. We multiply the entire compound inequality by $x$. Here, we must be careful because the sign of $x$ matters. The cleanest approach is to use absolute value.

We can write: $\left|\sin \left(\frac{1}{x}\right)\right|\le 1$. Multiplying by $|x|$ (which is always non-negative) gives: $|x|\cdot \left|\sin \left(\frac{1}{x}\right)\right|\le |x|$. This simplifies to: $\left|x\sin \left(\frac{1}{x}\right)\right|\le |x|$, which is equivalent to $-|x|\le x\sin \left(\frac{1}{x}\right)\le |x|$. Our bounding functions are $g(x)=-|x|$ and $h(x)=|x|$.

1. Evaluate Limits of Bounds:

$$\underset{x\to 0}{\lim }(-|x|)=0\text{and}\underset{x\to 0}{\lim }|x|=0.$$

1. Apply the Theorem: Since $x\sin (1/x)$ is squeezed between $-|x|$ and $|x|$, and both bounds approach 0 as $x\to 0$, we conclude:

$$\underset{x\to 0}{\lim }x\sin \left(\frac{1}{x}\right)=0.$$ The oscillating part $\sin (1/x)$ is rendered harmless because it is being multiplied by a factor, $x$, that is shrinking to zero.

Beyond Oscillation: Proving Foundational Limits

The Squeeze Theorem isn't just for quirky functions; it's used to prove fundamental results. The most important proof is for ${\lim }_{\theta \to 0}\frac{\sin \theta }{\theta }=1$, which is essential for deriving the derivative of $\sin x$. The proof uses a geometric argument involving areas of sectors and triangles to establish the inequality $\cos \theta \le \frac{\sin \theta }{\theta }\le 1$ for small $\theta$, and then applies the squeeze principle. While you may not be asked to reproduce the full proof on the AP exam, understanding this application shows the theorem's deep utility.

Common Pitfalls

1. Forgetting the "For All $x$" Condition: The inequality $g(x)\le f(x)\le h(x)$ must hold for all $x$ in an interval around the point $c$ (except possibly at $c$ itself). If the inequality fails for even one point arbitrarily close to $c$, you cannot apply the theorem. Always verify your bounds are valid over the entire interval in question.
2. Misapplying Absolute Value: When multiplying an inequality by an expression involving $x$, the sign is critical. Multiplying $-1\le \sin (1/x)\le 1$ by $x$ directly is invalid unless you know $x$ is positive. Using absolute value to create bounds, as shown in the classic example, is a safer and more rigorous method.
3. Assuming the Bounds Have the Same Limit: You cannot conclude anything from the Squeeze Theorem if $\lim g(x)\ne \lim h(x)$. The theorem only applies when the limits of the upper and lower bounds are identical. Your first job is to calculate these two limits separately.
4. Overcomplicating the Bounds: The best bounding functions are often the simplest. Start with obvious properties like $-1\le \sin (\theta )\le 1$ or $0\le (\text{something}{)}^2$. There’s no need to construct intricate functions; elegance and simplicity lead to the correct answer.

Summary

• The Squeeze Theorem states that if $g(x)\le f(x)\le h(x)$ near $c$ and ${\lim }_{x\to c}g(x)={\lim }_{x\to c}h(x)=L$, then ${\lim }_{x\to c}f(x)=L$.
• It is the primary tool for evaluating limits of functions that oscillate or are otherwise indeterminate, such as those involving $\sin (1/x)$ or $\cos (1/x)$.
• The standard application involves using the known bounds of sine and cosine ($-1$ and $1$) and then algebraically manipulating the inequality to match the target function.
• A crucial step is ensuring the inequality holds for all $x$ in a relevant interval and that the limits of the two bounding functions are calculable and equal.
• Mastering this theorem is not only essential for specific AP exam problems but also for understanding the logical foundation of other critical calculus results.