How Can You Derive the Formula for the Sum of the First n Integers?

atrus_ovis
Messages
99
Reaction score
0
Hello, i just came accros:

Sum(i) , from i=1 to i=n
which apparently equals n(n+1)/2

-Is there a way to derive this from the sum, or you just have to use your intuition and think through what exactly is being summed and the range of summation?
-Do you have any resources to offer, that includes all the common sums and its closed forms?

Thanks in advance
 
Mathematics news on Phys.org
Very elementary proof: Let S=sum,

S = 1 + 2 + ... + n
S = n + (n-1) + ... + 1
2S = (n+1) + (n+1) + ... + (n+1) {n terms} = n(n+1)
 
Damn... that was way too trivial, i feel worthless =P
 
atrus_ovis said:
Hello, i just came accros:

Sum(i) , from i=1 to i=n
which apparently equals n(n+1)/2

-Is there a way to derive this from the sum, or you just have to use your intuition and think through what exactly is being summed and the range of summation?
-Do you have any resources to offer, that includes all the common sums and its closed forms?

Thanks in advance

Check out the very interesting paper: www.math.uic.edu/~kauffman/DCalc.pdf
This gives some tools to derive closed-form formula's of some nice sums. And these tools are based on the normal tools of calculus.
 
I think these kinds of formulas are conjectured (guessed) using a clever trick or by noticing a pattern, and then formally established using mathematical induction. In the particular example of the sum of the first n integers, take n = 10:

We want the sum 1 + 2 + 3 + 4 + 5 + 6 + 7 + 8 + 9 + 10. Notice that 11 = 1 + 10 = 2 + 9 = 3 + 8, etc. and so we've added 11 5 = 10/2 times. The conjecture is that the sum is 11 + 11 + 11 + 11 + 11 = 5(11) = (10/2)(11). Perhaps this holds for all n: one of n or n + 1 is even since they are adjacent integers, so n(n + 1) is always divisible by two; so n(n + 1)/2 is an integer. Makes sense that the sum of the first n integers is ... We guess that 1 + 2 + ... + n = n(n + 1)/2 and establish this by induction.

This kind of guess-work is useful for a simple, intuitive arithmetic formula like this one, but probably not for more complicated expressions/conjectures.

micromass said:
Check out the very interesting paper: www.math.uic.edu/~kauffman/DCalc.pdf
This gives some tools to derive closed-form formula's of some nice sums. And these tools are based on the normal tools of calculus.

That is so awesome. Even as a PM major taking courses like RA, I find discrete math so beautiful -- so graph theory and combinatorics really interests me (but the combinatorics program at my school is too computer-y for me D:). It's so cool to see the methods of calculus used in a discrete setting.
 
Last edited:
atrus_ovis said:
Hello, i just came accros:

Sum(i) , from i=1 to i=n
which apparently equals n(n+1)/2

-Is there a way to derive this from the sum, or you just have to use your intuition and think through what exactly is being summed and the range of summation?
-Do you have any resources to offer, that includes all the common sums and its closed forms?

Thanks in advance

Goto mensanator.com, click on The Joy of Six, then click on "What Is The Sum of Integers".
 
Insights auto threads is broken atm, so I'm manually creating these for new Insight articles. In Dirac’s Principles of Quantum Mechanics published in 1930 he introduced a “convenient notation” he referred to as a “delta function” which he treated as a continuum analog to the discrete Kronecker delta. The Kronecker delta is simply the indexed components of the identity operator in matrix algebra Source: https://www.physicsforums.com/insights/what-exactly-is-diracs-delta-function/ by...
Fermat's Last Theorem has long been one of the most famous mathematical problems, and is now one of the most famous theorems. It simply states that the equation $$ a^n+b^n=c^n $$ has no solutions with positive integers if ##n>2.## It was named after Pierre de Fermat (1607-1665). The problem itself stems from the book Arithmetica by Diophantus of Alexandria. It gained popularity because Fermat noted in his copy "Cubum autem in duos cubos, aut quadratoquadratum in duos quadratoquadratos, et...
Thread 'Imaginary Pythagorus'
I posted this in the Lame Math thread, but it's got me thinking. Is there any validity to this? Or is it really just a mathematical trick? Naively, I see that i2 + plus 12 does equal zero2. But does this have a meaning? I know one can treat the imaginary number line as just another axis like the reals, but does that mean this does represent a triangle in the complex plane with a hypotenuse of length zero? Ibix offered a rendering of the diagram using what I assume is matrix* notation...
Back
Top