Math ClubMath Club
v1 · padrão canônico

Lesson 42 — Algebraic Properties of Limits

Limit of sum, product, quotient, power. Composition. Squeeze. Operational tools.

Used in: 2.º ano do EM (16-17 anos) · Equiv. Math II japonês (極限の性質) · Equiv. Oberstufe Grenzwertregeln alemão

lim(f±g)=limf±limg,lim(fg)=limflimg,lim(f/g)=limf/limg\lim (f \pm g) = \lim f \pm \lim g, \quad \lim (fg) = \lim f \cdot \lim g, \quad \lim (f/g) = \lim f / \lim g
Choose your door

Rigorous notation, full derivation, hypotheses

Operational properties

Let limxaf(x)=L\lim_{x \to a} f(x) = L and limxag(x)=M\lim_{x \to a} g(x) = M. Then:

OperationResult
lim(f±g)\lim (f \pm g)L±ML \pm M
lim(cf)\lim (cf), cc const.cLcL
lim(fg)\lim (fg)LMLM
lim(f/g)\lim (f/g), M0M \neq 0L/ML/M
limfn\lim f^n, nNn \in \mathbb{N}LnL^n
limfn\lim \sqrt[n]{f}Ln\sqrt[n]{L} (when defined)
$\limf

Composition

If limxag(x)=b\lim_{x \to a} g(x) = b and ff is continuous at bb, then limxaf(g(x))=f(b)\lim_{x \to a} f(g(x)) = f(b).

Caution: without continuity, composition can fail. Counterexample: g(x)=0g(x) = 0 constant and ff with a removable discontinuity at 0.

Squeeze theorem (Sandwich)

If g(x)f(x)h(x)g(x) \leq f(x) \leq h(x) in a neighborhood of aa (except possibly at aa) and limg=limh=L\lim g = \lim h = L, then limf=L\lim f = L.

Classic application

limx0xsin(1/x)=0\lim_{x \to 0} x \sin(1/x) = 0 by squeeze: xxsin(1/x)x-|x| \leq x \sin(1/x) \leq |x| and limx=0\lim |x| = 0.

When it doesn't work

  • 0/0, ∞/∞: indeterminate forms, require manipulation.
  • Denominator → 0: may give ±\pm \infty or not exist.
  • Composition with discontinuous ff: requires care.

Exercise list

42 exercises · 10 with worked solution (25%)

Application 20Understanding 6Modeling 6Challenge 4Proof 6
  1. Ex. 42.1Application
    limx2(x2+3x1)\lim_{x \to 2} (x^2 + 3x - 1). (Ans: 9.)
  2. Ex. 42.2ApplicationAnswer key
    limx1x2+3\lim_{x \to 1} \sqrt{x^2 + 3}.
  3. Ex. 42.3ApplicationAnswer key
    limx0(x+1)/(x2+1)\lim_{x \to 0} (x + 1)/(x^2 + 1).
  4. Ex. 42.4ApplicationAnswer key
    limx3(x29)/(x3)\lim_{x \to 3} (x^2 - 9)/(x - 3). (Ans: 6.)
  5. Ex. 42.5Application
    limx0(1cosx)/x2\lim_{x \to 0} (1 - \cos x)/x^2.
  6. Ex. 42.6Application
    limx0sin(3x)/x\lim_{x \to 0} \sin(3x)/x. (Ans: 3.)
  7. Ex. 42.7Application
    limx0tanx/x\lim_{x \to 0} \tan x / x.
  8. Ex. 42.8Application
    limx(2x23x+1)/(x2+5)\lim_{x \to \infty} (2x^2 - 3x + 1)/(x^2 + 5). (Ans: 2.)
  9. Ex. 42.9Application
    limx(x+1)/(x2+1)\lim_{x \to \infty} (x + 1)/(x^2 + 1).
  10. Ex. 42.10Application
    limx(x3+1)/(x21)\lim_{x \to -\infty} (x^3 + 1)/(x^2 - 1). (Ans: -\infty.)
  11. Ex. 42.11Application
    limx0x2sin(1/x)\lim_{x \to 0} x^2 \sin(1/x) via squeeze.
  12. Ex. 42.12ApplicationAnswer key
    limx0(ex1)/x\lim_{x \to 0} (e^x - 1)/x.
  13. Ex. 42.13Application
    limx0ln(1+x)/x\lim_{x \to 0} \ln(1+x)/x.
  14. Ex. 42.14ApplicationAnswer key
    limx1lnx/(x1)\lim_{x \to 1} \ln x / (x - 1).
  15. Ex. 42.15Application
    limx0(1+2x)1/x\lim_{x \to 0} (1 + 2x)^{1/x}. (Ans: e2e^2.)
  16. Ex. 42.16Application
    limx4(x4)/(x2)\lim_{x \to 4} (x - 4)/(\sqrt x - 2).
  17. Ex. 42.17Application
    limx(sinx)/x\lim_{x \to \infty} (\sin x)/x via squeeze.
  18. Ex. 42.18ApplicationAnswer key
    limn(2n2+5n)/(n2+1)\lim_{n \to \infty} (2n^2 + 5n)/(n^2 + 1).
  19. Ex. 42.19Application
    limx0(cosx)1/x2\lim_{x \to 0} (\cos x)^{1/x^2}. (Ans: e1/2e^{-1/2}.)
  20. Ex. 42.20ApplicationAnswer key
    limx0(1+x1x)/x\lim_{x \to 0} (\sqrt{1+x} - \sqrt{1-x})/x. (Ans: 1.)
  21. Ex. 42.21Understanding
    Show limx0sinx/x=1\lim_{x \to 0} \sin x / x = 1 by the squeeze theorem + unit-circle geometry.
  22. Ex. 42.22Understanding
    Use squeeze to show limx0xcos(1/x)=0\lim_{x \to 0} x \cos(1/x) = 0.
  23. Ex. 42.23Understanding
    Show that limx0+xx=1\lim_{x \to 0^+} x^x = 1. (Use xx=exlnxx^x = e^{x \ln x} and limxlnx=0\lim x \ln x = 0.)
  24. Ex. 42.24Understanding
    Give an example where lim(f+g)\lim (f + g) exists but limf\lim f and limg\lim g don't.
  25. Ex. 42.25Understanding
    Give an example where lim(fg)\lim (f \cdot g) exists but only one of limf,limg\lim f, \lim g exists.
  26. Ex. 42.26Understanding
    Show that if limf(x)=0\lim |f(x)| = 0, then limf(x)=0\lim f(x) = 0.
  27. Ex. 42.27Proof
    Prove lim(f+g)=limf+limg\lim (f + g) = \lim f + \lim g via ε-δ.
  28. Ex. 42.28ProofAnswer key
    Prove lim(cf)=climf\lim (cf) = c \lim f via ε-δ.
  29. Ex. 42.29Proof
    Prove the squeeze theorem via ε-δ.
  30. Ex. 42.30Proof
    Prove that if limf=L\lim f = L and L>0L > 0, there exists a neighborhood where f>L/2f > L/2.
  31. Ex. 42.31Proof
    Prove that the limit (when it exists) is unique.
  32. Ex. 42.32ProofAnswer key
    Prove composition: limxag=b\lim_{x \to a} g = b, ff continuous at bblimf(g(x))=f(b)\lim f(g(x)) = f(b).
  33. Ex. 42.33Modeling
    In control, transfer function H(s)=(s+2)/(s2+3s+2)H(s) = (s+2)/(s^2 + 3s + 2). Compute H(0)H(0) via properties.
  34. Ex. 42.34ModelingAnswer key
    In pharmacokinetics, C(t)=(D/V)(ekateket)/(keka)C(t) = (D/V)(e^{-k_a t} - e^{-k_e t})/(k_e - k_a). Compute limtC(t)\lim_{t \to \infty} C(t).
  35. Ex. 42.35Modeling
    Newton iteration sequence for 2\sqrt 2: an+1=(an+2/an)/2a_{n+1} = (a_n + 2/a_n)/2. Use properties to find the limit.
  36. Ex. 42.36Modeling
    Signal V(t)=Asin(ωt)/tV(t) = A \sin(\omega t)/t. Limit as tt \to \infty? And t0t \to 0?
  37. Ex. 42.37Modeling
    In probability, XnXX_n \to X in distribution. Show E[cosXn]E[cosX]E[\cos X_n] \to E[\cos X] via continuity of cos\cos.
  38. Ex. 42.38Modeling
    Euler method error: y(xn)ynCh|y(x_n) - y_n| \leq C h with h0h \to 0. Model as a limit.
  39. Ex. 42.39Challenge
    limx0(sinxx)/x3\lim_{x \to 0} (\sin x - x)/x^3. (Ans: 1/6-1/6.)
  40. Ex. 42.40Challenge
    limx0((1+x)1/xe)/x\lim_{x \to 0} ((1+x)^{1/x} - e)/x.
  41. Ex. 42.41Challenge
    limxxsin(π/x)\lim_{x \to \infty} x \sin(\pi/x). (Ans: π\pi.)
  42. Ex. 42.42Challenge
    limx0(cosxcos(2x))/x2\lim_{x \to 0} (\cos x - \cos(2x))/x^2. (Ans: 3/23/2.)

Sources

Updated on 2026-04-30 · Author(s): Clube da Matemática

Found an error? Open an issue on GitHub or submit a PR — open source forever.