Art of Problem Solving
AoPS Online
Math texts, online classes, and more
for students in grades 5-12.
Visit AoPS Online ‚
Books for Grades 5-12 Online Courses
Beast Academy
Engaging math books and online learning
for students ages 6-13.
Visit Beast Academy ‚
Books for Ages 6-13 Beast Academy Online
AoPS Academy
Small live classes for advanced math
and language arts learners in grades 2-12.
Visit AoPS Academy ‚
Find a Physical Campus Visit the Virtual Campus

Difference between revisions of "Geometric sequence"
m (Added a definition for infinite geometric sequences, also changed examples in the intro.)
Line 1: Line 1:
 
In [[algebra]], a '''geometric sequence''', sometimes called a '''geometric progression''', is a [[sequence]] of numbers such that the ratio between any two consecutive terms is constant. This constant is called the '''common ratio''' of the sequence.
 
In [[algebra]], a '''geometric sequence''', sometimes called a '''geometric progression''', is a [[sequence]] of numbers such that the ratio between any two consecutive terms is constant. This constant is called the '''common ratio''' of the sequence.
  
−
For example, <math>7, 14, 28, 56</math> is a geometric sequence with common ratio <math>2</math> and <math>100, -50, 25, -25/2, \ldots</math> is a geometric sequence with common ratio <math>-1/2</math>; however, <math>1, 3, 9, 19</math> and <math>-3, 1, 5, 9</math> are not geometric sequences, as the ratio between consecutive terms varies.
+
For example, <math>1, 2, 4, 8</math> is a geometric sequence with common ratio <math>2</math> and <math>100, -50, 25, -25/2</math> is a geometric sequence with common ratio <math>-1/2</math>; however, <math>1, 3, 9, 19</math> and <math>-3, 1, 5, 9, \ldots</math> are not geometric sequences, as the ratio between consecutive terms varies.
  
−
More formally, the sequence <math>a_1, a_2, \ldots , a_n</math> is a geometric progression if and only if <math>a_2 / a_1 = a_3 / a_2 = \cdots = a_n / a_{n-1}</math>. This definition appears most frequently in its three-term form: namely, that constants <math>a</math>, <math>b</math>, and <math>c</math> are in geometric progression if and only if <math>b / a = c / b</math>.
+
More formally, the sequence <math>a_1, a_2, \ldots , a_n</math> is a geometric progression if and only if <math>a_2 / a_1 = a_3 / a_2 = \cdots = a_n / a_{n-1}</math>. A similar definition holds for infinite geometric sequences. It appears most frequently in its three-term form: namely, that constants <math>a</math>, <math>b</math>, and <math>c</math> are in geometric progression if and only if <math>b / a = c / b</math>.
  
 
== Properties ==
 
== Properties ==
Line 19: Line 19:
  
 
=== Infinite ===
 
=== Infinite ===
−
An infinite geometric series converges if and only if <math>|r|<1</math>; if this condition is satisfied, the series has value <math>\frac{a_1}{1-r}</math>.
+
An infinite geometric series converges if and only if <math>|r|<1</math>; if this condition is satisfied, the series [[Convergent | converges]] to <math>\frac{a_1}{1-r}</math>.
  
 
'''Proof''': The proof that the series convergence if and only if <math>|r|<1</math> is an easy application of the ratio test from calculus; thus, such a proof is beyond the scope of this article. If one assumes convergence, there is an elementary proof of the formula that uses [[telescoping]]. Using the terms defined above, <cmath>S = a_1 + a_1r + a_1r^2 + \cdots.</cmath> Multiplying both sides by <math>r</math> and adding <math>a_1</math>, we find that <cmath>rS + a_1 = a_1 + r(a_1 + a_1r + \cdots) = a_1 + a_1r + a_1r^2 + \cdots = S.</cmath> Thus, <math>rS + a_1 = S</math>, and so <math>S = \frac{a_1}{1-r}</math>. <math>\square</math>
 
