This calculation was inspired, a few years ago, by trying to find a simple way to explain the sum of the first natural numbers to my (then) twelve-year-old daughter, without the use of calculus. As many people know, the sum of the first
natural numbers is found very easily, using the method that Gauss (apparently) re-discovered as a two-year old, i.e.,
and
Adding the above two equations
i.e.,
Of course, this method cannot be used to sum up the series with squares or higher powers.
Let’s however, continue to use the convenient notation for the sum of squares
There’s a useful recursion relation between and
Let’s imagine the following – say you have (one-unit by one-unit) squares of fixed height cut out of paper. Suppose you arrange them first as below
there are pieces of paper here
there are pieces of paper here
And another layer,
there are pieces of paper here
Let’s place the pieces of paper so that is at the bottom,
is next on top of it,
is on top of that and so on.
Let’s compute the heights of the “skyscraper” that results!
The highest tower is the one on top of the square with vertices and
. It has height
and the total number of pieces of paper in it are
square pieces of paper.
I’ve just written this in a suggestive way.
The next tower is the one just surrounding this one on two sides, there are actually three towers, of height and the total number of pieces of paper in it is
square pieces of paper
Again, this is written in a suggestive way
The next tower is the one surrounding this last tower on two sides, there are five of them, of height and the total number of pieces of paper in it is
square pieces of paper.
Yet again!
In general, the skyscraper has height
and there are
of them, so the total number of square pieces of paper in it are
Note, for later use, that the term derives from the difference in the total number of pieces of
square paper that form a
square vs. a
square.
Adding this up for the remaining, we are left with the total number of square pieces of paper, which is, indeed,
.
Writing this in summation notation
which can be expanded into
i.e.,
Using our useful result from above
We find
Aha – now we can generalize this!
We can continue this for the sum of the cubes of integers and so forth. Let’s start with cubes that are placed, starting at the origin. Again, using the notation
Again, we note
Continuing in the same vein, alas, we cannot layer the cubes on top of each other in three dimensions! Let’s assume there is indeed a fourth dimension and count the heights in this dimension – see, physicists and mathematicians are naturally led to higher dimensions! The number of cubical pieces used are found by counting the numbers in the expanding “perimeter” of cubes, just as in the two-dimensional example.
…
So we are left with
Which results in the usual formula (using the auxiliary relation ,
In general, using this approach, and the auxillary relation
We find
where is the combinatorics formula for the number of ways to select
items out of
.
This formula, while original (as far as I can tell) in its derivation, is consistent with Faulhaber’s formula from the 16th century.