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,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 a1, and the common ratio of the sequence be r.
an=a1⋅rn−1
The ratio is always r=akak+1 for any consecutive pair.
For non-consecutive terms am and an,
rn−m=aman⟹r=(aman)n−m1
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=24
Dividing by 12 and taking the cube root of both sides, we find that r=21/3 is the common ratio of the sequence. The tenth term of the sequence is therefore
12⋅2310−1=12⋅23=96.
The Finite Sum
Sn=r−1a1(rn−1),r=1.
Proof:
Let the geometric series have value S. Then
S=a1+a1r+a1r2+⋯+a1rn−1.
Factoring out a1, multiplying both sides by (r−1), and using the difference of powers factorization yields
S(r−1)=a1(r−1)(1+r+r2+⋯+rn−1)=a1(rn−1).
Dividing both sides by r−1 yields
S=r−1a1(rn−1)
The Infinite Sum
When ∣r∣<1 the terms shrink to zero and the series converges:
S∞=1−ra1,∣r∣<1.
When ∣r∣≥1 the series diverges, and thus cannot apply this formula.
Proof: If one assumes convergence, Using the terms defined above,
S=a1+a1r+a1r2+⋯.
Multiplying both sides by r and adding a1, we find that
rS+a1=a1+r(a1+a1r+⋯)=a1+a1r+a1r2+⋯=S.
Thus, rS+a1=S, and so S=1−ra1.
Geometric Mean
Definition: The geometric mean of n positive numbers is the nth root of the product of the n numbers.
G.M.=nx1×x2×⋯×xn
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 n be the number of terms of a geometric sequence with first term a and
common ratio r. The last term of this sequence is arn−1, so the geometric mean of the first and last terms is
a⋅arn−1=a2rn−1=ar(n−1)/2.
The geometric mean of all n terms is
na(ar)(ar2)⋯(arn−1)=nan⋅r[1+2+⋯+(n−1)]
=nan⋅r(n−1)n/2
=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,ar.
Quantity
Result
Product
a3
Sum
a(1/r+1+r)
Sum of squares
a2(1/r2+1+r2)
The product is shown through a3, so a can be found. Thus, we know that the sum gives a quadratic in r.
Concept: When x=0 and x=y, the factorization
xn−yn=(x−y)(xn−1+xn−2y+xn−3y2+⋯+xyn−2+yn−1)
is the same as the relationship found by summing the geometric series with first term xn−1 and common ratio y/x:
Example 1: Suppose x,y,z is a geometric sequence with common ratio r and x = y. If x,2y,3z is an arithmetic sequence, find the value of r. (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=rx and z=r2x. 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, and 3r2x are in arithmetic progression, which gives us
2rx−x=3r2x−2rx.
Rearranging this equation gives us
3r2x−4rx+x=0.
Factoring this equation gives
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/3 as the only possible value of r.
Example 2: The roots of 2x3−19x2+kx−54=0 are in geometric progression for some constant k. Find k.
Solution: Let the three roots in geometric progression be ra,a,ar for some values a and r. This is a convenient choice because the product of the roots simplifies nicely.
By Vieta's formulas, the product of the roots equals 254=27. So,
ra⋅a⋅ar=a3=27,
which gives us a=3.
By Vieta's formulas, the sum of the roots equals 219. So,
ra+a+ar=219.
Substituting a=3,
r3+3+3r=219.
Multiplying through by 2r,
6+6r+6r2=19r,
6r2−13r+6=0,
(2r−3)(3r−2)=0.
So r=23 or r=32. Both give the same three roots (just in reverse order): 2,3,29.
By Vieta's formulas, the sum of the products of the roots taken two at a time equals 2k. So,
2k=(2)(3)+(2)(29)+(3)(29)=6+9+227=257.
Therefore k=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 ra,a,ar. We are given two conditions:
ra+a+ar=39,(1)
r2a2+a2+a2r2=741.(2)
Notice that equation (2) is related to the square of equation (1). Squaring equation (1):
(ra+a+ar)2=1521.
Expanding,
r2a2+a2+a2r2+2(ra⋅a+ra⋅ar+a⋅ar)=1521.
Substituting (2) into the left side,
741+2a2(r1+1+r)=1521,
2a2(r1+1+r)=780.
From equation (1), a(r1+1+r)=39, so r1+1+r=a39. Substituting,
2a2⋅a39=780,
78a=780,
a=10.
Substituting a=10 back into equation (1):
r10+10+10r=39,
10r2−29r+10=0,
(2r−5)(5r−2)=0.
So r=25 or r=52. Both give the same three terms in reverse order.
Taking r=52: the three terms are 2/510=25,10,4.
Taking r=25: the three terms are 4,10,25.
The three terms are 4,10,25.
Example 4: Evaluate the sum 4−38+916−2732+⋯
Solution: We first identify this as a geometric series. The first term is a=4. To find the common ratio, we divide the second term by the first:
r=4−8/3=−32.
Since ∣r∣=32<1, the series converges. Applying the infinite geometric series formula S=1−ra,
S=1−(−32)4=354=4⋅53=512.
Example 5: Write the following expression as a single polynomial:
t10+t5+1(t2+t+1)(t12+t9+t6+t3+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+1 as 1+t+t2, we recognize it as a geometric series with first term 1 and common ratio t, so we have
1+t+t2=t−11(t3−1)=t−1t3−1.
You might also have recognized this relationship by noting that t2+t+1 is a factor of t3−1.
Similarly, the series 1+t3+t6+t9+t12 is geometric with first term 1 and common ratio t3, and the series 1+t5+t10 is geometric with first term 1 and common ratio t5. So we have
1+t3+t6+t9+t12=t3−11((t3)5−1)=t3−1t15−1,
1+t5+t10=t5−11((t5)3−1)=t5−1t15−1.
We see a lot of common factors among our new expressions, so we expect we can do a lot of cancellation: