View source for Geometric series

{{Short description|Sum of an (infinite) geometric progression}}
[[File:GeometricSquares.svg|thumb|right|The geometric series 1/4 + 1/16 + 1/64 + 1/256 + ... shown as areas of purple squares. Each of the purple squares has 1/4 of the area of the next larger square (1/2×{{nowrap|1/2}} = 1/4, 1/4×1/4 = 1/16, etc.). The sum of the areas of the purple squares is one third of the area of the large square.]]

[[File:Geometric squares2r.png|thumb|right|Another geometric series (coefficient ''a'' = 4/9 and common ratio ''r'' = 1/9) shown as areas of purple squares. The total purple area is S = ''a'' / (1 - ''r'') = (4/9) / (1 - (1/9)) = 1/2, which can be confirmed by observing that the [[Unit square|unit square]] is partitioned into an infinite number of L-shaped areas each with four purple squares and four yellow squares, which is half purple.]]

In [[Mathematics|mathematics]], a '''geometric series''' is the sum of an infinite number of terms that have a constant ratio between successive terms.  For example, the series

:<math>\frac{1}{2} \,+\, \frac{1}{4} \,+\, \frac{1}{8} \,+\, \frac{1}{16} \,+\, \cdots</math>

is geometric, because each successive term can be obtained by multiplying the previous term by <math>1/2</math>. In general, a geometric series is written as <math>a + ar + ar^2 + ar^3 + ...</math>, where <math>a</math> is the [[Coefficient|coefficient]] of each term and <math>r</math> is the common ratio between adjacent terms. The geometric series had an important role in the early development of [[Calculus|calculus]], is used throughout mathematics, and can serve as an introduction to frequently used mathematical tools such as the [[Taylor series]], the [[Fourier series]], and the [[Matrix exponential|matrix exponential]].

The name geometric series indicates each term is the [[Geometric mean|geometric mean]] of its two neighboring terms, similar to how the name arithmetic series indicates each term is the [[Arithmetic mean|arithmetic mean]] of its two neighboring terms.

==Components==

===Coefficient ''a''===
[[File:Geometric series sum of functions.png|thumb|The first nine terms of geometric series 1 + ''r'' + ''r''<sup>2</sup> + ''r''<sup>3</sup> ... drawn as functions (colored in the order red, green, blue, red, green, blue, ...) within the range {{Pipe}}''r''{{Pipe}} < 1. The closed form geometric series 1 / (1 - ''r'') is the black dashed line.]]

The geometric series ''a'' + ''ar'' + ''ar''<sup>2</sup> + ''ar''<sup>3</sup> + ... is written in expanded form.<ref name="Riddle">Riddle, Douglas F. ''Calculus and Analytic Geometry, Second Edition'' Belmont, California, Wadsworth Publishing, p. 566, 1970.</ref> Every coefficient in the geometric series is the same. In contrast, the [[Power series|power series]] written as ''a''<sub>0</sub> + ''a''<sub>1</sub>''r'' + ''a''<sub>2</sub>''r''<sup>2</sup> + ''a''<sub>3</sub>''r''<sup>3</sup> + ... in expanded form has coefficients ''a''<sub>i</sub> that can vary from term to term. In other words, the geometric series is a [[Special case|special case]] of the power series. The first term of a geometric series in expanded form is the coefficient ''a'' of that geometric series.

In addition to the expanded form of the geometric series, there is a generator form<ref name="Riddle"/> of the geometric series written as

:<math>\sum^{\infty}_{k=0} a r^k</math>

and a [[Closed-form expression|closed form]] of the geometric series written as

:<math>\frac{a}{1-r} \text{ for } |r|<1. </math>

The derivation of the closed form from the expanded form is shown in this article's {{slink||Sum}} section. However even without that derivation, the result can be confirmed with [[Long division|long division]]: ''a'' divided by (1 - ''r'') results in ''a'' + ''ar'' + ''ar''<sup>2</sup> + ''ar''<sup>3</sup> + ... , which is the expanded form of the geometric series.

It is often a convenience in notation to set the series equal to the sum ''s'' and work with the geometric series

:''s'' = ''a'' + ''ar'' + ''ar''<sup>2</sup> + ''ar''<sup>3</sup> + ''ar''<sup>4</sup> + ... in its normalized form
:''s'' / ''a'' = 1 + ''r'' + ''r''<sup>2</sup> + ''r''<sup>3</sup> + ''r''<sup>4</sup> + ... or in its normalized vector form
:''s'' / ''a'' = [1 1 1 1 1 ...][1 ''r'' ''r''<sup>2</sup> ''r''<sup>3</sup> ''r''<sup>4</sup> ...]<sup>T</sup> or in its normalized partial series form
:''s''<sub>n</sub> / ''a'' = 1 + ''r'' + ''r''<sup>2</sup> + ''r''<sup>3</sup> + ''r''<sup>4</sup> + ... + ''r''<sup>n</sup>, where n is the power (or degree) of the last term included in the partial sum ''s''<sub>n</sub>.

Changing even one of the coefficients to something other than coefficient ''a'' would change the resulting sum of functions to some function other than ''a'' / (1 − ''r'') within the range |''r''| < 1. As an aside, a particularly useful change to the coefficients is defined by the [[Taylor series]], which describes how to change the coefficients so that the sum of functions converges to any user selected, sufficiently smooth function within a range.

===Common ratio ''r''===
[[File:Geometric Segment.svg|thumb|The convergence of the geometric series with ''r''=1/2 and ''a''=1/2]]
[[File:Geometrische reihe.svg|thumb|The convergence of the geometric series with ''r''=1/2 and ''a''=1]]
[[File:Convergence rate common ratio r close up.png|thumb|Close-up view of the cumulative sum of functions within the range -1 < ''r'' < -0.5 as the first 11 terms of the geometric series 1 + ''r'' + ''r''<sup>2</sup> + ''r''<sup>3</sup> + ... are added. The geometric series 1 / (1 - ''r'') is the red dashed line.]]
[[File:Complex geometric series animation.ogg|thumb|Complex geometric series (coefficient ''a'' = 1 and common ratio ''r'' = 0.5 e<sup>iω<sub>0</sub>t</sup>) converging to a circle. In the animation, each term of the geometric series is drawn as a vector twice''':''' once at the origin and again within the head-to-tail vector summation that converges to the circle. The circle intersects the real axis at 2 (= 1/(1-1/2) when ''θ'' = 0) and at 2/3 (= 1/(1-(-1/2)) when ''θ'' = 180 degrees).]]

The geometric series ''a'' + ''ar'' + ''ar''<sup>2</sup> + ''ar''<sup>3</sup> + ... is an infinite series defined by just two parameters: coefficient ''a'' and common ratio ''r''. Common ratio ''r'' is the ratio of any term with the previous term in the series. Or equivalently, common ratio ''r'' is the term multiplier used to calculate the next term in the series. The following table shows several geometric series:

{| class="wikitable" style="margin: 1em auto 1em auto"
|-
! ''a''
! ''r''
! Example series
|-
| style="text-align:center;"| 4
| style="text-align:center;"| 10
| 4 + 40 + 400 + 4000 + 40,000 + ···
|-
| style="text-align:center;"| 3
| style="text-align:center;"| 1
| 3 + 3 + 3 + 3 + 3 + ···
|-
| style="text-align:center;"| 1
| style="text-align:center;"| 2/3
| 1 + 2/3 + 4/9 + 8/27 + 16/81 + ···
|-
| style="text-align:center;"| 1/2
| style="text-align:center;"| 1/2
| 1/2 + 1/4 + 1/8 + 1/16 + 1/32 + ···
|-
| style="text-align:center;"| 9
| style="text-align:center;"| 1/3
| 9 + 3 + 1 + 1/3 + 1/9 + ···
|-
| style="text-align:center;"| 7
| style="text-align:center;"| 1/10
| 7 + 0.7 + 0.07 + 0.007 + 0.0007 + ···
|-
| style="text-align:center;"| 1
| style="text-align:center;"| &minus;1/2
| 1 &minus; 1/2 + 1/4 &minus; 1/8 + 1/16 &minus; 1/32 + ···
|-
| style="text-align:center;"| 3
| style="text-align:center;"| &minus;1
| 3 &minus; 3 + 3 &minus; 3 + 3 &minus; ···
|}

