Geometric progression
From Free net encyclopedia
In mathematics, a geometric progression (also known as a geometric sequence, and, inaccurately, as a geometric series; see below) is a sequence of numbers such that the quotient of any two successive members of the sequence is a constant called the common ratio of the sequence.
Thus without loss of generality a geometric sequence can be written as
- <math>a,ar,ar^2,ar^3,ar^4,\ldots\,</math>
where r ≠ 0 is the common ratio and a is a scale factor. Thus the common ratio gives a family of geometric sequences whose starting value is determined by the scale factor. Pedantically speaking, the case r = 0 ought to be excluded, since the common ratio is not even defined; but the sequence that is always 0 is included, by convention.
Contents |
Formula
Progressions allow the use of a few simple formulae to find each term. The nth term can be defined as
- <math>a_n = a\,r^{n-1} \quad \mbox{where n is an integer such that }n \ge 1</math>
The common ratio is then
- <math>r=\left(\frac{a_n}{a}\right)^\frac{1}{n-1} \mbox{or } r=\sqrt[n-1]{\frac{a_n}{a}} \quad \mbox{where n is an integer such that }n \ge 2</math>
and the scale factor is
- <math>a=\frac{a_n}{r^{n-1}}.</math>
Examples
A sequence with a common ratio of 2 and a scale factor of 1 is
- 1, 2, 4, 8, 16, 32, ....
A sequence with a common ratio of 2/3 and a scale factor of 729 is
- 729 (1, 2/3, 4/9, 8/27, 16/81, 32/243, 64/729, ....) = 729, 486, 324, 216, 144, 96, 64, ....
A sequence with a common ratio of −1 and a scale factor of 3 is
- 3 (1, −1, 1, −1, 1, −1, 1, −1, 1, −1, ....) = 3, −3, 3, −3, 3, −3, 3, −3, 3, −3, ....
This series' behaviour depends on the value of the common ratio.
- If the common ratio is:
- Negative, the terms will alternate between positive and negative.
- Greater than 1, there will be exponential growth towards infinity (positive).
- Less than −1, there will be exponential growth towards infinity (positive and negative).
- Between 1 and −1 but not zero, there will be exponential decay towards zero.
- Zero, the results will remain at zero.
- One, the progression is a constant sequence.
- −1, the progression is an alternating sequence (see alternating series)
- If the common ratio is:
A geometric progression with common ratio <math>\notin \{0,\pm1\}</math> shows exponential growth or exponential decay, as
opposed to the linear growth (or decline) of an arithmetic progression such as 4, 15, 26, 37, 48, ....
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: taking the logarithm of each term in a geometric progression yields an arithmetic one.
Geometric series
A geometric series is the sum of the numbers in a geometric progression:
- <math>\sum_{k=0}^{n} ar^k = ar^0+ar^1+ar^2+ar^3+\cdots+ar^n \,</math>
We can find a simpler formula for this sum by multiplying both sides of the above equation by <math>(1-r)\,</math> and we'll see that
- <math>(1-r) \sum_{k=0}^{n} ar^k = a-ar^{n+1}\,</math>
since all the other terms cancel. Rearranging (for <math>r\ne1</math>) gives the convenient formula for a geometric series:
- <math>\sum_{k=0}^{n} ar^k = \frac{a(1-r^{n+1})}{1-r}</math>
Note: If one were to begin the sum not from 0, but from a higher term, say m, then
- <math>\sum_{k=m}^n ar^k=\frac{a(r^m-r^{n+1})}{1-r}</math>
Differentiating the sum with respect to r allows us to arrive at formulae for sums of the form
- <math>\sum_{k=0}^n k^s r^k</math>
For example:
- <math>\frac{d}{dr}\sum_{k=0}^nr^k = \sum_{k=0}^nkr^{k-1}=
\frac{1-r^{n+1}}{(1-r)^2}-\frac{(n+1)r^n}{1-r}</math>
Infinite geometric series
An infinite geometric series is an infinite series whose successive terms have a common ratio. Such a series converges if and only if the absolute value of the common ratio is less than one. Its value can then be computed from the finite sum formulae
- <math>\lim_{n\to\infty}{\sum_{k=0}^{n} ar^k} = \lim_{n\to\infty}\frac{a(1-r^{n+1})}{1-r} = \frac{a}{1-r},</math>
or, in cases where the sum does not start at k = 0,
- <math>\sum_{k=m}^\infty ar^k=\frac{ar^m}{1-r}.</math>
Both are valid only for |r| < 1. This last formula is actually valid in every Banach algebra, as long as the norm of r is less than one, and also in the field of p-adic numbers if |r|p < 1. As in the case for a finite sum, we can differentiate to calculate formulae for related sums. For example,
- <math>\frac{d}{dr}\sum_{k=0}^\infty r^k = \sum_{k=0}^\infty kr^{k-1}=
\frac{1}{(1-r)^2}.</math>
This formula only works for |r| < 1, as well.
For example,
- <math>\sum_{k=0}^\infty (191) (\frac{6}{7})^k = \frac{191}{1-\frac{6}{7}} = 1337.</math>
See also
cs:Geometrická posloupnost de:Geometrische Reihe fr:Série géométrique id:Deret ukur it:Progressione geometrica he:סדרה הנדסית ko:등비수열 lt:Geometrinė progresija nl:Meetkundige rij pl:Szereg geometryczny pt:Progressão geométrica ru:Геометрическая прогрессия sv:Geometrisk funktion uk:Геометрична прогресія zh:等比数列