<?xml version="1.0" encoding="UTF-8"?>

<record version="7" id="4302">
 <title>arithmetic progression</title>
 <name>ArithmeticProgression</name>
 <created>2003-05-26 15:20:40</created>
 <modified>2004-09-24 23:49:51</modified>
 <type>Definition</type>
 <creator id="348" name="bbukh"/>
 <author id="348" name="bbukh"/>
 <classification>
	<category scheme="msc" code="00A05"/>
	<category scheme="msc" code="11B25"/>
 </classification>
 <related>
	<object name="MulidimensionalArithmeticProgression"/>
	<object name="SumOfKthPowersOfTheFirstNPositiveIntegers"/>
 </related>
 <preamble>\usepackage{amssymb}
\usepackage{amsmath}
\usepackage{amsfonts}</preamble>
 <content>\PMlinkescapeword{columns}
Arithmetic progression of length $n$, initial term $a_1$ and common difference $d$ is the sequence $a_1, a_1+d,a_1+2d,\dotsc,a_1+(n-1)d$.

%%%This code is not displayed by PlanetMath... seems to be a bug in LaTeX2HTML
%%%  Added later: parbox fixes it since it forces LaTeX2HTML to render the whole
%%%               thing as an image
The sum of terms of an arithmetic progression can be computed using Gauss's trick:

\parbox{\linewidth}{\begin{align*}
S&amp;=\makebox[7em]{$(a_1+0)$}+\makebox[7em]{$(a_1+d)$}+\dotsb+\makebox[7em]{$(a_1+(n-2)d)$}
+\makebox[7em]{$(a_1+(n-1)d)$}\\
+\underline{S\vphantom{\makebox[7em]{$(a_1+(n-1)d)$}}}&amp;\underline{{}=\makebox[7em]{$(a_1+(n-1)d)$}+
\makebox[7em]{$(a_1+(n-2)d)$}+\dotsb+\makebox[7em]{$(a_1+d)$}
+\makebox[7em]{$(a_1+0)$}}\\
2S&amp;=\makebox[7em]{$(2a_1+(n-1)d)$}+\makebox[7em]{$(2a_1+(n-1)d)$}+\dotsb+\makebox[7em]{$(2a_1+(n-1)d)$}+
\makebox[7em]{$(2a_1+(n-1)d)$}.
\end{align*}}

We just add the sum with itself written backwards, and the sum of each of the columns equals to $(2a_1+(n-1)d)$. The sum is then
\begin{equation*}
S=\frac{(2a_1+(n-1)d)n}{2}.
\end{equation*}</content>
</record>
