
An arithmetic progression or arithmetic sequence is a
sequence
In mathematics, a sequence is an enumerated collection of objects in which repetitions are allowed and order matters. Like a set, it contains members (also called ''elements'', or ''terms''). The number of elements (possibly infinite) is cal ...
of
number
A number is a mathematical object used to count, measure, and label. The most basic examples are the natural numbers 1, 2, 3, 4, and so forth. Numbers can be represented in language with number words. More universally, individual numbers can ...
s such that the difference from any succeeding term to its preceding term remains constant throughout the sequence. The constant difference is called common difference of that arithmetic progression. For instance, the sequence 5, 7, 9, 11, 13, 15, . . . is an arithmetic progression with a common difference of 2.
If the initial term of an arithmetic progression is
and the common difference of successive members is
, then the
-th term of the sequence (
) is given by
:
A finite portion of an arithmetic progression is called a finite arithmetic progression and sometimes just called an arithmetic progression. The
sum of a finite arithmetic progression is called an arithmetic series.
History
According to an anecdote of uncertain reliability,
in primary school
Carl Friedrich Gauss
Johann Carl Friedrich Gauss (; ; ; 30 April 177723 February 1855) was a German mathematician, astronomer, geodesist, and physicist, who contributed to many fields in mathematics and science. He was director of the Göttingen Observatory and ...
reinvented the formula
for summing the integers from 1 through
, for the case
, by grouping the numbers from both ends of the sequence into pairs summing to 101 and multiplying by the number of pairs. Regardless of the truth of this story, Gauss was not the first to discover this formula. Similar rules were known in antiquity to
Archimedes
Archimedes of Syracuse ( ; ) was an Ancient Greece, Ancient Greek Greek mathematics, mathematician, physicist, engineer, astronomer, and Invention, inventor from the ancient city of Syracuse, Sicily, Syracuse in History of Greek and Hellenis ...
,
Hypsicles and
Diophantus
Diophantus of Alexandria () (; ) was a Greek mathematician who was the author of the '' Arithmetica'' in thirteen books, ten of which are still extant, made up of arithmetical problems that are solved through algebraic equations.
Although Jose ...
; in China to
Zhang Qiujian; in India to
Aryabhata
Aryabhata ( ISO: ) or Aryabhata I (476–550 CE) was the first of the major mathematician-astronomers from the classical age of Indian mathematics and Indian astronomy. His works include the '' Āryabhaṭīya'' (which mentions that in 3600 ' ...
,
Brahmagupta
Brahmagupta ( – ) was an Indian Indian mathematics, mathematician and Indian astronomy, astronomer. He is the author of two early works on mathematics and astronomy: the ''Brāhmasphuṭasiddhānta'' (BSS, "correctly established Siddhanta, do ...
and
Bhaskara II; and in medieval Europe to
Alcuin
Alcuin of York (; ; 735 – 19 May 804), also called Ealhwine, Alhwin, or Alchoin, was a scholar, clergyman, poet, and teacher from York, Northumbria. He was born around 735 and became the student of Ecgbert of York, Archbishop Ecgbert at Yor ...
,
[Problems to Sharpen the Young](_blank)
John Hadley and David Singmaster, ''The Mathematical Gazette'', 76, #475 (March 1992), pp. 102–126. Dicuil,
Fibonacci
Leonardo Bonacci ( – ), commonly known as Fibonacci, was an Italians, Italian mathematician from the Republic of Pisa, considered to be "the most talented Western mathematician of the Middle Ages".
The name he is commonly called, ''Fibonacci ...
,
Sacrobosco, and anonymous commentators of
Talmud
The Talmud (; ) is the central text of Rabbinic Judaism and the primary source of Jewish religious law (''halakha'') and Jewish theology. Until the advent of Haskalah#Effects, modernity, in nearly all Jewish communities, the Talmud was the cen ...
known as
Tosafists. Some find it likely that its origin goes back to the
Pythagoreans
Pythagoreanism originated in the 6th century BC, based on and around the teachings and beliefs held by Pythagoras and his followers, the Pythagoreans. Pythagoras established the first Pythagorean community in the Ancient Greece, ancient Greek co ...
in the 5th century BC.
Sum
Computation of the sum 2 + 5 + 8 + 11 + 14. When the sequence is reversed and added to itself term by term, the resulting sequence has a single repeated value in it, equal to the sum of the first and last numbers (2 + 14 = 16). Thus 16 × 5 = 80 is twice the sum.
The
sum of the members of a finite arithmetic progression is called an arithmetic series. For example, consider the sum:
:
This sum can be found quickly by taking the number ''n'' of terms being added (here 5), multiplying by the sum of the first and last number in the progression (here 2 + 14 = 16), and dividing by 2:
:
In the case above, this gives the equation:
:
This formula works for any arithmetic progression of real numbers beginning with
and ending with
. For example,
:
Derivation
To derive the above formula, begin by expressing the arithmetic series in two different ways:
:
:
Rewriting the terms in reverse order:
:
Adding the corresponding terms of both sides of the two equations and halving both sides:
:
This formula can be simplified as:
:
Furthermore, the mean value of the series can be calculated via:
:
:
The formula is essentially the same as the formula for the mean of a
discrete uniform distribution
In probability theory and statistics, the discrete uniform distribution is a symmetric probability distribution wherein each of some finite whole number ''n'' of outcome values are equally likely to be observed. Thus every one of the ''n'' out ...
, interpreting the arithmetic progression as a set of equally probable outcomes.
Product
The
product of the members of a finite arithmetic progression with an initial element ''a''
1, common differences ''d'', and ''n'' elements in total is determined in a closed expression
:
where
denotes the
Gamma function
In mathematics, the gamma function (represented by Γ, capital Greek alphabet, Greek letter gamma) is the most common extension of the factorial function to complex numbers. Derived by Daniel Bernoulli, the gamma function \Gamma(z) is defined ...
. The formula is not valid when
is negative or zero.
This is a generalization of the facts that the product of the progression
is given by the
factorial
In mathematics, the factorial of a non-negative denoted is the Product (mathematics), product of all positive integers less than or equal The factorial also equals the product of n with the next smaller factorial:
\begin
n! &= n \times ...
and that the product
:
for
positive integer
In mathematics, the natural numbers are the numbers 0, 1, 2, 3, and so on, possibly excluding 0. Some start counting with 0, defining the natural numbers as the non-negative integers , while others start with 1, defining them as the positiv ...
s
and
is given by
:
Derivation
:
where
denotes the
rising factorial.
By the recurrence formula
, valid for a
complex number
In mathematics, a complex number is an element of a number system that extends the real numbers with a specific element denoted , called the imaginary unit and satisfying the equation i^= -1; every complex number can be expressed in the for ...
,
:
,
:
,
so that
:
for
a positive integer and
a positive complex number.
Thus, if
,
:
and, finally,
:
Examples
;Example 1
Taking the example
, the product of the terms of the arithmetic progression given by
up to the 50th term is
:
; Example 2
The product of the first 10 odd numbers
is given by
:
=
Standard deviation
The standard deviation of any arithmetic progression is
:
where
is the number of terms in the progression and
is the common difference between terms. The formula is essentially the same as the formula for the standard deviation of a
discrete uniform distribution
In probability theory and statistics, the discrete uniform distribution is a symmetric probability distribution wherein each of some finite whole number ''n'' of outcome values are equally likely to be observed. Thus every one of the ''n'' out ...
, interpreting the arithmetic progression as a set of equally probable outcomes.
Intersections
The
intersection
In mathematics, the intersection of two or more objects is another object consisting of everything that is contained in all of the objects simultaneously. For example, in Euclidean geometry, when two lines in a plane are not parallel, their ...
of any two doubly infinite arithmetic progressions is either empty or another arithmetic progression, which can be found using the
Chinese remainder theorem
In mathematics, the Chinese remainder theorem states that if one knows the remainders of the Euclidean division of an integer ''n'' by several integers, then one can determine uniquely the remainder of the division of ''n'' by the product of thes ...
. If each pair of progressions in a family of doubly infinite arithmetic progressions have a non-empty intersection, then there exists a number common to all of them; that is, infinite arithmetic progressions form a
Helly family
In combinatorics, a Helly family of order is a family of Set (mathematics), sets in which every minimal ''subfamily with an empty Intersection (set theory), intersection'' has or fewer sets in it. Equivalently, every finite subfamily such that ...
.
[. See in particular Section 2.5, "Helly Property"]
pp. 393–394
However, the intersection of infinitely many infinite arithmetic progressions might be a single number rather than itself being an infinite progression.
Amount of arithmetic subsets of length ''k'' of the set
Let
denote the number of arithmetic subsets of length
one can make from the set
and let
be defined as:
Then:
As an example, if
, one expects
arithmetic subsets and, counting directly, one sees that there are 9; these are
See also
*
Geometric progression
A geometric progression, also known as a geometric sequence, is a mathematical sequence of non-zero numbers where each term after the first is found by multiplying the previous one by a fixed number called the ''common ratio''. For example, the s ...
*
Harmonic progression
*
Triangular number
A triangular number or triangle number counts objects arranged in an equilateral triangle. Triangular numbers are a type of figurate number, other examples being square numbers and cube numbers. The th triangular number is the number of dots in ...
*
Arithmetico-geometric sequence
*
Inequality of arithmetic and geometric means
Inequality may refer to:
* Inequality (mathematics), a relation between two quantities when they are different.
* Economic inequality, difference in economic well-being between population groups
** Income inequality, an unequal distribution of in ...
*
Primes in arithmetic progression
*
Linear difference equation
In mathematics (including combinatorics, linear algebra, and dynamical systems), a linear recurrence with constant coefficients (also known as a linear recurrence relation or linear difference equation) sets equal to 0 a polynomial that is linear ...
*
Generalized arithmetic progression, a set of integers constructed as an arithmetic progression is, but allowing several possible differences
*
Heronian triangles with sides in arithmetic progression
*
Problems involving arithmetic progressions
Problems involving arithmetic progressions are of interest in number theory,
combinatorics, and computer science, both from theoretical and applied points of view.
Largest progression-free subsets
Find the cardinality (denoted by ''A'k''(''m' ...
*
Utonality
*
Polynomials calculating sums of powers of arithmetic progressions
References
External links
*
*
*
{{DEFAULTSORT:Arithmetic Progression
Arithmetic series
Articles containing proofs
Sequences and series