Unit 1, lesson 9

Special Limits

Why sin x over x tends to 1 when x is in radians, the related limit for one minus cosine, the basic exponential and logarithm limits at zero, and how to use them without circular reasoning.

  • Theory part 17
  • Practice part 18
  • Limits of Functions

Theory, part 17

Nothing loads from YouTube until you press play.

Practice, part 18

Nothing loads from YouTube until you press play.

Plug x=0x = 0 into (sin⁡x)/x(\sin x)/x and you get 0/00/0, and no factoring will remove it, because sin⁡x\sin x is not a polynomial. Yet this limit decides the derivative of sine, and a few similar limits decide the derivatives of cos⁡x\cos x, exe^x and ln⁡x\ln x. They are worth knowing by heart, along with where they come from.

Key terms

The limit of sin x over x

Definition With xx measured in radians,

lim⁡x→0sin⁡xx=1.\lim_{x \to 0} \frac{\sin x}{x} = 1.

If xx is measured in degrees, the same quotient tends to π/180\pi/180 instead, because xx degrees equals πx/180\pi x/180 radians.

In plain words For small angles in radians, sin⁡x\sin x is almost exactly xx. This is one of the main reasons calculus uses radians.

Example A table of values supports the limit.

xx0.50.50.10.10.010.010.0010.001
sin⁡xx\frac{\sin x}{x}0.9588510.9588510.9983340.9983340.9999830.9999830.99999980.9999998

Sine is odd, so sin⁡(−x)/(−x)=(sin⁡x)/x\sin(-x)/(-x) = (\sin x)/x and the values for negative xx are the same.

Geometric proof

Definition For 0<x<π20 < x < \frac{\pi}{2}, place the angle xx at the center OO of the unit circle, with A=(1,0)A = (1, 0), P=(cos⁡x,sin⁡x)P = (\cos x, \sin x) and T=(1,tan⁡x)T = (1, \tan x). The triangle OAPOAP lies inside the circular sector OAPOAP, which lies inside the triangle OATOAT. Both triangles have base OA=1OA = 1, with heights sin⁡x\sin x and tan⁡x\tan x. The sector is the fraction x/(2π)x/(2\pi) of the whole disk, whose area is π\pi, so its area is x/2x/2. This is where radian measure enters. Comparing areas gives

12sin⁡x<12x<12tan⁡x.\frac{1}{2} \sin x < \frac{1}{2} x < \frac{1}{2} \tan x.

Dividing by (sin⁡x)/2>0(\sin x)/2 > 0 and taking reciprocals gives

cos⁡x<sin⁡xx<1.\cos x < \frac{\sin x}{x} < 1.

It remains to see that cos⁡x→1\cos x \to 1. For 0<x<π20 < x < \frac{\pi}{2} we have 0<cos⁡x<10 < \cos x < 1 and 0<sin⁡x<x0 < \sin x < x, so

0<1−cos⁡x<1−cos⁡2x=sin⁡2x<x2,0 < 1 - \cos x < 1 - \cos^2 x = \sin^2 x < x^2,

and squeezing gives lim⁡x→0+cos⁡x=1\lim_{x \to 0^+} \cos x = 1. The squeeze theorem, in its right-hand form, then gives

lim⁡x→0+sin⁡xx=1.\lim_{x \to 0^+} \frac{\sin x}{x} = 1.

Both cos⁡x\cos x and (sin⁡x)/x(\sin x)/x are even, so the left-hand limits are also 11, and the two-sided limits follow.

In plain words A thin slice of the unit circle sits between two triangles. Their areas trap (sin⁡x)/x(\sin x)/x between cos⁡x\cos x and 11, and both of those go to 11.

Example At x=0.5x = 0.5 the inequality reads cos⁡0.5≈0.8776<0.9589<1\cos 0.5 \approx 0.8776 < 0.9589 < 1. At x=0.1x = 0.1 it reads 0.9950<0.9983<10.9950 < 0.9983 < 1, and the trap is already tight.

The limit of one minus cosine over x

Definition With xx in radians,

lim⁡x→01−cos⁡xx=0.\lim_{x \to 0} \frac{1 - \cos x}{x} = 0.

For x≠0x \neq 0 close to 00 we have 1+cos⁡x≠01 + \cos x \neq 0, and

1−cos⁡xx=1−cos⁡2xx(1+cos⁡x)=sin⁡xx⋅sin⁡x1+cos⁡x,\frac{1 - \cos x}{x} = \frac{1 - \cos^2 x}{x(1 + \cos x)} = \frac{\sin x}{x} \cdot \frac{\sin x}{1 + \cos x},

which tends to 1⋅0/2=01 \cdot 0/2 = 0 by the product and quotient laws.

In plain words Near 00 the cosine curve is flat, so 1−cos⁡x1 - \cos x is much smaller than xx.

Example At x=0.1x = 0.1 the quotient is about 0.049960.04996, and at x=0.01x = 0.01 it is about 0.004999960.00499996. In both cases it is close to x/2x/2, which hints at the stronger fact

lim⁡x→01−cos⁡xx2=12.\lim_{x \to 0} \frac{1 - \cos x}{x^2} = \frac{1}{2}.

Exponential and logarithmic limits near zero

Definition For the natural exponential and logarithm,

lim⁡h→0eh−1h=1andlim⁡x→0ln⁡(1+x)x=1.\lim_{h \to 0} \frac{e^h - 1}{h} = 1 \qquad \text{and} \qquad \lim_{x \to 0} \frac{\ln(1 + x)}{x} = 1.

More generally, for any base b>0b > 0,

lim⁡h→0bh−1h=ln⁡b.\lim_{h \to 0} \frac{b^h - 1}{h} = \ln b.

