Tutorials › Calculus II › Algebraically Disguised Geometric Series

Basic Series Divergence · Tutorial 586 of 998

Algebraically Disguised Geometric Series

Rewrite algebraically disguised terms as geometric terms, identify the common ratio, and classify the series with the correct convergence conditions.

Beginner 9 min read

What You'll Learn

  • Rewrite powers with scaled exponents using exponent laws
  • Identify a constant ratio in terms involving exponentials
  • Distinguish a geometric series from a similar-looking nongeometric one
  • Classify geometric series using the absolute value of the ratio
  • Find the sum when the ratio gives a convergent series
  • Check algebra and convergence conclusions with partial sums or terms

Making the Geometric Pattern Visible

A series may be geometric even when its terms do not initially look like a constant times successive powers of one number. Exponents such as \(2n\) or \(3n\), and expressions involving several different bases, can hide a constant common ratio. The key is to use exponent laws to rewrite each term before deciding whether the series converges.

For example, a term involving \(3^{2n}/5^n\) can be rewritten as \((9/5)^n\). That change reveals its ratio immediately: each term is \(9/5\) times the previous one. The ratio then determines the series’ behavior.

Definition: A series is geometric if its terms can be written as a constant times successive powers of one fixed ratio. In this tutorial, we write a common form as \(\sum_{n=1}^{\infty} c r^n\), where \(c\) and \(r\) are constants.

The constant \(c\) scales the terms, while \(r\) is the common ratio. If \(c\ne 0\), the ratio of consecutive terms is \(r\), provided the terms in that ratio are nonzero. Often, however, it is simpler and safer to rewrite the term directly as \(c r^n\).

Exponent Laws Reveal the Ratio

When bases are raised to exponents that are multiples of \(n\), first separate the fixed multiplier of \(n\). For a positive base \(a\), the exponent law gives \(a^{kn}=(a^k)^n\). Thus, if \(a\) and \(b\) are positive and \(b\ne 0\),

$$ \frac{a^{kn}}{b^{mn}} = \frac{(a^k)^n}{(b^m)^n} = \left(\frac{a^k}{b^m}\right)^n. $$

This identifies a possible ratio, \(a^k/b^m\). Products of powers can be handled in the same way: \(a^n b^n=(ab)^n\). If a negative base occurs, the integer exponent laws apply when the exponents are integers; pay attention to the sign and parity when simplifying.

Not every expression with \(n\) in an exponent is geometric. The important test is whether the entire term can be written as a fixed constant times \(r^n\), with \(r\) independent of \(n\). If simplifying leaves a factor such as \(n\), the expression does not have this geometric form merely because it also contains an exponential factor.

A Convergence Rule for the Rewritten Series

For a geometric series \(\sum_{n=1}^{\infty} c r^n\), the ratio classifies the series. The case \(c=0\) is trivial: every term is zero and the sum is zero. For \(c\ne 0\), the rules are as follows.

Ratio Behavior
\(|r|<1\) The series converges, with sum \(cr/(1-r)\).
\(r=1\) The terms equal \(c\), so the series diverges.
\(r=-1\) The terms alternate between \(c\) and \(-c\), so the series diverges.
\(|r|>1\) The terms do not approach zero, so the series diverges.

The formula in the first row is for a series that begins with \(n=1\). In particular, its first term is \(cr\), not \(c\). A different starting index changes how a series is written and must be handled with care.

Key condition: A geometric series converges when \(|r|<1\). A ratio with \(|r|\ge 1\) does not give a convergent geometric series, except for the trivial zero series \(c=0\).

Why the Ratio Determines the Sum

The classification and sum formula follow from the finite partial sums. Let \(S_N=\sum_{n=1}^{N}c r^n\). For \(r\ne 1\), multiplying by \(r\) shifts the powers by one. Subtracting the resulting expressions cancels all the intermediate terms:

$$ \begin{aligned} S_N&=c(r+r^2+\cdots+r^N),\\ rS_N&=c(r^2+r^3+\cdots+r^{N+1}),\\ (1-r)S_N&=cr-cr^{N+1},\\ S_N&=\frac{cr(1-r^N)}{1-r}. \end{aligned} $$

This is an identity for each finite \(N\). If \(|r|<1\), then \(r^N\to 0\), so taking the limit of the partial sums gives

$$ \sum_{n=1}^{\infty}c r^n = \lim_{N\to\infty}S_N = \frac{cr}{1-r}. $$

When \(|r|>1\) and \(c\ne 0\), the terms \(cr^n\) do not approach zero, so the series cannot converge. When \(r=1\), the terms are constantly \(c\); when \(r=-1\), they alternate between \(c\) and \(-c\). In both boundary cases with \(c\ne 0\), the terms fail to approach zero. This explains why simplifying to the ratio is not just an algebraic convenience: it exposes the behavior of the terms and, when appropriate, the limit of their partial sums.

Worked Examples

Worked Example: Powers With Different Scaled Exponents

Classify and sum \(\sum_{n=1}^{\infty}\frac{2^{3n}}{4^{2n}}\).

First rewrite each power using exponent laws:

$$ 2^{3n}=(2^3)^n=8^n, \qquad 4^{2n}=(4^2)^n=16^n. $$

Therefore each term is

$$ \frac{2^{3n}}{4^{2n}} = \frac{8^n}{16^n} = \left(\frac{8}{16}\right)^n = \left(\frac12\right)^n. $$

The ratio is \(r=1/2\), and \(|r|=1/2<1\), so the series converges. Here \(c=1\), giving

$$ \sum_{n=1}^{\infty}\left(\frac12\right)^n = \frac{1\cdot(1/2)}{1-(1/2)} = \frac{1/2}{1/2} = 1. $$

