View source for Geometric progression

{{Short description|Mathematical sequence of numbers}}
[[File:Geometric sequences.svg|thumb|right|300px|Diagram illustrating three basic geometric sequences of the pattern 1(''r''<sup>''n''−1</sup>) up to 6 iterations deep. The first block is a unit block and the dashed line represents the infinite sum of the sequence, a number that it will forever approach but never touch: 2, 3/2, and 4/3 respectively.]]
In [[Mathematics|mathematics]], a '''geometric progression''', also known as a '''geometric sequence''', is a [[Sequence|sequence]] of non-zero [[Number|number]]s where each term after the first is found by multiplying the previous one by a fixed, non-zero number called the ''common ratio''. For example, the sequence 2, 6, 18, 54, ... is a geometric progression with common ratio 3. Similarly 10, 5, 2.5, 1.25, ... is a geometric sequence with common ratio 1/2.

Examples of a geometric sequence are [[Exponentiation|powers]] ''r''<sup>''k''</sup> of a fixed non-zero number ''r'', such as [[Power of two|2<sup>''k''</sup>]] and 3<sup>''k''</sup>. The general form of a geometric sequence is

:<math>a,\ ar,\ ar^2,\ ar^3,\ ar^4,\ \ldots</math>

where ''r'' ≠ 0 is the common ratio and ''a'' ≠ 0 is a [[Scale factor|scale factor]], equal to the sequence's start value.
The sum of a geometric progression's terms is called a ''[[Geometric series|geometric series]]''.

==Elementary properties==
The ''n''-th term of a geometric sequence with initial value ''a'' = ''a''<sub>1</sub> and common ratio ''r'' is given by
:<math>a_n = a\,r^{n-1},</math>
and in general
:<math>a_n = a_m\,r^{n-m}.</math>

Such a geometric sequence also follows the recursive relation
:<math>a_n = r\,a_{n-1}</math> for every integer <math>n\geq 2.</math>

Generally, to check whether a given sequence is geometric, one simply checks whether successive entries in the sequence all have the same ratio.

The common ratio of a geometric sequence may be negative, resulting in an alternating sequence, with numbers alternating between positive and negative. For instance
:1, −3, 9, −27, 81, −243, ...
is a geometric sequence with common ratio −3.

The behaviour of a geometric sequence depends on the value of the common ratio. If the common ratio is:
* positive, the terms will all be the same sign as the initial term.
* negative, the terms will alternate between positive and negative.
* greater than 1, there will be [[Exponential growth|exponential growth]] towards [[Extended real number line|positive or negative infinity]] (depending on the sign of the initial term).
* 1, the progression is a [[Constant function|constant]] sequence.
* between −1 and 1 but not zero, there will be [[Exponential decay|exponential decay]] towards zero (→&nbsp;0).
* −1, the absolute value of each term in the sequence is constant and terms alternate in sign.
* less than −1, for the absolute values there is exponential growth towards [[Point at infinity|(unsigned) infinity]], due to the alternating sign.

Geometric sequences (with common ratio not equal to −1, 1 or 0) show exponential growth or exponential decay, as opposed to the [[Linear function (calculus)|linear]] growth (or decline) of an [[Arithmetic progression|arithmetic progression]] such as 4, 15, 26, 37, 48, … (with common ''difference'' 11). This result was taken by T.R. Malthus as the mathematical foundation of his ''Principle of Population''.
Note that the two kinds of progression are related: exponentiating each term of an arithmetic progression yields a geometric progression, while taking the [[Logarithm|logarithm]] of each term in a geometric progression with a positive common ratio yields an arithmetic progression.

An interesting result of the definition of the geometric progression is that any three consecutive terms ''a'', ''b'' and ''c'' will satisfy the following equation:

::<math>b^2=ac</math>

where ''b'' is considered to be the ''geometric mean''  between ''a'' and ''c''.

==Geometric series {{anchor|Series}}==<!-- This section is linked from [[Time value of money]] -->
{{excerpt|Geometric series}}

==Product==
The product of a geometric progression is the product of all terms. It can be quickly computed by taking the [[Geometric mean|geometric mean]] of the progression's first and last individual terms, and raising that mean to the power given by the number of terms. (This is very similar to the formula for the sum of terms of an arithmetic sequence: take the [[Arithmetic mean|arithmetic mean]] of the first and last individual terms, and multiply by the number of terms.)

As the geometric mean of two numbers equals the square root of their product, the product of a geometric progression is:

:<math>\prod_{i=0}^{n} ar^i = (\sqrt{a \cdot ar^n})^{n+1} = (\sqrt{a^{2}r^n})^{n+1}</math>.

