Prove $a_1+\cdots+a_n=\dfrac{(a_1+a_n)n}{2}$ inductively.

Question

Prove $a_1+\cdots+a_n=\dfrac{(a_1+a_n)n}{2}$ inductively.

Where $a_i=a_{i+1}-r$.

I tried to start proving it inductively, but any try lead to a bad conclusion, so I ended up proving it by making $a_n$ depend on $a_i$.

But I didn't know how to prove it inductively, so there is the problem.

EDIT:

I'm looking for a valid induction steps to reach the conclusion.

Answer 1

If $n=1$, the result is trivial.

Suppose $$\sum_{i=1}^k a_i = \frac{(a_1+a_k)k}{2}$$

\begin{align}\sum_{i=1}^{k+1} a_i &= \frac{(a_1+a_k)k}{2}+a_{k+1}\\&=\frac{a_1k+a_{k+1}(k+1)-rk+a_{k+1}}{2}\\ &= \frac{a_1k+a_{k+1}(k+1)+a_1}{2}\\ &=\frac{(a_1+a_{k+1})(k+1)}{2}\end{align}

Answer 2

No induction needed ... just use a simple trick famously used by Gauss when he was 10 years old:

Take two of these series, one going from $a_1$ to $a_n$, and the other one going back from $a_n$ to $a_1$, put them under each other, and add them up by entry (that is, add the first entries of the two series, then add the second entries, etc):

$a_1 + a_2 + ... + a_{n-1} + a_n$

$a_n + a_{n-1} + ... + a_2 + a_1$

Added together gives:

$(a_1 + a_n) + (a_2 + a_{n-1}) + ... + (a_{n-1} + a_2) + (a_n+a_1)$

Now note that $a_{1+i} + a_{n-i} = a_1 + i*r + a_n - i*r = a_1 + a_n$

(put differently: each time you move an entry to the right, the first number of the pair increases by $r$, while the second of the pair decreases by $r$, so the sum stays the same)

So, each pair adds up to $a_1 + a_n$, and since you have n pairs, you get a total of $n*(a_1 + a_n)$.

Since that is the sum of two series, one series has a sum of half of that, i.e.:

$$a_1 + ... + a_n = \frac{n*(a_1 + a_n)}{2}$$

Answer 3

$a_1+a_2={2{a_1+a_2\over2}}$. You have $a_2=a_1+r$ and recursively $a_n=a_1+(n-1)r$, $a_1+...+a_n=a_1+r+a_1+2r+...+a_1+(n-1)r=na_1+r{n(n-1)\over 2}$ =${{na_1+na_1+rn(n-1)}\over 2}$ =$n{{a_1+a_1r(n-1)}\over 2}=n{{a_1+a_n}\over 2}.$

Answer 4

Statement true for $n=2$. Assume

$$ a_1 + \dots + a_n = \frac{(a_1+a_n)n}{2}.$$

Then, using the inductive hypothesis and adding and subtracting terms, we get

$$a_1 + \dots+ a_n + a_{n+1} = \frac{(a_1+a_n)n}{2}+ a_{n+1}$$

$$= \frac{(a_1+ a_{n+1})(n+1) }{2} + \frac{a_nn-a_1}{2}+ a_{n+1} - \frac{a_{n+1}(n+1)}{2}. $$

Finally,

$$ \frac{a_nn-a_1}{2}+ a_{n+1} - \frac{a_{n+1}(n+1)}{2} = \frac{na_n-a_1+a_{n+1}-na_{n+1}}{2}$$

$$ = \frac{a_{n+1}-a_1-nr}{2}=0$$

since $a_{n+1} = a_1 + nr$.