Math ClubMath Club
v1 · padrão canônico

Lesson 16 — Numerical sequences

Sequence as a function with domain ℕ. Recurrences, monotonicity, boundedness. Antechamber of limits.

Used in: 1.º ano do EM (15 anos) · Math B japonês (cap. 数列) · Calculus I — US — preview

(an)nN,an=f(n)(a_n)_{n \in \mathbb{N}}, \quad a_n = f(n)
Choose your door

Rigorous notation, full derivation, hypotheses

Definition and properties

How to describe a sequence

  1. Explicit formula (general term): an=2n+1a_n = 2n + 1 — terms 3,5,7,9,3, 5, 7, 9, \ldots
  2. Recurrence: a1=1a_1 = 1, an+1=an+2a_{n+1} = a_n + 2 — same result.
  3. Description: "n-th prime number" — 2,3,5,7,11,13,2, 3, 5, 7, 11, 13, \ldots (no closed form).

Monotonicity

  • Increasing: an+1>anna_{n+1} > a_n \quad \forall n.
  • Non-decreasing: an+1ana_{n+1} \geq a_n.
  • Decreasing: an+1<ana_{n+1} < a_n.
  • Constant: an+1=ana_{n+1} = a_n.

Boundedness

(an)(a_n) is bounded if there exists M>0M > 0 with anM|a_n| \leq M for all nn. Bounded above if anM+a_n \leq M_+; below if anMa_n \geq M_-.

Intuitive convergence (formalized in Lesson 19)

(an)(a_n) converges to LL if "ana_n gets arbitrarily close to LL when nn is large". Formally (Lesson 41 — Trim 5): limnan=L    \eps>0,N:nNanL<\eps\lim_{n \to \infty} a_n = L \iff \forall \eps > 0, \exists N : n \geq N \Rightarrow |a_n - L| < \eps

Exercise list

35 exercises · 8 with worked solution (25%)

Application 16Understanding 18Modeling 1
  1. Ex. 16.1Application
    Write the first 5 terms of an=2n+1a_n = 2n + 1.
  2. Ex. 16.2Application
    Write the first 5 terms of an=(1)n/na_n = (-1)^n / n.
  3. Ex. 16.3ApplicationAnswer key
    Write the first 5 terms of an=n2na_n = n^2 - n.
  4. Ex. 16.4Application
    Find the general term of 1,3,5,7,9,1, 3, 5, 7, 9, \ldots
  5. Ex. 16.5Application
    Find the general term of 2,5,10,17,26,2, 5, 10, 17, 26, \ldots (Hint: n2+1n^2 + 1.)
  6. Ex. 16.6Application
    Find the general term of 1/2,1/4,1/8,1/16,1/2, 1/4, 1/8, 1/16, \ldots
  7. Ex. 16.7Application
    Find the general term of 1,1,1,1,1,-1, 1, -1, 1, -1, \ldots
  8. Ex. 16.8Application
    Compute a20a_{20} for an=3n1a_n = 3n - 1.
  9. Ex. 16.9Application
    For which nn does an=100a_n = 100 hold if an=2n4a_n = 2n - 4?
  10. Ex. 16.10ApplicationAnswer key
    How many terms of the sequence an=5n1a_n = 5n - 1 are less than 200?
  11. Ex. 16.11Application
    Sequence: a1=2a_1 = 2, an+1=3an+1a_{n+1} = 3 a_n + 1. Compute the first 5 terms.
  12. Ex. 16.12Application
    Fibonacci: F1=F2=1F_1 = F_2 = 1, Fn+2=Fn+1+FnF_{n+2} = F_{n+1} + F_n. Compute up to F10F_{10}.
  13. Ex. 16.13Application
    Sequence: a1=1a_1 = 1, an+1=an+2na_{n+1} = a_n + 2n. Compute up to a5a_5.
  14. Ex. 16.14Application
    Show that the Fibonacci sequence satisfies Fn2Fn1Fn+1=(1)n1F_n^2 - F_{n-1} F_{n+1} = (-1)^{n-1} (Cassini's identity).
  15. Ex. 16.15Application
    Find an explicit formula for a1=1a_1 = 1, an+1=2ana_{n+1} = 2 a_n. (Geometric.)
  16. Ex. 16.16Application
    Sequence: a1=5a_1 = 5, an+1=an2a_{n+1} = a_n - 2. General term?
  17. Ex. 16.17Understanding
    Show by induction that an=2n1a_n = 2^n - 1 satisfies a1=1a_1 = 1, an+1=2an+1a_{n+1} = 2 a_n + 1.
  18. Ex. 16.18UnderstandingAnswer key
    Sequence a1=1a_1 = 1, an+1=(an+2/an)/2a_{n+1} = (a_n + 2/a_n)/2 (Newton's iteration for 2\sqrt 2). Compute a2,a3,a4a_2, a_3, a_4. Compare with 21,4142\sqrt 2 \approx 1{,}4142.
  19. Ex. 16.19Understanding
    Show that the sequence an+1=an22a_{n+1} = a_n^2 - 2 with a1=3a_1 = 3 blows up (goes to infinity).
  20. Ex. 16.20Understanding
    Model the sequence "number of pairs of rabbits in the nn-th month" (Fibonacci) and justify the recurrence.
  21. Ex. 16.21Understanding
    Show that an=(n+1)/na_n = (n+1)/n is decreasing and bounded below by 1.
  22. Ex. 16.22Understanding
    Show that an=21/na_n = 2 - 1/n is increasing and bounded above by 2.
  23. Ex. 16.23Understanding
    Is the sequence an=(1)nna_n = (-1)^n n bounded? Increasing?
  24. Ex. 16.24UnderstandingAnswer key
    Show that an=1/n2a_n = 1/n^2 is decreasing and bounded by 1.
  25. Ex. 16.25Understanding
    For which nn does an=1/n<0,001a_n = 1/n < 0{,}001 hold? (Answer: n>1,000n > 1{,}000.)
  26. Ex. 16.26Understanding
    Show that an=(1+1/n)na_n = (1 + 1/n)^n is increasing. (Hard — preview of the number ee.)
  27. Ex. 16.27UnderstandingAnswer key
    Is the sequence an=sin(n)a_n = \sin(n) bounded? Convergent?
  28. Ex. 16.28UnderstandingAnswer key
    For the sequence an=n/(n+1)a_n = n/(n+1), compute from which nn onward an>0,99a_n > 0{,}99.
  29. Ex. 16.29Understanding
    What value does an=1/na_n = 1/n "approach" as nn \to \infty?
  30. Ex. 16.30Understanding
    What value does an=(n+5)/na_n = (n + 5)/n "approach" as nn \to \infty?
  31. Ex. 16.31Understanding
    Does the sequence an=(1)na_n = (-1)^n converge? Justify intuitively.
  32. Ex. 16.32Understanding
    What value does an=(3n2+2)/(n2+1)a_n = (3n^2 + 2)/(n^2 + 1) approach?
  33. Ex. 16.33Understanding
    Is the sequence an=2na_n = 2^n convergent?
  34. Ex. 16.34UnderstandingAnswer key
    What does the sequence an=(1/2)na_n = (1/2)^n approach?
  35. Ex. 16.35ModelingAnswer key
    Model the temperature of a cooling coffee: Tn=900,9n+25T_n = 90 \cdot 0{,}9^n + 25 each minute. To which value does it tend?

Sources for this lesson

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

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