Boxing Pythagoras

Philosophy from the mind of a fighter

Math is Really Weird: On Strange Sums and Counterintuitive Results

Whenever you add a finite integer to another finite integer, you always get a sum which is, itself, a finite integer. This, by itself, is not very shocking. When you add 1 to 1, you get 2. When you add 5 and -9, you get -4. When you add 0 and 299,792,458, you get 299,792,458. This is all rather unsurprising.

However, math can get weird once you start adding up an infinite collection of numbers. Take Zeno’s Dichotomy Paradox, for example. Numerically, we can represent this problem as an infinite summation: S=\sum\limits _{n=1}^\infty \frac{1}{2^n}=\frac{1}{2}+\frac{1}{4}+\frac{1}{8}+\frac{1}{16}+...+\frac{1}{2^n}+... Even though we are adding up an infinite quantity of numbers, we arrive at a finite value– in this case, S=1. Arguably the most famous philosopher in history, Aristotle, would have vehemently objected to this formulation– and, in fact, did object rather loudly in his book Physics, when discussing this particular paradox. However, it has been over three centuries, now, since mathematicians would have found this problem to be controversial; and, in fact, similar cases of infinite summation form the entire basis of integral calculus. High schoolers are introduced to these concepts in their Pre-Calculus classes, nowadays, and you might even remember evaluating some of these limits of convergent sums from your own schoolwork.

But math can get far stranger, still. One of the most peculiar things in all mathematics occurs when you attempt to sum all of the Natural numbers. As absolutely insane as this might sound, today I’m going to demonstrate for you that 1+2+3+4+...=-\frac{1}{12}.

Before we look at that, though, let’s start by looking at a different summation, which is also fairly strange: Grandi’s series. An Italian priest and mathematician named Guido Grandi wrote a book called On Infinite Infinities. In his book, he discussed a number of different peculiar series at length, some of which were convergent (like Zeno’s Dichotomy paradox, above) and others which were divergent. If you remember from those aforementioned Pre-Calculus classes, a divergent function is one which does not have a limit that tends towards a single, finite value. Usually, in pre-Calc, this meant functions which tended towards infinity or negative infinity; but there are other types of divergent functions, as well. The series which is now referred to as “Grandi’s series” was one of the problems discussed at length by the Italian scholar, and it takes the form 1-1+1-1+1-1+…

This is a divergent series because the partial sums do not tend toward a single, finite value. Whenever you take the nth partial sum, you’ll get a value of 1 if is odd and a value of 0 if n is even. The function bounces back and forth between 0 and 1, never settling any closer to either value. However, mathematicians still wanted to know if this sum could be assigned a definite value. Some argued that it should be assigned a value of 1, others argued that it deserved a value of 0, and still others argued for a stranger result.

Let us assume that there is some number G such that G=\sum\limits _{n=1}^\infty (-1)^{n+1}. We still don’t know how to evaluate that summation, yet, but if G is a well-defined number (as we have assumed), then we are allowed to perform mathematical operations on that number. So, let’s ask the question, “What is 1-G?” We can see from our earlier definition that 1-G=1-\sum\limits _{n=1}^\infty (-1)^{n+1}. However, because of the Distributive Property of Multiplication, we know that 1-G=1+\sum\limits _{n=1}^\infty (-1)^{n+2}. Evaluating this operation, a pattern emerges, 1-G=1+(-1+1-1+1-1+...)=1-1+1-1+1-1+...; but that is just our original series, G, again! Therefore, we can conclude that 1-G=G, and all it takes is some basic algebra to then show that G=\frac{1}{2}.

We’ve arrived at our first strange result of the day: G=1-1+1-1+1-1+...=\frac{1}{2}.

Oh, but it does not stop there, my friends. In fact, we’re just getting started. Now, let’s look at another series, which is related to Grandi’s series. I’m going to call this one F, and we’re going to define F as F=\sum\limits _{n=1}^\infty n\cdot (-1)^{n+1}=1-2+3-4+5-6+... Now, we again are assuming that F is a definite number, which allows us to perform numerical operations on F. This time, we’re going to multiply F by 2, giving us 2F=F+F. Now, at this point, you may be wondering why I would want to look at something so very obvious as that. The answer is that I’m going to use this opportunity to get a little bit clever.

You see, if we pull the first term out of the summation, we can very easily note that F=1+{\sum\limits _{n=1}^\infty (n+1)\cdot (-1)^{n+2}}. This means that 2F=1+{\sum\limits _{n=1}^\infty (n+1)\cdot (-1)^{n+2}}+{\sum\limits _{n=1}^\infty n\cdot (-1)^{n+1}}. Here’s where that cleverness comes in. Thanks to the Commutative Property of Addition, we can combine these two different summation operations into a single one, which we can then simplify. So, we see that {\sum\limits _{n=1}^\infty (n+1)\cdot (-1)^{n+2} + n\cdot (-1)^{n+1}} = {\sum\limits _{n=1}^\infty (-1)^{n+1}(n-n+1)}={\sum\limits _{n=1}^\infty (-1)^{n+1}}. Substituting this back into our equation for 2F yields 2F=1+{\sum\limits _{n=1}^\infty (-1)^{n+1}}; but wait a moment– that looks familiar! We dealt with the right-hand-side of that equation when we were discussing Grandi’s series, above! So, we’ve just demonstrated that 2F=G and since we know what G is, it’s rather trivial to see that F=\frac {1}{4}.

We’ve now arrived at our second strange result: F=1-2+3-4+5-6+...=\frac{1}{4}.