Check: the first two terms are \(1/2\) and \(1/4\), consistent with ratio \(1/2\). The partial-sum formula gives \(S_N=1-(1/2)^N\), which approaches \(1\) as \(N\to\infty\). Thus the calculated sum agrees with the limit of the partial sums.

Worked Example: A Negative Ratio From an Odd Power

Classify and sum \(\sum_{n=1}^{\infty}\frac{(-2)^{3n}}{4^{2n}}\).

Raise each base to the fixed multiplier of \(n\):

$$ (-2)^{3n}=\bigl((-2)^3\bigr)^n=(-8)^n, \qquad 4^{2n}=16^n. $$

Then

$$ \frac{(-2)^{3n}}{4^{2n}} = \left(\frac{-8}{16}\right)^n = \left(-\frac12\right)^n. $$

The ratio is \(r=-1/2\), so \(|r|=1/2<1\). The series converges, and its sum is

$$ \sum_{n=1}^{\infty}\left(-\frac12\right)^n = \frac{-1/2}{1-(-1/2)} = \frac{-1/2}{3/2} = -\frac13. $$

Check: the first terms are \(-1/2\), \(1/4\), and \(-1/8\), each obtained by multiplying the previous term by \(-1/2\). The partial sum through \(N\) terms is \(-\frac13\bigl(1-(-1/2)^N\bigr)\), which approaches \(-1/3\). The negative sign in the sum is consistent with the first term being negative and the alternating terms decreasing in magnitude.

Worked Example: Exponentials With a Ratio Greater Than One

Determine whether \(\sum_{n=1}^{\infty}\frac{e^{2n}}{e^n}\) converges.

Since \(e^{2n}=(e^2)^n\) and \(e^n=(e)^n\), the term simplifies to

$$ \frac{e^{2n}}{e^n} = e^{2n-n} = e^n. $$

This is geometric with \(c=1\) and ratio \(r=e\). Since \(e>1\), the terms do not approach zero. For instance, the first two terms are \(e\) and \(e^2\), and each term is obtained by multiplying by \(e\), not by a factor that decreases their magnitude. The series diverges by the necessary condition that the terms of a convergent series must approach zero.

Check: the simplified expression \(e^n\) has consecutive-term ratio \(e^{n+1}/e^n=e\), confirming the identified ratio. Because \(e^n\) grows rather than tending to zero, divergence is the correct conclusion.

Worked Example: A Boundary Ratio of One

Classify \(\sum_{n=1}^{\infty}\frac{3^{2n}}{9^n}\).

Rewrite the numerator as \((3^2)^n=9^n\). Thus, for every \(n\),

$$ \frac{3^{2n}}{9^n} = \frac{9^n}{9^n} = 1 = 1^n. $$

The ratio is \(r=1\). The terms do not approach zero; every term equals \(1\). The partial sum through \(N\) terms is \(S_N=N\), which grows without bound as \(N\to\infty\). Therefore, the series diverges.

Check: substituting \(n=1\) and \(n=2\) into the original term gives \(9/9=1\) and \(81/81=1\), matching the simplified expression.

A Common Algebraic Mistake

A frequent error is to combine bases before accounting for their exponent multipliers. For example, a mistaken simplification of \(3^{2n}/5^n\) is \((3/5)^n\). That would give ratio \(3/5\) and incorrectly suggest convergence. The correct calculation is

$$ \frac{3^{2n}}{5^n} = \frac{(3^2)^n}{5^n} = \left(\frac95\right)^n. $$

The ratio is \(9/5\), not \(3/5\). Since \(9/5>1\), the terms do not approach zero and the series diverges. The correction is to first convert each base to the power it contributes for one unit of \(n\), and only then form the ratio.

A separate check is to evaluate the first term. The original expression at \(n=1\) is \(3^2/5=9/5\). The incorrect rewrite gives \(3/5\), so it already fails at the first term. Checking one term can catch an algebra error before it leads to a wrong convergence conclusion.

A Reliable Recognition Process

1
Separate the exponent multipliers.
Rewrite, for example, \(a^{3n}\) as \((a^3)^n\).
2
Combine the resulting bases.
Use exponent laws to express the term as \(c r^n\), if possible.
3
Check the rewrite.
Substitute \(n=1\) into the original and simplified terms to make sure they agree.
4
Classify the ratio.
Use \(|r|<1\) for convergence; otherwise check whether the terms fail to approach zero.
5
Find a sum only when appropriate.
If the series begins at \(n=1\) and \(|r|<1\), use \(cr/(1-r)\).

Algebraically disguised geometric series are useful to recognize because a short rewrite can replace a complicated-looking term with a familiar pattern. But the ratio test of recognition depends on correct algebra: the exponents, signs, and bases all matter. Once the ratio is exposed, its absolute value determines whether the terms shrink enough for the partial sums to approach a finite limit.

Check Your Understanding

For each series, rewrite the term to expose its ratio before classifying it.

  1. Classify and, if it converges, find the sum of \(\sum_{n=1}^{\infty}\frac{2^{2n}}{8^n}\).
  2. Rewrite \(\frac{(-3)^{2n}}{12^n}\) as a power of one ratio. Does the resulting series converge?
  3. What is the common ratio of the terms \(\frac{5^{3n}}{10^{2n}}\), and what does it imply about the series?
  4. Explain why \(\sum_{n=1}^{\infty}1^n\) diverges even though its terms have a constant ratio.
  5. For a series written as \(\sum_{n=1}^{\infty}c r^n\), why does \(|r|<1\) allow the finite partial-sum formula to have a limit?