Sunday, May 25, 2014

Proof of the sum of cubes formula

The way I first derived this formula was to simply compute a number of cubes and sum them:

13 = 1
13 + 23 = 9
13 + 23 + 3= 36
... + 4= 100
... + 5= 225
... + 6= 441

At this point, a very reasonable guess is that each sum is a perfect square. If we each align successive term of the series with the square root of the sum of the cubes to that point, we have

1 : 1
2 : 3
3 : 6
4 : 10
5 : 15
6 : 21

This should be recognizable as the simple cumulative sum of the integers in a series, the formula for which is

Sn = n(n + 1) / 2.

Therefore, it is reasonable to guess that the direct formula for the sum of cubes from 1 to n is

[n(n + 1) / 2]2.

This is what we will prove below.



Wednesday, May 7, 2014

What is math? / 5 milestones

I would define "math" as the subset of logic dealing with topics that can be treated in a rigorous way and put into symbols. Usually but not always the questions addressed by math can be quantified, so most familiar mathematics deals with numbers; however, other relationships like sets and the division of physical space (axiomatic geometry) can also be treated mathematically. What distinguishes math from other fields like science or history is that it requires no observation but instead operates in an "ideal world" of abstractions.

Off the top of my head, some mathematical milestones:

1. Euclid codifies all the geometric knowledge accumulated to that point and sets a standard for mathematical rigor in his Elements.

2. Descartes creates the coordinate plane and enables analytic geometry as well as our modern understanding of functions

3. Newton and Leibniz discover calculus at roughly the same time in response to practical problems involving rates of change

4. Gödel's Incompleteness Theorem proves that no axiomatic system will span the field of mathematics

5. Computers and calculators are put to use to massively simplify computation. Supercomputers perform tasks like cranking out trillions of digits of pi and proving various number theory conjectures by brute force.