Sum of Arithmetic Sequence

Theorem
Let $\sequence {a_k}$ be an arithmetic progression defined as:
 * $a_k = a + k d$ for $n = 0, 1, 2, \ldots, n - 1$

Then its closed-form expression is:

Proof
We have that:


 * $\displaystyle \sum_{k \mathop = 0}^{n - 1} \paren {a + k d} = a + \paren {a + d} + \paren {a + 2 d} + \dotsb + \paren {a + \paren {n - 1} d}$

Then:

So:

Hence the result.