MathLabs
TheoremProved

Fundamental trigonometric limit

Statement

For xx measured in radians, lim⁡x→0sin⁡xx=1\lim_{x\to 0}\frac{\sin x}{x}=1.

Why is it true?

On a unit circle, a very small arc of length xx, its vertical chord leg sin⁡x\sin x, and the outer tangent segment tan⁡x\tan x become visually indistinguishable as the angle closes toward 00.

Proof sketch

Take 0<x<π20<x<\frac{\pi}{2} on the unit circle with center OO, point A=(1,0)A=(1,0), point B=(cos⁡x,sin⁡x)B=(\cos x,\sin x) on the circle, and point T=(1,tan⁡x)T=(1,\tan x) where the ray OBOB meets the vertical tangent at AA.

The triangle △OAB\triangle OAB sits strictly inside the circular sector OABOAB, which sits strictly inside the right triangle △OAT\triangle OAT. Comparing their areas gives 12sin⁡x<12x<12tan⁡x\frac{1}{2}\sin x < \frac{1}{2}x < \frac{1}{2}\tan x.

Since sin⁡x>0\sin x>0 on (0,π2)(0,\frac{\pi}{2}), multiply through by 2sin⁡x\frac{2}{\sin x}: 1<xsin⁡x<1cos⁡x1 < \frac{x}{\sin x} < \frac{1}{\cos x}. Taking reciprocals reverses the inequalities: cos⁡x<sin⁡xx<1\cos x < \frac{\sin x}{x} < 1.

As x→0+x\to 0^+, cos⁡x→1\cos x\to 1, so the Squeeze Theorem forces lim⁡x→0+sin⁡xx=1\lim_{x\to 0^+}\frac{\sin x}{x}=1. Finally, g(x)=sin⁡xxg(x)=\frac{\sin x}{x} is an even function (g(−x)=sin⁡(−x)−x=−sin⁡x−x=g(x)g(-x)=\frac{\sin(-x)}{-x}=\frac{-\sin x}{-x}=g(x)), so lim⁡x→0−sin⁡xx=1\lim_{x\to 0^-}\frac{\sin x}{x}=1 as well, giving lim⁡x→0sin⁡xx=1\lim_{x\to 0}\frac{\sin x}{x}=1. ■\blacksquare

Topics that use this theorem

Step-by-step proofs

No step-by-step proof yet for this theorem.

References

  1. James Stewart (2015). Calculus: Early Transcendentals
  2. David Jerison (2010). MIT 18.01SC Single Variable Calculus, Session 4: Limits and Continuity