Login

Concepts

Read through concept notes with worked explanations and diagrams, chapter by chapter.

Concept 06 / 12Limits, Continuity and Differentiability

Algebra of Limits, Indeterminate Forms and the Limit sin x / x

The sum, product and quotient rules for limits, the seven indeterminate forms, factorisation and rationalisation, the geometric proof that sin x / x tends to 1, and the family of standard trigonometric limits derived from it.

Figure 1
If lim⁡x→af(x)=L\lim_{x \to a}f(x) = L and lim⁡x→ag(x)=M\lim_{x \to a}g(x) = M both exist (finite), then the limits of f±gf \pm g, fgfg, kfkf are L±ML \pm M, LMLM, kLkL, and the limit of fg\frac{f}{g} is LM\frac{L}{M} provided M≠0M \neq 0. For a continuous function ϕ\phi, lim⁡ϕ(f(x))=ϕ(L)\lim\phi(f(x)) = \phi(L). These rules are what allow 'direct substitution' for polynomials, rational functions (where the denominator is non-zero), and all the standard continuous functions. The rules have hypotheses. They say nothing when one of the limits does not exist or when substitution produces an indeterminate form. The seven indeterminate forms are 00\frac{0}{0}, ∞∞\frac{\infty}{\infty}, 0×∞0 \times \infty, ∞−∞\infty - \infty, 000^{0}, ∞0\infty^{0} and 1∞1^{\infty}. 'Indeterminate' means the form alone does not decide the limit: xx\frac{x}{x}, x2x\frac{x^{2}}{x} and xx2\frac{x}{x^{2}} are all of type 00\frac{0}{0} at 00, with limits 11, 00 and 'does not exist'. Such limits must be transformed before evaluating. By contrast, forms such as 10\frac{1}{0}, ∞+∞\infty + \infty or 0∞0^{\infty} are not indeterminate. Algebraic techniques for 00\frac{0}{0}. Factorise and cancel the common factor (x−a)(x - a): lim⁡x→2x3−8x2−4=lim⁡x2+2x+4x+2=3\lim_{x \to 2}\frac{x^{3} - 8}{x^{2} - 4} = \lim\frac{x^{2} + 2x + 4}{x + 2} = 3. Cancelling is legitimate because x≠ax \neq a in the limit. Rationalise expressions with roots: lim⁡x→01+x−1x=lim⁡11+x+1=12\lim_{x \to 0}\frac{\sqrt{1 + x} - 1}{x} = \lim\frac{1}{\sqrt{1 + x} + 1} = \frac{1}{2}. Standard algebraic limit: lim⁡x→axn−anx−a=nan−1\lim_{x \to a}\frac{x^{n} - a^{n}}{x - a} = na^{n-1}, valid for any rational nn (with a>0a > 0 where needed). It is simply the derivative of xnx^{n} at aa. The fundamental trigonometric limit: lim⁡x→0sin⁡xx=1\lim_{x \to 0}\frac{\sin x}{x} = 1, with xx in radians. The figure gives the proof for 0<x<π20 < x < \frac{\pi}{2}. In the unit circle, triangle OAPOAP sits inside sector OAPOAP, which sits inside triangle OATOAT. Their areas are 12sin⁡x\frac{1}{2}\sin x, 12x\frac{1}{2}x and 12tan⁡x\frac{1}{2}\tan x. So sin⁡x<x<tan⁡x\sin x < x < \tan x. Dividing by sin⁡x>0\sin x > 0 and inverting gives 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 forces sin⁡xx→1\frac{\sin x}{x} \to 1. Since sin⁡xx\frac{\sin x}{x} is even, the left-hand limit agrees. The radian measure is essential: in degrees, lim⁡x→0sin⁡x∘x=π180\lim_{x \to 0}\frac{\sin x^{\circ}}{x} = \frac{\pi}{180}. Consequences, each derived by rewriting. lim⁡x→0tan⁡xx=1\lim_{x \to 0}\frac{\tan x}{x} = 1 (write sin⁡xx⋅1cos⁡x\frac{\sin x}{x} \cdot \frac{1}{\cos x}). lim⁡x→01−cos⁡xx2=12\lim_{x \to 0}\frac{1 - \cos x}{x^{2}} = \frac{1}{2} (use 1−cos⁡x=2sin⁡2x21 - \cos x = 2\sin^{2}\frac{x}{2}). lim⁡x→0sin⁡−1xx=lim⁡x→0tan⁡−1xx=1\lim_{x \to 0}\frac{\sin^{-1}x}{x} = \lim_{x \to 0}\frac{\tan^{-1}x}{x} = 1 (substitute x=sin⁡tx = \sin t or tan⁡t\tan t). lim⁡x→0sin⁡axbx=ab\lim_{x \to 0}\frac{\sin ax}{bx} = \frac{a}{b}. The general principle: if u(x)→0u(x) \to 0, then sin⁡u(x)u(x)→1\frac{\sin u(x)}{u(x)} \to 1. Always match the argument of the sine with the denominator, multiplying and dividing by the right quantity. For limits at x→a≠0x \to a \neq 0, substitute x=a+hx = a + h so that h→0h \to 0 and the standard limits apply. For example, lim⁡x→πsin⁡xπ−x\lim_{x \to \pi}\frac{\sin x}{\pi - x}: with x=π−hx = \pi - h, sin⁡(π−h)h=sin⁡hh→1\frac{\sin(\pi - h)}{h} = \frac{\sin h}{h} \to 1. Key Takeaways: - Limit laws need the individual limits to exist; quotient law needs a non-zero denominator limit. - Indeterminate: 00,∞∞,0⋅∞,∞−∞,00,∞0,1∞\frac{0}{0}, \frac{\infty}{\infty}, 0 \cdot \infty, \infty - \infty, 0^{0}, \infty^{0}, 1^{\infty}. - lim⁡x→axn−anx−a=nan−1\lim_{x \to a}\frac{x^{n} - a^{n}}{x - a} = na^{n-1}. - sin⁡xx,tan⁡xx,sin⁡−1xx,tan⁡−1xx→1\frac{\sin x}{x}, \frac{\tan x}{x}, \frac{\sin^{-1}x}{x}, \frac{\tan^{-1}x}{x} \to 1; 1−cos⁡xx2→12\frac{1 - \cos x}{x^{2}} \to \frac{1}{2} (radians). - Match the argument: sin⁡uu→1\frac{\sin u}{u} \to 1 whenever u→0u \to 0. - Shift to h→0h \to 0 with x=a+hx = a + h for limits at other points. - Pitfall: lim⁡x→∞sin⁡xx=0\lim_{x \to \infty}\frac{\sin x}{x} = 0, not 11. The standard limit is at x→0x \to 0. Brain-Teaser 1: Evaluate lim⁡x→01−cos⁡2xxtan⁡3x\lim_{x \to 0}\frac{1 - \cos 2x}{x \tan 3x}. Solution: 1−cos⁡2x=2sin⁡2x1 - \cos 2x = 2\sin^{2}x. So the expression is 2sin⁡2xxtan⁡3x=2⋅sin⁡2xx2⋅xtan⁡3x\frac{2\sin^{2}x}{x\tan 3x} = 2 \cdot \frac{\sin^{2}x}{x^{2}} \cdot \frac{x}{\tan 3x}. Now xtan⁡3x=13⋅3xtan⁡3x→13\frac{x}{\tan 3x} = \frac{1}{3} \cdot \frac{3x}{\tan 3x} \to \frac{1}{3}. So the limit is 2×1×13=232 \times 1 \times \frac{1}{3} = \frac{2}{3}. Each trigonometric factor is paired with a matching power of xx so that it tends to a standard limit. Brain-Teaser 2: Find lim⁡x→1x4−1x−1\lim_{x \to 1}\frac{x^{4} - 1}{x - 1} and lim⁡x→1xm−1xn−1\lim_{x \to 1}\frac{x^{m} - 1}{x^{n} - 1}. Solution: The first is the standard limit with n=4n = 4, a=1a = 1: 4⋅13=44 \cdot 1^{3} = 4. For the second, divide numerator and denominator by x−1x - 1: (xm−1)/(x−1)(xn−1)/(x−1)→mn\frac{(x^{m} - 1)/(x - 1)}{(x^{n} - 1)/(x - 1)} \to \frac{m}{n}. Recognising each piece as a standard limit is faster than polynomial division, especially for fractional exponents. Brain-Teaser 3: A student claims lim⁡x→0sin⁡(x∘)x=1\lim_{x \to 0}\frac{\sin(x^{\circ})}{x} = 1 because 'sin⁡xx→1\frac{\sin x}{x} \to 1'. What is the correct value? Solution: x∘=πx180x^{\circ} = \frac{\pi x}{180} radians. So sin⁡(πx/180)x=π180⋅sin⁡(πx/180)πx/180→π180\frac{\sin(\pi x/180)}{x} = \frac{\pi}{180} \cdot \frac{\sin(\pi x/180)}{\pi x/180} \to \frac{\pi}{180}. The standard limit requires the argument to be measured in radians, because the area of a sector is 12r2θ\frac{1}{2}r^{2}\theta only when θ\theta is in radians. This is why calculus is always done in radians: in degrees every derivative of sin⁡\sin and cos⁡\cos would carry an extra factor π180\frac{\pi}{180}.