We now have all the tools necessary to demonstrate something so strange that many people simply refuse to believe it. It’s so very odd that people think it cannot possibly be correct; that there must be some trickery or foul play at hand. However, I assure you, no such trickery is being employed. We are now going to look at the sum of all Natural numbers, S=1+2+3+4+5+6+...

Again, I am operating under the assumption that S is a definite value, which allows me to perform numerical operations on S. This time, I’m going to subtract F from S in order to find a way to evaluate S. So, let’s look at S-F={\sum\limits _{n=1}^\infty n}-{\sum\limits _{n=1}^\infty n\cdot (-1)^{n+1}}. I’m once again going to use the Commutative Property to combine the two summations into one. This gives us S-F={\sum\limits _{n=1}^\infty {n-n\cdot (-1)^{n+1}}}={\sum\limits _{n=1}^\infty {n[1+(-1)^{n+2}]}}. This can be simplified even further, since it is fairly obvious that whenever n is even, the expression 1+(-1)^{n+2} will equal 0; and whenever n is odd, that expression will equal 2. So, we can see that a pattern emerges: S-F=0+4-0+8-0+12-0+.... Since those zeroes are extraneous to the equation (thanks to the Identity Property), and the rest of the terms are all even multiples of 4, we can rewrite this as S-F=4\cdot {\sum\limits _{n=1}^\infty n}. However, we should recognize that summation! That’s just S! So, now we’ve shown that S-F=4S, and we know the value of F from our previous calculations. Substituting that in, we get S-\frac{1}{4}=4S. A little bit of simple algebra, and we can solve this revealing that S=-\frac{1}{12}.

So, now we’ve arrived at the strangest result of the day: S=1+2+3+4+5+6+...=-\frac{1}{12}.

“Preposterous!” you might exclaim. “Incredulous! You’ve fouled something up!” However, I assure you quite sincerely that I have not. I made only three assumptions: that GF, and S were definite numbers. Beyond that, I only utilized the Commutative Property, the Distributive Property, the Identity Property, and basic arithmetic and algebra. No fancy tricks or crazy axioms needed to be employed. This really was just basic math, despite the strangeness of it all. All three of these fantastic results can also be proved by other methods, and they are wholly consistent with the rest of mathematics. What’s more, these crazy calculations actually have physical ramifications in the real world– the fact that the sum of all natural numbers is -\frac{1}{12} is used by particle physicists to calculate Casimir energy, for example.

Sometimes, our intuitions fail us. We see results like these and think that they must be false because they simply do not feel right. However, our intuitions and our feelings do not govern mathematics. Perhaps the most beautiful thing about math is that it manages to surprise us with such oddity. This wonderful strangeness can spur us on into newer and more fascinating discoveries, precisely because the world of mathematics is not always what we would expect it to be.

Advertisements

Single Post Navigation

7 thoughts on “Math is Really Weird: On Strange Sums and Counterintuitive Results

  1. It happens that I’m reading a book about fallacious or ridiculous mathematical arguments right now — Magnificent Mistakes in Mathematics by Alfred S Posamentier, Ingmar Lehmann — and this is just the sort of thing that would appear in it.

    I haven’t seen the Casimir energy thing before, though.

  2. Agreed !
    how about this:
    G=1-1+1-1+1-1+1..which is claimed to be 1/2
    rearrange using the commutative law
    H=1+1-1-1+1+1-1-1…so H = 1/2
    stick a zero at the beginning (ie shift right )
    H’=0+1+1-1-1+1+1-1…no change, so H’ =1/2
    subtract
    D=1+0-2+0+2+0-2+0+2…therefore D = H – H’ = 0
    rearrange using 0-2 = -1-1 etc (basic arithmetic)
    E=1-1-1+1+1-1-1+1+1…..so E = 0
    rearrange every other pair using the commutative law
    F=1-1+1-1+1-1+1-1+1…..which is G, but F = E = 0

    Oh Dear !
    It is quite clear that the commutative law does NOT apply
    and this should be obvious as it is bad enough with convergent series that are not absolutely convergent. A rearrangement may give a different sum.

  3. Reblogged this on Saving school math and commented:
    The latest bit of weird math is going the rounds. Here is boxingpythagoras’s presentation of:
    “So, now we’ve arrived at the strangest result of the day: S=1+2+3+4+5+6+…=-\frac{1}{12}”. (or -1/12)
    together with comments from Joseph Nebus and myself.

  4. I suggest a review of the comment thread at http://physicsbuzz.physicscentral.com/2014/01/does-1234-112.html?m=1.
    I’ll readily admit that much of it is over my head but I think there is an explanation toward the end of how this doesn’t actually translate to physical reality.

    • Yes, thank you. I feel a little clearer about the Casimir effect link and what it has to do with this particular divergent-sum result now. (A rare exception to the rule about reading comments on an unfamiliar web site, I suppose.)

  5. arnulfo on said:

    Reblogged this on The grokking eagle.

  6. There is a great video about -1/12 at Extreme Finitism .com. It clears up all the mystery surrounding this value.

    These mysterious values, that include the supposed ‘sum of the squares of natural numbers’, which is claimed to be zero, and the supposed ‘sum of cubes of natural numbers’, which is claimed to be positive 1/120 can be found by calculating the definite integral between 0 and -1 of the expression for the sum to the nth term.

    This region, between 0 and -1, is obviously going to be where these values come from when you ignore ‘infinity’ and realise what is actually going on.

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s

%d bloggers like this: