Definition
A sequence of numbers (a_n) of the form a, a + d, a + 2d, … where a is a fixed initial term and d is a fixed common difference; equivalently a_n = a + (n-1)d for n≥1.

Principle

Principle
The organizing rule is linear translation by a constant increment: each successive term is obtained by adding the same real (or integer) increment d to the previous term.

Demonstration

Demonstration
Example: with a = 3 and d = 4 the progression is 3, 7, 11, 15, …; the nth term is a_n = 3 + (n-1)·4 and the finite sum of the first n terms is S_n = n(2·3 + (n-1)·4)/2.

Misapplication

Misapplication
Treating a geometric progression (constant multiplicative ratio) or any sequence with a varying difference as an arithmetic progression; or assuming properties that require integrality (like divisibility patterns) when d is nonintegral.

Consequence

Consequence
When correctly identified, arithmetic progressions allow closed-form nth-term formulas, simple summation formulas, and linear interpolation between terms; many elementary divisibility and average relations follow directly.

Reversal

Reversal
The opposite pattern is a geometric progression where successive terms are multiplied by a constant ratio, or any sequence whose successive differences are not constant.

Boundary

Boundary
Applies to sequences indexed by integers with a fixed addend d; d may be zero or any element of the ambient ring (integers, rationals, reals). Excluded are sequences defined by nonconstant differences, nonadditive recurrences, or index-dependent increments.

Semantic Tension

Semantic Tension
Confusion often arises between an arithmetic progression (sequence) and an arithmetic series (sum of terms), and between knowing a common difference d and mistaking an observed approximate linear pattern for exact arithmetic progression.

Synthesis

Synthesis
An arithmetic progression is the simplest discrete linear structure: a translate of the additive subgroup generated by d, giving explicit formulas for terms and sums and forming the primitive model of discrete linear growth.