# 3.2: ArithmeticSequences, Geometric Sequences : Visual Reasoning, and Proof by Induction

- Page ID
- 4863

\( \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}\)## Arithmetic Sequences

##### Definition

**Arithmetic sequences** are patterns of numbers that increase (or decrease) by a set amount each time when you advance to a new term. You can determine the next term by adding the difference between any two terms to the final one to generate the next term. Let \(a\) be the initial term and \(d\) be the difference, then the \( n^{th}\) term of the arithmetic sequence can be expressed as \(t_n = a + (n - 1)d\).

##### Example \(\PageIndex{1}\):

\(n\) | \(n^{th}\) Term \(=t_n\) | \(t_n - t_{(n - 1)}\) |

5 | 11 | 2 |

6 | 13 | 2 |

7 | 15 | 2 |

8 | 17 | 2 |

As you can see, this sequence's terms increase by 2 each time.

##### Example \(\PageIndex{2}\):

Given the following sequence, can we determine \(a\) and \(d\) and give the sequence's general form?

1, 4, 7, 10, 13, 16, 19...

So:

- \(a = 1\), because that is the first term in the sequence.
- \(d = 3\), because the terms increase by 3 each time.

So the general form for the sequence is:

\(t_n = 1 + (n - 1)3=3n+2\)

**Thinking Out Loud:**

## Finite Sum of Arithmetic Sequences

There are two, equivalent, formulas for determining the finite sum of an arithmetic sequence. Here, we shall derive both the formulas and show how they are equal.

##### Example \(\PageIndex{3}\):

Consider \(S_n = a \,\,+ (a+d) \,\,+ \cdots +(a+(n-2)d)+(a+(n-1)d)\)

