Skip to content

Proving that a sequence is geometric

Proving that a sequence is geometric

A general proof

A sequence is geometric when the ratio an+1an\displaystyle \frac{a_{n+1}}{a_n} is the same number for every n\displaystyle n, and no term is 0.
The proof below shows that the sequence bn=2⋅3n−1\displaystyle {b_n}={2\cdot3^{n-1}} is geometric:

  • bn+1=2⋅3n\displaystyle {b_{n+1}}={2\cdot3^{n}}.
  • bn+1bn=2⋅3n2⋅3n−1=3n−(n−1)=3\displaystyle {\frac{b_{n+1}}{b_n}}={\frac{2\cdot3^n}{2\cdot3^{n-1}}}={3^{n-(n-1)}}={3}.
  • The ratio is 3 for every n\displaystyle n, so the sequence is geometric, and q=3\displaystyle {q}={3}.
A counterexample

To show that a sequence is not geometric, one example is enough: two pairs of neighbouring terms with different ratios.
In the sequence an=n⋅2n\displaystyle {a_n}={n\cdot2^n}: a1=2\displaystyle {a_1}={2}, a2=8\displaystyle {a_2}={8}, a3=24\displaystyle {a_3}={24}.

  • a2a1=4\displaystyle {\frac{a_2}{a_1}}={4}, but a3a2=3\displaystyle {\frac{a_3}{a_2}}={3}.
  • The ratios are not equal, so the sequence is not geometric.
From the recursion rule
  • The rule an+1=5an\displaystyle {a_{n+1}}={5a_n}, with a1≠0\displaystyle a_1\neq0, says at once that the ratio is 5 for every n\displaystyle n: the sequence is geometric.
  • In the rule a1=1\displaystyle {a_1}={1}, an+1=2an+1\displaystyle {a_{n+1}}={2a_n+1}: a2=3\displaystyle {a_2}={3}, a3=7\displaystyle {a_3}={7}. a2a1=3\displaystyle {\frac{a_2}{a_1}}={3} and a3a2=73\displaystyle {\frac{a_3}{a_2}}={\frac{7}{3}}, so the sequence is not geometric.
From the sum to the term

Here too an=Sn−Sn−1\displaystyle {a_n}={S_n-S_{n-1}} for every n≥2\displaystyle n\geq2, and a1=S1\displaystyle {a_1}={S_1}.
In the example below Sn=2n−1\displaystyle {S_n}={2^n-1} is given. We find an\displaystyle a_n, and prove that the sequence is geometric:

  • an=(2n−1)−(2n−1−1)=2n−2n−1=2n−1(2−1)=2n−1\displaystyle {a_n}={(2^n-1)-(2^{n-1}-1)}={2^n-2^{n-1}}={2^{n-1}(2-1)}={2^{n-1}}, for every n≥2\displaystyle n\geq2.
  • a1=S1=2−1=1\displaystyle {a_1}={S_1}={2-1}={1}, and also 20=1\displaystyle {2^{0}}={1}: the formula holds for every n\displaystyle n.
  • an=2n−1\displaystyle {a_n}={2^{n-1}}: a geometric sequence, a1=1\displaystyle {a_1}={1} and q=2\displaystyle {q}={2}.
Exercise 1

The sequence: an=5⋅2n+1\displaystyle {a_n}={5\cdot2^{n+1}}.

a

Work out an+1an\displaystyle \frac{a_{n+1}}{a_n}.

    / – fraction bar · Tab or the arrows – between numerator and denominator, then a note above or below · Enter – check and a new line · * – times · ^ – power, ↓ – end of the power

    / – fraction bar · Tab or the arrows – between numerator and denominator, then a note above or below · Enter – a new line · * – times · ^ – power, ↓ – end of the power

    b

    Is the sequence geometric? What is its first term?

    a1\displaystyle a_1

      / – fraction bar · Tab or the arrows – between numerator and denominator, then a note above or below · Enter – check and a new line · * – times · ^ – power, ↓ – end of the power

      / – fraction bar · Tab or the arrows – between numerator and denominator, then a note above or below · Enter – a new line · * – times · ^ – power, ↓ – end of the power

      Exercise 2

      The sequence: an=32n\displaystyle {a_n}={\frac{3}{2^{n}}}.
      Work out an+1an\displaystyle \frac{a_{n+1}}{a_n}, and explain why the sequence is geometric.

        / – fraction bar · Tab or the arrows – between numerator and denominator, then a note above or below · Enter – check and a new line · * – times · ^ – power, ↓ – end of the power

        / – fraction bar · Tab or the arrows – between numerator and denominator, then a note above or below · Enter – a new line · * – times · ^ – power, ↓ – end of the power

        Exercise 3

        The sequence: an=3n+1\displaystyle {a_n}={3^n+1}.
        Show by a counterexample that the sequence is not geometric.

        Exercise 4

        The sum of the first n\displaystyle n terms of a sequence: Sn=3n−1\displaystyle {S_n}={3^n-1}.

        a

        Find an\displaystyle a_n for every n≥2\displaystyle n\geq2, and simplify.

          / – fraction bar · Tab or the arrows – between numerator and denominator, then a note above or below · Enter – check and a new line · * – times · ^ – power, ↓ – end of the power

          / – fraction bar · Tab or the arrows – between numerator and denominator, then a note above or below · Enter – a new line · * – times · ^ – power, ↓ – end of the power

          b

          Calculate a1\displaystyle a_1. Is the sequence geometric? If so, what is its ratio?

          a1\displaystyle a_1

            / – fraction bar · Tab or the arrows – between numerator and denominator, then a note above or below · Enter – check and a new line · * – times · ^ – power, ↓ – end of the power

            / – fraction bar · Tab or the arrows – between numerator and denominator, then a note above or below · Enter – a new line · * – times · ^ – power, ↓ – end of the power

            Exercise 5

            A sequence is defined for every natural n\displaystyle n by the recursion rule a5=8\displaystyle {a_5}={8}, n⋅an+1=4an−3\displaystyle {n\cdot a_{n+1}}={4a_n-3}.
            From it: a4=354\displaystyle {a_4}={\frac{35}{4}}, a5=8\displaystyle {a_5}={8}, a6=295\displaystyle {a_6}={\frac{29}{5}}.
            Is the sequence geometric? Explain.