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?