Arithmetic Progressions

An arithmetic progression (AP) is a sequence in which each term differs from the previous one by a fixed constant $d$ , the common difference. Its $n$ -th term is $a_{n} = a_{1} + (n - 1) d$ and the sum of its first $n$ terms is $S_{n} = \frac{n}{2} (a_{1} + a_{n})$ . APs appear everywhere linear growth occurs — interest, seating rows, physics under constant acceleration — and were studied from antiquity, with the famous summation trick attributed to a young Carl Friedrich Gauss.

An arithmetic progression is an ordered list of numbers $a_{1}, a_{2}, a_{3}, \dots$ in which the difference between any two consecutive terms is constant. That constant, denoted $d$ , completely controls the "shape" of the progression: positive $d$ gives a rising sequence, negative $d$ a falling one, and $d = 0$ a constant sequence. Arithmetic progressions matter because they are the discrete counterpart of linear functions — whenever a quantity changes by equal steps, an AP is lurking. A surprising fact is that the sum of the first $n$ terms depends only on the first and last terms and how many there are, not on the messy middle: pairing terms from the ends collapses the entire sum into a single product. This pairing insight, generalised, underlies much of finite calculus and the theory of polynomial summation.

The Core Insight

Constant steps make the sequence linear, and linearity makes the sum a symmetric average. Because every term is the first term plus a whole number of equal jumps, term

n

is a linear function of $n$ . And because terms are evenly spaced, the average of all of them equals the average of the two endpoints — so the total is simply that average times the count. Two ideas — equal spacing and end-pairing — generate every formula on this page.

Formal Statement

Arithmetic Progression

A sequence $(a_{n})_{n \geq 1}$ is an arithmetic progression if there exists a constant $d \in R$ , called the common difference, such that

a_{n + 1} - a_{n} = d for all n \geq 1.

⟳This is the defining property; "common difference" literally means

a_{n + 1} - a_{n}

is the same for every

n

Here:

$a_{1}$ = the first term (the starting value),
$a_{n}$ = the $n$ -th term (general term),
$d$ = the common difference (constant gap between neighbours),
$n$ = the index (position), a positive integer.

The closed form for the general term is

a_{n} = a_{1} + (n - 1) d .

⟳Start at

a_{1}

and add

d

a total of

(n - 1)

times to reach term

n

; telescoping

a_{n} = a_{1} + \sum_{k = 1}^{n - 1} d

Sum of an Arithmetic Progression

The sum $S_{n} = a_{1} + a_{2} + \dots + a_{n}$ of the first $n$ terms of an arithmetic progression is

S_{n} = \frac{n}{2} (a_{1} + a_{n}) .

⟳Average of first and last term,

\frac{a _{1} + a _{n}}{2}

, times the number of terms

n

— equivalently the Gauss pairing trick below.

Substituting $a_{n} = a_{1} + (n - 1) d$ from [2] gives the form using only $a_{1}$ and $d$ :

S_{n} = \frac{n}{2} [2 a_{1} + (n - 1) d] .

⟳Replace

a_{n}

in [3] with

a_{1} + (n - 1) d

and factor

a_{1} + a_{1} = 2 a_{1}

A further useful identity is the arithmetic mean property: each interior term is the mean of its neighbours,

a_{n} = \frac{a _{n - 1} + a _{n + 1}}{2} .

⟳From [1],

a_{n} - a_{n - 1} = a_{n + 1} - a_{n} = d

; add and solve for

a_{n}

Why It Holds / Derivation

