1 Definition and basic structure
A geometric series is the sum of the terms in a geometric sequence. In such a sequence, each term is obtained from the previous one by multiplying by a fixed constant called the common ratio. Because of this regular multiplicative pattern, geometric series are among the most accessible examples in algebra and analysis.
1.1 Geometric sequence
A geometric sequence is an ordered list of numbers in which the ratio between consecutive nonzero terms is constant. If the first term is \(a\) and the common ratio is \(r\), the sequence has the form
\[ a,\ ar,\ ar^2,\ ar^3,\dots \]
Each term can be written as \(a r^{n-1}\) for the \(n\)th term when counting from 1. This simple rule makes geometric sequences easy to recognize and manipulate.
1.2 Geometric series
A geometric series is formed by adding the terms of a geometric sequence. The finite series with \(n\) terms is commonly written as
\[ a + ar + ar^2 + \cdots + ar^{n-1}. \]
An infinite geometric series extends this pattern without end:
\[ a + ar + ar^2 + ar^3 + \cdots \]
Whether such a series has a finite sum depends on the size of the common ratio.
1.3 Common ratio
The common ratio is the multiplier that connects one term to the next. It is usually denoted by \(r\). For instance, in the sequence \(2, 6, 18, 54,\dots\), the common ratio is \(3\). The ratio may be positive, negative, or zero, and each case produces different behavior in the associated series.
1.4 Finite geometric series
A finite geometric series contains a limited number of terms. Its sum can be expressed by a closed formula, which makes it especially useful in computation. Finite geometric series arise naturally whenever repeated multiplication is involved over a fixed number of steps.
2 Summation formulas
Geometric series are valued because their sums can often be written in compact form. This is one of the central reasons they appear so frequently in mathematics and applications.
2.1 Finite sum formula
For a finite geometric series with first term \(a\) and common ratio \(r\), the sum of the first \(n\) terms is
\[ S_n = a\frac{1-r^n}{1-r}, \quad r \ne 1. \]
An equivalent form is
\[ S_n = a\frac{r^n-1}{r-1}, \quad r \ne 1. \]
Both expressions are algebraically the same and are used according to convenience.
2.2 Derivation of the finite sum
A standard derivation begins with
\[ S_n = a + ar + ar^2 + \cdots + ar^{n-1}. \]
Multiplying both sides by \(r\) gives
\[ rS_n = ar + ar^2 + \cdots + ar^n. \]
Subtracting the second equation from the first causes most terms to cancel, leaving
\[ S_n - rS_n = a - ar^n. \]
Factoring yields
\[ S_n(1-r) = a(1-r^n), \]
and division by \(1-r\) produces the formula. This cancellation argument is one of the classic examples of an algebraic telescoping method.
2.3 Special cases
Certain values of the ratio require separate attention because the general formula may simplify or fail to apply directly.
2.3.1 Ratio equal to 1
When \(r=1\), every term is equal to \(a\). The series becomes
\[ a+a+a+\cdots \]
for the finite case, and its sum is simply
\[ S_n = na. \]
The general formula is not used directly here because it would involve division by zero, though the limit of the formula as \(r\to 1\) agrees with \(na\).
2.3.2 Ratio equal to 0
When \(r=0\), the series is
\[ a + 0 + 0 + \cdots \]
so the sum of any finite series is just \(a\). For an infinite series, the result is also \(a\), since all later terms vanish.
2.3.3 Negative ratio
If \(r<0\), the terms alternate in sign. This creates oscillation in the sequence of partial sums. A finite geometric series with a negative ratio is still summed by the same formula, while an infinite one converges only when the magnitude of the ratio is less than 1.
3 Infinite geometric series
Infinite geometric series are among the most important infinite series in mathematics because their convergence can be characterized completely by a simple condition on the ratio.
3.1 Convergence criterion
An infinite geometric series
\[ a + ar + ar^2 + ar^3 + \cdots \]
| converges if and only if \( | r | <1\). In that case, the terms \(ar^n\) approach 0 as \(n\) grows, and the partial sums approach a finite limit. If \( | r | \ge 1\), the series does not converge. |
|---|
3.2 Sum of a convergent infinite series
| When \( | r | <1\), the sum of the infinite geometric series is |
|---|
\[ S = \frac{a}{1-r}. \]
This formula follows from the finite sum formula by taking the limit as \(n\to\infty\), since \(r^n\to 0\) in that range. The result gives a closed form for a series with infinitely many terms.
3.3 Divergent cases
| If \( | r | >1\), the terms generally grow in magnitude rather than shrink, so the series cannot converge. If \(r=1\), the terms are constant and the partial sums grow without bound unless \(a=0\). If \(r=-1\), the series alternates between two values and fails to settle to a limit. More generally, any ratio with \( | r | \ge 1\) leads to divergence, except for the trivial case \(a=0\). |
|---|
3.4 Relationship to limits
| The study of infinite geometric series provides a direct illustration of limits. The partial sums form a sequence, and convergence means that this sequence approaches a finite number. The condition \( | r | <1\) ensures that the repeated multiplication by \(r\) drives later terms toward zero, allowing the total sum to stabilize. |
|---|
4 Properties
Geometric series possess several useful algebraic and analytic properties that make them easy to work with and generalize.
4.1 Linearity and scaling
If every term of a geometric series is multiplied by the same constant, the entire sum is multiplied by that constant as well. This scaling property follows from the distributive law. More broadly, sums of geometric series behave predictably under addition of like terms and multiplication by constants.
4.2 Partial sums
The partial sums of a geometric series are the sums of its first few terms. For a convergent infinite geometric series, these partial sums approach the infinite sum. For a divergent series, the partial sums may grow without bound or oscillate without settling. Partial sums are often used to study the behavior of the series term by term.
4.3 Recurrence relations
Geometric sequences satisfy a simple recurrence relation:
\[ a_{n+1} = r a_n. \]
This recurrence also influences the series built from the sequence. Because each term depends directly on the previous one, geometric series are closely connected to iterative processes and discrete dynamical systems.
4.4 Interval behavior by ratio
The value of the common ratio largely determines the behavior of the series. Positive ratios less than 1 produce monotone growth in the partial sums when \(a>0\). Negative ratios create alternating partial sums. Ratios with absolute value greater than 1 lead to rapidly increasing magnitude. This classification makes geometric series a convenient model for studying simple parameter-dependent behavior.
5 Representations and transformations
Geometric series can be expressed in several equivalent ways, each useful in a different setting.
5.1 Standard notation
A finite geometric series is often written as
\[ \sum_{k=0}^{n-1} ar^k. \]
This notation clearly identifies the first term \(a\), the ratio \(r\), and the number of terms \(n\). It is widely used in algebra, calculus, and discrete mathematics.
5.2 Sigma notation
Sigma notation compresses the full list of terms into a compact symbolic form. For a geometric series beginning at index \(m\), one may write
\[ \sum_{k=m}^{n} ar^{k}. \]
This notation is especially helpful when geometric sums are embedded in larger expressions or combined with other series.
5.3 Power series form
A geometric series can be viewed as a special power series. For example,
\[ 1+x+x^2+x^3+\cdots \]
| is a geometric series with first term 1 and ratio \(x\). When \( | x | <1\), it converges to |
|---|
\[ \frac{1}{1-x}. \]
This identity is a basic building block in analysis and underlies many more advanced power series expansions.
5.4 Telescoping interpretations
Geometric sums can sometimes be transformed into expressions that telescope, meaning many terms cancel when differences are taken. The derivation of the finite sum formula is one example. Such transformations are useful for revealing hidden structure and for turning repeated multiplicative patterns into simple closed forms.
6 Applications
Geometric series appear in numerous fields because repeated proportional change is common in both natural and human-made systems.
6.1 Finance and interest
In finance, geometric series model compound interest, loan payments, and annuities. Repeated interest accumulation creates multiplicative growth, while the present value of recurring payments can often be expressed as a geometric sum. These formulas help compare payment schedules and assess long-term value.
6.2 Probability and expected value
Geometric series appear in probability when evaluating repeated trials, branching processes, and waiting-time models. They are useful for summing probabilities that decline geometrically or for computing expected values in systems with repeated independent chances of success.
6.3 Physics and engineering
In physics and engineering, geometric series arise in repeated reflections, feedback systems, and certain decay processes. They also help describe iterative approximations, where each correction is a fixed fraction of the previous one. In such settings, the convergence of a geometric series often signals stability.
6.4 Signal processing
Signal processing uses geometric series in the analysis of discrete-time systems and frequency response. Repeated delayed signals and feedback loops often generate sums with geometric structure. These expressions are central to understanding filters and related algorithms.
6.5 Computer science
In computer science, geometric series appear in algorithm analysis, data structures, and recursion. For example, the total work in divide-and-conquer algorithms may involve sums of geometrically shrinking subproblems. They also occur in memory allocation schemes and performance estimates where quantities change by fixed factors.
7 Related topics
Geometric series are closely tied to several other standard mathematical ideas.
7.1 Arithmetic series
An arithmetic series is the sum of an arithmetic sequence, where consecutive terms differ by a fixed amount rather than a fixed ratio. Comparing arithmetic and geometric series helps clarify the distinction between additive and multiplicative patterns.
7.2 Geometric progression
Geometric progression is another name for a geometric sequence. The term is common in some mathematical traditions and emphasizes the repeated multiplication that defines the pattern.
7.3 Power series
Power series generalize geometric series by allowing coefficients in front of powers of a variable. The geometric series is the simplest nontrivial example and often serves as an entry point to more advanced series theory.
7.4 Convergence tests
Convergence tests determine whether infinite series have finite sums. The geometric series test is one of the most elementary and important, providing a benchmark against which other tests are often compared.
8 Historical context
Geometric series have a long history, reflecting early interest in repeated proportional change and infinite processes.
8.1 Early use in mathematics
Ideas related to geometric series appeared in ancient and classical mathematics through problems involving growth, partition, and repeated division. Mathematicians recognized that sums built from multiplying by a constant could be handled systematically, especially in commercial and geometric calculations.
8.2 Development of infinite series theory
The rigorous treatment of infinite geometric series helped shape the broader theory of infinite series. As analysis developed, mathematicians clarified when infinite sums could be assigned finite values and how limits justify such formulas. Geometric series became a standard example in this development because they display convergence and divergence in a particularly transparent way.