-3

Could somebody explain me how to sum the following series

$$ (x-1) + (x-2) + ... + 1 = ? $$

I got above series as a part of equation and was wondering how to simplify it. As a matter of fact, we have arithmetic progression here which can be easily summarized.

I used WolframAlpha to calculate the sum like this.

However, Wolfram did something which I don't understand. It simplified the equation and gave me the following result:

$$ \sum_{k=0}^{x} \big(1-k \big) = -\frac{1}{2} (x-2)(x+1) $$

Don't see how to get the right-hand side of the sum. It looks like there is a theory behind the scene, but I don't know where to start looking from. My guess is it somehow connected with generating functions, but I'm not sure.

Can somebody hint me?

Glorfindel
  • 3,955
  • I think this question might be closed due to duplicate, so I just give a comment: Search for arithmetic sum. – mickep Jan 12 '17 at 07:44
  • The first sum you show us and the second one you wrote are very different! Was that on purpose? – RGS Jan 12 '17 at 07:45
  • @RSerrao no, I've just fixed it. – Roman Dryndik Jan 12 '17 at 07:47
  • I just checkedthe image. WolframAlpha did not understand what you mean amd gave you the wrong answer. – RGS Jan 12 '17 at 07:47
  • Your post is contradictory. You say that you know how to handle an arithmetic progression, and then that you don't understand WA's result, that is exactly applying the formula. –  Jan 12 '17 at 08:02
  • @Yves Daoust could you show the appliance the formula? Either I did it wrong or there is something I don't see. – Roman Dryndik Jan 12 '17 at 08:31
  • @RomanDryndik: don't you see that WA misinterpreted your input ? This was already raised by RSerrao. –  Jan 12 '17 at 08:32
  • @Yves Daoust. See comments here http://math.stackexchange.com/a/2094418/81477. Yes I don't see it. – Roman Dryndik Jan 12 '17 at 08:34
  • @Yves Daoust It converted the formula to $\sum_{k=0}^{x} \big(1-k \big) = -\frac{1}{2} (x-2)(x+1)$ which seems to be right. Explain if not. – Roman Dryndik Jan 12 '17 at 08:36
  • This is right, where's the problem then ? –  Jan 12 '17 at 08:37
  • @Yves Daoust Why do you say WA misinterpreted it then? – Roman Dryndik Jan 12 '17 at 08:38
  • @RomanDryndik: for the last time, read RSerrao's comment. Then explain what is your problem or close the question. –  Jan 12 '17 at 08:42
  • @Yves Daoust for the last time: 1) See comments math.stackexchange.com/a/2094418/81477 to get what I OBTAINED. 2) If WA misinterpreted something then explain it. Previously you mentioned that $\sum_{k=0}^{x} \big(1-k \big) = -\frac{1}{2} (x-2)(x+1)$ seems to be right for you. – Roman Dryndik Jan 12 '17 at 08:45

3 Answers3

1

Looking at the series again after rewriting the last term, we get$$(x-1)+(x-2)+...+(x-(x-1))$$

WolframAlpha's solution is wrong as it failed to interpret the series.

It should be$$\sum_{k = 1}^{x-1}x-k = \frac {x(x-1)}{2}$$

P.S.: If you don't know how to get the R.H.S., see below.

Its an A.P. with first term $(x-1)$, common difference $-1$ and last term $1$.

What we need to find out is the number of terms here. Looking at the series again,$$(x-1)+(x-2)+...+(x-(x-1))$$ As we can see, number of terms $$n = x-1$$

Now, we know that sum of an A.P. is$$S = \frac{n}{2}(a+l)$$where $l$ is the last term and other terms have their usual meanings $$S=\frac{x-1}{2}(x-1+1)$$

$$S=\frac {x(x-1)}{2}$$

Gyanshu
  • 424
0

Hint: If $a_n$ is an arithmetic progression,and $\displaystyle S_n=\sum_{k=1}^{n}a_k$, then we have $$S_n=\frac{\left ( a_1+a_n \right )n}{2}$$

Renascence_5.
  • 5,281
  • 1
  • 27
  • 69
0

Here's a proof that sort of uses generating function techniques. Consider the polynomial $p(x) = 1 + x + x^2 + ... + x^n = \frac{x^n-1}{x-1}$. Take the derivative $p'(x) = 1 + 2x + 3x^2 +... +nx^{n-1} = \frac{(n-1)x^n -nx^{n-1} + 1}{(x-1)^2}$. You can use L'Hopitals rule to take the limit as $x \to 1$ of the right hand side of the equality, thus finding $p'(1) = 1 + 2 +...+n = \frac{n(n+1)}{2}$, which is equivalent to the formula given by Wolfram. Note that this is a very widely known result which is usually proven in a more elementary way.

Vik78
  • 3,877
  • @ Vik78 I see arithmetic progression here. But its sum is $ \frac{(x-1+1)}{2} \cdot (x-1) = \frac{x(x-1)}{2} $. Sorry, in my previous post I've made wrong latex markup, so the formula weren't properly rendered. – Roman Dryndik Jan 12 '17 at 08:07
  • Just substitute $x -1 = n$ into my formula to see that this is exactly the answer I gave. – Vik78 Jan 12 '17 at 08:10
  • I've tried it, but maybe I'm doing something wrong. Assuming n = x - 1, we have another representation of the series. And $ p'(1) = 1 + 2 +...+n = \frac{n(n+1)}{2} = \frac{(x-1) \cdot x}{2} $ – Roman Dryndik Jan 12 '17 at 08:21
  • Yes, so $1 + 2 +... + n = 1 + 2 +... + x-1 = \frac{(x-1)x}{2}$. What's the issue? This seems to be exactly the answer you expected. – Vik78 Jan 12 '17 at 08:25
  • That differs from what I obtained. – Roman Dryndik Jan 12 '17 at 08:28
  • How exactly is that? – Vik78 Jan 12 '17 at 08:54
  • $ S_n=\frac{\left ( a_1+a_n \right )n}{2} $, where $a_1 = x - 1$, $ a_n = 1$ in total you have $x-1$ elements in arithmetic progression. – Roman Dryndik Jan 12 '17 at 08:59
  • You seem to have forgotten to plug in $n = x -1$ into this formula for $S_n$, in which case once again, you get exactly the answer I gave you. This is probably one of the most well known formulas in all of mathematics. I assure you it's right. – Vik78 Jan 12 '17 at 09:00
  • $ S_n=\frac{\left ( a_1+a_n \right )n}{2} $, where $a_1 = x - 1$, $ a_n = 1$ in total you have $x-1$ elements in arithmetic progression. Hence, $ S_n=\frac{\left ( a_1+a_n \right )n}{2} = \frac{(x - 1 + 1) \cdot (x-1) }{2} = \frac{x(x-1)}{2}$ – Roman Dryndik Jan 12 '17 at 09:03
  • 1
    Dude, this is literally the exact answer I gave you like five times now. – Vik78 Jan 12 '17 at 09:07
  • Common I do able to get this answer and I was pretty sure it is write before I checked it in wolframalpha. So, I was wondering who is wrong and why. So, according to all comments and answers it seems WA made wrong interpretation. – Roman Dryndik Jan 12 '17 at 09:09