Skip to content

Mathematics · Ch 16 — Limits

Limit of a Trigonometric Function

16.4

Limit of a Trigonometric Function

Standard trigonometric substitution limits. Because sin⁡x\sin x and cos⁡x\cos x are continuous everywhere, lim⁡x→asin⁡x=sin⁡a\lim_{x\to a}\sin x=\sin a and lim⁡x→acos⁡x=cos⁡a\lim_{x\to a}\cos x=\cos a always hold by direct substitution — these two facts, combined with ordinary trigonometric identities, are the starting point for every trig-limit calculation, whether it is finally settled by factorization, rationalization or straightforward algebraic simplification.\n\nThe Squeeze (Sandwich) theorem. If f(x)≤g(x)≤h(x)f(x)\le g(x)\le h(x) for every x in some open interval around a, and lim⁡x→af(x)=lim⁡x→ah(x)=L\lim_{x\to a}f(x)=\lim_{x\to a}h(x)=L, then g(x)g(x) is trapped between two functions both converging to L, so lim⁡x→ag(x)=L\lim_{x\to a}g(x)=L too — the outer two limits 'squeeze' the middle one to the same value. Worked illustration: given 3x2+2≤f(x)≤5x2−63x^2+2\le f(x)\le5x^2-6 for all real x, taking the limit of each bound as x→−2x\to-2 gives 14≤lim⁡x→−2f(x)≤1414\le\lim_{x\to-2}f(x)\le14, forcing lim⁡x→−2f(x)=14\lim_{x\to-2}f(x)=14 exactly.\n\n7.4.2 Theorem: lim⁡θ→0sin⁡θθ=1\lim_{\theta\to0}\dfrac{\sin\theta}{\theta}=1 (θ in radians). Proof (for θ tending to 0 through positive values, 0<θ<π/20<\theta<\pi/2): draw a circle of radius r centred at O, with A on the circle on the positive X-axis and P on the circle so that ∠AOP=θ\angle AOP=\theta; drop PM⊥OXPM\perp OX so PM=rsin⁡θPM=r\sin\theta, and extend OP to meet the vertical line through A at B, so AB=rtan⁡θAB=r\tan\theta. Comparing areas, Area(△OAP)<Area(sector OAP)<Area(△OAB)\text{Area}(\triangle OAP)<\text{Area(sector }OAP)<\text{Area}(\triangle OAB) gives 12r2sin⁡θ<12r2θ<12r2tan⁡θ\tfrac12r^2\sin\theta<\tfrac12r^2\theta<\tfrac12r^2\tan\theta. Dividing throughout by 12r2sin⁡θ\tfrac12r^2\sin\theta gives 1<θsin⁡θ<1cos⁡θ1<\dfrac{\theta}{\sin\theta}<\dfrac{1}{\cos\theta}, i.e. cos⁡θ<sin⁡θθ<1\cos\theta<\dfrac{\sin\theta}{\theta}<1. Taking the limit as θ→0+\theta\to0^+ and applying the Squeeze theorem (since cos⁡θ→1\cos\theta\to1 and the constant bound is already 1) forces lim⁡θ→0+sin⁡θθ=1\lim_{\theta\to0^+}\dfrac{\sin\theta}{\theta}=1. For θ tending to 0 through negative values, writing θ=−ϕ\theta=-\phi with ϕ→0+\phi\to0^+ gives sin⁡θθ=sin⁡(−ϕ)−ϕ=sin⁡ϕϕ→1\dfrac{\sin\theta}{\theta}=\dfrac{\sin(-\phi)}{-\phi}=\dfrac{\sin\phi}{\phi}\to1 as well, since sine is an odd function. Both one-sided limits agree at 1, so the two-sided limit lim⁡θ→0sin⁡θθ=1\lim_{\theta\to0}\dfrac{\sin\theta}{\theta}=1 is established. Seven immediate corollaries follow (listed in the table note above): the reciprocal θ/sin⁡θ→1\theta/\sin\theta\to1, the tangent versions tan⁡θ/θ→1\tan\theta/\theta\to1 and θ/tan⁡θ→1\theta/\tan\theta\to1, and the p-scaled forms sin⁡(pθ)/(pθ)→1\sin(p\theta)/(p\theta)\to1, tan⁡(pθ)/(pθ)→1\tan(p\theta)/(p\theta)\to1, pθ/sin⁡(pθ)→1p\theta/\sin(p\theta)\to1, pθ/tan⁡(pθ)→1p\theta/\tan(p\theta)\to1 for any non-zero constant p.\n\nWorked technique gallery. A recurring first move is to divide numerator and denominator by x (or by whatever variable the sine/tangent argument uses) so that each piece separately matches a corollary above: e.g. lim⁡x→0sin⁡8xtan⁡4x=lim⁡(sin⁡8x/x)lim⁡(tan⁡4x/x)=84=2\lim_{x\to0}\dfrac{\sin8x}{\tan4x}=\dfrac{\lim(\sin8x/x)}{\lim(\tan4x/x)}=\dfrac{8}{4}=2. A second recurring move rewrites 1−cos⁡x1-\cos x as 2sin⁡2(x/2)2\sin^2(x/2) (from the half-angle identity 1−cos⁡A=2sin⁡2(A/2)1-\cos A=2\sin^2(A/2)) whenever a bare 1−cos⁡(⋅)1-\cos(\cdot) appears, turning it into a squared sine-over-argument form — used for lim⁡x→02sin⁡x−sin⁡2xx3=1\lim_{x\to0}\dfrac{2\sin x-\sin2x}{x^3}=1 (factoring out 2sin⁡x(1−cos⁡x)2\sin x(1-\cos x) from the numerator first) and for lim⁡x→0sin⁡x2(1−cos⁡x2)x6=12\lim_{x\to0}\dfrac{\sin x^2(1-\cos x^2)}{x^6}=\dfrac12 (treating θ=x2→0\theta=x^2\to0 throughout). A third m …

Figure 1Fig. 7.3 — the sector-triangle diagram proving lim(sinθ/θ)=1

What this figure shows. A circle of radius r is centred at the origin O, with A the point where the circle meets the positive X-axis. A point P on the circle is chosen so that angle AOP equals theta, and PM is drawn perpendicular to OX so that PM = r sin(theta). A vertical line through A (parallel to the Y-axis) is extended to meet ray OP (extended) at a point B, giving AB = r tan(theta). The picture visually nests three regions of increasing size — triangle OAP inside the circular sector OAP inside the larger triangle OAB — and it is exactly this nesting of areas, (1/2)r²sinθ < (1/2)r²θ < (1/2)r²tanθ, that the proof divides through to squeeze sinθ/θ between cosθ and 1/cosθ, forc …

Table 2Corollaries 1-7 of the sinθ/θ theorem
  1. lim_{θ→0} θ/sinθ = 1. 2) lim_{θ→0} tanθ/θ = 1. 3) lim_{θ→0} θ/tanθ = 1. 4) lim_{θ→0} sin(pθ)/(pθ) = 1, p constant. 5) lim_{θ→0} tan(pθ)/(pθ) = 1, p constant. 6) lim_{θ→0} pθ/sin(pθ) = 1, p constant. 7) …