The squeeze theorem, and why sin x / x tends to 1
As approaches , approaches , with in radians. Substituting gives and no algebra simplifies it; the proof traps between and using areas on the unit circle, and the Squeeze Theorem does the rest. This page builds the theorem on first, then proves the limit, then shows why the derivative of needs it.
The Squeeze Theorem
Suppose that for every near , except possibly at itself,
and that and both approach one number as . Then approaches too: .
The picture: is caught between two functions that close in on the same height, so it has nowhere else to go. Both hypotheses matter. The inequality only has to hold near , but it has to hold on both sides of . And the two bounds must have the same limit; bounds that stay apart trap nothing.
Warm-up: as
The limit laws cannot do this one. As , the input runs off without bound, so passes through every value from to again and again on each side of and never settles. With no limit for that factor, the limit of the product cannot be split into a product of limits. So stop asking where the sine is going, and ask only how far it can go.
- Bound the bad factor. The sine of any number lies between and , so whenever .
- Multiply by the good factor. Multiplying all three parts by leaves their order alone, since whenever :
- Check the bounds. and . Same limit, so the Squeeze Theorem gives
Notice what made it work: one factor that can never leave , multiplied by one that shrinks to . The same three lines handle any product built that way. Without the , the bounds would be and , which never meet, and the theorem rightly says nothing.
Why : three areas on the unit circle
Here the limit laws fail differently: the top and the bottom both go to , and is not a product, so there is nothing to factor or cancel. The bounds come from geometry instead. Take , measured in radians.
- Compare three areas. Triangle has base and height . The sector has radius and angle , so its area is . Triangle has base and height . Each region sits inside the next, so
- Divide by , which is positive here, so the inequalities keep their direction:
- Take reciprocals. All three quantities are positive, and taking reciprocals of positive numbers reverses the inequalities:
- Cover negative . Replacing by changes neither , which is an even function, nor , whose top and bottom both change sign. If , then lies in , where step 3 holds, so the same inequality holds for as well.
- Squeeze. Now let from either side. The ceiling never moves from , and the floor rises to , because the cosine is continuous at . Trapped between a floor and a ceiling that meet at , the quotient has nowhere else to go:
The radians are doing real work in step 1: a sector of angle has area only when is measured in radians. In degrees the same quotient tends to a different number, and question 4 below asks which.
The belongs to , in radians, and nowhere else. The limit of is as approaches . The trap is to treat the quotient as if it were worth wherever it appears. Near any other point, the bottom does not go to and you simply substitute: as , the quotient tends to . As grows without bound, it is a different story again (question 2).
What it is for: the derivative of
The derivative of is the limit of a difference quotient. The addition formula splits it into two pieces:
As , the second fraction tends to by the limit just proved, and the first tends to , which question 7 derives from the same limit. So the derivative of is . The derivative of comes the same way, and the other trigonometric derivatives are built from those two, so every one of them rests on .
Check your understanding
No calculator needed.
- Find .
- Find .
- True or false: if for every near , with and , then exists and lies between and . Give a reason.
- If were measured in degrees, what would tend to as ?
- Find the error. “Since , multiplying by gives . Both bounds tend to , so .”
- Find .
- Use to show that as . (Hint: multiply top and bottom by .)
Show the answers
- . Multiply and divide by so that the bottom matches the angle: . As , too, so and the limit is .
- , by the Squeeze Theorem. For , gives , and both bounds tend to . The bottom grows while the top stays between and .
- False. The bounds have different limits, so the Squeeze Theorem does not apply and need not have a limit at all. For example, stays between and but has no limit at .
- , about . An angle of degrees is radians, so the quotient is with . The tidy is a property of radians.
- The answer is right, but the inequality is not. Multiplying by a negative number reverses an inequality, so for the bounds come out the wrong way round: there is bigger than , and nothing lies above the first and below the second. The fix is absolute values: , so , and .
- . Write . With , the second factor tends to , and the first tends to , so the limit is .
- . The first factor tends to and the second to , so the product tends to . The fraction in the derivative, , is the negative of this one, so it tends to as well.
Practise it
The free CEGEP Calculus I worksheet on limits with trig, exponential and log functions has Squeeze Theorem limits to do, alongside trigonometric limits settled by an identity. Once the derivatives arrive, the derivatives of transcendental functions worksheet puts the derivative of to work. For every squeeze, write the inequality, say why it holds, and check that both bounds have the same limit.
Want one-on-one help with this? I offer CEGEP Science calculus and linear algebra tutoring in Montreal, in person or online. Sessions start with a short written diagnostic, and a written recap goes to whoever books after every session.