Geometric Sequences

Definition: A geometric sequence is a sequence for which there exists a constant r such that each term (except for the first term) is r times the previous term. This constant r is called the common ratio of the sequence.

For example,

1,3,9,27,81,2431, 3, 9, 27, 81, 243

is a geometric sequence, because each term is 3 times the previous term. Geometric sequences are also known as geometric progressions.

The General Term

Let the first term of a geometric sequence be a1a_1, and the common ratio of the sequence be rr.

an=a1⋅rn−1a_n = a_1 \cdot r^{n-1}

The ratio is always r=ak+1akr = \frac{a_{k+1}}{a_k} for any consecutive pair.

For non-consecutive terms ama_m and ana_n,

rn−m=anam  ⟹  r=(anam) ⁣1n−mr^{n-m} = \frac{a_n}{a_m} \implies r = \left(\frac{a_n}{a_m}\right)^{\!\frac{1}{n-m}}

Example Problem 1

The first term of a geometric sequence of positive numbers is 12, and the fourth term is 24. Find the 10th term of the geometric sequence.

Solution: Let r be the common ratio. We multiply the first term by r three times to get the fourth term, so

12r3=2412r ^ 3 = 24

Dividing by 12 and taking the cube root of both sides, we find that r=21/3r = 2^{1/3} is the common ratio of the sequence. The tenth term of the sequence is therefore

12⋅210−13=12⋅23=96.12 \cdot 2^{\frac{10-1}{3}} = 12 \cdot 2^3 = 96.

The Finite Sum

Sn=a1(rn−1)r−1,r≠1.S_n = \frac{a_1(r^n -1)}{r-1}, \quad r \ne 1.

Proof: \\

Let the geometric series have value SS. Then S=a1+a1r+a1r2+⋯+a1rn−1.S = a_1 + a_1r + a_1r^2 + \cdots + a_1r^{n-1}. \\ Factoring out a1a_1, multiplying both sides by (r−1)(r-1), and using the difference of powers factorization yields

S(r−1)=a1(r−1)(1+r+r2+⋯+rn−1)=a1(rn−1).S(r-1) = a_1(r-1)(1 + r + r^2 + \cdots + r^{n-1}) = a_1(r^n-1).

Dividing both sides by r−1r-1 yields

S=a1(rn−1)r−1S=\frac{a_1(r^n-1)}{r-1}

The Infinite Sum

When ∣r∣<1|r| < 1 the terms shrink to zero and the series converges:

S∞=a11−r,∣r∣<1.S_\infty = \frac{a_1}{1-r}, \quad |r| < 1.

When ∣r∣≥1|r| \geq 1 the series diverges, and thus cannot apply this formula.

Proof: If one assumes convergence, Using the terms defined above,

S=a1+a1r+a1r2+⋯ .S = a_1 + a_1r + a_1r^2 + \cdots.

Multiplying both sides by rr and adding a1a_1, we find that

rS+a1=a1+r(a1+a1r+⋯ )=a1+a1r+a1r2+⋯=S.rS + a_1 = a_1 + r(a_1 + a_1r + \cdots) = a_1 + a_1r + a_1r^2 + \cdots = S.

Thus, rS+a1=SrS + a_1 = S, and so S=a11−rS = \frac{a_1}{1-r}.

Geometric Mean

Definition: The geometric mean of n positive numbers is the nth root of the product of the n numbers.

G.M.=x1×x2×⋯×xnn\text{G.M.} = \sqrt[n]{x_1 \times x_2 \times \dots \times x_n}

Note: For any finite geometric sequence of positive numbers, the geometric mean of the terms in the sequence is equal to the geometric mean of the first term and the last term. (Try Proving this by yourself!)

Proof: Let nn be the number of terms of a geometric sequence with first term aa and common ratio rr. The last term of this sequence is arn−1ar^{n-1}, so the geometric mean of the first and last terms is

a⋅arn−1=a2rn−1=ar(n−1)/2.\sqrt{a \cdot ar^{n-1}} = \sqrt{a^2r^{n-1}} = ar^{(n-1)/2}.

The geometric mean of all nn terms is