The convergence of the geometric series depends on the value of the common ratio ''r'':
:* If |''r''| < 1, the terms of the series approach zero in the limit (becoming smaller and smaller in magnitude), and the series converges to the sum ''a'' / (1 - ''r'').
:* If |''r''| = 1, the series does not converge. When ''r'' = 1, all of the terms of the series are the same and the series is infinite. When ''r'' = &minus;1, the terms take two values alternately (for example, 2, &minus;2, 2, &minus;2, 2,... ). The sum of the terms [[Oscillation (mathematics)|oscillates]] between two values (for example, 2, 0, 2, 0, 2,... ). This is a different type of divergence. See for example [[Grandi's series]]:  1 &minus; 1 + 1 &minus; 1 + ···.
:*If |''r''| > 1, the terms of the series become larger and larger in magnitude. The sum of the terms also gets larger and larger, and the series does not converge to a sum. (The series [[Divergent series|diverges]].)

The rate of convergence also depends on the value of the common ratio ''r''. Specifically, the rate of convergence gets slower as ''r'' approaches 1 or &minus;1. For example, the geometric series with ''a'' = 1 is 1 + ''r'' + ''r''<sup>2</sup> + ''r''<sup>3</sup> + ... and converges to 1 / (1 - ''r'') when |''r''| < 1. However, the number of terms needed to converge approaches infinity as ''r'' approaches 1 because ''a'' / (1 - ''r'') approaches infinity and each term of the series is less than or equal to one. In contrast, as ''r'' approaches &minus;1 the sum of the first several terms of the geometric series starts to converge to 1/2 but slightly flips up or down depending on whether the most recently added term has a power of ''r'' that is even or odd. That flipping behavior near ''r'' = &minus;1 is illustrated in the adjacent image showing the first 11 terms of the geometric series with ''a'' = 1 and |''r''| < 1.
  
The common ratio ''r'' and the coefficient ''a'' also define the [[Geometric progression|geometric progression]], which is a list of the terms of the geometric series but without the additions. Therefore the geometric series ''a'' + ''ar'' + ''ar''<sup>2</sup> + ''ar''<sup>3</sup> + ... has the geometric progression (also called the geometric sequence) ''a'', ''ar'', ''ar''<sup>2</sup>, ''ar''<sup>3</sup>, ...  The geometric progression - as simple as it is - models a surprising number of natural [[Philosophy:Phenomenon|phenomena]], 
:* from some of the largest observations such as the [[Astronomy:Expansion of the universe|expansion of the universe]] where the common ratio ''r'' is defined by [[Astronomy:Hubble's law|Hubble's constant]],
:* to some of the smallest observations such as the decay of radioactive carbon-14 atoms where the common ratio ''r'' is defined by the [[Physics:Radiocarbon dating|half-life of carbon-14]].

As an aside, the common ratio ''r'' can be a [[Complex number|complex number]] such as |''r''|e<sup>i''θ''</sup> where |''r''| is the [[Euclidean vector|vector]]'s magnitude (or length), ''θ'' is the vector's angle (or orientation) in the [[Complex plane|complex plane]] and i<sup>2</sup> = -1. With a common ratio |''r''|e<sup>i''θ''</sup>, the expanded form of the geometric series is ''a'' + ''a''|''r''|e<sup>i''θ''</sup> + ''a''|''r''|<sup>2</sup>e<sup>i2''θ''</sup> + ''a''|''r''|<sup>3</sup>e<sup>i3''θ''</sup> + ...  Modeling the angle ''θ'' as linearly increasing over time at the rate of some [[Physics:Angular frequency|angular frequency]] ''ω''<sub>0</sub> (in other words, making the substitution ''θ'' = ''ω''<sub>0</sub>''t''), the expanded form of the geometric series becomes ''a'' + ''a''|''r''|e<sup>i''ω''<sub>0</sub>''t''</sup> + ''a''|''r''|<sup>2</sup>e<sup>i2''ω''<sub>0</sub>''t''</sup> + ''a''|''r''|<sup>3</sup>e<sup>i3''ω''<sub>0</sub>''t''</sup> + ... , where the first term is a vector of length ''a'' not rotating at all, and all the other terms are vectors of different lengths rotating at harmonics of the fundamental angular frequency ''ω''<sub>0</sub>. The constraint |''r''|<1 is enough to coordinate this infinite number of vectors of different lengths all rotating at different speeds into tracing a circle, as shown in the adjacent video. Similar to how the [[Taylor series]] describes how to change the coefficients so the series converges to a user selected sufficiently smooth function within a range, the [[Fourier series]] describes how to change the coefficients (which can also be complex numbers in order to specify the initial angles of vectors) so the series converges to a user selected [[Periodic function|periodic function]].

{{anchor|Sum}}

==Sum==

[[File:Geometric series geometric interpretation, common ratio r = 1-2.png|thumb|As an alternative to the algebraic derivation of the geometric series closed form formula, there is also the following geometric derivation. (TOP) Represent the first n+1 terms of ''s''/''a'' as areas of overlapped similar triangles.<ref>{{cite book |author1=Hairer E. |author2=Wanner G. |title=Analysis by Its History |date=1996 |publisher=Springer |pages=188}} Section III.2, Figure 2.1</ref> For example, the area of the biggest overlapped (red) triangle is ''bh''/2 = (2)(1)/2 = 1, which is the value of the first term of the geometric series. The area of the second biggest overlapped (green) triangle is ''bh''/2 = (2''r''<sup>1/2</sup>)(''r''<sup>1/2</sup>)/2 = ''r'', which is the value of the second term of the geometric series. Each progressively smaller triangle has its base and height scaled down by another factor of ''r''<sup>1/2</sup>, resulting in a sequence of triangle areas 1, ''r'', ''r''<sup>2</sup>, ''r''<sup>3</sup>, ... which is equal to the sequence of terms in the normalized geometric series. (MIDDLE) In the order from largest to smallest, remove each triangle's overlapped area, which is always a fraction ''r'' of its area, and scale the remaining 1−''r'' of the triangle's non-overlapped area by 1/(1−''r'') so the area of the formerly overlapped triangle, now the area of a non-overlapped trapezoid, remains the same. (BOTTOM) Aggregate the resulting n+1 non-overlapped trapezoids into a single non-overlapped trapezoid and calculate its area. The area of that aggregated trapezoid represents the value of the partial series. That area is equal to the outermost triangle minus the empty triangle tip: ''s''<sub>n</sub>/''a'' = (1−''r''<sup>n+1</sup>) / (1−''r''), which simplifies to ''s''/''a'' = 1/(1−''r'') when n approaches infinity and {{Pipe}}''r''{{Pipe}} < 1.]]

The sum of the first ''n'' terms of a geometric series, up to and including the ''r'' <sup>n-1</sup> term, is given by the closed-form formula:

<math display=block>
\begin{align}
s_n &= ar^0 + ar^1 + \cdots + ar^{n-1}\\
&= \sum_{k=0}^{n-1} ar^k = \sum_{k=1}^{n} ar^{k-1}\\
&= 
\begin{cases}
a\left(\frac{1-r^{n}}{1-r}\right) & r \neq 1\\
an                                & \text{otherwise}
\end{cases}
\end{align}
</math>

where {{math|''r''}} is the common ratio.  One can derive that closed-form formula for the partial sum, ''s''<sub>n</sub>, by subtracting out the many self-similar terms as follows:<ref>{{harvtxt|Abramowitz|Stegun|1972|p=10}}</ref><ref>{{harvtxt|Moise|1967|p=48}}</ref><ref>{{harvtxt|Protter|Morrey|1970|pp=639–640}}</ref>
<math display=block>
\begin{align}  
  s_n &= ar^0 + ar^1 + \cdots + ar^{n-1},\\
 rs_n &= ar^1 + ar^2 + \cdots + ar^{n},\\
  s_n - rs_n &= ar^0 - ar^{n},\\
  s_n\left(1-r\right) &= a\left(1-r^{n}\right),\\
  s_n &= a\left(\frac{1-r^{n}}{1-r}\right), \text{ for } r \neq 1.
\end{align}
</math>

As {{math|''n''}} approaches infinity, the absolute value of {{math|''r''}} must be less than one for the series to converge. The sum then becomes

<math display=block>
\begin{align}
s &= a+ar+ar^2+ar^3+ar^4+\cdots\\
  &= \sum_{k=0}^\infty ar^{k} = \sum_{k=1}^\infty ar^{k-1}\\
  &= \frac{a}{1-r}, \text{ for } |r|<1.
\end{align}
</math>

The formula also holds for complex {{math|''r''}}, with the corresponding restriction that the [[Absolute value#Complex numbers|modulus]] of {{math|''r''}} is strictly less than one.

As an aside, the question of whether an infinite series converges is fundamentally a question about the distance between two values: given enough terms, does the value of the partial sum get arbitrarily close to the finite value it is approaching? In the above derivation of the closed form of the geometric series, the interpretation of the distance between two values is the distance between their locations on the [[Number line|number line]]. That is the most common interpretation of the distance between two values. However, the p-adic [[Metric (mathematics)|metric]], which has become a critical notion in modern [[Number theory|number theory]], offers a definition of distance such that the geometric series 1 + 2 + 4 + 8 + ... with ''a'' = 1 and ''r'' = 2 actually does converge to ''a'' / (1 - ''r'') = 1 / (1 - 2) = -1 even though ''r'' is outside the typical convergence range |''r''| < 1.

===Proof of convergence===
We can prove that the geometric series [[Convergent series|converges]] using the sum formula for a [[Geometric progression|geometric progression]]:
<math display="block">\begin{align}
1 + r + r^2 + r^3 + \cdots \ &= \lim_{n\to\infty} \left(1 + r + r^2 + \cdots + r^n\right) \\
&= \lim_{n\to\infty} \frac{1-r^{n+1}}{1-r}.
\end{align}</math>
The second equality is true because if <math> |r| < 1,</math> then <math>r^{n+1} \to 0</math> as <math>n \to \infty</math> and
<math display="block">
\begin{align}
\left(1 + r + r^2 + \cdots + r^n\right)(1 - r) &= \left((1-r) + (r - r^2) + (r^2 - r^3) + \dots + (r^n - r^{n+1})\right) \\
&= 1 + (-r + r) + ( -r^2 + r^2) + \dots + (-r^n + r^n) - r^{n+1} \\
&= 1-r^{n+1}.
\end{align}
</math>

Alternatively, a geometric interpretation of the convergence is shown in the adjacent diagram. The area of the white triangle is the series [[Remainder|remainder]] = ''s'' − ''s''<sub>n</sub> = ''ar''<sup>''n''+1</sup> / (1 − ''r''). Each additional term in the partial series reduces the area of that white triangle remainder by the area of the trapezoid representing the added term. The trapezoid areas (i.e., the values of the terms) get progressively thinner and shorter and closer to the origin. In the limit, as the number of trapezoids approaches infinity, the white triangle remainder vanishes as it is filled by trapezoids and therefore ''s''<sub>n</sub> converges to ''s'', provided |''r''|<1. In contrast, if |''r''|>1, the trapezoid areas representing the terms of the series instead get progressively wider and taller and farther from the origin, not converging to the origin and not converging as a series.

===Rate of convergence===
[[File:Geometric interpretation of converging alternating geometric series.png|thumb|Converging alternating geometric series with common ratio ''r'' = -1/2 and coefficient ''a'' = 1. (TOP) Alternating positive and negative areas. (MIDDLE) Gaps caused by addition of adjacent areas. (BOTTOM) Gaps filled by broadening and decreasing the heights of the separated trapezoids.]]

After knowing that a series converges, there are some applications in which it is also important to know how quickly the series converges. For the geometric series, one convenient measure of the convergence rate is how much the previous series remainder decreases due to the last term of the partial series. Given that the last term is ''ar''<sup>n</sup> and the previous series remainder is ''s'' - ''s''<sub>n-1</sub> = ''ar''<sup>n</sup> / (1 - ''r'')), this measure of the convergence rate of the geometric series is ''ar''<sup>n</sup> / (''ar''<sup>n</sup> / (1 - ''r'')) = 1 - ''r'', if 0 ≤ ''r'' < 1.

If ''r'' < 0, adjacent terms in the geometric series alternate between being positive and negative. A geometric interpretation of a converging alternating geometric series is shown in the adjacent diagram in which the areas of the negative terms are shown below the x axis. Pairing and summing each positive area with its negative smaller area neighbor results in non-overlapped trapezoids separated by gaps. To remove the gaps, broaden each trapezoid to cover the rightmost 1 - ''r''<sup>2</sup> of the original triangle area instead of just the rightmost 1 - |''r''|. However, to maintain the same trapezoid areas during this broadening transformation, scaling is needed: scale*(1 - ''r''<sup>2</sup>) = (1 - |''r''|), or scale = (1 - |''r''|) / (1 - ''r''<sup>2</sup>) = (1 + ''r'') / (1 - ''r''<sup>2</sup>) = (1 + ''r'') / ((1 + ''r'')(1 - ''r'')) = 1 / (1 - ''r'') where -1 < ''r'' ≤ 0. Note that because ''r'' < 0 this scale decreases the amplitude of the separated trapezoids in order to fill in the separation gaps. In contrast, for the case ''r'' > 0 the same scale 1 / (1 - ''r'') increases the amplitude of the non-overlapped trapezoids in order to account for the loss of the overlapped areas.

With the gaps removed, pairs of terms in a converging alternating geometric series become a converging (non-alternating) geometric series with common ratio ''r''<sup>2</sup> to account for the pairing of terms, coefficient ''a'' = 1 / (1 - ''r'') to account for the gap filling, and the degree (i.e., highest powered term) of the partial series called m instead of n to emphasize that terms have been paired. Similar to the ''r'' > 0 case, the ''r'' < 0 convergence rate = ''ar''<sup>2m</sup> / (''s'' - s<sub>m-1</sub>) = 1 - ''r''<sup>2</sup>, which is the same as the convergence rate of a non-alternating geometric series if its terms were similarly paired. Therefore, the convergence rate does not depend upon n or m and, perhaps more surprising, does not depend upon the sign of the common ratio. One perspective that helps explain the variable rate of convergence that is symmetric about ''r'' = 0 is that each added term of the partial series makes a finite contribution to the infinite sum at ''r'' = 1 and each added term of the partial series makes a finite contribution to the infinite slope at ''r'' = -1.

===Derivation===

====Finite series====

To derive this formula, first write a general geometric series as:
<math display="block">\sum_{k=1}^{n} ar^{k-1} = ar^0 + ar^1 + ar^2 + ar^3 + \cdots + ar^{n-1}. </math>

We can find a simpler formula for this sum by multiplying both sides of the above equation by 1 − ''r'', and we'll see that

<math display="block">\begin{align}
(1-r) \sum_{k=1}^{n} ar^{k-1} & = (1-r)\left(ar^0 + ar^1+ar^2+ar^3+\cdots+ar^{n-1}\right) \\
 & = ar^0 + ar^1+ar^2+ar^3+\cdots+ar^{n-1} - ar^1-ar^2-ar^3-\cdots-ar^{n-1} - ar^n \\
 & = a - ar^n
\end{align}</math>

since all the other terms cancel. If ''r'' ≠ 1, we can rearrange the above to get the convenient formula for a geometric series that computes the sum of ''n'' terms:

<math display="block">\sum_{k=1}^{n} ar^{k-1} = \frac{a(1-r^n)}{1-r}.</math>

; Related formulas

If one were to begin the sum not from k=1 or 0 but from a different value, say {{tmath|m}}, then

<math display="block">\begin{align}
\sum_{k=m}^n ar^{k-1} &= 
\begin{cases}
\frac{a(r^{m-1}-r^n)}{1-r} & \text{if }r \neq 1 \\
a(n-m+1) & \text{if }r = 1
\end{cases}\\
\sum_{k=m}^n ar^k &= 
\begin{cases}
a(n-m+1) & \text{if }r = 1 \\
\frac{a(r^m-r^{n+1})}{1-r} & \text{if }r \neq 1
\end{cases}\end{align}</math>

[[Derivative|Differentiating]] this formula with respect to {{tmath|r}} allows us to arrive at formulae for sums of the form

<math display="block">G_s(n, r) := \sum_{k=0}^n k^s r^k.</math>

For example:

<math display="block">\frac{d}{dr} \sum_{k=0}^nr^k = \sum_{k=1}^n kr^{k-1}=
\frac{1-r^{n+1}}{(1-r)^2}-\frac{(n+1)r^n}{1-r}.</math>

For a geometric series containing only even powers of {{tmath|r}} multiply by {{tmath|1-r^2}}:

<math display="block">\begin{align}
(1-r^2) \sum_{k=0}^{n} ar^{2k} &= a-ar^{2n+2}\\
\sum_{k=0}^{n} ar^{2k} &= \frac{a(1-r^{2n+2})}{1-r^2}
\end{align}</math>

Equivalently, take {{tmath|r^2}} as the common ratio and use the standard formulation.

For a series with only odd powers of {{tmath|r}},
<math display="block">\begin{align}
(1-r^2) \sum_{k=0}^{n} ar^{2k+1} &= ar-ar^{2n+3}\\
\sum_{k=0}^{n} ar^{2k+1} &= \frac{ar(1-r^{2n+2})}{1-r^2} &= \frac{a(r-r^{2n+3})}{1-r^2}
\end{align}</math>

An exact formula for the generalized sum <math>G_s(n, r)</math> when <math>s \in \mathbb{N}</math> is expanded by the [[Stirling numbers of the second kind]] as <ref>{{cite web|title=Set Partitions: Stirling Numbers |url=https://dlmf.nist.gov/26.8 |website=Digital Library of Mathematical Functions|access-date=24 May 2018}}</ref>

<math display="block">G_s(n, r) = \sum_{j=0}^s \left\lbrace{s \atop j}\right\rbrace x^j \frac{d^j}{dx^j}\left[\frac{1-x^{n+1}}{1-x}\right].</math>

====Infinite series====
An '''infinite geometric series''' is an infinite series whose successive terms have a common ratio. Such a series converges [[If and only if|if and only if]] the [[Absolute value|absolute value]] of the common ratio is less than one ({{abs|''r''}}&nbsp;<&nbsp;1). Its value can then be computed from the finite sum formula
<math display="block">\sum_{k=0}^\infty ar^k = \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} - \lim_{n\to\infty}{\frac{ar^{n+1}}{1-r}} </math>

[[Image:Geometric progression.gif|thumb|350px|Animation, showing convergence of partial sums of geometric progression <math>\sum\limits_{k=0}^{n}q^k</math> (red line) to its sum <math>{1\over 1-q}</math> (blue line) for <math>|q|<1</math>.]]
[[Image:Geometric progression convergence diagram.svg|thumb|350px|Diagram showing the geometric series 1 + 1/2 + 1/4 + 1/8 + ⋯ which converges to 2.]]

Since:
<math display="block"> r^{n+1} \to 0 \mbox{ as } n \to \infty \mbox{ when } |r| < 1.</math>

Then:
<math display="block">\sum_{k=0}^\infty ar^k = \frac{a}{1-r} - 0 = \frac{a}{1-r}</math>

For a series containing only even powers of <math>r</math>,
<math display="block">\sum_{k=0}^\infty ar^{2k} = \frac{a}{1-r^2}</math>
and for odd powers only,
<math display="block">\sum_{k=0}^\infty ar^{2k+1} = \frac{ar}{1-r^2}</math>

In cases where the sum does not start at ''k'' = 0,
<math display="block">\sum_{k=m}^\infty ar^k=\frac{ar^m}{1-r}</math>
The formulae given above are valid only for {{abs|''r''}}&nbsp;<&nbsp;1. The latter formula is 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 {{abs|''r''}}<sub>''p''</sub>&nbsp;<&nbsp;1. As in the case for a finite sum, we can differentiate to calculate formulae for related sums.
For example,
<math display="block">\frac{d}{dr} \sum_{k=0}^\infty r^k = \sum_{k=1}^\infty kr^{k-1} = \frac{1}{(1-r)^2}</math>

This formula only works for {{abs|''r''}}&nbsp;<&nbsp;1 as well. From this, it follows that, for {{abs|''r''}}&nbsp;<&nbsp;1,
<math display="block">\sum_{k=0}^{\infty} k r^k = \frac{r}{\left(1-r\right)^2} \,;\, \sum_{k=0}^{\infty} k^2 r^k = \frac{r \left( 1+r \right)}{\left(1-r\right)^3} \, ; \, \sum_{k=0}^{\infty} k^3 r^k = \frac{r \left( 1+4 r + r^2\right)}{\left( 1-r\right)^4}</math>

Also, the infinite series 1/2 + 1/4 + 1/8 + 1/16 + ⋯ is an elementary example of a series that [[Absolute convergence|converges absolutely]].

It is a geometric series whose first term is 1/2 and whose common ratio is 1/2, so its sum is
<math display="block">\frac12+\frac14+\frac18+\frac{1}{16}+\cdots=\frac{1/2}{1-(+1/2)} = 1.</math>

The inverse of the above series is 1/2 − 1/4 + 1/8 − 1/16 + ⋯ is a simple example of an [[Alternating series|alternating series]] that converges absolutely.

It is a geometric series whose first term is 1/2 and whose common ratio is −1/2, so its sum is
<math display="block">\frac12-\frac14+\frac18-\frac{1}{16}+\cdots=\frac{1/2}{1-(-1/2)} = \frac13.</math>

====Complex series====
The summation formula for geometric series remains valid even when the common ratio is a [[Complex number|complex number]]. In this case the condition that the absolute value of ''r'' be less than 1 becomes that the [[Absolute value#Complex numbers|modulus]] of ''r'' be less than 1. It is possible to calculate the sums of some non-obvious geometric series. For example, consider the proposition
<math display="block"> \sum_{k=0}^{\infty} \frac{\sin(kx)}{r^k} = \frac{r \sin(x)}{1 + r^2 - 2 r \cos(x)} </math>

The proof of this comes from the fact that
<math display="block">\sin(kx) = \frac{e^{ikx} - e^{-ikx}}{2i} , </math>
which is a consequence of [[Euler's formula]]. Substituting this into the original series gives
<math display="block"> \sum_{k=0}^{\infty} \frac{\sin(kx)}{r^k} = \frac{1}{2 i} \left[ \sum_{k=0}^{\infty} \left( \frac{e^{ix}}{r} \right)^k - \sum_{k=0}^{\infty} \left(\frac{e^{-ix}}{r}\right)^k\right].</math>

This is the difference of two geometric series, and so it is a straightforward application of the formula for infinite geometric series that completes the proof.

==History==

===Zeno of Elea (c.495 – c.430 BC)===
2,500 years ago, Greek mathematicians had a problem when walking from one place to another: they thought<ref>{{cite book |last1=Riddle |first1=Douglas E |title=Calculus and Analytic Geometry |date=1974 |publisher=Wadsworth Publishing |isbn=053400301-X |pages=556 |edition=2nd}}</ref> that an infinitely long list of numbers greater than zero summed to infinity. Therefore, it was a paradox when [[Biography:Zeno of Elea|Zeno of Elea]] pointed out that in order to walk from one place to another, you first have to walk half the distance, and then you have to walk half the remaining distance, and then you have to walk half of that remaining distance, and you continue halving the remaining distances an infinite number of times because no matter how small the remaining distance is you still have to walk the first half of it. Thus, Zeno of Elea transformed a short distance into an infinitely long list of halved remaining distances, all of which are greater than zero. And that was the problem: how can a distance be short when measured directly and also infinite when summed over its infinite list of halved remainders? The paradox revealed something was wrong with the assumption that an infinitely long list of numbers greater than zero summed to infinity.

===Euclid of Alexandria (c.300 BC)===
[[File:Euclid book9 prop35 mod.png|thumb|Elements of Geometry, Book IX, Proposition 35. "If there is any multitude whatsoever of continually proportional numbers, and equal to the first is subtracted from the second and the last, then as the excess of the second to the first, so the excess of the last will be to all those before it."]]
[[File:Geometric series geometric interpretation with common ratio r = 2.png|thumb|A geometric interpretation for the same case of common ratio ''r''>1. (TOP) Represent the terms of a geometric series as the areas of overlapped similar triangles. (MIDDLE) From the largest to the smallest triangle, remove the overlapped left area portion (1/''r'') from the non-overlapped right area portion (1-1/''r'' = (''r''-1)/''r'') and scale that non-overlapped trapezoid by ''r''/(''r''-1) so its area is the same as the area of the original overlapped triangle. (BOTTOM) Calculate the area of the aggregate trapezoid as the area of the large triangle less the area of the empty small triangle at the large triangle's left tip. The large triangle is the largest overlapped triangle scaled by ''r''/(''r''-1). The empty small triangle started as ''a'' but that area was transformed into a non-overlapped scaled trapezoid leaving an empty left area portion (1/''r''). However, that empty triangle of area ''a''/''r'' must also be scaled by ''r''/(''r''-1) so its slope matches the slope of all the non-overlapped scaled trapezoids. Therefore, S<sub>n</sub> = area of large triangle - area of empty small triangle = ''ar''<sup>n+1</sup>/(''r''-1) - ''a''/(''r''-1) = ''a''(''r''<sup>n+1</sup>-1)/(''r''-1).]]

''Euclid's Elements of Geometry''<ref>{{cite book |author1=Euclid|author2=J.L. Heiberg|translator=Richard Fitzpatrick |title=Euclid's Elements of Geometry |date=2007 |publisher=Richard Fitzpatrick |isbn=978-0615179841 |url=http://farside.ph.utexas.edu/Books/Euclid/Elements.pdf |archive-url=https://web.archive.org/web/20130811002150/http://farside.ph.utexas.edu/Books/Euclid/Elements.pdf |archive-date=2013-08-11 |url-status=live |ref=euclid_elements_of_geometry}}</ref> Book IX, Proposition 35, proof (of the proposition in adjacent diagram's caption):

{{Blockquote|
Let AA', BC, DD', EF be any multitude whatsoever of continuously proportional numbers, beginning from the least AA'. And let BG and FH, each equal to AA', have been subtracted from BC and EF. I say that as GC is to AA', so EH is to AA', BC, DD'.

For let FK be made equal to BC, and FL to DD'. And since FK is equal to BC, of which FH is equal to BG, the remainder HK is thus equal to the remainder GC. And since as EF is to DD', so DD' to BC, and BC to AA' [Prop. 7.13], and DD' equal to FL, and BC to FK, and AA' to FH, thus as EF is to FL, so LF to FK, and FK to FH. By separation, as EL to LF, so LK to FK, and KH to FH [Props. 7.11, 7.13]. And thus as one of the leading is to one of the following, so (the sum of) all of the leading to (the sum of) all of the following [Prop. 7.12]. Thus, as KH is to FH, so EL, LK, KH to LF, FK, HF. And KH equal to CG, and FH to AA', and LF, FK, HF to DD', BC, AA'. Thus, as CG is to AA', so EH to DD', BC, AA'. Thus, as the excess of the second is to the first, so is the excess of the last is to all those before it. The very thing it was required to show.
}}

The terseness of Euclid's propositions and proofs may have been a necessity. As is, the ''Elements of Geometry'' is over 500 pages of propositions and proofs. Making copies of this popular textbook was labor intensive given that the printing press was not invented until 1440. And the book's popularity lasted a long time: as stated in the cited introduction to an English translation, ''Elements of Geometry'' "has the distinction of being the world's oldest continuously used mathematical textbook." So being very terse was being very practical. The proof of Proposition 35 in Book IX could have been even more compact if Euclid could have somehow avoided explicitly equating lengths of specific line segments from different terms in the series. For example, the contemporary notation for geometric series (i.e., ''a'' + ''ar'' + ''ar''<sup>2</sup> + ''ar''<sup>3</sup> + ... + ''ar''<sup>n</sup>) does not label specific portions of terms that are equal to each other.

Also in the cited introduction the editor comments,
<blockquote>Most of the theorems appearing in the Elements were not discovered by Euclid himself, but were the work of earlier Greek mathematicians such as Pythagoras (and his school), Hippocrates of Chios, Theaetetus of Athens, and Eudoxus of Cnidos. However, Euclid is generally credited with arranging these theorems in a logical manner, so as to demonstrate (admittedly, not always with the rigour demanded by modern mathematics) that they necessarily follow from five simple axioms. Euclid is also credited with devising a number of particularly ingenious proofs of previously discovered theorems (e.g., Theorem 48 in Book 1).</blockquote>

To help translate the proposition and proof into a form that uses current notation, a couple modifications are in the diagram. First, the four horizontal line lengths representing the values of the first four terms of a geometric series are now labeled a, ar, ar<sup>2</sup>, ar<sup>3</sup> in the diagram's left margin. Second, new labels A' and D' are now on the first and third lines so that all the diagram's line segment names consistently specify the segment's starting point and ending point.

Here is a phrase by phrase interpretation of the proposition:
{| class="wikitable"
|-
! Proposition
! in contemporary notation
|-
|"If there is any multitude whatsoever of continually proportional numbers"
|Taking the first n+1 terms of a geometric series S<sub>n</sub> = ''a'' + ''ar'' + ''ar''<sup>2</sup> + ''ar''<sup>3</sup> + ... + ''ar''<sup>n</sup>
|-
|"and equal to the first is subtracted from the second and the last"
|and subtracting ''a'' from ''ar'' and ''ar''<sup>n</sup>
|-
|"then as the excess of the second to the first, so the excess of the last will be to all those before it."
|then (''ar''-''a'') / ''a'' = (''ar''<sup>n</sup>-''a'') / (''a'' + ''ar'' + ''ar''<sup>2</sup> + ''ar''<sup>3</sup> + ... + ''ar''<sup>n-1</sup>) = (''ar''<sup>n</sup>-''a'') / S<sub>n-1</sub>, which can be rearranged to the more familiar form S<sub>n-1</sub> = ''a''(''r''<sup>n</sup>-1) / (''r''-1).
|}
Similarly, here is a sentence by sentence interpretation of the proof:

{| class="wikitable"
|-
! Proof
! in contemporary notation
|-
|"Let AA', BC, DD', EF be any multitude whatsoever of continuously proportional numbers, beginning from the least AA'."
|Consider the first n+1 terms of a geometric series S<sub>n</sub> = ''a'' + ''ar'' + ''ar''<sup>2</sup> + ''ar''<sup>3</sup> + ... + ''ar''<sup>n</sup> for the case ''r''>1 and n=3.
|-
|"And let BG and FH, each equal to AA', have been subtracted from BC and EF."
|Subtract ''a'' from ''ar'' and ''ar''<sup>3</sup>.
|-
|"I say that as GC is to AA', so EH is to AA', BC, DD'."
|I say that (''ar''-''a'') / ''a'' = (''ar''<sup>3</sup>-''a'') / (''a'' + ''ar'' + ''ar''<sup>2</sup>).
|-
|"For let FK be made equal to BC, and FL to DD'."
|
|-
|"And since FK is equal to BC, of which FH is equal to BG, the remainder HK is thus equal to the remainder GC."
|
|-
|"And since as EF is to DD', so DD' to BC, and BC to AA' [Prop. 7.13], and DD' equal to FL, and BC to FK, and AA' to FH, thus as EF is to FL, so LF to FK, and FK to FH."
|
|-
|"By separation, as EL to LF, so LK to FK, and KH to FH [Props. 7.11, 7.13]."
|By separation, (''ar''<sup>3</sup>-''ar''<sup>2</sup>) / ''ar''<sup>2</sup> = (''ar''<sup>2</sup>-''ar'') / ''ar'' = (''ar''-''a'') / ''a'' = ''r''-1.
|-
|"And thus as one of the leading is to one of the following, so (the sum of) all of the leading to (the sum of) all of the following [Prop. 7.12]."
|The sum of those numerators and the sum of those denominators form the same proportion: ((''ar''<sup>3</sup>-''ar''<sup>2</sup>) + (''ar''<sup>2</sup>-''ar'') + (''ar''-''a'')) / (''ar''<sup>2</sup> + ''ar'' + ''a'') = ''r''-1.
|-
|"And thus as one of the leading is to one of the following, so (the sum of) all of the leading to (the sum of) all of the following [Prop. 7.12]."
|And this sum of equal proportions can be extended beyond (''ar''<sup>3</sup>-''ar''<sup>2</sup>) / ''ar''<sup>2</sup> to include all the proportions up to (''ar''<sup>n</sup>-''ar''<sup>n-1</sup>) / ''ar''<sup>n-1</sup>.
|-
|"Thus, as KH is to FH, so EL, LK, KH to LF, FK, HF."
|
|-
|"And KH equal to CG, and FH to AA', and LF, FK, HF to DD', BC, AA'."
|
|-
|"Thus, as CG is to AA', so EH to DD', BC, AA'."
|
|-
|"Thus, as the excess of the second is to the first, so is the excess of the last is to all those before it."
|Thus, (''ar''-''a'') / ''a'' = (''ar''<sup>3</sup>-''a'') / S<sub>2</sub>. Or more generally, (''ar''-''a'') / ''a'' = (''ar''<sup>n</sup>-''a'') / S<sub>n-1</sub>, which can be rearranged in the more common form S<sub>n-1</sub> = ''a''(''r''<sup>n</sup>-1) / (''r''-1).
|-
|"The very thing it was required to show."
|Q.E.D.
|}

===Archimedes of Syracuse (c.287 – c.212 BC)===
[[Image:Parabolic Segment Dissection.svg|thumb|300px|Archimedes' dissection of a parabolic segment into infinitely many triangles]]
{{Main|The Quadrature of the Parabola}}
[[Biography:Archimedes|Archimedes]] used the sum of a geometric series to compute the area enclosed by a [[Parabola|parabola]] and a straight line.  His method was to dissect the area into an infinite number of triangles.

Archimedes' Theorem states that the total area under the parabola is 4/3 of the area of the blue triangle.

Archimedes determined that each green triangle has 1/8 the area of the blue triangle, each yellow triangle has 1/8 the area of a green triangle, and so forth.

Assuming that the blue triangle has area 1, the total area is an infinite sum:
:<math>1 \,+\, 2\left(\frac{1}{8}\right) \,+\, 4\left(\frac{1}{8}\right)^2 \,+\, 8\left(\frac{1}{8}\right)^3 \,+\, \cdots.</math>

The first term represents the area of the blue triangle, the second term the areas of the two green triangles, the third term the areas of the four yellow triangles, and so on.  Simplifying the fractions gives
:<math>1 \,+\, \frac{1}{4} \,+\, \frac{1}{16} \,+\, \frac{1}{64} \,+\, \cdots.</math>

This is a geometric series with common ratio {{nowrap|1/4}} and the fractional part is equal to
:<math>\sum_{n=0}^\infty 4^{-n} = 1 + 4^{-1} + 4^{-2} + 4^{-3} + \cdots = {4\over 3}. </math>

The sum is
:<math>\frac{1}{1 -r}\;=\;\frac{1}{1 -\frac{1}{4}}\;=\;\frac{4}{3}.</math>

This computation uses the [[Method of exhaustion|method of exhaustion]], an early version of [[Integral|integration]]. Using [[Calculus|calculus]], the same area could be found by a definite integral.

===Nicole Oresme (c.1323 – 1382)===
[[File:Oresme diagram of two dimensional geometric series.png|thumb|A two dimensional geometric series diagram Nicole Oresme used to determine that the infinite series 1/2 + 2/4 + 3/8 + 4/16 + 5/32 + 6/64 + 7/128 + ... converges to 2.]]

Among his insights into infinite series, in addition to his elegantly simple proof of the divergence of the harmonic series, [[Biography:Nicole Oresme|Nicole Oresme]]<ref>{{cite web |last1=Babb |first1=J |title=Mathematical Concepts and Proofs from Nicole Oresme: Using the History of Calculus to Teach Mathematics |url=https://core.ac.uk/download/pdf/144470649.pdf |archive-url=https://web.archive.org/web/20210527033047/https://core.ac.uk/download/pdf/144470649.pdf |archive-date=2021-05-27 |url-status=live |publisher=The Seventh International History, Philosophy and Science Teaching conference|ref=oresme_lecture_notes |location=Winnipeg |pages=11–12,21 |date=2003}}</ref> proved that the series 1/2 + 2/4 + 3/8 + 4/16 + 5/32 + 6/64 + 7/128 + ... converges to 2. His diagram for his geometric proof, similar to the adjacent diagram, shows a two dimensional geometric series. The first dimension is horizontal, in the bottom row showing the geometric series ''S'' = 1/2 + 1/4 + 1/8 + 1/16 + ... , which is the geometric series with coefficient ''a'' = 1/2 and common ratio ''r'' = 1/2 that converges to ''S'' = ''a'' / (1-''r'') = (1/2) / (1-1/2) = 1. The second dimension is vertical, where the bottom row is a new coefficient ''a''<sub>''T''</sub> equal to ''S'' and each subsequent row above it is scaled by the same common ratio ''r'' = 1/2, making another geometric series ''T'' = 1 + 1/2 + 1/4 + 1/8 + ..., which is the geometric series with coefficient ''a''<sub>''T''</sub> = ''S'' = 1 and common ratio ''r'' = 1/2 that converges to ''T'' = ''a''<sub>''T''</sub> / (1-''r'') = ''S'' / (1-''r'') = ''a'' / (1-''r'') / (1-''r'') = (1/2) / (1-1/2) / (1-1/2) = 2.

Although difficult to visualize beyond three dimensions, Oresme's insight generalizes to any dimension ''d''. Using the sum of the ''d''−1 dimension of the geometric series as the coefficient ''a'' in the ''d'' dimension of the geometric series results in a ''d''-dimensional geometric series converging to ''S''<sup>''d''</sup> / ''a'' = 1 / (1-''r'')<sup>''d''</sup> within the range |''r''|<1. [[Pascal's triangle]] and long division reveals the coefficients of these multi-dimensional geometric series, where the closed form is valid only within the range |''r''|<1.

:<math>\begin{matrix}
                     1 \\
                1 \quad 1 \\
            1  \quad 2 \quad 1 \\
       1 \quad  3 \quad 3 \quad  1 \\
    1 \quad 4 \quad  6 \quad 4 \quad 1
\end{matrix}</math>

{| class="wikitable"
! {{nowrap | <math> d </math> &emsp; &emsp;}}
! {{nowrap|<math> S^d </math> (closed form)}} !! <math> S^d </math> (expanded form)
|-
| <math> 1 </math> || <math> 1 / (1-r) </math> || <math> 1 + r + r^2 + r^3 + r^4 + \cdots </math>
|-
| <math> 2 </math> || <math> 1 / (1-r)^2 </math> || <math> 1 + 2r + 3r^2 + 4r^3 + 5r^4 + \cdots </math>
|-
| <math> 3 </math> || <math> 1 / (1-r)^3 </math> || <math> 1 + 3r + 6r^2 + 10r^3 + 15r^4 + \cdots </math>
|-
| <math> 4 </math> || <math> 1 / (1-r)^4 </math> || <math> 1 + 4r + 10r^2 + 20r^3 + 35r^4 + \cdots </math>
|}

As an aside, instead of using long division, it is also possible to calculate the coefficients of the ''d''-dimensional geometric series by integrating the coefficients of dimension ''d''−1. This mapping from division by 1-''r'' in the power series sum domain to integration in the power series coefficient domain is a discrete form of the mapping performed by the [[Laplace transform]]. MIT Professor Arthur Mattuck shows how to derive the Laplace transform from the power series  in this lecture video,<ref>{{cite web |last1=Mattuck |first1=Arthur |title=Lecture 19, MIT 18.03 Differential Equations, Spring 2006 |url=https://www.youtube.com/watch?v=sZ2qulI6GEk | archive-url=https://ghostarchive.org/varchive/youtube/20211111/sZ2qulI6GEk| archive-date=2021-11-11 | url-status=live|publisher=MIT OpenCourseWare |ref=LT_derivation_from_PS}}{{cbignore}}</ref> where the power series is a mapping between discrete coefficients and a sum and the Laplace transform is a mapping between continuous weights and an integral.

==Applications==

===Economics===
{{Main|Time value of money}}
In [[Finance:Economics|economics]], geometric series are used to represent the [[Finance:Present value|present value]] of an annuity (a sum of money to be paid in regular intervals).

For example, suppose that a payment of $100 will be made to the owner of the annuity once per year (at the end of the year) in [[Finance:Perpetuity|perpetuity]].  Receiving $100 a year from now is worth less than an immediate $100, because one cannot [[Finance:Investment|invest]] the money until one receives it.  In particular, the present value of $100 one year in the future is $100&nbsp;/&nbsp;(1&nbsp;+&nbsp;<math>I</math> ), where <math>I</math> is the yearly interest rate.

Similarly, a payment of $100 two years in the future has a present value of $100&nbsp;/&nbsp;(1&nbsp;+&nbsp;<math>I</math>)<sup>2</sup> (squared because two years' worth of interest is lost by not receiving the money right now).  Therefore, the present value of receiving $100 per year in perpetuity is

:<math>\sum_{n=1}^\infty \frac{\$100}{(1+I)^n},</math>

which is the infinite series:

:<math>\frac{\$ 100}{(1+I)} \,+\, \frac{\$ 100}{(1+I)^2} \,+\, \frac{\$ 100}{(1+I)^3} \,+\, \frac{\$ 100}{(1+I)^4} \,+\, \cdots.</math>

This is a geometric series with common ratio 1&nbsp;/&nbsp;(1&nbsp;+&nbsp;<math>I</math> ).  The sum is the first term divided by (one minus the common ratio):

:<math>\frac{\$ 100/(1+I)}{1 - 1/(1+I)} \;=\; \frac{\$ 100}{I}.</math>

For example, if the yearly interest rate is 10% (<math>I</math>&nbsp;=&nbsp;0.10), then the entire annuity has a present value of $100 / 0.10 = $1000.

This sort of calculation is used to compute the [[Finance:Annual percentage rate|APR]] of a loan (such as a [[Finance:Mortgage loan|mortgage loan]]).  It can also be used to estimate the present value of expected [[Finance:Dividend|stock dividends]], or the [[Finance:Terminal value|terminal value]] of a financial asset assuming a stable growth rate.

===Fractal geometry===
{{multiple image
| image1 = Koch Snowflake Triangles.png
| caption1 = The interior of the [[Koch snowflake]] is a union of infinitely many triangles.
In the study of [[Fractal|fractal]]s, geometric series often arise as the [[Perimeter|perimeter]], [[Area|area]], or [[Physics:Volume|volume]] of a [[Self-similarity|self-similar]] figure.
| image2 = Geometric series as a fractal.gif
| caption2 = If {{Pipe}}''r''{{Pipe}} < 1, representing each geometric series term as the area of a similar triangle creates a fractal in which more zooming in always reveals more similar triangles.
}}

The area inside the [[Koch snowflake]] can be described as the union of infinitely many [[Equilateral triangle|equilateral triangle]]s (see figure).  Each side of the green triangle is exactly 1/3 the size of a side of the large blue triangle, and therefore has exactly 1/9 the area.  Similarly, each yellow triangle has 1/9 the area of a green triangle, and so forth.  Taking the blue triangle as a unit of area, the total area of the snowflake is

:<math>1 \,+\, 3\left(\frac{1}{9}\right) \,+\, 12\left(\frac{1}{9}\right)^2 \,+\, 48\left(\frac{1}{9}\right)^3 \,+\, \cdots.</math>

The first term of this series represents the area of the blue triangle, the second term the total area of the three green triangles, the third term the total area of the twelve yellow triangles, and so forth.  Excluding the initial 1, this series is geometric with constant ratio ''r''&nbsp;=&nbsp;4/9.  The first term of the geometric series is ''a''&nbsp;=&nbsp;3(1/9)&nbsp;=&nbsp;1/3, so the sum is

:<math>1\,+\,\frac{a}{1-r}\;=\;1\,+\,\frac{\frac{1}{3}}{1-\frac{4}{9}}\;=\;\frac{8}{5}.</math>

Thus the Koch snowflake has 8/5 of the area of the base triangle.

=== Integration ===

The derivative of <math>f(x) = \arctan(u(x)) \text{ is } f'(x) = u'(x)/(1+[u(x)]^2)</math> because,<ref>{{cite book |last1=Riddle |first1=Douglas |title=Calculus and Analytic Geometry |date=1974 |publisher=Wadsworth Publishing |location=California |isbn=0-534--00301-X |page=310 |edition=second}}</ref> letting <math>y \text{ and }u \text{ represent } f(x) \text{ and } u(x),</math>
:<math>
\begin{align}
y &= \arctan(u) &&\quad \text{ implies } \\
u &= \tan(y) &&\quad \text{ in the range } -\pi/2 < y < \pi/2 \text{ and } \\
u' &= \sec^2y \cdot y' &&\quad \text{ by applying the quotient rule to } \tan(y) = \sin(y)/\cos(y), \\
y' &= u'/\sec^2y &&\quad \text{ by dividing both sides by } \sec^2y, \\
  &= u'/(1+\tan^2y) &&\quad \text{ by using the trigonometric identity derived by dividing } \sin^2y + \cos^2y = 1 \text{ by } \cos^2y, \\
  &= u'/(1+u^2) &&\quad \text{ by recalling } u = \tan(y).
\end{align}
</math>

Therefore, letting <math> u(x) = x, \arctan(x) </math> is the integral
:<math>
\begin{align}
\arctan(x)&=\int\frac{dx}{1+x^2} \quad &&\text{in the range } -\pi/2 < \arctan(x) < \pi/2,\\
&=\int\frac{dx}{1-(-x^2)} \quad &&\text{by writing integrand as closed form of geometric series with }r = -x^2,\\
&=\int\left(1 + \left(-x^2\right) + \left(-x^2\right)^2 + \left(-x^2\right)^3+\cdots\right)dx \quad &&\text{by writing geometric series in expanded form},\\
&=\int\left(1-x^2+x^4-x^6+\cdots\right)dx \quad &&\text{by calculating the sign and power of each term in integrand},\\
&=x-\frac{x^3}{3}+\frac{x^5}{5}-\frac{x^7}{7}+\cdots \quad &&\text{by integrating each term},\\
&=\sum^{\infty}_{n=0} \frac{(-1)^n}{2n+1} x^{2n+1} \quad &&\text{by writing series in generator form},
\end{align}
</math>

which is called [[Gregory's series]] and is commonly attributed to [[Biography:Madhava of Sangamagrama|Madhava of Sangamagrama]] (c. 1340 – c. 1425).

== Instances ==

* {{annotated link|Grandi's series}}: 1 − 1 + 1 − 1 + ⋯
* A geometric series is a unit series (the series sum converges to one) if and only if |''r''| < 1 and ''a'' + ''r'' = 1 (equivalent to the more familiar form S = ''a'' / (1 - ''r'') = 1 when |''r''| < 1). Therefore, an [[Alternating series|alternating series]] is also a unit series when -1 < ''r'' < 0 and ''a'' + ''r'' = 1 (for example, coefficient ''a'' = 1.7 and common ratio ''r'' = -0.7).
* The terms of a geometric series are also the terms of a generalized [[Fibonacci sequence]] (F<sub>n</sub> = F<sub>n-1</sub> + F<sub>n-2</sub> but without requiring F<sub>0</sub> = 0 and F<sub>1</sub> = 1) when a geometric series common ratio ''r'' satisfies the constraint 1 + ''r'' = ''r''<sup>2</sup>, which according to the [[Quadratic formula|quadratic formula]] is when the common ratio ''r'' equals the [[Golden ratio|golden ratio]] (i.e., common ratio ''r'' = (1 ± √5)/2).
* The only geometric series that is a unit series and also has terms of a generalized [[Fibonacci sequence]] has the [[Golden ratio|golden ratio]] as its coefficient ''a'' and the conjugate [[Golden ratio|golden ratio]] as its common ratio ''r'' (i.e., ''a'' = (1 + √5)/2 and ''r'' = (1 - √5)/2). It is a unit series because ''a'' + ''r'' = 1 and |''r''| < 1, it is a generalized [[Fibonacci sequence]] because 1 + ''r'' = ''r''<sup>2</sup>, and it is an [[Alternating series|alternating series]] because ''r'' < 0.

=== Geometric series ===
[[File:Perspectives on geometric series.png|thumb|A compact illustration of different perspectives on the geometric series to make perspective switching easier. Quadrant A1 contains the '''why''' perspective briefly describing why geometric series matter. Quadrant A2 contains the '''how''' perspective listing a snippet of Julia code that computes the geometric series. Quadrant A3 contains the '''what''' (algebra) perspective with the algebraic proof of the geometric series closed form formula. Quadrant A4 contains the '''what''' (geometry) perspective showing three steps of the geometric proof of the geometric series closed form formula. And the right margin shows the timeline of some of the historical insights about the geometric series.]]

The geometric series has two degrees of freedom: one for its coefficient ''a'' and another for its common ratio ''r''. In the map of polynomials, the big red circle represents the set of all geometric series.

==== Converging geometric series ====
Only a subset of all geometric series converge. Specifically, a geometric series converges if and only if its common ratio |''r''| < 1. In the map of polynomials, the red triangle represents the set of converging geometric series and being drawn inside the big red circle representing the set of all geometric series indicates the converging geometric series is a subset of the geometric series.

===== Repeated decimals =====
{{Main|Repeating decimal}}
Only a subset of all converging geometric series converge to decimal fractions that have repeated patterns that continue forever (e.g., 0.7777... or 0.9999... or 0.123412341234...). In the map of polynomials, the little yellow triangle represents the set of geometric series that converge to infinitely repeated decimal patterns. It is drawn inside the red triangle to indicate it is a subset of the converging geometric series, which in turn is drawn inside the big red circle indicating both the converging geometric series and the geometric series that converge to infinitely repeated patterns are subsets of the geometric series.

Although fractions with infinitely repeated decimal patterns can only be approximated when encoded as floating point numbers, they can always be defined exactly as the ratio of two integers and those two integers can be calculated using the geometric series. For example, the repeated decimal fraction 0.7777... can be written as the geometric series

:<math>0.7777\ldots \;=\; \frac{7}{10} \,+\, \frac{7}{10}\frac{1}{10} \,+\, \frac{7}{10}\frac{1}{10^2} \,+\, \frac{7}{10}\frac{1}{10^3} \,+\, \cdots</math>

where coefficient ''a'' = 7/10 and common ratio ''r'' = 1/10. The geometric series closed form reveals the two integers that specify the repeated pattern:

:<math>0.7777\ldots \;=\; \frac{a}{1-r} \;=\; \frac{7/10}{1-1/10} \;=\; \frac{7/10}{9/10} \;=\; \frac{7}{9}.</math>

This approach extends beyond [[Decimal|base-ten]] numbers. In fact, any fraction that has an infinitely repeated pattern in base-ten numbers also has an infinitely repeated pattern in numbers written in any other base. For example, looking at the floating point encoding for the number 0.7777... 

<code>
<span style="color:LimeGreen;">julia&gt;</span> bitstring(Float32(0.77777777777777777777))<br/>
"00111111010001110001110001110010"
</code>

reveals the binary fraction 0.110001110001110001... where the binary pattern 0b110001 repeats indefinitely and can be written in mostly (except for the powers) binary numbers as

:<math>0.110001110001110001\ldots \;=\; \frac{110001}{1000000} \,+\, \frac{110001}{1000000}\frac{1}{1000000} \,+\, \frac{110001}{1000000}\frac{1}{1000000^2} \,+\, \frac{110001}{1000000}\frac{1}{1000000^3} \,+\, \cdots</math>

where coefficient ''a'' = 0b110001 / 0b1000000 = 49 / 64 and common ratio ''r'' = 1 / 0b1000000 = 1 / 64. Using the geometric series closed form as before

:<math>0.7777\ldots \;=\; 0b0.110001110001110001\ldots \;=\; \frac{a}{1-r} \;=\; \frac{49/64}{1-1/64} \;=\; \frac{49/64}{63/64} \;=\; \frac{49}{63} \;=\; \frac{7}{9}.</math>

You may have noticed that the floating point encoding does not capture the 0b110001 repeat pattern in the last couple (least significant) bits. This is because floating point encoding rounds the remainder instead of truncating it. Therefore, if the most significant bit of the remainder is 1, the least significant bit of the encoded fraction gets incremented and that will cause a carry if the least significant bit of the fraction is already 1, which can cause another carry if that bit of the fraction is already a 1, which can cause another carry, etc. This floating point rounding and the subsequent carry propagation explains why the floating point encoding for 0.99999... is exactly the same as the floating point encoding for 1.

<code>
<span style="color:LimeGreen;">julia&gt;</span> bitstring(Float32(0.99999999999999999999))<br/>
"00111111100000000000000000000000"<br/>
<br/>
<span style="color:LimeGreen;">julia&gt;</span> bitstring(Float32(1.0))<br/>
"00111111100000000000000000000000"
</code>

As an example that has four digits in the repeated pattern, 0.123412341234... can be written as the geometric series

:<math>0.123412341234\ldots \;=\; \frac{1234}{10000} \,+\, \frac{1234}{10000}\frac{1}{10000} \,+\, \frac{1234}{10000}\frac{1}{10000^2} \,+\, \frac{1234}{10000}\frac{1}{10000^3} \,+\, \cdots</math>

where coefficient ''a'' = 1234/10000 and common ratio ''r'' = 1/10000. The geometric series closed form reveals the two integers that specify the repeated pattern:

:<math>0.123412341234\ldots \;=\; \frac{a}{1-r} \;=\; \frac{1234/10000}{1-1/10000} \;=\; \frac{1234/10000}{9999/10000} \;=\; \frac{1234}{9999}.</math>
{{break}}
{{break}}

=== Power series ===
{{Main|Power series}}
Like the geometric series, the power series has one degree of freedom for its common ratio ''r'' (along the x-axis) but has ''n''+1 degrees of freedom for its coefficients (along the y-axis), where ''n'' represents the power of the last term in the partial series. In the map of polynomials, the big blue circle represents the set of all power series.

==== Taylor series ====
{{excerpt|Taylor series|templates=-calculus}}

===== Binary encoded numbers =====
{{Main|Binary number}}
{{Main|Single-precision floating-point format}}

Zeno of Elea's geometric series with coefficient ''a''=1/2 and common ratio ''r''=1/2 is the foundation of [[Binary number|binary encoded]] approximations of [[Fraction|fractions]] in digital computers. Concretely, the geometric series written in its normalized vector form is ''s''/''a'' = [1 1 1 1 1 …][1 ''r'' ''r''<sup>2</sup> ''r''<sup>3</sup> ''r''<sup>4</sup> …]<sup>T</sup>. Keeping the column vector of basis functions [1 ''r'' ''r''<sup>2</sup> ''r''<sup>3</sup> ''r''<sup>4</sup> …]<sup>T</sup> the same but generalizing the row vector [1 1 1 1 1 …] so that each entry can be either a 0 or a 1 allows for an approximate encoding of any fraction. For example, the value ''v'' = 0.34375 is encoded as 
''v''/''a'' = [0 1 0 1 1 0 …][1 ''r'' ''r''<sup>2</sup> ''r''<sup>3</sup> ''r''<sup>4</sup> …]<sup>T</sup> where coefficient ''a'' = 1/2 and common ratio ''r'' = 1/2. Typically, the row vector is written in the more compact binary form ''v'' = 0.010110 which is 0.34375 in decimal.

Similarly, the geometric series with coefficient ''a''=1 and common ratio ''r''=2 is the foundation for binary encoded integers in digital computers. Again, the geometric series written in its normalized vector form is ''s''/''a'' = [1 1 1 1 1 …][1 ''r'' ''r''<sup>2</sup> ''r''<sup>3</sup> ''r''<sup>4</sup> …]<sup>T</sup>. Keeping the column vector of basis functions [1 ''r'' ''r''<sup>2</sup> ''r''<sup>3</sup> ''r''<sup>4</sup> …]<sup>T</sup> the same but generalizing the row vector [1 1 1 1 1 …] so that each entry can be either a 0 or a 1 allows for an encoding of any integer. For example, the value ''v'' = 151 is encoded as 
''v''/''a'' = [1 1 1 0 1 0 0 1 0 …][1 ''r'' ''r''<sup>2</sup> ''r''<sup>3</sup> ''r''<sup>4</sup> ''r''<sup>5</sup> ''r''<sup>6</sup> ''r''<sup>7</sup> ''r''<sup>8</sup> …]<sup>T</sup> where coefficient ''a'' = 1 and common ratio ''r'' = 2. Typically, the row vector is written in reverse order (so that the most significant bit is first) in the more compact binary form ''v'' = …010010111 = 10010111 which is 151 in decimal.

[[File:Binary32 format for single-precision floating point number.png|thumb|Bit fields for encoding a 32-bit floating point number according to IEEE 754 standard.]]
As shown in the adjacent figure, the standard binary encoding of a 32-bit floating point number is a combination of a binary encoded integer and a binary encoded fraction, beginning at the most significant bit with
:* the sign bit, followed by
:* an 8-bit integer exponent field with an assumed offset of 127 (so a value of 127 represents an exponent value of 0) and with a base of 2 meaning that the exponent value specifies a bit shift of the fraction field, followed by
:* a 23-bit fraction field with an assumed but not encoded 1 serving as the fraction's most significant nonzero bit which would be in bit position 23 if it were encoded.

Building upon the previous example of 0.34375 having binary encoding of 0.010110, a floating point encoding (according to the IEEE 754 standard) of 0.34375 is
:* the sign bit which is 0 because the number is not negative,
:* an 8-bit integer exponent field which must specify a shift that counters the 2 bit left shift to get the original binary encoding from 0.010110 to 1.0110, and that counter shift to recover the original binary encoding is a right shift of 2 bits which is specified by an exponent value of 125 (because 125 − 127 = -2 which is a right shift of 2 bits) which in binary is 0111 1101,
:* a 23-bit fraction field: .0110 0000 0000 0000 0000 000.

Although encoding floating point numbers by hand like this is possible, letting a computer do it is easier and less error prone. The following Julia code confirms the hand calculated floating point encoding of the number 0.34375:

<code>
<span style="color:LimeGreen;">julia&gt;</span> bitstring(Float32(0.34375))<br/>
"00111110101100000000000000000000"
</code>
{{break}}
{{break}}
=== Laurent series ===
{{excerpt|Laurent series}}

==== Complex Fourier series ====
{{Main|Fourier series}}
[[File:Complex Fourier series animation tracing the letter 'e'.webm|thumb|The front and back planes show the sum of the first +/-n terms of the complex Fourier series that has coefficients set to converge to a tracing of the letter 'e' for exponential. (The Julia source code that generates the frames and audio of this animation is here<ref>{{cite web |last1=Sepesi |first1=G |title=Zeno's Enduring Example |date=13 February 2022 |url=https://towardsdatascience.com/zenos-illustrative-example-bb371b99f25a?source=friends_link&sk=8a6f90c96adf5b4a28d223a4a0db7350 |publisher=Towards Data Science |pages=Appendix B}}</ref> in Appendix B.)]]

As an example of the ability of the complex Fourier series to trace any 2D closed figure, in the adjacent animation a complex Fourier series traces the letter 'e' (for exponential). Given the intricate coordination of motions shown in the animation, a definition of the complex Fourier series can be surprisingly compact in just two equations:

:<math>\begin{align}
s(t) &= \sum_{n=-\infty}^\infty c_n e^{2 \pi int} \\
c_n &= \int_{0}^1 s(t) e^{-2\pi int} dt \\
\end{align}</math>

where parameterized function ''s''(''t'') traces some 2D closed figure in the complex plane as the parameter ''t'' progresses through the period from 0 to 1.

To help make sense of these compact equations defining the complex Fourier series, note that the complex Fourier series summation looks similar to the complex geometric series except that the complex Fourier series is basically two complex geometric series (one set of terms rotating in the positive direction and another set of terms rotating in the negative direction), and the coefficients of the complex Fourier series are complex constants that can vary from term to term. By allowing terms to rotate in either direction, the series becomes capable of tracing any 2D closed figure. In contrast, the complex geometric series has all the terms rotating in the same direction and it can trace only circles. Allowing the coefficients of the complex geometric series to vary from term to term would expand upon the shapes it can trace but all the possible shapes would still be limited to being puffy and cloud-like, not able to trace the shape of a simple line segment, for example going back and forth between 1 + i0 and -1 + i0. However, Euler's formula shows that the addition of just two terms rotating in opposite directions can trace that line segment between 1 + i0 and -1 + i0:

:<math>\begin{align}
e^{i\theta} &= \cos\theta + i\sin\theta \\
e^{-i\theta} &= \cos\theta - i\sin\theta \\
\cos\theta &= \frac{e^{i\theta} + e^{-i\theta}}{2}. \\
\end{align}</math>

Concerning the complex Fourier series second equation defining how to calculate the coefficients, the coefficient of the non-rotating term ''c''<sub>0</sub> can be calculated by integrating the complex Fourier series first equation over the range of one period from 0 to 1. Over that range, all the rotating terms integrate to zero, leaving just ''c''<sub>0</sub>. Similarly, any of the terms in the complex Fourier series first equation can be made to be a non-rotating term by multiplying both sides of the equation by <math>e^{-2\pi int}</math> before integrating to calculate ''c''<sub>n</sub>, and that is the complex Fourier series second equation.
{{break}}
{{break}}
=== Matrix polynomial ===
{{excerpt|Matrix polynomial}}

==== Matrix exponential ====
{{excerpt|Matrix exponential}}

== Analogous case for squared index in the exponent ==

=== Definitions of theta functions ===
In the '''Geometric series''' the summands take the ''exponential course'' in relation to the sum index. The exponent in the summands, which is dependent on the sum index, has a ''linear'' course with respect to the index. However, if the exponent in the elements of the sequence instead assumes a ''square'' course with respect to the sum index, then the sequence members themselves follow course of a [[Normal distribution|Gaussian bell curve]], and then the values are of the affected infinite series can not be displayed in an elementary way. Sums with a ''square'' course of the exponent in the sequence members with respect to the sum index assume ''elliptic theta function values'' for the representation. And these values can be represented with both the Jacobian theta functions and with the [[Neville theta functions]] as well.

The theta functions mentioned are according to Edmund Taylor Whittaker and George Neville WatsonTheta functions<ref>{{MathWorld|JacobiThetaFunctions|Jacobi Theta Functions}}</ref><ref>http://wayback .cecm.sfu.ca/~pborwein/TEMP_PROTECTED/pi-agm.pdf</ref><ref>{{cite web|access-date=2022-08-13|title=DLMF: 20.5 Infinite Products and Related Results|url=https://dlmf.nist.gov/20.5}}</ref> defined as follows:

:<math>\vartheta_{00}(v;w) = \prod_{n = 1}^\infty (1-w^{2n})[1+2\cos(2v)w^{2n-1}+w^{4n-2}]</math>

:<math> \theta_d(y;k) = \prod_{n = 1}^{\infty} \bigl[1 + q(k)^{2n - 1}\bigr]^{-2} \bigl\{1 + 2q(k)^{2n - 1}\cos\bigl[\pi\,y \div K(k)\bigr] + q(k)^{4n - 2}\bigr\} </math>

The function <math>q(k)</math> is called the [[Nome (mathematics)|Elliptic Nome]] and the function <math> K(k) </math> stands for the complete Elliptic Integral of first kind:

: <math>q(k) =\exp \bigl[-\pi \,K(\sqrt{1 - k^2}\,)\div K(k)\bigr] = \exp \bigl[-\pi \,K'(k)\div K(k)\bigr]</math>

: <math>K(\varepsilon) = \int_{0}^{1} \bigl[(1 - z^2)(1 - \varepsilon^2 z^2)\bigr]^{-1/2} \,\mathrm{d}z</math>

: <math>K'(\varepsilon)= K(\sqrt{1 - \varepsilon^2}\,)</math>

The Greek letter designation <math>\vartheta_{00}</math> represents the so called ''Theta Nullwert Function'' whereas the designation <math>\psi_{H}</math> stands for the Hermite elliptic Psi Function:

: <math>\vartheta_{00}(w) = \prod_{n = 1}^{\infty} (1-w^{2n})(1+w^{2n-1})^2</math>

: <math>\psi_{H}(w) = \prod_{n = 1}^{\infty} \frac{1 - w^{2n - 1}}{1 + w^{2n - 1}}</math>

=== Identities for the sum series ===
This interconnection is given:
: {| class = "wikitable"
|<math>q(\varepsilon) = \exp\bigl[-\pi \,K'(\varepsilon) \div K(\varepsilon)\bigr]</math>
|<math>q'(\varepsilon)= \exp\bigl[-\pi \,K(\varepsilon) \div K'(\varepsilon)\bigr]</math>
|<math>Q' = \exp\bigl[ \pi^2 \div \ln(Q) \bigr]</math>
|-
| colspan="3" |Continuation of the identity by using the Neville Theta Function:
|-
| colspan="3" |<math>\sum_{n = -\infty}^{\infty} Q^{(n + R)^2} = \frac{\vartheta_{00}(Q)}{\vartheta_{00}(Q')} \,\vartheta_{00}\bigl(\pi \,R\,; Q'\bigr) = \vartheta_{00}(Q)\,\theta_{d}\bigl\{2\,R\,K\bigl[ \psi_{H}(Q)^4 \bigr];\psi_{H}(Q)^4\bigr\}</math>
|-
| colspan="3" |Continuation of the identity by using the Poisson Summation Formula:
|-
| colspan="3" |<math>\sum_{n = -\infty}^{\infty} Q^{(n + R)^2} = \frac{\vartheta_{00}(Q)}{\vartheta_{00}(Q')} \,\vartheta_{00}\bigl(\pi \,R\,; Q'\bigr) = \biggl[ \frac{\pi}{\ln(1 \div Q)} \biggr]^{1/2} \,\vartheta_{00}\bigl(\pi \,R\,; Q'\bigr)</math>
|}

The [[Neville theta functions|Neville theta functions]] themselves were researched by the mathematician [[Biography:Eric Harold Neville|Eric Harold Neville]] from England. In general, by hiking integer numbered steps of <math> R </math> the result must always be the same value over and over again. This very phenomenon is called periodicity of functions. And this criterion is fulfilled by the theta formulas mentioned above. If R is set to zero, then the primary standardized theta function value <math> \vartheta_{00}(Q) </math> must be the result, the base value <math> Q </math> must be used as the [[Nome (mathematics)|Nome]] entry of the Theta Nullwert function. And if the value <math> R </math> does not result in a whole number but rather a fractional number, then the resulting value of the sum series must be related to the value of the sum series with <math> R </math> equal to zero by the factor which is given by the associated incomplete theta function of the ''Complementary Nome'', i.e. by the value <math> \vartheta_{00}(\pi\,R;Q') \div \vartheta_{00}(Q') </math> exactly. The formula in the bottom line of the formula table shown follows directly from the laws described in the last two sentences mentioned. And the formula with Neville's theta function results directly from this. The Pythagorean complementary module must be entered as the module. And this is created accurately by the fourth power of the ''Hermite Elliptic Psi Function'' <math> \psi_{H}(Q)^4 </math>. By using the [[Poisson summation formula|Poisson's empirical formula]], simplifications can be made in the formula in the bottom line of the table.

=== Calculation examples with the Jacobi theta ===
This formula about the Jacobi theta function is valid:

: <math>\sum_{n = -\infty}^{\infty} x^{an^2+bn+c} = \exp\biggl[\frac{1}{4a}(4ac-b^2)\ln(x)\biggr] \biggl[\frac{\pi}{a\ln(1 \div x)}\biggr]^{1/2} \vartheta_{00}\biggl\{\frac{\pi b}{2a};\exp\biggl[\frac{-\pi^2}{a \ln(1 \div x)}\biggr]\biggr\}</math>
Hierfür soll gelten: <math>(0 < x < 1)\,\,\cap\,\,(a \in \R^{+})</math>

For the now mentioned sum series following two calculation examples shall be executed in detail:

: <math>\sum_{n = -\infty}^{\infty} \bigl(\frac{7}{11}\bigr)^{5n^2+3n+2} = \bigl(\frac{7}{11}\bigr)^{31/20} \bigl(\frac{\pi}{5}\bigr)^{1/2} \ln\bigl(\frac{11}{7}\bigr)^{-1/2}\vartheta_{00}\biggl\{\frac{3\pi}{10}; \exp\biggl[-\frac{\pi^2}{5}\ln\bigl(\frac{11}{7}\bigr)^{-1}\biggr]\biggr\}</math>

: <math>\sum_{n = -\infty}^{\infty} \bigl(\frac{23}{29}\bigr)^{19n^2+17n+13} = \bigl(\frac{23}{29}\bigr)^{699/76} \bigl(\frac{\pi}{19}\bigr)^{1/2} \ln\bigl(\frac{29}{23}\bigr)^{-1/2}\vartheta_{00}\biggl\{\frac{17\pi}{38}; \exp\biggl[-\frac{\pi^2}{19}\ln\bigl(\frac{29}{23}\bigr)^{-1}\biggr]\biggr\}</math>

== See also ==
{{Calculus |Series}}

* {{annotated link|0.999...}}
* {{annotated link|Asymptote}}
* {{annotated link|Divergent geometric series}}
* {{annotated link|Generalized hypergeometric function}}
* {{annotated link|Geometric progression}}
* {{annotated link|Neumann series}}
* {{annotated link|Ratio test}}
* {{annotated link|Root test}}
* {{annotated link|Series (mathematics)}}

==Notes==
{{Reflist}}

==References==
{{Refbegin}}
*  {{cite book |editor-last1=Abramowitz |editor-first1=M. |editor-last2=Stegun |editor-first2=I. A. |title=Handbook of Mathematical Functions with Formulas, Graphs, and Mathematical Tables |edition=9th printing |location=New York |publisher=Dover |page=10 |date=1972}}
* {{cite journal | year=1998 |title=The geometric series in calculus|journal=The American Mathematical Monthly |publisher=Mathematical Association of America|volume=105 |issue=1 |pages=36–40  |doi=10.2307/2589524 |jstor=2589524 |author=Andrews, George E. }}
* Arfken, G. Mathematical Methods for Physicists, 3rd ed. Orlando, FL: Academic Press, pp.&nbsp;278–279, 1985.
* Beyer, W. H. CRC Standard Mathematical Tables, 28th ed. Boca Raton, FL: CRC Press, p.&nbsp;8, 1987.
* Courant, R. and Robbins, H. "The Geometric Progression." §1.2.3 in What Is Mathematics?: An Elementary Approach to Ideas and Methods, 2nd ed. Oxford, England: Oxford University Press, pp.&nbsp;13–14, 1996.
* {{Citation |last=Hall |first=Brian C. |title=Lie groups, Lie algebras, and representations: An elementary introduction |edition=2nd |series=Graduate Texts in Mathematics |volume=222 |publisher=Springer |year=2015 |isbn=978-3-319-13466-6}}
* {{cite book |last1=Horn |first1=Roger A. |last2=Johnson |first2=Charles R. |title=Matrix Analysis |publisher=Cambridge University Press |isbn=978-0-521-38632-6 |year=1990}}.
* James Stewart (2002). ''Calculus'', 5th ed., Brooks Cole. {{ISBN|978-0-534-39339-7}}
* Larson, Hostetler, and Edwards (2005). ''Calculus with Analytic Geometry'', 8th ed., Houghton Mifflin Company.  {{ISBN|978-0-618-50298-1}}
* {{ citation | last1 = Moise | first1 = Edwin E. | title = Calculus: Complete | location = Reading | publisher = Addison-Wesley | year = 1967 }}
* Pappas, T. "Perimeter, Area & the Infinite Series." The Joy of Mathematics. San Carlos, CA: Wide World Publ./Tetra, pp.&nbsp;134–135, 1989.
* {{ citation | last1 = Protter | first1 = Murray H. | last2 = Morrey | first2 = Charles B. Jr. | title = College Calculus with Analytic Geometry | edition = 2nd | location = Reading | publisher = Addison-Wesley | year = 1970 | lccn = 76087042 }}
* Roger B. Nelsen (1997). ''Proofs without Words: Exercises in Visual Thinking'', The Mathematical Association of America.  {{ISBN|978-0-88385-700-7}}

===History and philosophy===
* C. H. Edwards Jr. (1994).  ''The Historical Development of the Calculus'', 3rd ed., Springer.  {{ISBN|978-0-387-94313-8}}.
* {{cite journal |date=April 1998 |title=Archimedes' Quadrature of the Parabola Revisited |journal=Mathematics Magazine |volume=71 |issue=2 |pages=123–30 |doi=10.2307/2691014 |jstor=2691014|author=Swain, Gordon and Thomas Dence }}
* [[Biography:Eli Maor|Eli Maor]] (1991). ''To Infinity and Beyond: A Cultural History of the Infinite'', Princeton University Press.  {{ISBN|978-0-691-02511-7}}
* Morr Lazerowitz (2000).  ''The Structure of Metaphysics (International Library of Philosophy)'', Routledge. {{ISBN|978-0-415-22526-7}}

===Economics===
* Carl P. Simon and Lawrence Blume (1994).  ''Mathematics for Economists'', W. W. Norton & Company.  {{ISBN|978-0-393-95733-4}}
* Mike Rosser (2003). ''Basic Mathematics for Economists'', 2nd ed., Routledge.  {{ISBN|978-0-415-26784-7}}

===Biology===
* Edward Batschelet (1992).  ''Introduction to Mathematics for Life Scientists'', 3rd ed., Springer.  {{ISBN|978-0-387-09648-3}}
* Richard F. Burton (1998).  ''Biology by Numbers: An Encouragement to Quantitative Thinking'', Cambridge University Press.  {{ISBN|978-0-521-57698-7}}

===Computer science===
* John Rast Hubbard (2000). ''Schaum's Outline of Theory and Problems of Data Structures With Java'', McGraw-Hill.  {{ISBN|978-0-07-137870-3}}
{{Refend}}

==External links==
* {{springer|title=Geometric progression|id=p/g044290}}
* {{MathWorld|title=Geometric Series|urlname=GeometricSeries}}
* {{PlanetMath|title=Geometric Series|urlname=InfiniteGeometricSeries}}
* {{cite web|last=Peppard|first=Kim|title=College Algebra Tutorial on Geometric Sequences and Series|url=http://www.wtamu.edu/academic/anns/mps/math/mathlab/col_algebra/col_alg_tut54d_geom.htm|publisher=West Texas A&M University}}
* {{cite web|last=Casselman |first=Bill |title=A Geometric Interpretation of the Geometric Series |format=Applet |url=http://merganser.math.gvsu.edu/calculus/summation/geometric.html |url-status=dead |archive-url=https://web.archive.org/web/20070929083805/http://merganser.math.gvsu.edu/calculus/summation/geometric.html |archive-date=2007-09-29 }}
* [http://demonstrations.wolfram.com/GeometricSeries/ "Geometric Series"] by Michael Schreiber, [[Wolfram Demonstrations Project]], 2007.

{{Calculus topics}}

[[Category:Ratios]]
[[Category:Articles containing proofs]]

{{Sourceattribution|Geometric series}}