Now, \(S_n = (a+(n-1)d)+(a+(n-2)d+ \cdots+ (a+d)\,+a\).

Then, \(2S_n= n(a+ a+(n-1)d) \,= n(2a+(n-1)d)\).

Hence, \(S_n=\displaystyle \frac {n}{2}(t_1+ t_n) \,= \displaystyle \frac {n}{2}(2a+(n-1)d)\).

Let's illustrate these formulas by using the sequence \(t_n = 5 + (n - 1)2= 2n+3\).

##### Example \(\PageIndex{4}\):

The first formula we can use looks like this:

\(S_n = n \left(\displaystyle \frac{a_1 + a_n}{2} \right)\)

As we can see, this formula takes the average between the first and last terms, and multiplies by the number of terms in the series. So, if we use our series \(t_n = 5 + (n - 1)2\) and we want the sum for the first 15 terms, our calculation will look like this:

\(S-{15} = 15 \left( \frac{5 + 33}{2} \right)\)

\(= 15 \left( \frac{38}{2} \right)\)

\(= 15(19)\)

\(= 285\)

##### Example \(\PageIndex{5}\):

The second formula we can use looks like:

\(S_n = \displaystyle \frac{n}{2} \left(2a + (n - 1)d \right)\)

As we can see, this method doesn't need us to know the value of the \(n\)^{\(th\)} term, just which term it is. Using our series \(t_n = 5 + (n - 1)2\), our calculations look like this when we are looking for the sum of the first 15 terms:

\(S = \displaystyle \frac{15}{2} \left(2(5) + ((15) - 1)(2) \right)\)

\(= \displaystyle \frac{15}{2} \left(10 + (14)(2) \right)\)

\(= \displaystyle \frac{15}{2} \left( 38 \right)\)

\(= 285\)

So these two methods look to be equivalent so far. Let's show that this is true in the general case:

##### Example \(\PageIndex{6}\):

Consider \(S = \displaystyle \frac{n}{2} \left(2a + (n - 1)d \right)\), where \(n\) is the number of the term that is the endpoint, \(a\) is the series' starting value, and \(d\) is the difference between any two consecutive terms.

Consider \(S = n \left(\displaystyle \frac{a_1 + a_n}{2} \right)\)

Since \(a_n = t_n = a + (n - 1)d\),

And \(a_1 = a\),

Then \(S = n \left(\displaystyle \frac{a + [a + (n - 1)d]}{2} \right)\)

\(= n \left(\displaystyle \frac{2a + (n - 1)d}{2}\right)\)

\(= \displaystyle \frac{n}{2} \left(2a + (n - 1)d\right)\)

Let's explore summation notation which will be useful to represent finite sums:

## Sigma (Summation) Notation

A finite sum requires adding up long strings of numbers. To make it easier to write down these lengthy sums, we look at some new notation here, called **sigma notation** (also known as **summation notation**). The Greek capital letter \(Σ\), sigma, is used to express long sums of values in a compact form. For example, if we want to add all the integers from 1 to 20 without sigma notation, we have to write

\[1+2+3+4+5+6+7+8+9+10+11+12+13+14+15+16+17+18+19+20.\]

We could probably skip writing a couple of terms and write

\[1+2+3+4+⋯+19+20,\]

which is better, but still cumbersome. With sigma notation, we write this sum as

\[\sum_{i=1}^{20}i\]

which is much more compact. Typically, sigma notation is presented in the form

\[\sum_{i=1}^{n}a_i\]

where \(a_i\) describes the terms to be added, and i is called the \(index\). Each term is evaluated, then we sum all the values, beginning with the value when \(i=1\) and ending with the value when \(i=n.\) For example, an expression like \(\sum_{i=2}^{7}s_i\) is interpreted as \(s_2+s_3+s_4+s_5+s_6+s_7\). Note that the index is used only to keep track of the terms to be added; it does not factor into the calculation of the sum itself. The index is therefore called a **dummy variable**. We can use any letter we like for the index. Typically, mathematicians use *i, j, k, m,* and *n *for indices.

Let’s try a couple of examples of using sigma notation.

##### Example \(\PageIndex{7}\): Using Sigma Notation

- Write in sigma notation and evaluate the sum of terms \(3^i\) for \(i=1,2,3,4,5.\)
- Write the sum in sigma notation:

\[1+\dfrac{1}{4}+\dfrac{1}{9}+\dfrac{1}{16}+\dfrac{1}{25}.\]

**Solution**

- Write \[\sum_{i=1}^{5}3^i=3+3^2+3^3+3^4+3^5=363.\]
- The denominator of each term is a perfect square. Using sigma notation, this sum can be written as \(\sum_{i=1}^5\dfrac{1}{i^2}\).

##### Exercise \(\PageIndex{1}\)

Write in sigma notation and evaluate the sum of terms \(2^i\) for \(i=3,4,5,6.\)

**Hint**-
Use the solving steps in

__Example__as a guide.

**Answer**-
\(\sum_{i=3}^{6}2^i=2^3+2^4+2^5+2^6=120\)

The properties associated with the summation process are given in the following rule.

Rule: Properties of Sigma Notation

Let \(a_1,a_2,…,a_n\) and \(b_1,b_2,…,b_n\) represent two sequences of terms and let *c* be a constant. The following properties hold for all positive integers *n* and for integers *m*, with \(1≤m≤n.\)

- \(\sum_{i=1}^nc=nc\)
- \(\sum_{i=1}^n ca_i=c\sum_{i=1}^na_i\)
- \(\sum_{i=1}^n(a_i+b_i)=\sum_{i=1}^na_i+\sum_{i=1}^nb_i\)
- \(\sum_{i=1}^n(a_i−b_i)=\sum_{i=1}^na_i−\sum_{i=1}^nb_i\)
- \(\sum_{i=1}^na_i=\sum_{i=1}^ma_i+\sum_{i=m+1}^na_i\)

**Proof:**-
We prove properties 2. and 3. here, and leave proof of the other properties to the Exercises.

2. We have

\(\sum_{i=1}^nca_i=ca_1+ca_2+ca_3+⋯+ca_n=c(a_1+a_2+a_3+⋯+a_n)=c\sum_{i=1}^na_i\).

3. We have

\[ \begin{align} \sum_{i=1}^{n}(a_i+b_i)&=(a_1+b_1)+(a_2+b_2)+(a_3+b_3)+⋯+(a_n+b_n) \\ &=(a_1+a_2+a_3+⋯+a_n)+(b_1+b_2+b_3+⋯+b_n) \\ & =\sum_{i=1}^na_i+\sum_{i=1}^nb_i. \end {align}\]□

A few more formulas for frequently found functions simplify the summation process further. These are shown in the next rule, for **sums and powers of integers**, and we will explore further in later examples.

Rule: Sums and Powers of Integers

- The sum of
*n*integers is given by

\[\sum_{i=1}^ni=1+2+⋯+n=\dfrac{n(n+1)}{2}.\]

2. The sum of consecutive integers squared is given by

\[\sum_{i=1}^ni^2=1^2+2^2+⋯+n^2=\dfrac{n(n+1)(2n+1)}{6}.\]

3. The sum of consecutive integers cubed is given by

\[\sum_{i=1}^ni^3=1^3+2^3+⋯+n^3=\dfrac{n^2(n+1)^2}{4}.\]

**Proof**-
We leave proof (by induction) of the rules to the Exercises.

## Geometric Sequences

##### Definition:

**Geometric sequences** are patterns of numbers that increase (or decrease) by a set **ratio** with each iteration. You can determine the ratio by dividing a term by the preceding one. Let \(a\) be the initial term and \(r\) be the ratio, then the \(n\)^{\(th\)} term of a geometric sequence can be expressed as \(t_n = ar\)^{\((n - 1)\)}.

##### Example \(\PageIndex{8}\)

\(n\) | \(t_n\) | \(t_n / t\)_{\(n - 1\)} |

1 | 3 | |

2 | 6 | 2 |

3 | 12 | 2 |

4 | 24 | 2 |

So we can see that \(r = 2\), since the ratio between any two consecutive terms is \(2\).

##### Example \(\PageIndex{9}\)

Given the sequence \( -3, 6, -12, 24, -48...\), can we:

- Determine \(a\) and \(r\)
- Express the general form of the sequence

So:

- \(a = -3\), because that is the sequence's initial term.
- \(r = -2\), because if we divide any term by the preceding one, that is the result.

So the general form for the sequence is:

\(t_n = -3(-2)\)^{\((n - 1)\)}.

## Finite Sum of Geometric Sequences

Let's use the Gauss method for finding a general case for the sum of a geometric sequence:

##### Example \(\PageIndex{10}\)

Let** **\(r \ne 1.\)

Consider \(S_n = a + ar + ar^2 + ar^3 + ... + ar\)^{\((n - 1)\)}

Now, \((1)S_n = \, a \, + ar + ar^2 + ar^3 + ... + ar\)^{\((n - 1)\)}

\(- (r)S_n = ar + ar^2 + ar^3 + ... + ar\)^{\((n - 1)\) }\(+ ar^n\)

\(\left(1 - r\right)S_n = a - ar^n\)

\(S_n = \displaystyle \frac{a(1 - r^n)}{1 - r}\)

That is, \[ \sum_{k=0}^{(n-1)} a r^k = \displaystyle \frac{a(1 - r^n)}{1 - r}, r \ne 1.\]

## Sum of Integers

Observe:

\(1 = 1\)

\(1 + 2 = 3\)

\(1 + 2 + 3 = 6\)

\(1 + 2 + 3 + 4 = 10\)

\(1 + 2 + 3 + 4 + 5 = 15\)

\(1 + 2 + 3 + ... + n = ?\) This is the finite sum of first \(n\) positive integers. Below we have shown two ways of finding this sum:

##### Example \(\PageIndex{11}\)

Let's figure out a general case for a sum of integers beginning with \(1\) and ending with \(n\) using Gauss' method:

Let \(S_n = 1 \, + \, \, \, \, \, \, \, 2 \, \, \, \, \, \, \, + \, \, \, \, \, \, \, \, 3 \, \, \, \, \, \, \, \, + ... + n\)

\( + S_n = n + (n - 1) + (n - 2) + ... + 1\)

So \(2S_n = n(n + 1)\).

This is because, when you add \(S\) to itself (with the order reversed), you get \(n + 1\) repeated \(n\) times.

Then, \(S_n = \displaystyle\frac{n(n + 1)}{2}\)

That is \( \sum_{k=1}^{n} k = \displaystyle\frac{n(n + 1)}{2}\).

##### Example \(\PageIndex{12}\)

Here's that same concept being proven inductively:

Prove that \(1 + 2 + ... + n = \displaystyle \frac{n(n + 1)}{2}, \, \forall n \in \mathbb{Z}\)

**Base step**: Choose \(n = 1\). Then L.H.S =\(1\). and R.H.S \( = \frac{(1)(1 + 1)}{2}=1\)

**Induction Assumption**: Assume that \( 1 + 2 + ... +k= \displaystyle\frac{k(k + 1)}{2}\), for \(k \in \mathbb{Z}\).

We shall show that \(1 + 2 + ... + k + (k + 1) = \displaystyle\frac{(k + 1)[(k + 1) + 1]}{2} = \frac{(k + 1)(k + 2)}{2}\)

Consider \(1 + 2 + ... + k + (k + 1) \)

\(= \displaystyle \frac{k(k + 1)}{2} + (k + 1)\)

\(= (k + 1) \left( \displaystyle\frac{k}{2} + \displaystyle\frac{1}{1}\right)\)

\(= (k + 1) \left( \displaystyle\frac{k + 2}{2}\right)\)

\(= \displaystyle \frac{(k + 1)(k + 2)}{2}\).

Thus, by induction we have \(1 + 2 + ... + n = \displaystyle\frac{n(n + 1)}{2}, \, \forall n \in \mathbb{Z}\).

**Thinking Out Loud:**

## Sum of Positive Odd Integers

**Thinking Out Loud:**

Observe:

\(1 = 1\)

\(1 + 3 = 4\)

\(1 + 3 + 5 = 9\)

\(1 + 3 + 5 + 7 = 16\)

\(1 + 3 + 5 + 7 + 9 = 25\)

\(1 + 3 + 5 + ... + (2n-1) = ?, \)

##### Example \(\PageIndex{13}\)

Let's look at a table of the sums of the first \(n\) postive odd integers:

\(n\) | \(S_n\) |

1 | 1 |

2 | 4 |

3 | 9 |

4 | 16 |

5 | 25 |

As we can see, the sum of the first \(n\) positive odd integers \(= n^2\)

##### Example \(\PageIndex{14}\)

Let's try a visual proof for this one as well. Remember, square numbers can be arranged into perfectly square arrays.

As we can see, when we arrange odd integers into an array (each new term is represented by a new color), we always have an array with \(n^2\) points.

##### Exercise\(\PageIndex{2}\)

By using induction, prove that \(1 + 3 + 5 + ... + (2n-1) = n^2,\) for all \(n \geq1\).

## Sum of Positive Even Integers

Observe:

\(2 = 2\)

\(2 + 4 = 6\)

\(2 + 4 + 6 = 12\)

\(2 + 4 + 6 + 8 = 20\)

\(2 + 4 + 6 + 8 + 10 = 30\)

\(2 + 4 + 6 + ... +2n = ?, n \in \bf{N}\)

##### Example \(\PageIndex{15}\)

Let's try deriving this using what we already know:

If we write the sum of positive even integers as

\(2 + 4 + 6 + 8 + ... + 2n\),

We see we can factor out the 2:

\(2(1 + 2 + 3 + ... + n)\). This is great news! We already know the sum of a finite set of positive integers. It is \(\displaystyle \frac{n(n + 1)}{2}\)

So then the sum of a series of positive even integers is:

\(2 \left( \displaystyle \frac{n(n + 1)}{2}\right) \)

Or \(n (n + 1)\).

##### Example \(\PageIndex{16}\)

Let's try a visual proof:

Here is the sum of the first 4 positive even integers, or \(n = 4\):

Now, if we move some of the points to make a rectangular array...

...we can see that, for \(n\) terms, our array is described by:

\(n(n + 1)\)

**Contributors**

Gilbert Strang (MIT) and Edwin “Jed” Herman (Harvey Mudd) with many contributing authors. This content by OpenStax is licensed with a CC-BY-SA-NC 4.0 license. Download for free at http://cnx.org.

Pamini Thangarajah (Mount Royal University, Calgary, Alberta, Canada)