Subsection Arithmetic Sequences
Suppose you start a business selling prints of mathematical art. In week zero, you sell two prints. Each week after that, you sell four more prints than you did the previous week. How many prints will you sell in the
\(n\)th week?
We can easily compute the first few terms of the sequence: \(2, 6, 10, 14,\ldots\text{.}\) How do I know this is correct? From the problem, we see that to get from one term to the next, we must add 4. It is clear then that the recurrence relation for the sequence is
\begin{equation*}
a_n = a_{n-1} + 4\text{.}
\end{equation*}
The rate of growth for the sequence is the constant \(4\) since the difference between any two terms is 4 (note, we could write the recurrence relation as \(a_n - a_{n-1} = 4\)).
We call sequences with a
constant rate of change arithmetic sequences.
Now letβs find a closed formula for our sequence. The first term is \(a_0 = 2\text{.}\) To get \(a_1\text{,}\) we add \(4\text{.}\) The next term requires us to add \(4\) again, which means we have added \(4\) to our initial term twice. Then we add \(4\) again, for a total of three times for \(a_3\text{.}\) In fact, to get \(a_n\text{,}\) we will have added \(4\) to \(a_0\) a total of \(n\) times. Thus, the closed formula for the sequence is
\begin{equation*}
a_n = 2 + 4n\text{.}
\end{equation*}
This works for any arithmetic sequence. That is, any sequence with a constant difference will have a
linear closed formula, where the βslopeβ of the linear function is the common difference.
Arithmetic Sequences.
If the terms of a sequence differ by a constant, we say the sequence is
arithmetic. If the initial term (
\(a_0\)) of the sequence is
\(a\) and the
common difference is
\(d\text{,}\) then we have,
Recursive definition:
\(a_n = a_{n-1} + d\) with
\(a_0 = a\text{.}\)
Closed formula:
\(a_n = a + dn\text{.}\)
As we did for our example above, for the recursive definition, we need to specify \(a_0\text{.}\) Then we need to express \(a_n\) in terms of \(a_{n-1}\text{.}\) If we call the first term \(a\text{,}\) then \(a_0 = a\text{.}\) For the recurrence relation, by the definition of an arithmetic sequence, the difference between successive terms is some constant, say \(d\text{.}\) So \(a_n - a_{n-1} = d\text{,}\) or in other words,
\begin{equation*}
a_0 = a \qquad a_n = a_{n-1} + d\text{.}
\end{equation*}
Letβs now argue why the closed formula is correct. One way we could do this is by using a technique sometimes called
telescoping (a name which hopefully we become meaningful momentarily).
We write the recurrence relation in its difference form, \(a_n - a_{n-1} = d\) for all terms starting with \(a_1\) and going up to \(a_n\text{.}\) This gives the following:
\begin{align*}
a_1 - a_0 = \amp d\\
a_2 - a_1 = \amp d\\
a_3 - a_2 = \amp d\\
\vdots \amp \\
a_{n-1} - a_{n-2} = \amp d\\
a_n - a_{n-1} = \amp d\text{.}
\end{align*}
Now we add all \(n\) equations together.
On the right-hand side, we have added
\(d\) to itself
\(n\) times, so the sum is
\(d\cdot n\text{.}\)
On the left-hand side, we get the sum:
\begin{equation*}
(a_1 - a_0) + (a_2 - a_1) + (a_3 - a_2) + \cdots + (a_{n-1} - a_{n-2}) + (a_n - a_{n-1})\text{.}
\end{equation*}
But look what happens when we regroup and cancel like terms:
\begin{equation*}
\cancel{a_1} - a_0 + \cancel{a_2} - \cancel{a_1} + \cancel{a_3} - \cancel{a_2} + \cdots + \cancel{a_{n-1}} - \cancel{a_{n-2}} + a_n - \cancel{a_{n-1}} = a_n - a_0\text{.}
\end{equation*}
The sum telescopes down to be nice and compact for easy storage.
Putting the two sides together gives us
\begin{equation*}
a_n - a_0 = d \cdot n
\end{equation*}
which becomes
\begin{equation*}
a_n = a_0 + d \cdot n
\end{equation*}
as we claimed.
The telescoping we did above is useful in other contexts (see
ExerciseΒ 6), but now that we have established a general form of the closed formula, we can apply it to any arithmetic sequence.
Example 4.2.1.
Find recursive definitions and closed formulas for the arithmetic sequences below. Assume the first term listed is
\(a_0\text{.}\)
-
\(2, 5, 8, 11, 14, \ldots\text{.}\)
-
\(50, 43, 36, 29, \ldots\text{.}\)
Solution.
First we should check that these sequences really are arithmetic by taking differences of successive terms. Doing so will reveal the common difference
\(d\text{.}\)
-
\(5-2 = 3\text{,}\) \(8-5 = 3\text{,}\) etc. To get from each term to the next, we add three, so \(d = 3\text{.}\) The recursive definition is therefore \(a_n = a_{n-1} + 3\) with \(a_0 = 2\text{.}\) The closed formula is \(a_n = 2 + 3n\text{.}\)
-
Here the common difference is
\(-7\text{,}\) since we add
\(-7\) to 50 to get 43, and so on. Thus we have a recursive definition of
\(a_n = a_{n-1} - 7\) with
\(a_0 = 50\text{.}\) The closed formula is
\(a_n = 50 - 7n\text{.}\)
Subsection Geometric Sequences
What about sequences like
\(3, 6, 12, 24, 48, \ldots\text{?}\) This is not arithmetic because the difference between terms is not constant. However, the
ratio between successive terms is constant:
\(\frac{6}{3} = \frac{12}{6} = \frac{24}{12} = \cdots = 2\) We call such sequences
geometric.
Recognizing that the sequence is geometric lets us easily write down a recursive definition.
\(a_n = 2 a_{n-1}\text{,}\) with
\(a_0 = 3\text{.}\)
A closed formula is also not difficult to reason out. How do we get the term
\(a_3\) for example? We start with
\(3\text{,}\) then multiply by 2 to get
\(a_1\text{,}\) multiply by
\(2\) again to get
\(a_2\text{,}\) and multiply by
\(2\) a third time to get
\(a_3\text{.}\) So we multiplied
\(3\) by
\(2\) a total of three times, or
\(a_3 = 3\cdot 2^3\text{.}\) It looks like
\(a_n = 3\cdot 2^n\text{.}\)
In general, the recursive definition for the geometric sequence with initial term \(a\) and common ratio \(r\) will be
\begin{equation*}
a_n = a_{n-1}\cdot r; a_0 = a\text{.}
\end{equation*}
To get the next term we multiply the previous term by \(r\text{.}\)
For the general closed formula, we could try something like telescoping again, although we would need to cancel fractions. Instead, letβs illustrate another technique for solving recurrence relations called iteration. The idea here is that we work our way up to \(a_n\) and notice the pattern. Write
\begin{align*}
a_0 \amp = a\\
a_1 \amp = a_0\cdot r\\
a_2 \amp = a_1 \cdot r = a_0\cdot r\cdot r = a_0\cdot r^2\\
a_3 \amp = a_2 \cdot r = a_0 \cdot r^2 \cdot r = a_0 \cdot r^3\\
\amp \vdots\\
a_n \amp = a_{n-1} \cdot r = a_0 \cdot r^{n-1}\cdot r = a_0 r^n\text{.}
\end{align*}
We must multiply the first term \(a\) by \(r\) a number of times, \(n\) times to be precise. We get \(a_n = a\cdot r^{n}\text{.}\)
Geometric Sequences.
A sequence is called
geometric if the ratio between successive terms is constant. Suppose the initial term
\(a_0\) is
\(a\) and the
common ratio is
\(r\text{.}\) Then we have,
Recursive definition:
\(a_n = ra_{n-1}\) with
\(a_0 = a\text{.}\)
Closed formula:
\(a_n = a\cdot r^{n}\text{.}\)
Example 4.2.2.
Find the recursive and closed formula for the geometric sequences below. Again, the first term listed is \(a_0\text{.}\)
-
\(\displaystyle 3, 6, 12, 24, 48, \ldots\)
-
\(\displaystyle 27, 9, 3, 1, 1/3, \ldots\)
Solution.
Start by checking that these sequences really are geometric by dividing each term by its previous term. If this ratio really is constant, we will have found \(r\text{.}\)
-
\(6/3 = 2\text{,}\) \(12/6 = 2\text{,}\) \(24/12 = 2\text{,}\) etc. Yes, to get from any term to the next, we multiply by \(r = 2\text{.}\) So the recursive definition is \(a_n = 2a_{n-1}\) with \(a_0 = 3\text{.}\) The closed formula is \(a_n = 3\cdot 2^{n}\text{.}\)
-
The common ratio is
\(r = 1/3\text{.}\) So the sequence has recursive definition
\(a_n = \frac{1}{3}a_{n-1}\) with
\(a_0 = 27\) and closed formula
\(a_n = 27\cdot \frac{1}{3}^{n}\text{.}\)
Geometric sequences are those which have a growth rate that is
proportional to the sequence itself. Just like you might have seen in calculus, it is exactly the exponential functions that have this property.
In the examples and formulas above, we assumed that the
initial term was
\(a_0\text{.}\) If your sequence starts with
\(a_1\text{,}\) you can easily find the term that would have been
\(a_0\) and use that in the formula. For example, if we want a formula for the sequence
\(2, 5, 8,\ldots\) and insist that
\(2= a_1\text{,}\) then we can find
\(a_0 = -1\) (since the sequence is arithmetic with common difference 3, we have
\(a_0 + 3 = a_1\)). Then the closed formula will be
\(a_n = -1 + 3n\text{.}\)
Subsection Beyond Arithmetic and Geometric Sequences
Look at the sequence
\((T_n)_{n\ge 1}\) which starts
\(1, 3, 6, 10, 15,\ldots\text{.}\) These are called the
triangular numbers since they represent the number of dots in an equilateral triangle (think of how you arrange 10 bowling pins: a row of 4 plus a row of 3 plus a row of 2 and a row of 1).
Is this sequence arithmetic? No, since
\(3-1 = 2\) and
\(6-3 = 3 \ne 2\text{,}\) so there is no common difference. Is the sequence geometric? No.
\(3/1 = 3\) but
\(6/3 = 2\text{,}\) so there is no common ratio. What to do?
Notice that the
differences between terms
do form an arithmetic sequence:
\(2, 3, 4, 5, 6,\ldots\text{.}\) In other words, the rate of change of this sequence is arithmetic:
\(T_n - T_{n-1} = n\text{,}\) which immediately gives us the recurrence relation
\(T_n = T_{n-1} + n\text{.}\)
Another way to think of this is that the
\(n\)th term of the sequence
\((T_n)\) is the
sum of the first
\(n\) terms in the sequence
\(1,2,3,4,5,\ldots\text{.}\) Thus
\((T_n)\) is the
sequence of partial sums of the sequence
\(1,2,3,\ldots\) (
partial sums because we are not taking the sum of all infinitely many terms).
This should become clearer if we expand the recurrence relation to write the triangular numbers like this:
\begin{align*}
T_1 = 1 \amp = 1\\
T_2 = 3 \amp = 1+2\\
T_3 = 6 \amp = 1 + 2 + 3\\
T_4 = 10 \amp = 1+ 2 + 3+ 4\\
\vdots \amp \qquad \vdots\\
T_n \amp = 1 + 2 + 3 + \cdots + n\text{.}
\end{align*}
We are really using iteration here. We could also have seen this by using telescoping, taking \(T_0 = 0\text{:}\)
\begin{align*}
T_1-T_0 = \amp 1\\
T_2 - T_1 = \amp 2\\
T_3 - T_2 = \amp 3\\
\vdots \amp \\
T_n - T_{n-1} = \amp n\text{.}
\end{align*}
Summing these equations, the right-hand side becomes \(1+2+3+\cdots + n\text{;}\) the left-hand side cancels to leave just \(T_n - T_0 = T_n\text{.}\)
If we know how to add up the terms of an arithmetic sequence, we can find a closed formula for a sequence whose differences are the terms of that arithmetic sequence. Consider how we could find the sum of the first 100 positive integers (that is,
\(T_{100}\)). Instead of adding them in order, we regroup and add
\(1+100 = 101\text{.}\) The next pair to combine is
\(2+99 = 101\text{.}\) Then
\(3+98 = 101\text{.}\) Keep going. This gives 50 pairs which each add up to
\(101\text{,}\) so
\(T_{100} = 101\cdot 50 = 5050\text{.}\)This insight is usually attributed to Carl Friedrich Gauss, one of the greatest mathematicians of all time, who discovered it as a child when his unpleasant elementary teacher thought he would keep the class busy by requiring them to compute the lengthy sum.
In general, using this same sort of regrouping, we find that
\(T_n = \frac{n(n+1)}{2}\text{.}\) Incidentally, this is exactly the same as
\({n+1 \choose 2}\text{,}\) which makes sense if you think of the triangular numbers as counting the number of handshakes that take place at a party with
\(n+1\) people: the first person shakes
\(n\) hands, the next shakes an additional
\(n-1\) hands and so on.
The point of all of this is that some sequences, while not arithmetic or geometric, can be interpreted as the sequence of partial sums of arithmetic and geometric sequences. Luckily there are methods we can use to compute these sums quickly, which we will explore in the next two sections.