Academia.eduAcademia.edu

Numberphile’s Proof for the Sum 1+2+3+...

2019, Communications of the Blyth Institute

https://doi.org/10.33014/issn.2640-5652.1.1.bartlett.3
54 Laplace, Pierre-Simon (2012). Pierre-Simon Laplace Philosophical Essay on Probabilities: Translated from the fifth French edition of 1825 With Notes by the Translator. Vol. 13. Springer Science & Business Media. Levin, Leonid A (1984). “Randomness conservation inequalities; information and independence in mathematical theories”. In: Information and Control 61.1, pp. 15–37. Menabrea, Luigi Federico and Ada Lovelace (1842). Sketch of the analytical engine invented by Charles Babbage. Romer, Paul M (1992). “Two strategies for economic development: using ideas and producing ideas”. In: The World Bank Economic Review 6.suppl_1, pp. 63–91. Solow, Robert M (1957). “Technical change and the aggregate production function”. In: The review of Economics and Statistics 39.3, pp. 312–320. Suárez, Fernando F and James M Utterback (1995). “Dominant designs and the survival of firms”. In: Strategic management journal 16.6, pp. 415–430. Turing, Alan M (2009). “Computing machinery and intelligence”. In: Parsing the Turing Test. Springer, pp. 23– 65. Letters and Notes Numberphile’s Proof for the Sum 1+2+3+... Jonathan Bartlett and Asatur Khurshudyan DOI: 10.33014/issn.2640-5652.1.1.bartlett.3 In 2014, YouTube math vlogger Numberphile upset the amateur math world by declaring that the sum of all the natural numbers (i.e., the positive integers, the infinite series 1 1 + 2 + 3 + . . .) is − 12 (Haran and Padilla, 2014; Haran, 2015). While this is indeed the result of the Riemann Zeta function applied to −1, we will show here that it is not the sum of 1 + 2 + 3 + . . .. The standard summation which the Riemann Zeta function is based on is simple: ζ (x) = ∞ ! 1 . xn n=1 (1) For x > 1, (1) is well defined and makes a convergent series. For x ≤ 1, (1) no longer converges. For x = −1, (1) is equivalent to the series under consideration, 1 + 2 + 3 + . . .. The question is whether or not ζ (−1) is still equivalent to the series implied by (1). If it is, then 1+2+3+ . . . is indeed 1 . equal to − 12 According to the video, which uses a proof based on the one originally given by Ramanujan, the proof that 1+2+3+. . . = 1 − 12 can be shown by beginning as follows. First, start with the following series: S1 = 1 − 1 + 1 − 1 . . . (2) S2 = 1 − 2 + 3 − 4 . . . S3 = 1 + 2 + 3 + 4 . . . (3) (4) S1 has the well-known value of 21 and S2 has the well-known value of 41 . He then subtracts S3 − S2 . Doing this yields the series 0 + 4 + 0 + 8 . . .. The error comes next. This is claimed to be equivalent to the series 4 + 8 + 12 . . ., which would be 4S3 . This gives the equation S3 − S2 = 4S3 . Because S2 = 14 , this can be then solved. 1 S3 − = 4S3 (5) 4 1 (6) 3S3 = − 4 1 (7) S3 = − 12 As suggested the problem comes with stating that 0 + 4 + 0 + 8 + 0 + 12 . . . = 4 + 8 + 12 . . . . Numberphile’s Proof for the Sum 1 + 2 + 3 + . . . 55 Bartlett, Gaastra, and Nemati (2018) developed a technique, which we can term the BGN technique, that assigns hyperreal values to divergent sums. Applying the BGN technique shows that, even though it may seem counterintuitive, adding zeroes in the middle of an infinite sum changes the value of the sum, therefore invalidating the proof. According to the method given in Bartlett, Gaastra, and Nemati (2018), the sum of 1 + 2 + 3 . . . is the hyperreal 2 value ω2 + ω2 . The sum of 0 + 4 + 0 + 8 + 0 . . . is the hyperreal 2 value ω2 + ω2 − 41 , which, in fact, is the result of S3 − 14 . Note that both of these series are essentially the same value, as the lower-orders of infinity are essentially noise compared 2 with the highest order term, which is ω2 . 1 while the series (1) doesn’t is The reason why ζ (−1) = − 12 that ζ (−1) is evaluated using the Zeta function’s analytic continuation (a modification of a function that expands its domain), not the series given in (1). The analytic continuation of ζ (the expanded expression that actually is valid for −1) is, according to Lavrik (2011), "x# π −x/2 Γ ζ (x) = 2 $ ∞ % & 1 + x −(1−x/2) + x −(1−(1−s)/2) θ(x) dx, (8) x(x − 1) 1 where Γ is the Euler Gamma Function, and θ(x) is '∞ −πn 2 x . This is no longer identical to the original exn=1 e pression given in (1). However, the question still remains why physicists can use 1 − 12 as a stand-in for the sum of all natural numbers. As Haran and Padilla (2014) point out, in several aspects of physics, such as for the Casimir effect, when physicists need a sum of all natural numbers, the Zeta function can act as a stand-in and yield valid results. 2. Interestingly, in the evaluation of the series expansion of (9), even though it diverges to infinity, there is a 1 2 component of it that is − 12 . 3. For a finite $, a wide range of values will produce re1 sults near − 12 , though we did not yet find a value that produces this value exactly. $ ranging from 21 to 1 3750 seemed to be fairly close, while values outside this range started to stray. Bartlett, J, L Gaastra, and D Nemati (2018). “Hyperreal Numbers for Infinite Divergent Series”. In: arXiv 1804.11342. Haran, B (2015). “This Blog Probably Won’t Help”. In: Brady Haran Blog. url: http : / / www . bradyharanblog.com/blog/2015/1/11/this-blogprobably-wont-help. Haran, B and T Padilla (2014). “Astounding: 1 + 2 + 3 + 4 + 5 + . . . = -1/12”. In: YouTube Numberphile Channel. url: https :/ / www . youtube .com / watch ? v = wI6XTVZXww. Lavrik, A F (2011). “Zeta Function”. In: Encyclopaedia of Mathematics. Springer. url: https : / / www . encyclopediaofmath . org / index . php / Zeta function. Vandegrift, G (2014). “MATLAB/Divergent Series Investigations”. In: Wikiversity. url: https : / / en . wikiversity.org/wiki/MATLAB/Divergent_series_ investigations. While no conclusive reason for this has been established, Vandegrift (2014) offers a numerical evaluation of a series that is very similar to the series 1 + 2 + 3 . . ., but is offset by a tiny complex component. Vandegrift has suggested the possibility that lim #→0 ∞ ! n=1 ne−#n cos($ n) = − 1 . 12 (9) This sum would be nearly identical to 1 + 2 + 3 . . . in its beginning, but begin to diverge for higher values of n. We investigated this possibility and found the following results: 1. For an infinitesimal $ (where $ = ω−1 ), the series actually diverges. 2 Using the BGN technique, the expansion of the sum was found to ) ( ) ( sin(1) cos(1) 1 sin(1) cos(1) ω2 + ω− − − e 2e 2e 12e 12 where ω is the hyperreal infinite unit. Notice the last part of this 1 term is − 12 . It is unclear the connection between this value and the 1 Zeta function. Nonetheless, it is interesting that − 12 appears there. be Volume 1, Issue 1