a(ar)(ar2)⋯(arn−1)n=an⋅r[1+2+⋯+(n−1)]n\sqrt[n]{a(ar)(ar^2)\cdots(ar^{n-1})} = \sqrt[n]{a^n \cdot r^{[1+2+\cdots+(n-1)]}}
=an⋅r(n−1)n/2n= \sqrt[n]{a^n \cdot r^{(n-1)n/2}}
=ar(n−1)/2\boxed{= ar^{(n-1)/2}}

Symmetric Substitution

For problems giving the sum and product of three terms in GP, we write them as a/r, a, ara/r,\ a,\ ar.

QuantityResult
Producta3a^3
Suma(1/r+1+r)a(1/r + 1 + r)
Sum of squaresa2(1/r2+1+r2)a^2(1/r^2 + 1 + r^2)

The product is shown through a3a^3, so aa can be found. Thus, we know that the sum gives a quadratic in rr.

Concept: When x≠0x \neq 0 and x≠yx \neq y, the factorization

xn−yn=(x−y)(xn−1+xn−2y+xn−3y2+⋯+xyn−2+yn−1)x^n - y^n = (x - y)(x^{n-1} + x^{n-2}y + x^{n-3}y^2 + \cdots + xy^{n-2} + y^{n-1})

is the same as the relationship found by summing the geometric series with first term xn−1x^{n-1} and common ratio y/xy/x:

xn−1+xn−2y+xn−3y2+⋯+xyn−2+yn−1=xn−1 ⁣((yx)n−1)yx−1=yn−xny−x=xn−ynx−y.x^{n-1} + x^{n-2}y + x^{n-3}y^2 + \cdots + xy^{n-2} + y^{n-1} = \frac{x^{n-1}\!\left(\left(\frac{y}{x}\right)^n - 1\right)}{\frac{y}{x} - 1} = \frac{y^n - x^n}{y - x} = \frac{x^n - y^n}{x - y}.

More Examples

Example 1: Suppose x,y,zx, y,z is a geometric sequence with common ratio rr and x ≠\neq y. If x,2y,3zx, 2y, 3z is an arithmetic sequence, find the value of rr. (Source: AHSME)

Solution: We can start by reducing the number of variables we have to deal with. From our geometric sequence, we know that y=rxy = rx and z=r2xz = r^2x. Now that we can write y and z in terms of r and x, we can write our arithmetic sequence in terms of just x and r. \\ So, we know that x,2rx,x, 2rx, and 3r2x3r^2x are in arithmetic progression, which gives us

2rx−x=3r2x−2rx.2rx - x = 3r^2x - 2rx.

Rearranging this equation gives us

3r2x−4rx+x=0.3r^2x - 4rx + x = 0.

Factoring this equation gives

x(r−1)(3r−1)=0.x(r - 1)(3r - 1) =0.

We cannot have x = 0 or r = 1, since both of these give us x = y, which is forbidden in the problem statement. This leaves us with r=1/3r = 1/3 as the only possible value of rr.

Example 2: The roots of 2x3−19x2+kx−54=02x^3 - 19x^2 + kx - 54 = 0 are in geometric progression for some constant kk. Find kk.

Solution: Let the three roots in geometric progression be ar,a,ar\frac{a}{r}, a, ar for some values aa and rr. This is a convenient choice because the product of the roots simplifies nicely. \\ By Vieta's formulas, the product of the roots equals 542=27\frac{54}{2} = 27. So,

ar⋅a⋅ar=a3=27,\frac{a}{r} \cdot a \cdot ar = a^3 = 27,

which gives us a=3a = 3. \\ By Vieta's formulas, the sum of the roots equals 192\frac{19}{2}. So,

ar+a+ar=192.\frac{a}{r} + a + ar = \frac{19}{2}.

Substituting a=3a = 3,

3r+3+3r=192.\frac{3}{r} + 3 + 3r = \frac{19}{2}.

Multiplying through by 2r2r,

6+6r+6r2=19r,6 + 6r + 6r^2 = 19r,
6r2−13r+6=0,6r^2 - 13r + 6 = 0,
(2r−3)(3r−2)=0.(2r - 3)(3r - 2) = 0.