Sum formula via end-pairing (Gauss's method)

We prove [3].

Step 1. Write the sum forwards:

S_{n} = a_{1} + a_{2} + \dots + a_{n - 1} + a_{n} .

Step 2. Write the same sum backwards:

S_{n} = a_{n} + a_{n - 1} + \dots + a_{2} + a_{1} .

Step 3. Add the two lines term by term. The

k

-th column gives

a_{k} + a_{n - k + 1}

. But in an AP,

a_{k} = a_{1} + (k - 1) d

and

a_{n - k + 1} = a_{1} + (n - k) d

, so

a_{k} + a_{n - k + 1} = 2 a_{1} + (n - 1) d = a_{1} + a_{n},

a constant independent of

k

. Step 4. There are

n

such columns, each summing to

(a_{1} + a_{n})

. Therefore

2 S_{n} = n (a_{1} + a_{n}) .

Step 5. Divide by 2:

S_{n} = \frac{n}{2} (a_{1} + a_{n}) . ■

General term via induction

We prove [2] by induction on $n$ .

Base case (

n = 1

a_{1} = a_{1} + (1 - 1) d = a_{1}

. ✓ Inductive step: Assume

a_{k} = a_{1} + (k - 1) d

. By the definition [1],

a_{k + 1} = a_{k} + d = a_{1} + (k - 1) d + d = a_{1} + k d = a_{1} + ((k + 1) - 1) d

. ✓

By induction, [2] holds for all $n \geq 1$ . $■$

Carl Friedrich Gauss | 1777–1855

The German mathematician Carl Friedrich Gauss is legendarily said to have, as a schoolboy around age 7–10, summed the integers from 1 to 100 in seconds by pairing $1 + 100, 2 + 99, \dots$ into fifty pairs of 101, giving $5050$ . Whether the anecdote is literally true is debated, but the method — recognising that endpoints pair to equal sums — is exactly the engine of formula [3]. Gauss went on to revolutionise number theory, statistics (the Gaussian distribution), geometry, and physics, but the "Gauss sum" of an AP remains the most-told story of mathematical childhood precocity.

Building Intuition

Picture a staircase where every step has the same height $d$ . The height of step $n$ above the ground is $a_{1} + (n - 1) d$ — that's formula [2]. Now imagine you want the total amount of "material" stacked under all the steps (the sum). Lay one identical staircase upside-down on top of the first: every column now has the same total height, $a_{1} + a_{n}$ , and there are $n$ columns. You've built a perfect rectangle of area $n (a_{1} + a_{n})$ from two staircases, so one staircase is half of it — that's formula [3]. The equal step height is what makes the upside-down trick work; for irregular steps the columns wouldn't match.

An arithmetic progression $a_n = 2 + 3(n-1)$ plotted as points lying on a straight line; equal vertical jumps of $d=3$.

<svg viewBox="0 0 420 300" xmlns="http://www.w3.org/2000/svg">
  <rect width="420" height="300" fill="#0a0e17"/>
  <!-- axes -->
  <line x1="50" y1="260" x2="400" y2="260" stroke="#94a3b8" stroke-width="1.5"/>
  <line x1="50" y1="260" x2="50" y2="20" stroke="#94a3b8" stroke-width="1.5"/>
  <text x="395" y="280" fill="#e2e8f0" font-size="12">n</text>
  <text x="20" y="30" fill="#e2e8f0" font-size="12">a_n</text>
  <!-- the line through the AP -->
  <line x1="80" y1="230" x2="380" y2="50" stroke="#d4a853" stroke-width="2"/>
  <!-- points: n=1..6, a=2,5,8,11,14,17 ; map a -> y, x -->
  <!-- x = 50 + n*50 ; y = 260 - a*12 -->
  <g fill="#d4a853">
    <circle cx="80"  cy="236" r="4"/>  <!-- n1 a2  y=236 -->
    <circle cx="130" cy="200" r="4"/>  <!-- n2 a5  y=200 -->
    <circle cx="180" cy="164" r="4"/>  <!-- n3 a8  y=164 -->
    <circle cx="230" cy="128" r="4"/>  <!-- n4 a11 y=128 -->
    <circle cx="280" cy="92"  r="4"/>  <!-- n5 a14 y=92 -->
    <circle cx="330" cy="56"  r="4"/>  <!-- n6 a17 y=56 -->
  </g>
  <!-- step markers showing d=3 between n3 and n4 -->
  <line x1="180" y1="164" x2="230" y2="164" stroke="#94a3b8" stroke-dasharray="4 3"/>
  <line x1="230" y1="164" x2="230" y2="128" stroke="#94a3b8" stroke-dasharray="4 3"/>
  <text x="234" y="150" fill="#e2e8f0" font-size="11">d = 3</text>
  <!-- labels -->
  <text x="70"  y="252" fill="#e2e8f0" font-size="10">1</text>
  <text x="120" y="252" fill="#e2e8f0" font-size="10">2</text>
  <text x="170" y="252" fill="#e2e8f0" font-size="10">3</text>
  <text x="220" y="252" fill="#e2e8f0" font-size="10">4</text>
  <text x="270" y="252" fill="#e2e8f0" font-size="10">5</text>
  <text x="320" y="252" fill="#e2e8f0" font-size="10">6</text>
  <text x="85"  y="232" fill="#e2e8f0" font-size="10">2</text>
  <text x="335" y="50"  fill="#e2e8f0" font-size="10">17</text>
</svg>

Worked Examples

Finding a term and a sum

Given: An AP with first term

a_{1} = 5

and common difference

d = 4

. Find the 20th term and the sum of the first 20 terms. Step 1 — 20th term using [2]:

a_{20} = a_{1} + (20 - 1) d = 5 + 19 (4) = 5 + 76 = 81.

Step 2 — Sum using [3]:

S_{20} = \frac{20}{2} (a_{1} + a_{20}) = 10 (5 + 81) = 10 \times 86 = 860.

Check with [4]:

S_{20} = \frac{20}{2} [2 (5) + 19 (4)] = 10 [10 + 76] = 10 \times 86 = 860.

✓

a_{20} = 81, S_{20} = 860

Recovering the progression from two facts

Given: In an AP, the 4th term is

a_{4} = 14

and the 9th term is

a_{9} = 34

. Find

a_{1}

d

, and the sum of the first 10 terms. Step 1 — Set up equations from [2]:

a_{4} = a_{1} + 3 d = 14, a_{9} = a_{1} + 8 d = 34.

Step 2 — Subtract to find $d$ :

(a_{1} + 8 d) - (a_{1} + 3 d) = 34 - 14 \Rightarrow 5 d = 20 \Rightarrow d = 4.

Step 3 — Back-substitute for $a_{1}$ :

a_{1} + 3 (4) = 14 \Rightarrow a_{1} = 14 - 12 = 2.

Step 4 — Sum of first 10 terms using [4]:

S_{10} = \frac{10}{2} [2 (2) + 9 (4)] = 5 [4 + 36] = 5 \times 40 = 200.

a_{1} = 2, d = 4, S_{10} = 200

Common Misconceptions

An AP is defined by a constant difference, not a constant ratio. If consecutive terms are related by multiplication (e.g.

3, 6, 12, 24

), that is a geometric progression, not arithmetic. Always test by subtracting adjacent terms: the sequence is an AP only if

a_{2} - a_{1} = a_{3} - a_{2} = \dots

Furthermore, do not confuse the index

n

(a count, starting at 1) with the term value

a_{n}

. In formula [2] the multiplier is

(n - 1)

, not

n

— a classic off-by-one error that shifts every answer by one

d

The sequence $1, 2, 4, 8, 16, \dots$ is not an arithmetic progression. The successive differences are $2 - 1 = 1$ , $4 - 2 = 2$ , $8 - 4 = 4$ — these are not equal, so condition [1] fails. (It is a geometric progression with common ratio 2.) Equally, $1, 4, 9, 16, 25$ (the perfect squares) is not an AP: the differences $3, 5, 7, 9$ are themselves increasing. Notice, however, that those differences $3, 5, 7, 9$ do form an AP — squares are a "second-order" arithmetic sequence, a hint toward Finite Differences.

Connections

Arithmetic progressions sit at a crossroads of several topics. They are the discrete analogue of Linear Functions: plotting $a_{n}$ against $n$ gives points on a straight line of slope $d$ . They contrast with Geometric Progressions, where a constant ratio replaces the constant difference, and with which they combine into Arithmetico-Geometric Sequences. The sum formula is the first nontrivial case of Series and Summation and a gateway to Sigma Notation. The squares-difference observation links APs to Finite Differences and the calculus of finite sums, while the average-of-endpoints property connects to the Arithmetic Mean and, by contrast, to the Inequality of Arithmetic and Geometric Means.

Real-World Applications

Simple interest: A principal earning fixed simple interest grows by the same amount each period; the balances form an AP with $d$ equal to the annual interest.
Stadium and theatre seating: Rows that increase by a fixed number of seats (e.g. 20, 22, 24, …) form an AP; total capacity is computed with formula [3].
Depreciation (straight-line): An asset losing a fixed dollar amount of value per year has book values in an AP with negative $d$ .
Physics — uniform acceleration: Under constant acceleration, the distances covered in successive equal time intervals form an AP (Galileo's odd-number rule: $1, 3, 5, 7, \dots$ ).
Construction and tiling: Stacking logs or pipes in a triangular pile ( $n, n - 1, n - 2, \dots$ per row) uses AP sums for total count.
Salary and pension scales: Pay structures with fixed annual increments are arithmetic progressions, used to project lifetime earnings.
Computer science — loop counters and array indexing: Equally spaced indices ( $0, k, 2 k, \dots$ ) and the cost of summing them ( $O (n^{2})$ from $S_{n} \sim n^{2}$ ) rely on AP analysis.

Historical Development

c. 1650 BCE — Rhind Papyrus (Egypt): Problem 64 distributes grain in an arithmetic progression, one of the oldest recorded AP problems.
c. 300 BCE — Euclid's Elements (Book IX): Treats sums of consecutive integers and properties tied to arithmetic sequences geometrically.
c. 200 BCE — Archimedes: Uses sums of arithmetic-type sequences in quadrature arguments approximating areas.
5th–7th century CE — Aryabhata & Brahmagupta (India): Aryabhata's Aryabhatiya gives general rules for the sum and number of terms of an AP, including inverting the sum formula to find $n$ .
12th century — Bhāskara II (India): In Līlāvatī, presents systematic AP problems and solution recipes used pedagogically for centuries.
9th–13th century — Islamic mathematics (al-Karaji, al-Samaw'al): Develop summation of arithmetic and higher-order series with early inductive reasoning.
c. 1784 — Carl Friedrich Gauss (anecdote): The schoolboy summation of $1$ to $100$ popularises the end-pairing method.
19th century — Formalisation: With rigorous sequence and series theory (Cauchy, Weierstrass), APs become the introductory example of convergence/divergence and finite-difference calculus.

Subtleties & Limits

While the formulas here are elementary and complete for finite APs, deep questions arise when arithmetic progressions meet number theory. Are there arbitrarily long arithmetic progressions consisting entirely of prime numbers? The answer is yes — proved by Ben Green and Terence Tao in 2004 (the Green–Tao theorem) — but the proof is among the most celebrated in modern mathematics and is highly non-elementary. Related and still-open is the strong form of the Erdős conjecture on arithmetic progressions: any set of positive integers whose reciprocals sum to infinity must contain arbitrarily long APs. Even simpler-sounding: the largest known infinite set with no three-term AP and questions about the densest such sets (Roth's theorem and its refinements) remain active research. These show that the humble AP, fully tamed in finite form, hides profound structure at the frontier.