# Why does the sum of all natural numbers equal -1/12?

**URL:** <https://boards.straightdope.com/t/why-does-the-sum-of-all-natural-numbers-equal-1-12/678452>\
**Category:** Factual Questions\
**Created:** [January 10, 2014, 5:58pm UTC](https://boards.straightdope.com/t/why-does-the-sum-of-all-natural-numbers-equal-1-12/678452 "2014-01-10T17:58:53Z")\
**Posts on this page:** 20\
**Page:** 6

<div class="post-metadata">

**Author:** ![wevets](https://avatars.discourse-cdn.com/v4/letter/w/e9a140/32.png) [@wevets](https://boards.straightdope.com/u/wevets)\
**Post date:** [January 18, 2014, 12:00am UTC](https://boards.straightdope.com/t/why-does-the-sum-of-all-natural-numbers-equal-1-12/678452/101 "2014-01-18T00:00:19Z")

</div>

Mark Chu-Carroll comments on this phenomenon here: [http://scientopia.org/blogs/goodmath/2014/01/17/bad-math-from-the-bad-astronomer/](http://scientopia.org/blogs/goodmath/2014/01/17/bad-math-from-the-bad-astronomer/)

I’m not familiar with series mathematics much, but his take on it is:

> [@](#):
>
> To begin with, S1 does not equal 1/2. S1 is a non-converging series. It doesn’t converge to 1/2; it doesn’t converge to anything. This isn’t up for debate: it doesn’t converge!
> 
> In the 19th century, a mathematician named Ernesto Cesaro came up with a way of assigning a value to this series. The assigned value is called the Cesaro summation or Cesaro sum of the series. The sum is defined as follows:

> [@](#):
>
> So Grandi’s series is Cesaro summable, and its Cesaro sum value is 1/2.
> 
> The important thing to note here is that we are not saying that the Cesaro sum is equal to the series. We’re saying that there’s a way of assigning a measure to the series.
> 
> And there is the first huge, gaping, glaring problem with the video. They assert that the Cesaro sum of a series is equal to the series, which isn’t true.

Comments from the more mathematically-inclined?

---

<div class="post-metadata">

**Author:** ![Indistinguishable](https://avatars.discourse-cdn.com/v4/letter/i/90ced4/32.png) [@Indistinguishable](https://boards.straightdope.com/u/Indistinguishable)\
**Post date:** [January 18, 2014, 12:06am UTC](https://boards.straightdope.com/t/why-does-the-sum-of-all-natural-numbers-equal-1-12/678452/102 "2014-01-18T00:06:44Z")

</div>

When one says 1 - 1/2 + 1/3 - 1/4 + 1/5 - 1/6 + … = ln(2), that’s also just a way of assigning a value to the series. When one says 2 + 3 = 5, that’s also just a way of assigning a value to the series. There’s not some distinguished sense in which those accounts of summation describe the actual value those series are actually equal to, but this account of summation does not. That’s a false distinction. There is no “actual” value of a series, except relative to an account of summation. And there’s not a distinguished One True Account of summation.

(You could call one account of series summation the One True Account, of course, if you were particularly fond of it, and didn’t care about any others. Plenty of people do. But that is, literally, ignorant. It is ignoring all the other possibilities which are justified as capturing a sense of summation in just the same way as any other, by their analogies to other concepts in the web of things thought of as summation.)

---

<div class="post-metadata">

**Author:** ![wevets](https://avatars.discourse-cdn.com/v4/letter/w/e9a140/32.png) [@wevets](https://boards.straightdope.com/u/wevets)\
**Post date:** [January 18, 2014, 12:12am UTC](https://boards.straightdope.com/t/why-does-the-sum-of-all-natural-numbers-equal-1-12/678452/103 "2014-01-18T00:12:44Z")

</div>

I’m not sure I get it - so you’re saying there’s no difference between a Cesaro sum of a series and any other way of calculating a sum of a series?

---

<div class="post-metadata">

**Author:** ![Indistinguishable](https://avatars.discourse-cdn.com/v4/letter/i/90ced4/32.png) [@Indistinguishable](https://boards.straightdope.com/u/Indistinguishable)\
**Post date:** [January 18, 2014, 12:14am UTC](https://boards.straightdope.com/t/why-does-the-sum-of-all-natural-numbers-equal-1-12/678452/104 "2014-01-18T00:14:26Z")

</div>

There can be lots of differences. I’m saying there’s no good reason to say another kind of sum is the “actual” sum and the Cesaro sum is a spurious sum. There are just different kinds of sums; none of them is the “actual” one. Such talk is meaningless.

---

<div class="post-metadata">

**Author:** ![Asympotically\_fat](https://avatars.discourse-cdn.com/v4/letter/a/e47c2d/32.png) [@Asympotically\_fat](https://boards.straightdope.com/u/Asympotically_fat)\
**Post date:** [January 18, 2014, 12:37am UTC](https://boards.straightdope.com/t/why-does-the-sum-of-all-natural-numbers-equal-1-12/678452/105 "2014-01-18T00:37:04Z")

</div>

> [@wevets](#):
>
> Comments from the more mathematically-inclined?

I think some of the flaws with MarkCC’s line of reasoning have already been pointed out.

Let’s be clear in the absolute strictest sense, under the normal definition of addition, you can only actually sum (that is add together each member of) a finite series. This is not quibbling, this is actually quite important. In order to get the sum of an infinite series you need to define what the sum of an infinite series is.

It was noticed a very long time ago that the limit of the set of partial sums allows you to recover the normal result for addition of finite series and also to define summation for some infinite series. After that it was noticed there were methods for extending summation to yet more infinite series and still being able to recover the results from previous methods.

What MarkCC seems to have missed is that it is just a case of what definition you use for summation. Sure, for example, the blokes in the numberphile video were playing it a bit loose when they didn’t mention a different definition of summation was being used than than the one on page six of _Introduction to Real Analysis_ by A. N. Other, but they weren’t necessarily wrong to call it summation.

He also object because the answer is -1/12. Someone (I think **ultrafilter** ) has already pointed out that if you add together a set of rationals then you always get a rational number, but the sum of a convergent series of rationals can be irrationals. Similarly the sum of a finite series is order-independent, but the sum of an infinite (conditionally convergent) series can be order dependent. So even if you just examine convergent series you can do things you can’t do with addition.

---

<div class="post-metadata">

**Author:** ![standingwave](https://avatars.discourse-cdn.com/v4/letter/s/9de0a6/32.png) [@standingwave](https://boards.straightdope.com/u/standingwave)\
**Post date:** [January 18, 2014, 12:59am UTC](https://boards.straightdope.com/t/why-does-the-sum-of-all-natural-numbers-equal-1-12/678452/106 "2014-01-18T00:59:14Z")

</div>

Couple of bloggers I follow have chimed in…

[The sum of all natural numbers is not -1/12](http://freethoughtblogs.com/pharyngula/2014/01/17/the-sum-of-all-natural-numbers-is-not-112/?utm_source=feedburner&utm_medium=feed&utm_campaign=Feed%3A+freethoughtblogs%2Fpharyngula+%28FTB%3A+Pharyngula%29) (PZ Myers)

[When Infinity Is Actually a Small, Negative Fraction](http://www.slate.com/blogs/bad_astronomy/2014/01/17/infinite_series_when_the_sum_of_all_positive_integers_is_a_small_negative.html) (Phil Plait)

---

<div class="post-metadata">

**Author:** ![Dr.Strangelove](https://sea3.discourse-cdn.com/straightdope/user_avatar/boards.straightdope.com/dr.strangelove/32/6613_2.png) [@Dr.Strangelove](https://boards.straightdope.com/u/Dr.Strangelove)\
**Post date:** [January 18, 2014, 1:22am UTC](https://boards.straightdope.com/t/why-does-the-sum-of-all-natural-numbers-equal-1-12/678452/107 "2014-01-18T01:22:00Z")

</div>

> [@standingwave](#):
>
> [The sum of all natural numbers is not -1/12](http://freethoughtblogs.com/pharyngula/2014/01/17/the-sum-of-all-natural-numbers-is-not-112/?utm_source=feedburner&utm_medium=feed&utm_campaign=Feed%3A+freethoughtblogs%2Fpharyngula+%28FTB%3A+Pharyngula%29) (PZ Myers)

As usual, PZ should stick to biology. His quote contains an obvious logical error that others here have already pointed out:  
_There is no mechanism in real numbers by which addition of positive numbers can roll over into negative. It doesn’t matter that infinity is involved…_

By that logic, 4 - 4/3 + 4/5 - 4/7 … couldn’t possibly converge to pi, since a finite number of rationals always sums to a rational, and pi is irrational.

My question for **Indistinguishable** or others:  
Is there any sense in which the harmonic series can sum to a finite value? Most of the series presented so far diverge fairly rapidly, but the harmonic series certainly doesn’t, and I wonder if this somehow makes a difference.

---

<div class="post-metadata">

**Author:** ![DataX](https://avatars.discourse-cdn.com/v4/letter/d/e99b99/32.png) [@DataX](https://boards.straightdope.com/u/DataX)\
**Post date:** [January 18, 2014, 1:31am UTC](https://boards.straightdope.com/t/why-does-the-sum-of-all-natural-numbers-equal-1-12/678452/108 "2014-01-18T01:31:41Z")

</div>

I have another question for **Indistinguishable** , et al.

Is there any serious disagreement on the answer to this problem among those in the upper levels of the Math community? Would you expect that anyone that won a Fields Medal would agree that the answer is correct?

---

<div class="post-metadata">

**Author:** ![ZenBeam](https://avatars.discourse-cdn.com/v4/letter/z/3ab097/32.png) [@ZenBeam](https://boards.straightdope.com/u/ZenBeam)\
**Post date:** [January 18, 2014, 1:32am UTC](https://boards.straightdope.com/t/why-does-the-sum-of-all-natural-numbers-equal-1-12/678452/109 "2014-01-18T01:32:57Z")

</div>

> [@Indistinguishable](#):
>
> (You could call one account of series summation the One True Account, of course, if you were particularly fond of it, and didn’t care about any others. Plenty of people do. But that is, literally, ignorant. It is ignoring all the other possibilities which are justified as capturing a sense of summation in just the same way as any other, by their analogies to other concepts in the web of things thought of as summation.)

> [@Indistinguishable](#):
>
> There can be lots of differences. I’m saying there’s no good reason to say another kind of sum is the “actual” sum and the Cesaro sum is a spurious sum. There are just different kinds of sums; none of them is the “actual” one. Such talk is meaningless.

There’s your taxonomy of summation methods, starting with absolute convergence, and working your way up. Is there any reasonable definition of a hierarchy of summations where a higher-numbered summation would give a different value than a lower-numbered summation? (For a case like your #6, which follows from #3, it wouldn’t count if it and, say, #5 gave different values.)

If a particular proposed summation method gave a different value than absolute convergence for a case where both gave values, I think I’d be hard-pressed to accept it over absolute convergence. That’s not to say that you can’t go beyond AC, where it doesn’t give a value. But calling AC the One True Account doesn’t seem _too_ far-fetched, as long as “AC doesn’t give a value” isn’t conflated with “There is no value”. And similar if you want to take a different numbered method as your “One True Account”.

Are there any hierarchies you (or anyone) are aware of, where a higher level disagrees with a lower level? (Giving different values, not just something like “A gives a value for summation x and not summation y, but B gives a value for y and not x”.)

---

<div class="post-metadata">

**Author:** ![JohnClay](https://avatars.discourse-cdn.com/v4/letter/j/c37758/32.png) [@JohnClay](https://boards.straightdope.com/u/JohnClay)\
**Post date:** [January 18, 2014, 1:51am UTC](https://boards.straightdope.com/t/why-does-the-sum-of-all-natural-numbers-equal-1-12/678452/110 "2014-01-18T01:51:55Z")

</div>

> [@Chronos](#):
>
> Which summation is the traditional summation, the one that acts on integers or the one that acts on real numbers? You said “the” traditional, so I assume you mean there’s only one.

Integers and real numbers both have one traditional summation each.

---

<div class="post-metadata">

**Author:** ![JohnClay](https://avatars.discourse-cdn.com/v4/letter/j/c37758/32.png) [@JohnClay](https://boards.straightdope.com/u/JohnClay)\
**Post date:** [January 18, 2014, 1:55am UTC](https://boards.straightdope.com/t/why-does-the-sum-of-all-natural-numbers-equal-1-12/678452/111 "2014-01-18T01:55:53Z")

</div>

> [@Dr.Strangelove](#):
>
> As usual, PZ should stick to biology. His quote contains an obvious logical error that others here have already pointed out:  
> _There is no mechanism in real numbers by which addition of positive numbers can roll over into negative. It doesn’t matter that infinity is involved…_
> 
> By that logic, 4 - 4/3 + 4/5 - 4/7 … couldn’t possibly converge to pi, since a finite number of rationals always sums to a rational, and pi is irrational…

But with each addition, it gets closer and closer to pi.

On the other hand with the sum of natural numbers it keeps on getting further and further away from -1/12. i.e. that is different logic.

---

<div class="post-metadata">

**Author:** ![JohnClay](https://avatars.discourse-cdn.com/v4/letter/j/c37758/32.png) [@JohnClay](https://boards.straightdope.com/u/JohnClay)\
**Post date:** [January 18, 2014, 2:02am UTC](https://boards.straightdope.com/t/why-does-the-sum-of-all-natural-numbers-equal-1-12/678452/112 "2014-01-18T02:02:20Z")

</div>

Chronos:  
Or maybe the answer is that natural number summation is a subset of integer summation which is a subset of real number summation which is a summation of complex number summation, etc. (maybe)

---

<div class="post-metadata">

**Author:** ![Dr.Strangelove](https://sea3.discourse-cdn.com/straightdope/user_avatar/boards.straightdope.com/dr.strangelove/32/6613_2.png) [@Dr.Strangelove](https://boards.straightdope.com/u/Dr.Strangelove)\
**Post date:** [January 18, 2014, 2:04am UTC](https://boards.straightdope.com/t/why-does-the-sum-of-all-natural-numbers-equal-1-12/678452/113 "2014-01-18T02:04:18Z")

</div>

> [@JohnClay](#):
>
> But with each addition, it gets closer and closer to pi.

It never gets closer to becoming irrational, though. A number is either rational or not.

Besides, “closer and closer” only matters if you’re claiming that a series _converges_ on a particular number. No one is claiming that 1+2+3+… _converges_ on -1/12–just that it has a _sum_ of -1/12 (for some definition of “sum”).

---

<div class="post-metadata">

**Author:** ![Asympotically\_fat](https://avatars.discourse-cdn.com/v4/letter/a/e47c2d/32.png) [@Asympotically\_fat](https://boards.straightdope.com/u/Asympotically_fat)\
**Post date:** [January 18, 2014, 2:37am UTC](https://boards.straightdope.com/t/why-does-the-sum-of-all-natural-numbers-equal-1-12/678452/114 "2014-01-18T02:37:18Z")

</div>

> [@Dr.Strangelove](#):
>
> My question for **Indistinguishable** or others:  
> Is there any sense in which the harmonic series can sum to a finite value? Most of the series presented so far diverge fairly rapidly, but the harmonic series certainly doesn’t, and I wonder if this somehow makes a difference.

[Ramanujan summation](https://en.wikipedia.org/wiki/Ramanujan_summation#Sum_of_divergent_series) evaluates the harmonic series as the Euler-Mascheroni constant

---

<div class="post-metadata">

**Author:** ![Asympotically\_fat](https://avatars.discourse-cdn.com/v4/letter/a/e47c2d/32.png) [@Asympotically\_fat](https://boards.straightdope.com/u/Asympotically_fat)\
**Post date:** [January 18, 2014, 2:55am UTC](https://boards.straightdope.com/t/why-does-the-sum-of-all-natural-numbers-equal-1-12/678452/115 "2014-01-18T02:55:00Z")

</div>

> [@DataX](#):
>
> I have another question for **Indistinguishable** , et al.
> 
> Is there any serious disagreement on the answer to this problem among those in the upper levels of the Math community? Would you expect that anyone that won a Fields Medal would agree that the answer is correct?

**Indistinguishable** could answer this one better than me, but this is entirely about semantics, there’s no important mathematical principle at stake. When mathematicians use terms in a technical concept they’re usually careful to make sure they are clearly defined so as a) to stop any confusion b) to stop this sort trivial semantic argument.

I may be being a bit snide but I read another article on the Good Math, Bad math blog on the Uncertainty and it was absolutely awful, full of basic errors. For example he stated that the uncertainty principle meant that position was a discrete variable, however the uncertainty principle only applies to continuous (non-discrete) variables (and position must be continuous, in quantum mechanics at least).

---

<div class="post-metadata">

**Author:** ![JohnClay](https://avatars.discourse-cdn.com/v4/letter/j/c37758/32.png) [@JohnClay](https://boards.straightdope.com/u/JohnClay)\
**Post date:** [January 18, 2014, 2:55am UTC](https://boards.straightdope.com/t/why-does-the-sum-of-all-natural-numbers-equal-1-12/678452/116 "2014-01-18T02:55:26Z")

</div>

(deleted)

---

<div class="post-metadata">

**Author:** ![Asympotically\_fat](https://avatars.discourse-cdn.com/v4/letter/a/e47c2d/32.png) [@Asympotically\_fat](https://boards.straightdope.com/u/Asympotically_fat)\
**Post date:** [January 18, 2014, 3:00am UTC](https://boards.straightdope.com/t/why-does-the-sum-of-all-natural-numbers-equal-1-12/678452/117 "2014-01-18T03:00:02Z")

</div>

\<deleted as quoted deleted post\>

---

<div class="post-metadata">

**Author:** ![JohnClay](https://avatars.discourse-cdn.com/v4/letter/j/c37758/32.png) [@JohnClay](https://boards.straightdope.com/u/JohnClay)\
**Post date:** [January 18, 2014, 3:12am UTC](https://boards.straightdope.com/t/why-does-the-sum-of-all-natural-numbers-equal-1-12/678452/118 "2014-01-18T03:12:08Z")

</div>

> [@Dr.Strangelove](#):
>
> …By that logic, 4 - 4/3 + 4/5 - 4/7 … couldn’t possibly converge to pi, **since a finite number of rationals always sums to a rational, and pi is irrational** …

I disagree with your version of someone else’s “logic” that it can’t converge to pi. I think it is irrelevant whether it is rational or irrational… the main thing is that it keeps on getting closer to pi. It doesn’t make sense that it would keep on getting closer to pi and then when you approach infinity it would suddenly stop converging… is there any example that you know of where it converges then suddenly doesn’t?  
Also it is about an infinite sum of rationals, not a finite sum. The finite sum involves it approaching an irrational number, not being exactly equal to an irrational number.

---

<div class="post-metadata">

**Author:** ![Dr.Strangelove](https://sea3.discourse-cdn.com/straightdope/user_avatar/boards.straightdope.com/dr.strangelove/32/6613_2.png) [@Dr.Strangelove](https://boards.straightdope.com/u/Dr.Strangelove)\
**Post date:** [January 18, 2014, 3:18am UTC](https://boards.straightdope.com/t/why-does-the-sum-of-all-natural-numbers-equal-1-12/678452/119 "2014-01-18T03:18:47Z")

</div>

> [@JohnClay](#):
>
> I disagree with your version of someone else’s “logic” that it can’t converge to pi. I think it is irrelevant whether it is rational or irrational… the main thing is that it keeps on getting closer to pi. It doesn’t make sense that it would keep on getting closer to pi and then when you approach infinity it would suddenly stop converging… is there any example that you know of where it converges then suddenly doesn’t?

The point is that contrary to his statement, infinity makes all the difference in the world.

This is true:  
\*There is no mechanism in real numbers by which addition of positive numbers can roll over into negative. \*

This is also true:  
_There is no mechanism in rational numbers by which addition of another rational number can produce an irrational number._

This is false:  
_It doesn’t matter that infinity is involved_

Infinite sums just behave differently than finite sums. And again, we’re talking about sums here, not convergence. Everyone agrees that these are divergent series. That doesn’t mean we can’t assign a value to the sum.

---

<div class="post-metadata">

**Author:** ![Dr.Strangelove](https://sea3.discourse-cdn.com/straightdope/user_avatar/boards.straightdope.com/dr.strangelove/32/6613_2.png) [@Dr.Strangelove](https://boards.straightdope.com/u/Dr.Strangelove)\
**Post date:** [January 18, 2014, 3:21am UTC](https://boards.straightdope.com/t/why-does-the-sum-of-all-natural-numbers-equal-1-12/678452/120 "2014-01-18T03:21:29Z")

</div>

I realize that I misspoke earlier (gotta be careful here). I said:  
_By that logic, 4 - 4/3 + 4/5 - 4/7 … couldn’t possibly converge to pi, since a finite number of rationals always sums to a rational, and pi is irrational._

I should have said:  
_By that logic, 4 - 4/3 + 4/5 - 4/7 … couldn’t possibly **sum** to pi, since a finite number of rationals always sums to a rational, and pi is irrational._

You are correct that the fault in his logic is not about convergence, but rather sums.

[Previous page](https://boards.straightdope.com/t/why-does-the-sum-of-all-natural-numbers-equal-1-12/678452.md?page=5)

[Next page](https://boards.straightdope.com/t/why-does-the-sum-of-all-natural-numbers-equal-1-12/678452.md?page=7)
