Lesson 8

The $n^{\text{th}}$ Term

  • Let’s see how to find terms of sequences directly.

8.1: Which One Doesn’t Belong: Repeated Operations

Which one doesn’t belong?

A. \(5+2+2+2+2+2+2\)

B. \(5+6 \boldcdot 2\)

C. \(5 \boldcdot 2^6\)

D. \(5 \boldcdot 2\boldcdot 2\boldcdot 2\boldcdot 2\boldcdot 2\boldcdot 2\)

8.2: More Paper Slicing

  1. Clare takes a piece of paper with length 8 inches and width 10 inches and cuts it in half. Then she cuts it in half again, and again. . .
    1. Instead of writing a recursive definition, Clare writes \(C(n) = 80 \boldcdot \left(\frac 1 2\right)^n\), where \(C\) is the area, in square inches, of the paper after \(n\) cuts. Explain where the different terms in her expression came from.
    2. Approximately what is the area of the paper after 10 cuts?
  2. Kiran takes a piece of paper with length 8 inches and width 10 inches and cuts away one inch of the width. Then he does it again, and again. . .
    1. Complete the table for the area of Kiran’s paper \(K(n)\), in square inches, after \(n\) cuts.
      \(n\) \(K(n)\)
      0 80
      1
      2 \(80-8-8=80-8(2)=64\)
      3
      4
      5
    2. Kiran says the area after 6 cuts, in square inches, is \(80 - 8 \boldcdot 6\). Explain where the different terms in his expression came from.
    3. Write a definition for \(K(n)\) that is not recursive.
  3. Which is larger, \(K(6)\) or \(C(6)\)?

8.3: A Sierpinski Triangle

A Sierpinski triangle can be created by starting with an equilateral triangle, breaking the triangle into 4 congruent equilateral triangles, and then removing the middle triangle. Starting from a single black equilateral triangle:

A pattern of congruent equilateral triangles.
  1. Let \(S\) be the number of black triangles in Step \(n\). Define \(S(n)\) recursively.
  2. Andre and Lin are asked to write an equation for \(S\) that isn't recursive. Andre writes \(S(n)=3^n\) for \(n\ge0\) while Lin writes \(S(n)=3^{n-1}\) for \(n\ge 1\). Whose equation do you think is correct? Explain or show your reasoning.


Here is a geometric sequence. Find the missing terms.

3, ____, 6, ____, 12, ____, 24

Summary

Here’s an arithmetic sequence \(f\): 6, 10, 14, 18, 22, . . . . In this sequence, each term is 4 more than the previous term. One recursive definition of this sequence is \(f(1)=6\), for \(f(n)=f(n-1)+4\) for \(n\ge2\). We could also write \(f(0)=6,\) \(f(n)=f(n-1)+4,\) for \(n\ge1\) since it generates the same sequence. Neither of these definitions is better than the other, we just have to remember how we chose to define the “first term” of the sequence: \(f(1)\) or \(f(0)\). Let's use \(f(1)\) for now.

While defining a sequence recursively works to calculate the current term from the previous, if we wanted to calculate, say, \(f(100)\), it would mean calculating all the terms up to \(f(99)\) to get there! Let's think of a better way.

Since we know that each term has an increasing number of fours, we could write the terms of \(f\) organized in a table like the one shown here.

\(n\) \(f(n)\)
1 \(6+0=6+4(0)=6\)
2 \(6+4=6+4(1)=10\)
3 \(6+4+4=6+4(2)=14\)
4 \(6+4+4+4=6+4(3)=18\)
5 \(6+4+4+4+4=6+4(4)=22\)

Looking carefully at the pattern in the table, we can say that for the \(n^{\text{th}}\) term \(f(n)=6+4(n-1)\) for \(n\ge1.\) This is sometimes called an explicit or closed-form definition of a sequence, but it's really just a way to calculate the value of the \(n^{\text{th}}\) term without having to calculate all the terms that came before it. Need to know \(f(100)\)? Just compute \(6+4(100-1).\) Defining an arithmetic sequence this way takes advantage of the fact that this type of sequence is a linear function with a starting value (in this case 6) and rate of change (in this case 4). If we had decided to start the sequence at \(n=0\) so that \(f(0)=6,\) we would have written the equation for the \(n^{\text{th}}\) term as \(f(n)=6+4(n)\) for \(n\ge0.\)

Geometric sequences behave the same way, but with repeated multiplication. The geometric sequence \(g\): 3, 15, 75, 375, . . . can be written as \(3,3\boldcdot5,3\boldcdot5\boldcdot5, 3\boldcdot5\boldcdot5\boldcdot5, . . .\) This means if \(g(0)=3\), we can define the \(n^{\text{th}}\) term directly as \(g(n)=3\boldcdot5^n.\)