Editing Arithmetic progression

{{Short description|Sequence of equally spaced numbers}}
[[File:Arithmetic_progression.svg|thumb|[[Proof without words]] of the arithmetic progression formulas using a rotated copy of the blocks.]]
An '''arithmetic progression''' or '''arithmetic sequence''' is a [[sequence]] of [[number]]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 <math>a_1</math> and the common difference of successive members is <math>d</math>, then the <math>n</math>-th term of the sequence (<math>a_n</math>) is given by
:<math>a_n = a_1 + (n - 1)d.</math>
A finite portion of an arithmetic progression is called a '''finite arithmetic progression''' and sometimes just called an arithmetic progression.

The [[summation|sum]] of an arithmetic progression is called an '''arithmetic series'''{{NoteTag|The term is commonly used for a finite arithmetic sum, since most infinite arithmetic series diverge.}}.

== History ==
According to an anecdote of uncertain reliability,<ref name="hayesreckoning">{{cite journal |author=Hayes |first=Brian |date=2006 |title=Gauss's Day of Reckoning |url=https://www.americanscientist.org/article/gausss-day-of-reckoning |url-status=live |journal=[[American Scientist]] |volume=94 |issue=3 |page=200 |doi=10.1511/2006.59.200 |archive-url=https://web.archive.org/web/20120112140951/http://www.americanscientist.org/issues/id.3483,y.0,no.,content.true,page.1,css.print/issue.aspx |archive-date=12 January 2012 |access-date=16 October 2020}}</ref> in primary school [[Carl Friedrich Gauss]] reinvented the formula <math>\tfrac{n(n+1)}{2}</math> for summing the integers from 1 through <math>n</math>, for the case <math>n=100</math>, 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]], [[Hypsicles]] and [[Diophantus]];<ref>{{cite book |author=Tropfke, Johannes |url=https://books.google.com/books?id=9dJ_F4lCXTQC |title=Analysis, analytische Geometrie |publisher=Walter de Gruyter |year=1924 |isbn=978-3-11-108062-8 |pages=3–15 |url-access=limited}}</ref> in China to [[Zhang Qiujian]]; in India to [[Aryabhata]], [[Brahmagupta]] and [[Bhaskara II]];<ref>{{cite book |author=Tropfke, Johannes |url=https://books.google.com/books?id=7UW0DwAAQBAJ |title=Arithmetik und Algebra |publisher=Walter de Gruyter |year=1979 |isbn=978-3-11-004893-3 |pages=344–354 |url-access=limited}}</ref> and in medieval Europe to [[Alcuin]],<ref name="a">[https://www.jstor.org/stable/3620384 Problems to Sharpen the Young], John Hadley and David Singmaster, ''The Mathematical Gazette'', '''76''', #475 (March 1992), pp. 102–126.</ref> [[Dicuil]],<ref>Ross, H.E. & Knott, B.I. (2019) Dicuil (9th century) on triangular and square numbers, ''British Journal for the History of Mathematics'', 34:2, 79-94, https://doi.org/10.1080/26375451.2019.1598687</ref> [[Fibonacci]],<ref>
{{cite book |author=Sigler, Laurence E. (trans.) |url=https://archive.org/details/fibonaccislibera00sigl |title=Fibonacci's Liber Abaci |publisher=Springer-Verlag |year=2002 |isbn=0-387-95419-8 |pages=[https://archive.org/details/fibonaccislibera00sigl/page/n260 259]–260 |url-access=limited}}</ref> [[Sacrobosco]],<ref>
{{cite book |author=Katz, Victor J. (edit.) |url=https://books.google.com/books?id=39waDQAAQBAJ |title=Sourcebook in the Mathematics of Medieval Europe and North Africa |publisher=Princeton University Press |year=2016 |isbn=9780691156859 |pages=91,257 |url-access=limited}}</ref> and anonymous commentators of [[Talmud]] known as [[Tosafot|Tosafists]].<ref>Stern, M. (1990). 74.23 A Mediaeval Derivation of the Sum of an Arithmetic Progression. The Mathematical Gazette, 74(468), 157-159. doi:10.2307/3619368</ref> Some find it likely that its origin goes back to the [[Pythagoreans]] in the 5th century BC.<ref>Høyrup, J. The "Unknown Heritage": trace of a forgotten locus of mathematical sophistication. Arch. Hist. Exact Sci. 62, 613–654 (2008). https://doi.org/10.1007/s00407-008-0025-y</ref>

==Sum==

<div class="thumb tright">
<div class="thumbinner" style="width:220px;">
{| style="background-color:white; width:220px;"
| 2 || + || 5 || + || 8 || + || 11 || + || 14 || = || 40
|-
| 14 || + || 11 || + || 8 || + || 5 || + || 2 || = || 40
|-
|colspan=11|<hr>
|-
| 16 || + || 16 || + ||  16 || + ||  16 || + ||  16 || = || 80
|}
<div class="thumbcaption">
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.
</div>
</div>
</div>
A finite arithmetic series is a [[Summation|sum]] of the members of a finite arithmetic progression; it is commonly abbreviated to simply ''arithmetic series'' when the context is appropriate. It can be expressed as

:<math>a+(a+d)+(a+2d)+\cdots+(a+(n-1)d) = \sum_{k=1}^n a+(k-1)d. </math>

For example, consider the sum:

:<math>2 + 5 + 8 + 11 + 14 = 40 </math>

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:

:<math>\frac{n(a_1 + a_n)}{2}</math>

In the case above, this gives the equation:

:<math>2 + 5 + 8 + 11 + 14 = \frac{5(2 + 14)}{2} = \frac{5 \times 16}{2} = 40.</math>

This formula works for any arithmetic progression of real numbers beginning with <math>a_1</math> and ending with <math>a_n</math>. For example,

:<math>\left(-\frac{3}{2}\right) + \left(-\frac{1}{2}\right) + \frac{1}{2} = \frac{3\left(-\frac{3}{2} + \frac{1}{2}\right)}{2} = -\frac{3}{2}.</math>

If the arithmetic series is an [[series (mathematics)|infinite series]], it [[divergent series|diverges]]<ref>{{cite book |author1=Fox, Huw|author2=Bolton, Bill|url=https://www.sciencedirect.com/science/article/abs/pii/B9780750655446500084 |title=Mathematics for Engineers and Technologists |publisher=Elsevier Ltd. |year=2002 |isbn=978-0-7506-5544-6 |url-access=limited}}</ref><ref>{{cite book |author1=Mcdougal, Holt |author2=Chard, David J. |author3=Hall, Earlene J. |author4=  Kennedy, Paul A. |author5=Leinwand, Steven J. |author6=Renfro, Freddie L. |author7=Seymour, Dale G. |author8=Waits, Bert K. |title=Holt Algebra 2 |publisher=Holt Rinehart & Winston |date=October 26, 2007 |isbn=978-0030358296}}</ref> (except when it is the trivial case of the sum of a series of zeroes). However, in some contexts, values can be assigned to series such as [[1 + 2 + 3 + 4 + ⋯]], using summation methods.

=== Derivation ===
[[File:Animated proof for the formula giving the sum of the first integers 1+2+...+n.gif|thumb|Animated proof for the formula giving the sum of the first integers 1+2+...+n.]]
To derive the above formula, begin by expressing the arithmetic series in two different ways:
:<math> S_n=a+a_2+a_3+\dots+a_{(n-1)} +a_n</math>
:<math> S_n=a+(a+d)+(a+2d)+\dots+(a+(n-2)d)+(a+(n-1)d). </math>
Rewriting the terms in reverse order:
:<math> S_n=(a+(n-1)d)+(a+(n-2)d)+\dots+(a+2d)+(a+d)+a.</math>

Adding the corresponding terms of both sides of the two equations and halving both sides:
:<math> S_n=\frac{n}{2}[2a + (n-1)d].</math>
This formula can be simplified as:
:<math>\begin{align}
S_n &=\frac{n}{2}[a + a + (n-1)d].\\
&=\frac{n}{2}(a+a_n).\\
&=\frac{n}{2}(\text{initial term}+\text{last term}).
\end{align}</math>
Furthermore, the mean value of the series can be calculated via: <math>S_n / n</math>:
:<math> \overline{a} =\frac{a_1 + a_n}{2}.</math>

The formula is essentially the same as the formula for the mean of a [[discrete uniform distribution]], interpreting the arithmetic progression as a set of equally probable outcomes.

==Product==
The [[product (mathematics)|product]] of the members of a finite arithmetic progression with an initial element ''a''<sub>1</sub>, common differences ''d'', and ''n'' elements in total is determined in a closed expression

:<math>\begin{align}
a_1 a_2 a_3 \cdots a_n &= a_1 (a_1+d) (a_1+2d) \cdots (a_1+(n-1)d) \\[1ex]
&= \prod_{k=0}^{n-1} (a_1+kd)
= d^n \frac{\Gamma{\left(\frac{a_1}{d} + n\right)}}{\Gamma{\left( \frac{a_1}{d} \right)}}
\end{align}</math>

where <math>\Gamma</math> denotes the [[Gamma function]]. The formula is not valid when <math>a_1/d</math> is negative or zero.

This is a generalization of the facts that the product of the progression <math>1 \times 2 \times \cdots \times n</math> is given by the [[factorial]] <math>n!</math> and that the product

:<math>m \times (m+1) \times (m+2) \times \cdots \times (n-2) \times (n-1) \times n </math>

for [[Natural number|positive integer]]s <math>m</math> and <math>n</math> is given by

:<math>\frac{n!}{(m-1)!}.</math>

===Derivation===

:<math>\begin{align}
a_1a_2a_3\cdots a_n &=\prod_{k=0}^{n-1} (a_1+kd) \\[2pt]
&= \prod_{k=0}^{n-1} d\left(\frac{a_1}{d}+k\right) \\[2pt]
&= d \left (\frac{a_1}{d}\right) d \left (\frac{a_1}{d}+1 \right )d \left ( \frac{a_1}{d}+2 \right )\cdots d \left ( \frac{a_1}{d}+(n-1) \right ) \\[2pt]
&= d^n\prod_{k=0}^{n-1} \left(\frac{a_1}{d}+k\right)=d^n {\left(\frac{a_1}{d}\right)}^{\overline{n}}
\end{align}</math>
where <math>x^{\overline{n}}</math> denotes the [[Pochhammer symbol|rising factorial]].

By the recurrence formula <math>\Gamma(z+1)=z\Gamma(z)</math>, valid for a [[complex number]] <math>z>0</math>,

:<math>\Gamma(z+2)=(z+1)\Gamma(z+1)=(z+1)z\Gamma(z)</math>,

:<math>\Gamma(z+3)=(z+2)\Gamma(z+2)=(z+2)(z+1)z\Gamma(z)</math>,

so that

:<math> \frac{\Gamma(z+m)}{\Gamma(z)} = \prod_{k=0}^{m-1}(z+k)</math>

for <math>m</math> a positive integer and <math>z</math> a positive complex number.

Thus, if <math>a_1/d > 0 </math>,

:<math>\prod_{k=0}^{n-1} \left(\frac{a_1}{d}+k\right)= \frac{\Gamma{\left(\frac{a_1}{d} + n\right)}}{\Gamma{\left( \frac{a_1}{d} \right)}},</math>

and, finally,

:<math>a_1a_2a_3\cdots a_n = d^n\prod_{k=0}^{n-1} \left(\frac{a_1}{d}+k\right) = d^n \frac{\Gamma{\left(\frac{a_1}{d} + n\right)}}{\Gamma{\left( \frac{a_1}{d} \right)}} </math>

===Examples===

;Example 1
Taking the example <math> 3, 8, 13, 18, 23, 28, \ldots </math>, the product of the terms of the arithmetic progression given by <math>a_n = 3 + 5(n-1) </math> up to the 50th term is
:<math>P_{50} = 5^{50} \cdot \frac{\Gamma \left(3/5 + 50\right) }{\Gamma \left( 3 / 5 \right) } \approx 3.78438 \times 10^{98}. </math>

; Example 2
The product of the first 10 odd numbers <math>(1,3,5,7,9,11,13,15,17,19)</math> is given by
:<math> 1\cdot 3\cdot 5\cdots 19 =\prod_{k=0}^{9} (1+2k) = 2^{10} \cdot \frac{\Gamma \left(\frac{1}{2} + 10\right) }{\Gamma \left( \frac{1}{2} \right) } </math> = {{formatnum:654729075}}

==Standard deviation==

The standard deviation of any arithmetic progression is

:<math> \sigma = |d|\sqrt{\frac{(n-1)(n+1)}{12}}</math>

where <math> n</math> is the number of terms in the progression and <math> d</math> is the common difference between terms. The formula is essentially the same as the formula for the standard deviation of a [[discrete uniform distribution]], interpreting the arithmetic progression as a set of equally probable outcomes.

==Intersections==
The [[Intersection (set theory)|intersection]] of any two doubly infinite arithmetic progressions is either empty or another arithmetic progression, which can be found using the [[Chinese remainder theorem]]. 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]].<ref>{{citation
 | last = Duchet
 | first = Pierre
 | editor1-last = Graham | editor1-first = R. L.
 | editor2-last = Grötschel | editor2-first = M. | editor2-link = Martin Grötschel
 | editor3-last = Lovász | editor3-first = L.
 | contribution = Hypergraphs
 | location = Amsterdam
 | mr = 1373663
 | pages = 381–432
 | publisher = Elsevier
 | title = Handbook of combinatorics, Vol. 1, 2
 | year = 1995
}}. See in particular Section 2.5, "Helly Property", [https://books.google.com/books?id=5Y9NCwlx63IC&pg=PA393 pp.&nbsp;393–394].</ref> 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 {1,...,n}==
Let <math>a(n,k)</math> denote the number of arithmetic subsets of length <math>k</math> one can make from the set <math>\{1,\cdots,n\}</math> and let <math>\phi(\eta, \kappa)</math> be defined as:

<math>\phi(\eta, \kappa) = \begin{cases}
  0 & \text{if } \kappa \mid \eta \\
  \left( \left[ \eta \; (\text{mod } \kappa) \right] -2 \right) \left( \kappa - \left[ \eta \; (\text{mod } \kappa) \right] \right) & \text{if } \kappa \not\mid \eta \\
 \end{cases}</math>

Then:

<math>\begin{align} a(n,k) &= \frac{1}{2(k-1)} \left(n^2 -(k-1)n + (k-2) + \phi(n+1,k-1) \right) \\&= \frac{1}{2(k-1)} \left((n-1)(n-(k-2)) + \phi(n+1,k-1) \right) \end{align}</math>

As an example, if <math display="inline">(n,k) = (7,3)</math>, one expects <math display="inline">a(7,3) = 9</math> arithmetic subsets and, counting directly, one sees that there are 9; these are <math display="inline">\{1,2,3\}, \{2,3,4\}, \{3,4,5\}, \{4,5,6\}, \{5,6,7\}, \{1,3,5\}, \{3,5,7\},\{2,4,6\}, \{1,4,7\}.</math>

==See also==
* [[Geometric progression]]
* [[Harmonic progression (mathematics)|Harmonic progression]]
* [[Triangular number]]
* [[Arithmetico-geometric sequence]]
* [[Inequality of arithmetic and geometric means]]
* [[Primes in arithmetic progression]]
* [[Linear difference equation]]
* [[Generalized arithmetic progression]], a set of integers constructed as an arithmetic progression is, but allowing several possible differences
* [[Integer triangle#Heronian triangles with sides in arithmetic progression|Heronian triangles with sides in arithmetic progression]]
* [[Problems involving arithmetic progressions]]
* [[Utonality]]
* [[Polynomials calculating sums of powers of arithmetic progressions]]

== References ==
{{Reflist}}
{{NoteFoot}}

==External links==
* {{springer|title=Arithmetic series|id=p/a013370}}
* {{MathWorld|urlname=ArithmeticProgression|title=Arithmetic progression}}
* {{MathWorld|urlname=ArithmeticSeries|title=Arithmetic series}}

{{Series (mathematics)}}
{{Authority control}}

{{DEFAULTSORT:Arithmetic Progression}}
[[Category:Arithmetic series]]
[[Category:Articles containing proofs]]
[[Category:Sequences and series]]