Geometric progression¶

A sequence in which every term after the first is obtained by multiplying the preceding term by one fixed common ratio.

Version: v2 · 2026-09-19 · History
Domain-specific #: 4718
Domain group: Formal Sciences
Origin domain: Mathematics
Subdomain: Elementary Mathematics → Mathematics
Aliases: Geometric sequence

Core Idea¶

Zero terms and ratio conventions require care, finite and infinite sequences have different sum questions and convergence of an infinite sum requires common-ratio magnitude below one. Starting from an initial term, repeated multiplication by the common ratio generates exponential-index form a times r to the n and enables closed-form partial sums. The abstraction is therefore identified by a declared carrier, a transformation or constraint over that carrier, and an invariant that tells an analyst whether the named structure is genuinely present.

How would you explain it like I'm…

The Doubling Chain

Start with one cookie and keep doubling it: 1, 2, 4, 8, 16. Every new number comes from multiplying the last one by the same number. That chain of numbers is a geometric progression.

Same-Multiplier Number Chain

A geometric progression is a list of numbers where you always multiply by the same number, called the common ratio, to get the next one. Starting at 3 and multiplying by 2 gives 3, 6, 12, 24. Multiplying by one half shrinks the numbers instead: 8, 4, 2, 1. There is a shortcut formula for adding up the first several numbers without adding them one by one. If you keep adding forever, the total settles on a fixed number only when the multiplier is smaller than 1 in size.

Constant-Ratio Sequence

A geometric progression starts from an initial term a and multiplies by a constant common ratio r at each step, so the nth term is a times r to the n when counting starts at 0. This differs from an arithmetic progression, which adds a constant instead of multiplying. The sum of the first n terms has a closed form, a(1 - r^n)/(1 - r), except when r = 1, where every term is a and the sum is just n times a. An infinite geometric series converges only when the absolute value of r is less than 1, giving a/(1 - r). Conventions matter: whether indexing starts at 0 or 1 shifts the formula, and zero or negative ratios need careful handling.

A geometric progression is defined by a scalar domain (real or complex numbers, say), an initial term a, an index origin, and a constant common ratio r. Its recurrence is a_{n+1} = r·a_n, which yields the explicit form a_n = a·r^n when indexing starts at 0. The finite partial sum is a(1 − r^{n+1})/(1 − r) for r ≠ 1, and (n+1)a when r = 1. The infinite series converges exactly when |r| < 1, to a/(1 − r). Negative ratios make the sign alternate; complex ratios rotate the terms; a zero ratio or zero initial term makes the sequence degenerate, and conventions about this vary. To decide whether something truly is a geometric progression, check that the ratio between consecutive terms is genuinely constant and state all parameters, rather than relying on a sequence that merely looks exponential.

Scope of Application¶

Geometric progression belongs to elementary mathematics and is useful where the analyst can specify the typed elementary mathematics carrier, including objects, relations, parameters, conventions, evidence, boundaries, and comparison targets, then evaluate the scalar domain, initial term and index origin, constant common ratio, recurrence relation, explicit nth-term form, finite partial-sum formula including ratio one, infinite-series convergence condition and treatment of zero negative or complex ratios are explicit. The scope is broad within that domain but bounded by the need for the scalar domain, initial term and index origin, constant common ratio, recurrence relation, explicit nth-term form, finite partial-sum formula including ratio one, infinite-series convergence condition and treatment of zero negative or complex ratios are explicit.

Clarity¶

The abstraction clarifies a crowded vocabulary by making the scalar domain, initial term and index origin, constant common ratio, recurrence relation, explicit nth-term form, finite partial-sum formula including ratio one, infinite-series convergence condition and treatment of zero negative or complex ratios are explicit the center of the account. A claim should name the carrier, the governing operation or relation, the applicable assumptions, and the recognition test.

Manages Complexity¶

Without the abstraction, an analyst must reason directly over many local details: the carrier roles, admissibility assumptions, competing conventions, derived invariants, boundary cases, and proof or validation obligations specific to Geometric progression. Geometric progression compresses them into the roles in the structural signature. That compression permits comparison across instances without erasing the variables that determine validity. It also exposes which details may be varied safely and which are constitutive.

Abstract Reasoning¶

Identify the carrier. State what the elements, states, objects, or observations are: the typed elementary mathematics carrier, including objects, relations, parameters, conventions, evidence, boundaries, and comparison targets. Reject examples whose alleged carrier belongs to a different problem.
Lock the constitutive rule. Express the scalar domain, initial term and index origin, constant common ratio, recurrence relation, explicit nth-term form, finite partial-sum formula including ratio one, infinite-series convergence condition and treatment of zero negative or complex ratios are explicit independently of one notation or implementation.

Knowledge Transfer¶

Knowledge transfers strongly among subfields of elementary mathematics because they reuse the typed elementary mathematics carrier, including objects, relations, parameters, conventions, evidence, boundaries, and comparison targets, Starting from an initial term, repeated multiplication by the common ratio generates exponential-index form a times r to the n and enables closed-form partial sums., and type the carrier, state every parameter and convention in the definition, test that the scalar domain, initial term and index origin, constant common ratio, recurrence relation, explicit nth-term form, finite partial-sum formula including ratio one, infinite-series convergence condition and treatment of zero negative or complex ratios are explicit, compare the nearest accepted identity, and report counterexamples, uncertainty, and limiting cases.

Relationships to Other Abstractions¶

Current abstraction Geometric progression Domain-specific

Parents (1) — outgoing typed relations

Geometric progression is a kind of Multiplicative Random Growth Prime

It remains its own entry because its identity is fixed by the scalar domain, initial term and index origin, constant common ratio, recurrence relation, explicit nth-term form, finite partial-sum formula including ratio one, infinite-series convergence condition and treatment of zero negative or complex ratios.

Hierarchy path (1) — routes to 1 parentless root

Geometric progression → is a kind of Multiplicative Random Growth → includes Random Walk → is a kind of Stochastic Process

Neighborhood in Abstraction Space¶

Geometric progression sits in a crowded region of the domain-specific corpus (7^th percentile for distinctiveness): several abstractions share nearly its structure, so a description that fits it tends to fit its neighbors too.

Family — Numeral Systems & Integer Sequences (22 abstractions)

Nearest neighbors

Computed from structural-signature embeddings · 2026-10-25