'''Proof''': The proof that the series convergence if and only if <math>|r|<1</math> is an easy application of the ratio test from calculus; thus, such a proof is beyond the scope of this article. If one assumes convergence, there is an elementary proof of the formula that uses [[telescoping]]. Using the terms defined above, <cmath>S = a_1 + a_1r + a_1r^2 + \cdots.</cmath> Multiplying both sides by <math>r</math> and adding <math>a_1</math>, we find that <cmath>rS + a_1 = a_1 + r(a_1 + a_1r + \cdots) = a_1 + a_1r + a_1r^2 + \cdots = S.</cmath> Thus, <math>rS + a_1 = S</math>, and so <math>S = \frac{a_1}{1-r}</math>. <math>\square</math>

Revision as of 09:09, 5 November 2021

In algebra, a geometric sequence, sometimes called a geometric progression, is a sequence of numbers such that the ratio between any two consecutive terms is constant. This constant is called the common ratio of the sequence.

For example, $1, 2, 4, 8$ is a geometric sequence with common ratio $2$ and $100, -50, 25, -25/2$ is a geometric sequence with common ratio $-1/2$; however, $1, 3, 9, 19$ and $-3, 1, 5, 9, \ldots$ are not geometric sequences, as the ratio between consecutive terms varies.

More formally, the sequence $a_1, a_2, \ldots , a_n$ is a geometric progression if and only if $a_2 / a_1 = a_3 / a_2 = \cdots = a_n / a_{n-1}$. A similar definition holds for infinite geometric sequences. It appears most frequently in its three-term form: namely, that constants $a$, $b$, and $c$ are in geometric progression if and only if $b / a = c / b$.

Properties

Because each term is a common multiple of the one before it, every term of a geometric sequence can be expressed as the sum of the first term and a multiple of the common ratio. Let $a_1$ be the first term, $a_n$ be the $n$th term, and $r$ be the common ratio of any geometric sequence; then, $a_n = a_1 r^{n-1}$.

A common lemma is that for any consecutive terms $a_{n-1}$, $a_n$, and $a_{n+1}$ of a geometric sequence, then $a_n$ is the geometric mean of $a_{n-1}$ and $a_{n+1}$. In symbols, $a_n^2 = a_{n-1}a_{n+1}$. This is mostly used to perform substitutions.

Sum

A geometric series is the sum of all the terms of a geometric sequence. They come in two varieties, both of which have their own formulas: finitely or infinitely many terms.

Finite

A finite geometric series with first term $a_1$, common ratio $r$ not equal to one, and $n$ total terms has a value equal to $\frac{a_1(r^n-1)}{r-1}$.

Proof: Let the geometric series have value $S$. Then \[S = a_1 + a_1r + a_1r^2 + \cdots + a_1r^{n-1}.\] Factoring out $a_1$, mulltiplying both sides by $(r-1)$, and using the difference of powers factorization yields \[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-1$ yields $S=\frac{a_1(r^n-1)}{r-1}$, as desired. $\square$

Infinite

An infinite geometric series converges if and only if $|r|<1$; if this condition is satisfied, the series converges to $\frac{a_1}{1-r}$.

Proof: The proof that the series convergence if and only if $|r|<1$ is an easy application of the ratio test from calculus; thus, such a proof is beyond the scope of this article. If one assumes convergence, there is an elementary proof of the formula that uses telescoping. Using the terms defined above, \[S = a_1 + a_1r + a_1r^2 + \cdots.\] Multiplying both sides by $r$ and adding $a_1$, we find that \[rS + a_1 = a_1 + r(a_1 + a_1r + \cdots) = a_1 + a_1r + a_1r^2 + \cdots = S.\] Thus, $rS + a_1 = S$, and so $S = \frac{a_1}{1-r}$. $\square$

Problems

Here are some problems that test knowledge of geometric sequences and series.

Intermediate

See also

Retrieved from "https://artofproblemsolving.com/wiki/index.php?title=Geometric_sequence&oldid=164650"