So r=32r = \frac{3}{2} or r=23r = \frac{2}{3}. Both give the same three roots (just in reverse order): 2,3,922, 3, \frac{9}{2}. \\ By Vieta's formulas, the sum of the products of the roots taken two at a time equals k2\frac{k}{2}. So,

k2=(2)(3)+(2) ⁣(92)+(3) ⁣(92)=6+9+272=572.\frac{k}{2} = (2)(3) + (2)\!\left(\tfrac{9}{2}\right) + (3)\!\left(\tfrac{9}{2}\right) = 6 + 9 + \frac{27}{2} = \frac{57}{2}.

Therefore k=57k = \boxed{57}.

Example 3: The sum of three consecutive terms in a geometric sequence is 39, and the sum of their squares is 741. Find the three terms.

Solution: Let the three consecutive terms be ar,a,ar\frac{a}{r}, a, ar. We are given two conditions:

ar+a+ar=39,(1)\frac{a}{r} + a + ar = 39, \tag{1}
a2r2+a2+a2r2=741.(2)\frac{a^2}{r^2} + a^2 + a^2r^2 = 741. \tag{2}

Notice that equation (2)(2) is related to the square of equation (1)(1). Squaring equation (1)(1):

(ar+a+ar)2=1521.\left(\frac{a}{r} + a + ar\right)^2 = 1521.

Expanding,

a2r2+a2+a2r2+2 ⁣(ar⋅a+ar⋅ar+a⋅ar)=1521.\frac{a^2}{r^2} + a^2 + a^2r^2 + 2\!\left(\frac{a}{r} \cdot a + \frac{a}{r} \cdot ar + a \cdot ar\right) = 1521.

Substituting (2)(2) into the left side,

741+2a2 ⁣(1r+1+r)=1521,741 + 2a^2\!\left(\frac{1}{r} + 1 + r\right) = 1521,
2a2 ⁣(1r+1+r)=780.2a^2\!\left(\frac{1}{r} + 1 + r\right) = 780.

From equation (1)(1), a ⁣(1r+1+r)=39a\!\left(\frac{1}{r} + 1 + r\right) = 39, so 1r+1+r=39a\frac{1}{r} + 1 + r = \frac{39}{a}. Substituting,

2a2⋅39a=780,2a^2 \cdot \frac{39}{a} = 780,
78a=780,78a = 780,
a=10.a = 10.

Substituting a=10a = 10 back into equation (1)(1):

10r+10+10r=39,\frac{10}{r} + 10 + 10r = 39,
10r2−29r+10=0,10r^2 - 29r + 10 = 0,
(2r−5)(5r−2)=0.(2r - 5)(5r - 2) = 0.

So r=52r = \frac{5}{2} or r=25r = \frac{2}{5}. Both give the same three terms in reverse order. \\ Taking r=25r = \frac{2}{5}: the three terms are 102/5=25, 10, 4\frac{10}{2/5} = 25,\ 10,\ 4. \\ Taking r=52r = \frac{5}{2}: the three terms are 4, 10, 254,\ 10,\ 25. \\ The three terms are 4,10,25\boxed{4, 10, 25}.

Example 4: Evaluate the sum 4−83+169−3227+⋯4 - \dfrac{8}{3} + \dfrac{16}{9} - \dfrac{32}{27} + \cdots

Solution: We first identify this as a geometric series. The first term is a=4a = 4. To find the common ratio, we divide the second term by the first:

r=−8/34=−23.r = \frac{-8/3}{4} = -\frac{2}{3}.

Since ∣r∣=23<1|r| = \frac{2}{3} < 1, the series converges. Applying the infinite geometric series formula S=a1−rS = \dfrac{a}{1 - r},

S=41−(−23)=453=4⋅35=125.S = \frac{4}{1 - \left(-\dfrac{2}{3}\right)} = \frac{4}{\dfrac{5}{3}} = 4 \cdot \frac{3}{5} = \boxed{\dfrac{12}{5}}.

Example 5: Write the following expression as a single polynomial: (t2+t+1)(t12+t9+t6+t3+1)t10+t5+1\frac{(t^2 + t + 1)(t^{12} + t^9 + t^6 + t^3 + 1)}{t^{10} + t^5 + 1} (Source: Mandelbrot)