These limits are not proved here, because a proof needs a precise definition of bxb^x for irrational xx. This course follows the common textbook route and takes the first limit as the defining property of ee. Among all bases b>0b > 0, the number e≈2.71828e \approx 2.71828 is the one for which the limit of (bh−1)/h(b^h - 1)/h at 00 equals 11. The other two limits then follow. For the logarithm, take x>−1x > -1 with x≠0x \neq 0 and put u=ln⁡(1+x)u = \ln(1 + x), so that x=eu−1x = e^u - 1 and

ln⁡(1+x)x=ueu−1,\frac{\ln(1 + x)}{x} = \frac{u}{e^u - 1},

where u→0u \to 0 and u≠0u \neq 0 as x→0x \to 0 with x≠0x \neq 0. That step uses the continuity of ln⁡\ln at 11, which the continuity unit makes precise. For a general base, bh=ehln⁡bb^h = e^{h \ln b}. Texts that define ln⁡x\ln x as an integral prove all three limits instead, so check which definition a book uses before calling one of them a theorem.

In plain words Near 00, ehe^h is about 1+h1 + h and ln⁡(1+x)\ln(1 + x) is about xx.

Example A short table shows both limits at work.

hh0.10.10.010.010.0010.001
eh−1h\frac{e^h - 1}{h}1.051711.051711.005021.005021.000501.00050
ln⁡(1+h)h\frac{\ln(1 + h)}{h}0.953100.953100.995030.995030.999500.99950

Both rows close in on 11.

Algebraic rewriting

Definition To use a special limit, rewrite the expression so that the exact pattern appears. We know that (sin⁡u)/u→1(\sin u)/u \to 1 as u→0u \to 0. If k≠0k \neq 0 is a constant, then u=kxu = kx tends to 00 as x→0x \to 0 and u≠0u \neq 0 when x≠0x \neq 0, so

lim⁡x→0sin⁡kxkx=1.\lim_{x \to 0} \frac{\sin kx}{kx} = 1.

The same substitution works for the other special limits. Multiplying and dividing by the same nonzero quantity does not change the expression.

In plain words The angle inside the sine has to match the denominator. If it does not, multiply and divide by what is missing.

Example For x≠0x \neq 0 near 00,

sin⁡5xsin⁡2x=sin⁡5x5x⋅2xsin⁡2x⋅52,\frac{\sin 5x}{\sin 2x} = \frac{\sin 5x}{5x} \cdot \frac{2x}{\sin 2x} \cdot \frac{5}{2},

which tends to 1⋅1⋅5/2=5/21 \cdot 1 \cdot 5/2 = 5/2.

Noncircular derivations

Definition A derivation is circular if it uses a fact whose own proof depends on the result being derived. The standard order is this. First the geometric inequality sin⁡x<x<tan⁡x\sin x < x < \tan x for 0<x<π20 < x < \frac{\pi}{2}, then cos⁡x→1\cos x \to 1 and (sin⁡x)/x→1(\sin x)/x \to 1 as x→0x \to 0 by squeezing, then (1−cos⁡x)/x→0(1 - \cos x)/x \to 0, and only after that the derivatives ddxsin⁡x=cos⁡x\frac{d}{dx} \sin x = \cos x and ddxcos⁡x=−sin⁡x\frac{d}{dx} \cos x = -\sin x. The sector area x/2x/2 comes from the area of the unit disk and the definition of radian measure. Fully rigorous treatments define sine and cosine by arc length or by power series to avoid relying on pictures.

In plain words You may not use a result to prove the facts it was built on. These special limits come first, and the derivative rules come from them.

Example Someone might apply l’Hôpital’s rule to (sin⁡x)/x(\sin x)/x and get (cos⁡x)/1→1(\cos x)/1 \to 1. The answer is right, but the argument proves nothing, because it uses ddxsin⁡x=cos⁡x\frac{d}{dx} \sin x = \cos x, and that derivative was computed from the very limit we are trying to find.

Check yourself

  1. Find the limit
lim⁡x→0sin⁡3xx.\lim_{x \to 0} \frac{\sin 3x}{x}.
Show the answer

Multiply and divide by 3 to match the pattern.

sin⁡3xx=3⋅sin⁡3x3x→3⋅1=3.\frac{\sin 3x}{x} = 3 \cdot \frac{\sin 3x}{3x} \to 3 \cdot 1 = 3.
  1. Show that
lim⁡x→01−cos⁡xx2=12.\lim_{x \to 0} \frac{1 - \cos x}{x^2} = \frac{1}{2}.
Show the answer

Multiply top and bottom by 1+cos⁡x1 + \cos x, which is nonzero near 00, to get

1−cos⁡xx2=sin⁡2xx2(1+cos⁡x)=(sin⁡xx)2⋅11+cos⁡x,\frac{1 - \cos x}{x^2} = \frac{\sin^2 x}{x^2 (1 + \cos x)} = \left(\frac{\sin x}{x}\right)^2 \cdot \frac{1}{1 + \cos x},

which tends to 1⋅1/2=1/21 \cdot 1/2 = 1/2.

  1. Find the limit
lim⁡x→0e2x−1sin⁡x.\lim_{x \to 0} \frac{e^{2x} - 1}{\sin x}.
Show the answer

For x≠0x \neq 0 near 00 write the quotient as

e2x−1sin⁡x=e2x−12x⋅2⋅xsin⁡x.\frac{e^{2x} - 1}{\sin x} = \frac{e^{2x} - 1}{2x} \cdot 2 \cdot \frac{x}{\sin x}.

The factors tend to 11, 22 and 11, so the limit is 22.

How this lesson connects

It also uses radians and trigonometry.