(An interesting aspect of this formula is that, even though it involves taking the square root of a potentially-odd power of a potentially-negative {{mvar|r}}, it cannot produce a complex result if neither {{mvar|a}} nor {{mvar|r}} has an imaginary part. It is possible, should {{mvar|r}} be negative and {{mvar|n}} be odd, for the square root to be taken of a negative intermediate result, causing a subsequent intermediate result to be an imaginary number. However, an imaginary intermediate formed in that way will soon afterwards be raised to the power of <math>\textstyle n + 1</math>, which must be an even number because {{mvar|n}} by itself was odd; thus, the final result of the calculation may plausibly be an odd number, but it could never be an imaginary one.)

===Proof===

Let {{mvar|P}} represent the product. By definition, one calculates it by explicitly multiplying each individual term together. Written out in full,

:<math>P = a \cdot ar \cdot ar^2 \cdots ar^{n-1} \cdot ar^n</math>.

Carrying out the multiplications and gathering like terms,

:<math>P = a^{n+1} r^{1+2+3+ \cdots +(n-1)+n}</math>.

The exponent of {{mvar|r}} is the sum of an arithmetic sequence. Substituting the formula for that calculation,

:<math>P = a^{n+1} r^\frac{n(n+1)}{2}</math>,

which enables simplifying the expression to

:<math>P = (ar^\frac{n}{2})^{n+1} = (a\sqrt{r^n})^{n+1}</math>.

Rewriting {{mvar|a}} as <math>\textstyle \sqrt{a^2}</math>,

:<math>P = (\sqrt{a^{2}r^n})^{n+1}</math>,

which concludes the proof.

==History==
A clay tablet from the Early Dynastic Period in Mesopotamia, MS 3047, contains a geometric progression with base 3 and multiplier 1/2. It has been suggested to be Sumerian, from the city of [[History:Shuruppak|Shuruppak]]. It is the only known record of a geometric progression from before the time of Babylonian mathematics.<ref>{{cite book|last=Friberg|first=Jöran|editor1-first=Jöran|editor1-last=Friberg|contribution=MS 3047: An Old Sumerian Metro-Mathematical Table Text|doi=10.1007/978-0-387-48977-3|isbn=978-0-387-34543-7|mr=2333050|pages=150–153|publisher=Springer|location=New York|series=Sources and Studies in the History of Mathematics and Physical Sciences|title=A remarkable collection of Babylonian mathematical texts|year=2007}}</ref>

Books VIII and IX of [[Biography:Euclid|Euclid]]'s [[Euclid's Elements|''Elements'']] analyzes geometric progressions (such as the powers of two, see the article for details) and give several of their properties.<ref>{{cite book|last=Heath|first=Thomas L.|title=The Thirteen Books of Euclid's Elements|url=https://archive.org/details/thirteenbooksofe00eucl|url-access=registration|edition=2nd ed. [Facsimile. Original publication: Cambridge University Press, 1925]|year=1956|publisher=Dover Publications|location=New York}}</ref>

== See also ==

* {{annotated link|Arithmetic progression}}
* {{annotated link|Arithmetico-geometric sequence}}
* {{annotated link|Linear difference equation}}
* {{annotated link|Exponential function}}
* {{annotated link|Harmonic progression (mathematics)|Harmonic progression}}
* {{annotated link|Harmonic series (mathematics)|Harmonic series}}
* {{annotated link|Series (mathematics)|Infinite series}}
* {{annotated link|Preferred number}}
* {{annotated link|Geometric distribution}}

==References==
{{Reflist}}
*Hall & Knight, ''Higher Algebra'', p.&nbsp;39, {{ISBN|81-8116-000-2}}

==External links==
*{{springer|title=Geometric progression|id=p/g044290}}
*[http://www.mathalino.com/reviewer/derivation-of-formulas/sum-of-finite-and-infinite-geometric-progression Derivation of formulas for sum of finite and infinite geometric progression] at Mathalino.com
*[http://www.calculadoraonline.com.br/en/view/geometric-progression.php Geometric Progression Calculator] {{Webarchive|url=https://web.archive.org/web/20081227084752/http://www.calculadoraonline.com.br/en/view/geometric-progression.php |date=2008-12-27 }}
*[https://web.archive.org/web/20100921093400/http://sputsoft.com/blog/2008/10/nice-geometric-progression-proof.html Nice Proof of a Geometric Progression Sum] at [https://web.archive.org/web/20091027173100/http://sputsoft.com/ sputsoft.com]
*{{mathworld|urlname=GeometricSeries|title=Geometric Series}}

{{Series (mathematics)}}

[[Category:Sequences and series]]
[[Category:Mathematical series]]
[[Category:Articles containing proofs]]

{{Sourceattribution|Geometric progression}}