2.2: Arithmetic and Geometric Sequences
- Page ID
- 15325
\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)
\( \newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\)
( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\)
\( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)
\( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\)
\( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)
\( \newcommand{\Span}{\mathrm{span}}\)
\( \newcommand{\id}{\mathrm{id}}\)
\( \newcommand{\Span}{\mathrm{span}}\)
\( \newcommand{\kernel}{\mathrm{null}\,}\)
\( \newcommand{\range}{\mathrm{range}\,}\)
\( \newcommand{\RealPart}{\mathrm{Re}}\)
\( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)
\( \newcommand{\Argument}{\mathrm{Arg}}\)
\( \newcommand{\norm}[1]{\| #1 \|}\)
\( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)
\( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\AA}{\unicode[.8,0]{x212B}}\)
\( \newcommand{\vectorA}[1]{\vec{#1}} % arrow\)
\( \newcommand{\vectorAt}[1]{\vec{\text{#1}}} % arrow\)
\( \newcommand{\vectorB}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vectorC}[1]{\textbf{#1}} \)
\( \newcommand{\vectorD}[1]{\overrightarrow{#1}} \)
\( \newcommand{\vectorDt}[1]{\overrightarrow{\text{#1}}} \)
\( \newcommand{\vectE}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash{\mathbf {#1}}}} \)
\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)
\(\newcommand{\avec}{\mathbf a}\) \(\newcommand{\bvec}{\mathbf b}\) \(\newcommand{\cvec}{\mathbf c}\) \(\newcommand{\dvec}{\mathbf d}\) \(\newcommand{\dtil}{\widetilde{\mathbf d}}\) \(\newcommand{\evec}{\mathbf e}\) \(\newcommand{\fvec}{\mathbf f}\) \(\newcommand{\nvec}{\mathbf n}\) \(\newcommand{\pvec}{\mathbf p}\) \(\newcommand{\qvec}{\mathbf q}\) \(\newcommand{\svec}{\mathbf s}\) \(\newcommand{\tvec}{\mathbf t}\) \(\newcommand{\uvec}{\mathbf u}\) \(\newcommand{\vvec}{\mathbf v}\) \(\newcommand{\wvec}{\mathbf w}\) \(\newcommand{\xvec}{\mathbf x}\) \(\newcommand{\yvec}{\mathbf y}\) \(\newcommand{\zvec}{\mathbf z}\) \(\newcommand{\rvec}{\mathbf r}\) \(\newcommand{\mvec}{\mathbf m}\) \(\newcommand{\zerovec}{\mathbf 0}\) \(\newcommand{\onevec}{\mathbf 1}\) \(\newcommand{\real}{\mathbb R}\) \(\newcommand{\twovec}[2]{\left[\begin{array}{r}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\ctwovec}[2]{\left[\begin{array}{c}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\threevec}[3]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\cthreevec}[3]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\fourvec}[4]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\cfourvec}[4]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\fivevec}[5]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\cfivevec}[5]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\mattwo}[4]{\left[\begin{array}{rr}#1 \amp #2 \\ #3 \amp #4 \\ \end{array}\right]}\) \(\newcommand{\laspan}[1]{\text{Span}\{#1\}}\) \(\newcommand{\bcal}{\cal B}\) \(\newcommand{\ccal}{\cal C}\) \(\newcommand{\scal}{\cal S}\) \(\newcommand{\wcal}{\cal W}\) \(\newcommand{\ecal}{\cal E}\) \(\newcommand{\coords}[2]{\left\{#1\right\}_{#2}}\) \(\newcommand{\gray}[1]{\color{gray}{#1}}\) \(\newcommand{\lgray}[1]{\color{lightgray}{#1}}\) \(\newcommand{\rank}{\operatorname{rank}}\) \(\newcommand{\row}{\text{Row}}\) \(\newcommand{\col}{\text{Col}}\) \(\renewcommand{\row}{\text{Row}}\) \(\newcommand{\nul}{\text{Nul}}\) \(\newcommand{\var}{\text{Var}}\) \(\newcommand{\corr}{\text{corr}}\) \(\newcommand{\len}[1]{\left|#1\right|}\) \(\newcommand{\bbar}{\overline{\bvec}}\) \(\newcommand{\bhat}{\widehat{\bvec}}\) \(\newcommand{\bperp}{\bvec^\perp}\) \(\newcommand{\xhat}{\widehat{\xvec}}\) \(\newcommand{\vhat}{\widehat{\vvec}}\) \(\newcommand{\uhat}{\widehat{\uvec}}\) \(\newcommand{\what}{\widehat{\wvec}}\) \(\newcommand{\Sighat}{\widehat{\Sigma}}\) \(\newcommand{\lt}{<}\) \(\newcommand{\gt}{>}\) \(\newcommand{\amp}{&}\) \(\definecolor{fillinmathshade}{gray}{0.9}\)
\( \def\d{\displaystyle}\)
\( \newcommand{\f}[1]{\mathfrak #1}\)
\( \newcommand{\s}[1]{\mathscr #1}\)
\( \def\N{\mathbb N}\)
\( \def\B{\mathbf{B}}\)
\( \def\circleA{(-.5,0) circle (1)}\)
\( \def\Z{\mathbb Z}\)
\( \def\circleAlabel{(-1.5,.6) node[above]{$A$}}\)
\( \def\Q{\mathbb Q}\)
\( \def\circleB{(.5,0) circle (1)}\)
\( \def\R{\mathbb R}\)
\( \def\circleBlabel{(1.5,.6) node[above]{$B$}}\)
\( \def\C{\mathbb C}\)
\( \def\circleC{(0,-1) circle (1)}\)
\( \def\F{\mathbb F}\)
\( \def\circleClabel{(.5,-2) node[right]{$C$}}\)
\( \def\A{\mathbb A}\)
\( \def\twosetbox{(-2,-1.5) rectangle (2,1.5)}\)
\( \def\X{\mathbb X}\)
\( \def\threesetbox{(-2,-2.5) rectangle (2,1.5)}\)
\( \def\E{\mathbb E}\)
\( \def\O{\mathbb O}\)
\( \def\U{\mathcal U}\)
\( \def\pow{\mathcal P}\)
\( \def\inv{^{-1}}\)
\( \def\nrml{\triangleleft}\)
\( \def\st{:}\)
\( \def\~{\widetilde}\)
\( \def\rem{\mathcal R}\)
\( \def\sigalg{$\sigma$-algebra }\)
\( \def\Gal{\mbox{Gal}}\)
\( \def\iff{\leftrightarrow}\)
\( \def\Iff{\Leftrightarrow}\)
\( \def\land{\wedge}\)
\( \def\And{\bigwedge}\)
\( \def\entry{\entry}\)
\( \def\AAnd{\d\bigwedge\mkern-18mu\bigwedge}\)
\( \def\Vee{\bigvee}\)
\( \def\VVee{\d\Vee\mkern-18mu\Vee}\)
\( \def\imp{\rightarrow}\)
\( \def\Imp{\Rightarrow}\)
\( \def\Fi{\Leftarrow}\)
\( \def\var{\mbox{var}}\)
\( \def\Th{\mbox{Th}}\)
\( \def\entry{\entry}\)
\( \def\sat{\mbox{Sat}}\)
\( \def\con{\mbox{Con}}\)
\( \def\iffmodels{\bmodels\models}\)
\( \def\dbland{\bigwedge \!\!\bigwedge}\)
\( \def\dom{\mbox{dom}}\)
\( \def\rng{\mbox{range}}\)
\( \def\isom{\cong}\)
\(\DeclareMathOperator{\wgt}{wgt}\)
\( \newcommand{\vtx}[2]{node[fill,circle,inner sep=0pt, minimum size=4pt,label=#1:#2]{}}\)
\( \newcommand{\va}[1]{\vtx{above}{#1}}\)
\( \newcommand{\vb}[1]{\vtx{below}{#1}}\)
\( \newcommand{\vr}[1]{\vtx{right}{#1}}\)
\( \newcommand{\vl}[1]{\vtx{left}{#1}}\)
\( \renewcommand{\v}{\vtx{above}{}}\)
\( \def\circleA{(-.5,0) circle (1)}\)
\( \def\circleAlabel{(-1.5,.6) node[above]{$A$}}\)
\( \def\circleB{(.5,0) circle (1)}\)
\( \def\circleBlabel{(1.5,.6) node[above]{$B$}}\)
\( \def\circleC{(0,-1) circle (1)}\)
\( \def\circleClabel{(.5,-2) node[right]{$C$}}\)
\( \def\twosetbox{(-2,-1.4) rectangle (2,1.4)}\)
\( \def\threesetbox{(-2.5,-2.4) rectangle (2.5,1.4)}\)
\( \def\ansfilename{practice-answers}\)
\( \def\shadowprops{ {fill=black!50,shadow xshift=0.5ex,shadow yshift=0.5ex,path fading={circle with fuzzy edge 10 percent}} }\)
\( \renewcommand{\bar}{\overline}\)
\( \newcommand{\card}[1]{\left| #1 \right|}\)
\( \newcommand{\twoline}[2]{\begin{pmatrix}#1 \\ #2 \end{pmatrix}}\)
\( \newcommand{\lt}{<}\)
\( \newcommand{\gt}{>}\)
\( \newcommand{\amp}{&}\)
\( \newcommand{\hexbox}[3]{
\def\x{-cos{30}*\r*#1+cos{30}*#2*\r*2}
\def\y{-\r*#1-sin{30}*\r*#1}
\draw (\x,\y) +(90:\r) -- +(30:\r) -- +(-30:\r) -- +(-90:\r) -- +(-150:\r) -- +(150:\r) -- cycle;
\draw (\x,\y) node{#3};
}\)
\(\renewcommand{\bar}{\overline}\)
\(\newcommand{\card}[1]{\left| #1 \right|}\)
\(\newcommand{\twoline}[2]{\begin{pmatrix}#1 \\ #2 \end{pmatrix}}\)
\(\newcommand{\lt}{<}\)
\(\newcommand{\gt}{>}\)
\(\newcommand{\amp}{&}\)
Investigate!
For the patterns of dots below, draw the next pattern in the sequence. Then give a recursive definition and a closed formula for the number of dots in the \(n\)th pattern.
We now turn to the question of finding closed formulas for particular types of sequences.
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{.}\)
How do we know this? 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. \end{equation*}
To find a closed formula, first write out the sequence in general:
\begin{align*} a_0 & = a\\ a_1 & = a_0 + d = a+d\\ a_2 & = a_1 + d = a+d+d = a+2d\\ a_3 & = a_2 + d = a+2d+d = a+3d\\ & \vdots \end{align*}
We see that to find the \(n\)th term, we need to start with \(a\) and then add \(d\) a bunch of times. In fact, add it \(n\) times. Thus \(a_n = a+dn\text{.}\)
Example \(\PageIndex{1}\)
Find recursive definitions and closed formulas for the 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{.}\)
The recursive definition for the geometric sequence with initial term \(a\) and common ratio \(r\) is \(a_n = a_{n}\cdot r; a_0 = a\text{.}\) To get the next term we multiply the previous term by \(r\text{.}\) We can find the closed formula like we did for the arithmetic progression. Write
\begin{align*} a_0 & = a\\ a_1 & = a_0\cdot r\\ a_2 & = a_1 \cdot r = a_0\cdot r\cdot r = a_0\cdot r^2\\ & \vdots \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 \(\PageIndex{3}\)
Find the recursive and closed formula for the sequences below. Again, the first term listed is \(a_0\text{.}\)
- \(3, 6, 12, 24, 48, \ldots\)
- \(27, 9, 3, 1, 1/3, \ldots\)
- Solution
-
Again, we should first check that these sequences really are geometric, this time by dividing each term by its previous term. Assuming this ratio 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{.}\)
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{.}\)
If you look at other textbooks or online, you might find that their closed formulas for arithmetic and geometric sequences differ from ours. Specifically, you might find the formulas \(a_n = a +(n-1)d\) (arithmetic) and \(a_n = a\cdot r^{n-1}\) (geometric). Which is correct? Both! In our case, we take \(a\) to be \(a_0\text{.}\) If instead we had \(a_1\) as our initial term, we would get the (slightly more complicated) formulas you find elsewhere.
Sums of Arithmetic and Geometric Sequences
Investigate!
Your neighborhood grocery store has a candy machine full of Skittles.
-
Suppose that the candy machine currently holds exactly 650 Skittles, and every time someone inserts a quarter, exactly 7 Skittles come out of the machine.
-
How many Skittles will be left in the machine after 20 quarters have been inserted?
-
Will there ever be exactly zero Skittles left in the machine? Explain.
-
-
What if the candy machine gives 7 Skittles to the first customer who put in a quarter, 10 to the second, 13 to the third, 16 to the fourth, etc. How many Skittles has the machine given out after 20 quarters are put into the machine?
-
Now, what if the machine gives 4 Skittles to the first customer, 7 to the second, 12 to the third, 19 to the fourth, etc. How many Skittles has the machine given out after 20 quarters are put into the machine?
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 form an arithmetic sequence: \(2, 3, 4, 5, 6,\ldots\text{.}\) This says that the \(n\)th term of the sequence \(1,3,6,10,15,\ldots\) is the sum of the first \(n\) terms in the sequence \(1,2,3,4,5,\ldots\text{.}\) We say that the first sequence is the sequence of partial sums of the second sequence (partial sums because we are not taking the sum of all infinitely many terms). If we know how to add up the terms of an arithmetic sequence, we could use this to find a closed formula for a sequence whose differences are the terms of that arithmetic sequence.
This should become clearer if we write the triangular numbers like this:
\begin{align*} 1 & = 1\\ 3 & = 1+2\\ 6 & = 1 + 2 + 3\\ 10 & = 1+2 + 3+ 4\\ \vdots & \qquad \vdots\\ T_n & = 1 + 2 + 3 + \cdots + n. \end{align*}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{.}\) 1 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.
Summing Arithmetic Sequences: Reverse and Add
Here is a technique that allows us to quickly find the sum of an arithmetic sequence.
Example \(\PageIndex{4}\)
Find the sum: \(2 + 5 + 8 + 11 + 14 + \cdots + 470\text{.}\)
- Solution
-
The idea is to mimic how we found the formula for triangular numbers. If we add the first and last terms, we get 472. The second term and second-to-last term also add up to 472. To keep track of everything, we might express this as follows. Call the sum \(S\text{.}\) Then,
\(S =\) \(2\) \(+\) \(5\) \(+\) \(8\) \(+ \cdots +\) \(467\) \(+\) 470 \(+ \quad S =\) \(470\) \(+\) \(467\) \(+\) \(464\) \(+ \cdots +\) \(5\) \(+\) 2 \(2S =\) \(472\) \(+\) \(472\) \(+\) \(472\) \(+ \cdots +\) \(472\) \(+\) \(472\) To find \(2S\) then we add 472 to itself a number of times. What number? We need to decide how many terms (summands) are in the sum. Since the terms form an arithmetic sequence, the \(n\)th term in the sum (counting \(2\) as the 0th term) can be expressed as \(2 + 3n\text{.}\) If \(2 + 3n = 470\) then \(n = 156\text{.}\) So \(n\) ranges from 0 to 156, giving 157 terms in the sum. This is the number of 472's in the sum for \(2S\text{.}\) Thus
\begin{equation*} 2S = 157\cdot 472 = 74104 \end{equation*}It is now easy to find \(S\text{:}\)
\begin{equation*} S = 74104/2 = 37052 \end{equation*}
This will work for any sum of arithmetic sequences. Call the sum \(S\text{.}\) Reverse and add. This produces a single number added to itself many times. Find the number of times. Multiply. Divide by 2. Done.
Example \(\PageIndex{5}\)
Find a closed formula for \(6 + 10 + 14 + \cdots + (4n - 2)\text{.}\)
- Solution
-
Again, we have a sum of an arithmetic sequence. We need to know how many terms are in the sequence. Clearly each term in the sequence has the form \(4k -2\) (as evidenced by the last term). For which values of \(k\) though? To get 6, \(k = 2\text{.}\) To get \(4n-2\) take \(k = n\text{.}\) So to find the number of terms, we need to know how many integers are in the range \(2,3,\ldots, n\text{.}\) The answer is \(n-1\text{.}\) (There are \(n\) numbers from 1 to \(n\text{,}\) so one less if we start with 2.)
Now reverse and add:
\(S =\) \(6\) \(+\) \(10\) \(+ \cdots +\) \(4n-6\) \(+\) \(4n-2\) \(+ \quad S =\) \(4n-2\) \(+\) \(4n-6\) \(+ \cdots +\) \(10\) \(+\) 6 \(2S =\) \(4n+4\) \(+\) \(4n+4\) \(+ \cdots +\) \(4n+4\) \(+\) \(4n+4\) Since there are \(n-2\) terms, we get
\begin{equation*} 2S = (n-2)(4n+4)\qquad \mbox{ so } \qquad S = \frac{(n-2)(4n+4)}{2} \end{equation*}
Besides finding sums, we can use this technique to find closed formulas for sequences we recognize as sequences of partial sums.
Example \(\PageIndex{6}\)
Use partial sums to find a closed formula for \((a_n)_{n\ge 0}\) which starts \(2, 3, 7, 14, 24, 37,\ldots \ldots\)
- Solution
-
First, if you look at the differences between terms, you get a sequence of differences: \(1,4,7,10,13, \ldots\text{,}\) which is an arithmetic sequence. Written another way:
\begin{align*} a_0 & = 2\\ a_1 & = 2+1\\ a_2 & = 2+1+4\\ a_3 & = 2+1+4+7 \end{align*}and so on. We can write the general term of \((a_n)\) in terms of the arithmetic sequence as follows:
\begin{equation*} a_n = 2 + 1 + 4 + 7 + 10 + \cdots + (1+3(n-1)) \end{equation*}(we use \(1+3(n-1)\) instead of \(1+3n\) to get the indices to line up correctly; for \(a_3\) we add up to 7, which is \(1+3(3-1)\)).
We can reverse and add, but the initial 2 does not fit our pattern. This just means we need to keep the 2 out of the reverse part:
\(a_n =\) \(2\) \(+\) \(1\) \(+\) \(4\) \(+ \cdots +\) \(1+3(n-1)\) \(+ ~ a_n =\) \(2\) \(+\) \(1+3(n-1)\) \(+\) \(1+3(n-2)\) \(+ \cdots +\) \(1\) \(2a_n =\) \(4\) \(+\) \(2+3(n-1)\) \(+\) \(2+3(n-1)\) \(+ \cdots +\) \(2+3(n-1)\) Not counting the first term (the 4) there are \(n\) summands of \(2+3(n-1) = 3n-1\) so the right-hand side becomes \(2+(3n-1)n\text{.}\)
Finally, solving for \(a_n\) we get
\begin{equation*} a_n = \d \frac{4+(3n-1)n}{2}. \end{equation*}Just to be sure, we check \(a_0 = \frac{4}{2} = 2\text{,}\) \(a_1 = \frac{4+2}{2} = 3\text{,}\) etc. We have the correct closed formula.
Summing Geometric Sequences: Multiply, Shift and Subtract
To find the sum of a geometric sequence, we cannot just reverse and add. Do you see why? The reason we got the same term added to itself many times is because there was a constant difference. So as we added that difference in one direction, we subtracted the difference going the other way, leaving a constant total. For geometric sums, we have a different technique.
Example \(\PageIndex{7}\)
What is \(3 + 6 + 12 + 24 + \cdots + 12288\text{?}\)
- Solution
-
Multiply each term by 2, the common ratio. You get \( 2S = 6 + 12 + 24 + \cdots + 24576 \text{.} \) Now subtract: \(2S - S = -3 + 24576 = 24573\text{.}\) Since \(2S - S = S\text{,}\) we have our answer.
To better see what happened in the above example, try writing it this way:
\(S=\) \(3 \, +\) \(6 + 12 + 24 + \cdots + 12288\) \(-~2S=\) \(6 + 12 + 24 + \cdots + 12288\) \(+ 24576\) \(-S = \) \(3 \, +\) \(0 + 0 + 0 + \cdots + 0 \) \(-24576\) Then divide both sides by \(-1\) and we have the same result for \(S\text{.}\) The idea is, by multiplying the sum by the common ratio, each term becomes the next term. We shift over the sum to get the subtraction to mostly cancel out, leaving just the first term and new last term.
Example \(\PageIndex{8}\)
Find a closed formula for \(S(n) = 2 + 10 + 50 + \cdots + 2\cdot 5^n\text{.}\)
- Solution
-
The common ratio is 5. So we have
\(S\) \(= 2 + 10 + 50 + \cdots + 2\cdot 5^n\) \(-~~5S\) \(= ~~~~~~10 + 50 + \cdots + 2\cdot 5^n + 2\cdot5^{n+1}\) \(-4S\) \(= 2 - 2\cdot5^{n+1}\) Thus \(S = \dfrac{2-2\cdot 5^{n+1}}{-4}\)
Even though this might seem like a new technique, you have probably used it before.
Example \(\PageIndex{9}\)
Express \(0.464646\ldots\) as a fraction.
- Solution
-
Let \(N = 0.46464646\ldots\text{.}\) Consider \(0.01N\text{.}\) We get:
\(N =\) \(0.4646464\ldots\) \(-\) \(0.01N =\) \(0.00464646\ldots\) \(0.99N =\) \(0.46\) So \(N = \frac{46}{99}\text{.}\) What have we done? We viewed the repeating decimal \(0.464646\ldots\) as a sum of the geometric sequence \(0.46, 0.0046, 0.000046, \ldots\) The common ratio is \(0.01\text{.}\) The only real difference is that we are now computing an infinite geometric sum, we do not have the extra “last” term to consider. Really, this is the result of taking a limit as you would in calculus when you compute infinite geometric sums.
\(\sum\) and \(\prod\) notation
To simplify writing out sums, we will use notation like \(\d\sum_{k=1}^n a_k\text{.}\) This means add up the \(a_k\)'s where \(k\) changes from 1 to \(n\text{.}\)
Example \(\PageIndex{10}\)
Use \(\sum\) notation to rewrite the sums:
- \(1 + 2 + 3 + 4 + \cdots + 100\)
- \(1 + 2 + 4 + 8 + \cdots + 2^{50}\)
- \(6 + 10 + 14 + \cdots + (4n - 2)\text{.}\)
- Solution
-
\(\d\sum_{k=1}^{100} k\) \(\d\sum_{k=0}^{50} 2^k\) \(\d\sum_{k=2}^{n} (4k -2)\)
If we want to multiply the \(a_k\) instead, we would write \(\d\prod_{k=1}^n a_k\text{.}\) For example, \(\d\prod_{k=1}^n k = n!\text{.}\)