On 27 February 1913, writing from Madras to G. H. Hardy in Cambridge, Srinivasa Ramanujan set down the claim that the sum of an infinite number of terms of the series equals under his theory, and then added, in the same breath, that if he told Hardy this, Hardy would at once point out the lunatic asylum as his goal. Ramanujan understood exactly how the statement reads to someone who has not been told what it means. A century later, after a Numberphile video in January 2014 pushed the identity into mainstream news coverage, most people encountering it are in Hardy’s position, minus the context.
So why does ? The honest answer is that, read as an ordinary sum, it does not. The series diverges. Its partial sums are the triangular numbers , which increase without bound, and by the definition of convergence used everywhere in analysis the series has no sum at all: not , not infinity as a number, nothing. What is true is a different statement about a different object. The Riemann zeta function agrees with the formula only on the half-plane . It is defined on almost the whole complex plane by analytic continuation, and at , which is nowhere near that half-plane, it takes the value .
The equation is therefore an abbreviation, and a misleading one. It writes down the series that the zeta function would formally be at , and sets it equal to the value of the continued function at that point. Those are two different mathematical objects, and the abbreviation hides the switch. Everything else in this article is an elaboration of that one sentence: what analytic continuation is, why the popular derivations get the right number by illegitimate means, what Ramanujan actually had, and why physicists use the result without believing the series literally sums to a negative fraction.
What the Series Actually Does
There is no subtlety in the divergence. The partial sums are
so , , and . For any bound you name, exceeds it once is large enough. A series converges to a limit when its partial sums eventually stay arbitrarily close to ; these stay arbitrarily far from every real number. The sequence does not approach , does not oscillate near it, and never takes a negative value.
This matters because a common defence of the identity is that infinity is strange and intuition fails. Intuition does not fail here. Divergence to infinity is one of the least strange things in analysis, and the series is about as unambiguously divergent as a series can be. Whatever is, it is not the limit of those partial sums.
The Same Trick in Miniature
Before touching the zeta function, look at a case small enough to see through completely. For ,
Both sides are perfectly respectable on the disc . At the left side sums to 2 and the right side gives . Agreement.
Now put . The left side is , which diverges. The right side is , a perfectly ordinary number. And there is a popular-style derivation that produces it:
This is exactly the shape of the argument, in a setting where nobody feels obliged to defend it. The manipulation assumed that is a number obeying the usual rules of arithmetic, which is precisely what is in question. What the calculation really shows is that if the divergent series is assigned a value by any method that is linear and respects shifting, that value must be . It does not show the series sums to , because it does not sum to anything.
The relation between and is the same relation as between and : a formula valid in one region, evaluated outside it. Nothing about infinity is being revealed. A function is being extended.
Analytic Continuation, Without the Machinery
The extension is not arbitrary, and this is the point that gets lost. Suppose you have a function defined by a formula that only works on some region, and you want to extend it. In general there are infinitely many ways to extend a function. But if you insist that the extension be analytic, meaning complex-differentiable, the freedom evaporates.
The identity theorem says: if two analytic functions defined on a connected open set agree on any subset with an accumulation point, they agree everywhere on that set. So an analytic function is rigid. Knowing it on a tiny disc determines it on the entire connected domain to which it can be analytically extended. If an extension exists, it is unique.
That uniqueness is what makes a fact rather than a convention. There is exactly one analytic function on that agrees with where that series converges. It is not a matter of taste which value to assign at ; the value is forced by the behaviour of the function on the half-plane where the series does converge. In the geometric example, is the unique analytic extension of beyond the unit disc, which is why and not some other number is the natural value at .
What analytic continuation does not do is make the divergent series converge. The extended function is a genuinely different object from the series formula. They coincide on an overlap region and elsewhere only one of them exists.
Computing the Value Honestly
Riemann’s functional equation relates to :
Set . Then , , , , and , the value Euler found in 1735. Multiplying:
The cancels and out comes . Notice what went into the computation: the convergent value , the gamma function, and a sine. At no point did anyone add up the natural numbers.
The same machinery gives the other values people quote. Since in terms of Bernoulli numbers, one gets , which is the source of the formal statement that , and , which is the one the Casimir calculation actually uses in three dimensions.
Why the Shifting Argument Is Not a Proof
The derivation that spread through the internet runs in three steps. First, Grandi’s series:
Second, , added to a shifted copy of itself to give , hence . Third,
so and .
Every step treats divergent series as if they were numbers that can be added, shifted and subtracted. They are not. The first line already asserts a value for a series whose partial sums are and which therefore has no limit. The third line subtracts two divergent series term by term, and the rearrangement into silently reorders terms.
Riemann’s rearrangement theorem is the standard demonstration of why this reasoning is untrustworthy even for series that do converge. The alternating harmonic series
converges, but only conditionally: the sum of the absolute values diverges. Riemann showed that such a series can be rearranged to converge to any real number you choose, or to diverge. Concretely, taking two positive terms for each negative one,
using exactly the same terms in a different order. If reordering can change the answer for a convergent series, then reordering and shifting a divergent one carries no authority at all. An argument of that form can be made to produce whatever you want.
To see how little authority it carries, apply the same moves to Grandi’s series without the summation theory behind them. Group the terms as and you get 0. Group them as and you get 1. Write and you get . Three groupings, three answers, all obtained by manipulations that look identical to the ones in the popular derivation. The difference between the last of these and the first two is not visible in the algebra. It becomes visible only when you specify a summation method and check that the method is linear and stable, which is exactly the step the video skips.
This is why the response from mathematicians in 2014 was not that the number was wrong but that the presentation was. The video, which featured the physicists Tony Padilla and Ed Copeland, alluded to the deeper theory only in passing while performing the arithmetic as though it were ordinary algebra, and the coverage that followed, including a piece in the New York Times, largely reproduced the framing. Evelyn Lamb, writing in Scientific American’s Roots of Unity blog, put the objection squarely: the manipulations shown are not what justifies the result, and presenting them as if they were teaches the wrong lesson about infinite series. The correction is not pedantry. Someone who takes the derivation at face value has learned a false rule that will produce nonsense the next time they use it.
Why the Wrong Method Gets the Right Answer
And yet the derivation lands on . That is not luck. The individual steps, taken separately, correspond to genuine summation methods that are known to be consistent with analytic continuation.
Grandi’s series is Cesàro summable to . Cesàro summation replaces the partial sums by their running averages. Here the partial sums are and the averages are
which converge to . That is a rigorous statement about a well-defined procedure, not a fudge.
The series is Abel summable to . Abel summation forms the power series and takes the limit as . Here
Again rigorous. And it agrees with the zeta function, because the Dirichlet eta function satisfies , so
The consistency is real: different regularisation schemes, applied where they apply, give the same answers, which is what makes them trustworthy tools.
The crucial honest caveat is this. Neither Cesàro nor Abel summation assigns any value to itself. Abel summation gives , which blows up as . Every summation method that is linear, stable and regular (meaning it agrees with the ordinary sum on convergent series) must fail on a series of increasing positive terms. The does not come from any of the gentle methods. It comes from zeta regularisation or Ramanujan summation, which are more aggressive constructions, and it is the popular derivation’s mixing of levels that makes it look like arithmetic.
There is a further way to see where the number lives. Insert a smooth cutoff: instead of the bare sum, compute for a smooth function with that decays to zero. The result has an asymptotic expansion consisting of a term proportional to , whose coefficient depends on the cutoff, plus a constant term, plus terms that vanish as . The constant term is always , whatever cutoff you chose. Terence Tao has given a detailed real-variable account of this. It is the cleanest statement of what is: the cutoff-independent constant hiding underneath a divergence, not the value of a sum.
What Ramanujan Actually Had
Ramanujan’s technique was not the shifting argument. Ramanujan summation attaches to a series a constant extracted from the Euler-Maclaurin formula, which relates a sum to an integral plus correction terms:
Roughly, one discards the divergent integral and reads off the remaining constant. It is a defined operation with stated properties, and it reproduces for and for . It is emphatically not a claim that the partial sums converge, and Ramanujan, who was self-taught but not naive, flagged the point himself in the letter to Hardy by joking about the asylum. In the same letter he told Hardy that Hardy would not be able to follow his methods of proof if he indicated them in a single letter, which was a fair warning rather than a boast.
The historically accurate version is therefore: Ramanujan did write this, in his second letter to Hardy dated 27 February 1913, he had a real method behind it, and he did not claim it was an ordinary sum.
Where the Number Shows Up in Physics
The reason is not merely a curiosity is that it appears in calculations whose predictions are measured.
The Casimir effect. In 1948 Hendrik Casimir predicted that two uncharged parallel conducting plates in vacuum attract each other, because the boundary conditions restrict which electromagnetic modes can exist between them. The zero-point energy is a sum over modes, , and it diverges. In the simplified one-dimensional version with , the energy is
The realistic three-dimensional electromagnetic calculation uses and gives a force per unit area
Put in numbers. At a plate separation of nm, with J·m, this gives a pressure of about 13 pascals, which is small but far from negligible at that scale and rises as the fourth power of the reciprocal separation. Casimir’s prediction resisted measurement for decades; the first firm experimental confirmation came in 1997, when Steve Lamoreaux measured the force between a gold-coated sphere and a plate using a torsion pendulum and found agreement with theory at the level of a few per cent. Later experiments have tightened this considerably.
That is the real argument for taking the regularisation seriously. A divergent quantity was replaced by a finite one via a rule, the rule produced a number, and the number was found in the laboratory.
Bosonic string theory. In light-cone quantisation, the mass-shell condition for the string contains a normal-ordering constant built from the zero-point energies of the transverse oscillator modes, of the form for spacetime dimensions. Substituting turns this into , and consistency of the quantised theory, specifically the closure of the Lorentz algebra, forces . Hence and : the critical dimension of the bosonic string.
It should be said clearly that this is a shortcut rather than the foundation. The modern covariant derivation computes the conformal anomaly, finds it proportional to , and requires it to vanish. No divergent sum appears. That the quick zeta argument and the careful anomaly argument agree is the sort of cross-check that justifies the shortcut, and it is a reason to describe as reliable bookkeeping rather than as a hidden truth about addition.
The Verdict, Stated Precisely
| Statement | Status |
|---|---|
| converges to | False |
| diverges | True |
| True | |
| at | False; the formula holds only for |
| is Abel or Cesàro summable to | False; neither method applies |
| Zeta-regularised value of is | True, by definition of the regularisation |
| Ramanujan summation of gives | True |
Read down that column and the confusion dissolves. The popular headline compresses a true statement about the analytic continuation of a function into a false statement about a sum, and the compression is the whole of the problem. The right instinct on first hearing it, which is that you cannot add positive numbers and get a negative one, is correct. The right conclusion is not that mathematics is playing tricks, but that the equals sign in is not the equals sign you learned in school. It is shorthand for a specific and well-defined regularisation, and once you know which one, the mystery is gone and something more interesting takes its place: the fact that a function defined by a series in one part of the plane carries, in its analytic continuation, information that the series itself cannot express.
Related topics: The Riemann Zeta Function, The Riemann Hypothesis Explained, Complex Analysis, The Gamma Function, Taylor Series, Why 0.999… Equals 1, Fourier Series, Generating Functions
Frequently asked
Is 1+2+3+... = -1/12 actually true?
Not as an ordinary sum. The partial sums are n(n+1)/2, which grow without bound, so the series diverges and has no sum in the standard sense. The true statement is that the Riemann zeta function, which equals the sum of n to the power minus s only when the real part of s exceeds 1, takes the value -1/12 at s equal to -1. That is a fact about the zeta function, not about adding up the natural numbers.
Did Ramanujan prove that the sum of all natural numbers is -1/12?
He wrote it in his second letter to G. H. Hardy, dated 27 February 1913, and immediately added that if he told Hardy this, Hardy would at once point out the lunatic asylum as his goal. Ramanujan was aware the statement looked absurd out of context. What he had was a genuine and well-defined technique, now called Ramanujan summation, which assigns a finite constant to certain divergent series via the Euler-Maclaurin formula. It is not a proof that the series converges.
Is the Numberphile video wrong?
The final number is right and the reasoning is not a proof. The video manipulates divergent series by shifting and subtracting them, operations that are not valid for series without a sum. The same style of manipulation can be used to produce contradictions. It lands on the correct value because the steps implicitly compute Abel-type summations that happen to be consistent with analytic continuation, but the video presents them as ordinary arithmetic, which they are not.
How can adding positive numbers give a negative answer?
It cannot. No process of adding finitely or infinitely many positive numbers produces a negative result. What happens is that a formula which agrees with the sum in one region is evaluated in a region where the sum does not exist. The geometric series is the same phenomenon in miniature: the sum of powers of x equals 1 over 1 minus x only when the absolute value of x is below 1, yet the right-hand side is perfectly well defined at x equal to 2, where it gives -1.
How is -1/12 used in string theory?
In light-cone quantisation of the bosonic string, the normal-ordering constant involves a divergent sum over oscillator modes. Replacing that sum by the zeta value -1/12 gives a constant equal to D minus 2, all divided by 24, and consistency of the quantised theory forces this to equal 1, hence D equals 26. The same regularisation gives the Casimir energy its finite value, and the Casimir force has been measured, which is why physicists trust the bookkeeping.