Solution: We could multiply out the numerator and wade through long division of the product by the denominator. But each factor is a geometric series, so maybe we can use our understanding of geometric series to avoid long division. \\ Writing t2+t+1t^2 + t + 1 as 1+t+t21 + t + t^2, we recognize it as a geometric series with first term 11 and common ratio tt, so we have

1+t+t2=1(t3−1)t−1=t3−1t−1.1 + t + t^2 = \frac{1(t^3 - 1)}{t - 1} = \frac{t^3 - 1}{t - 1}.

You might also have recognized this relationship by noting that t2+t+1t^2 + t + 1 is a factor of t3−1t^3 - 1. \\ Similarly, the series 1+t3+t6+t9+t121 + t^3 + t^6 + t^9 + t^{12} is geometric with first term 11 and common ratio t3t^3, and the series 1+t5+t101 + t^5 + t^{10} is geometric with first term 11 and common ratio t5t^5. So we have

1+t3+t6+t9+t12=1((t3)5−1)t3−1=t15−1t3−1,1 + t^3 + t^6 + t^9 + t^{12} = \frac{1\left((t^3)^5 - 1\right)}{t^3 - 1} = \frac{t^{15} - 1}{t^3 - 1},
1+t5+t10=1((t5)3−1)t5−1=t15−1t5−1.1 + t^5 + t^{10} = \frac{1\left((t^5)^3 - 1\right)}{t^5 - 1} = \frac{t^{15} - 1}{t^5 - 1}.

We see a lot of common factors among our new expressions, so we expect we can do a lot of cancellation:

(t2+t+1)(t12+t9+t6+t3+1)t10+t5+1=t3−1t−1⋅t15−1t3−1t15−1t5−1=(t3−1)(t15−1)(t5−1)(t15−1)(t−1)(t3−1).\frac{(t^2+t+1)(t^{12}+t^9+t^6+t^3+1)}{t^{10}+t^5+1} = \frac{\dfrac{t^3-1}{t-1} \cdot \dfrac{t^{15}-1}{t^3-1}}{\dfrac{t^{15}-1}{t^5-1}} = \frac{(t^3 - 1)(t^{15} - 1)(t^5 - 1)}{(t^{15} - 1)(t - 1)(t^3 - 1)}.

Cancelling (t3−1)(t^3 - 1) and (t15−1)(t^{15} - 1) from numerator and denominator,

=t5−1t−1=(t−1)(t4+t3+t2+t+1)t−1=t4+t3+t2+t+1.= \frac{t^5 - 1}{t - 1} = \frac{(t-1)(t^4 + t^3 + t^2 + t + 1)}{t - 1} = \boxed{t^4 + t^3 + t^2 + t + 1}.

Common Pitfalls

  • Mixing up rnr^n vs. rn−1r^{n-1} in the term formula can lead to error.
  • Using rr from non-consecutive terms without checking consistency.
  • Not checking whether ∣r∣<1|r| < 1 before using the infinite formula.

Note: Keep powers as rn−1r^{n-1}, for convenience and less error (Highly recommended in more complex problems)

Practice Problems

StatusSourceProblem NameDifficultyTags
AMC 12AEasy
Show TagsAlgebra, Geometric Sequences
AMC 10AMedium-Easy
Show TagsAlgebra, Geometric Sequences, Logarithms
AJHSMEEasy
Show TagsSequences, Working Backwards
AJHSMEHard
Show TagsArea Scaling, Fractals
AJHSMEEasy
Show TagsGrowth, Percents
AJHSMEEasy
Show TagsEstimation, Exponential Growth
AJHSMENormal
Show TagsEstimation, Exponential Growth
AJHSMENormal
Show TagsCarrying Capacity, Exponential Growth
AJHSMEHard
Show TagsArea, Fractals, Iterative Processes
AMC 8Hard
Show TagsArea, Infinite Series, Similar Triangles
AMC 8Easy
Show TagsExponential Decay
AMC 8Easy
Show TagsPowers of 2, Unit Conversion
AMC 8Easy
Show TagsExponential Decay, Temperature
AMC 8Normal
Show TagsFractions, Infinite Geometric Series

Module Progress:

Join the Discord Community!

Stuck on a problem, or don't understand a module? Join the Discord and get help with your doubts while making more math friends.