View source for Grandi's series

In [[mathematics]], the [[infinite series]] {{nowrap|1 − 1 + 1 − 1 + ⋯}}, also written
:<math>
\sum_{n=0}^\infty (-1)^n
</math>
is sometimes called '''Grandi's series''', after Italian mathematician, philosopher, and priest [[Guido Grandi]], who gave a memorable treatment of the series in 1703. It is a [[divergent series]], meaning that it lacks a sum in the usual sense. On the other hand, its [[Cesàro summation|Cesàro sum]] is&nbsp;1/2.

==Unrigorous methods==
One obvious method to attack the series
:1 − 1 + 1 − 1 + 1 − 1 + 1 − 1 + ...
is to treat it like a [[telescoping series]] and perform the subtractions in place:

:(1 − 1) + (1 − 1) + (1 − 1) + ... = 0 + 0 + 0 + ... = 0.

On the other hand, a similar bracketing procedure leads to the apparently contradictory result
:1 + (−1 + 1) + (−1 + 1) + (−1 + 1) + ... = 1 + 0 + 0 + 0 + ... = 1.

Thus, by applying parentheses to Grandi's series in different ways, one can obtain either 0 or 1 as a "value". (Variations of this idea, called the [[Eilenberg–Mazur swindle]], are sometimes used in [[knot theory]] and [[algebra]].)

Treating Grandi's series as a [[divergent geometric series]] and using the same algebraic methods that evaluate convergent geometric series to obtain a third value:
:''S'' = 1 − 1 + 1 − 1 + ..., so
:1 − ''S'' = 1 − (1 − 1 + 1 − 1 + ...) = 1 − 1 + 1 − 1 + ... = ''S''
:1 − ''S'' = ''S''
:1 = 2''S'',
resulting in ''S'' = {{sfrac|1|2}}. The same conclusion results from calculating −''S'', subtracting the result from ''S'', and solving 2''S'' = 1.<ref name=Devlin77>Devlin p.77</ref>

The above manipulations do not consider what the sum of a series actually means and how said algebraic methods can be applied to [[divergent geometric series]]. Still, to the extent that it is important to be able to bracket series at will, and that it is more important to be able to perform arithmetic with them, one can arrive at two conclusions:
*The series 1 − 1 + 1 − 1 + ... has no sum.<ref name=Devlin77 /><ref name=Davis152>Davis p.152</ref>
*...but its sum ''should'' be {{sfrac|1|2}}.<ref name=Davis152 />
In fact, both of these statements can be made precise and formally proven, but only using well-defined mathematical concepts that arose in the 19th century. After the late 17th-century [[history of calculus|introduction of calculus in Europe]], but before the advent of modern [[rigor#Mathematical_rigour|rigor]], the tension between these answers fueled what has been characterized as an "endless" and "violent" dispute between [[mathematician]]s.<ref name=Kline307>Kline 1983 p.307</ref><ref name=Knopp457>Knopp p.457</ref>

== Relation to the geometric series ==
For any number <math>r</math> in the interval <math>(-1,1)</math>, the [[Geometric progression#Infinite geometric series|sum to infinity of a geometric series]] can be evaluated via
::<math>\lim_{N\to\infty}\sum_{n=0}^N r^n = \sum_{n=0}^\infty r^n=\frac{1}{1-r}.</math>
For any <math>\varepsilon \in (0,2)</math>, one thus finds
::<math>\sum_{n=0}^\infty (-1+\varepsilon)^n=\frac{1}{1-(-1+\varepsilon)}=\frac{1}{2-\varepsilon},</math>
and so the limit <math>\varepsilon\to 0</math> of series evaluations is
::<math>\lim_{\varepsilon\to 0}\lim_{N\to\infty}\sum_{n=0}^N (-1+\varepsilon)^n=\frac{1}{2}.</math>

However, as mentioned, the series obtained by switching the limits, 
::<math>\lim_{N\to\infty}\lim_{\varepsilon\to 0}\sum_{n=0}^N (-1+\varepsilon)^n = \sum_{n=0}^\infty (-1)^n </math>
is divergent.

In the terms of [[complex analysis]], <math>\tfrac{1}{2}</math> is thus seen to be the value at <math>z=-1</math> of the [[Analytic continuation]] of the series <math>\sum_{n=0}^N z^n</math>, which is only defined on the complex unit disk, <math>|z|<1</math>.

==Early ideas==
{{main|History of Grandi's series}}

==Divergence==
In modern mathematics, the sum of an infinite series is defined to be the limit of the sequence of its [[partial sum]]s, if it exists. The sequence of partial sums of Grandi's series is {{nowrap|1, 0, 1, 0, ...,}} which clearly does not approach any number (although it does have two [[accumulation point]]s at 0 and 1). Therefore, Grandi's series is [[Divergent series|divergent]].

It can be shown that it is not valid to perform many seemingly innocuous operations on a series, such as reordering individual terms, unless the series is [[absolute convergence|absolutely convergent]]. Otherwise these operations can alter the result of summation.<ref>{{citation|title=A First Course in Real Analysis|series=[[Undergraduate Texts in Mathematics]]|first1=Murray H.|last1=Protter|first2=Charles B., Jr.|last2=Morrey|publisher=Springer|year=1991|isbn=9780387974378|page=249|url=https://books.google.com/books?id=0pZJeQ2lEmkC&pg=PA249}}.</ref> Further, the terms of Grandi's series can be rearranged to have its accumulation points at any interval of two or more consecutive integer numbers, not only 0 or 1. For instance, the series
:<math>1+1+1+1+1-1-1+1+1-1-1+1+1-1-1+1+1-\cdots</math>
(in which, after five initial +1 terms, the terms alternate in pairs of +1 and −1 terms) is a [[permutation]] of Grandi's series in which each value in the rearranged series corresponds to a value that is at most four positions away from it in the original series; its accumulation points are 3, 4, and 5.

==Education==
===Cognitive impact===
Around 1987, Anna Sierpińska introduced Grandi's series to a group of 17-year-old precalculus students at a [[Warsaw]] [[lyceum]]. She focused on humanities students with the expectation that their mathematical experience would be less significant than that of their peers studying mathematics and physics, so the [[epistemology|epistemological]] obstacles they exhibit would be more representative of the obstacles that ''may'' still be present in lyceum students.

Sierpińska initially expected the students to balk at assigning a value to Grandi's series, at which point she could shock them by claiming that {{nowrap|1=1 − 1 + 1 − 1 + · · · = <sup>1</sup>⁄<sub>2</sub>}} as a result of the geometric series formula. Ideally, by searching for the error in reasoning and by investigating the formula for various common ratios, the students would "notice that there are two kinds of series and an implicit conception of convergence will be born." However, the students showed no shock at being told that {{nowrap|1=1 − 1 + 1 − 1 + · · · = <sup>1</sup>⁄<sub>2</sub>}} or even that {{nowrap|1=[[1 + 2 + 4 + 8 + · · ·]] = −1}}. Sierpińska remarks that ''a priori'', the students' reaction shouldn't be too surprising given that Leibniz and Grandi thought <sup>1</sup>⁄<sub>2</sub> to be a plausible result;

:"A posteriori, however, the explanation of this lack of shock on the part of the students may be somewhat different. They accepted calmly the absurdity because, after all, 'mathematics is completely abstract and far from reality', and 'with those mathematical transformations you can prove all kinds of nonsense', as one of the boys later said."

The students were ultimately not immune to the question of convergence; Sierpińska succeeded in engaging them in the issue by linking it to decimal expansions the following day. As soon as [[0.999...]] = 1 caught the students by surprise, the rest of her material "went past their ears".<ref>Sierpińska pp.&nbsp;371–378</ref>

===Preconceptions===
In another study conducted in [[Treviso]], [[Italy]] around the year 2000, third-year and fourth-year ''[[Liceo Scientifico]]'' pupils (between 16 and 18 years old) were given cards asking the following:

:"In 1703, the mathematician Guido Grandi studied the addition: 1&nbsp;–&nbsp;1&nbsp;+&nbsp;1&nbsp;–&nbsp;1&nbsp;+&nbsp;... (addends, infinitely many, are always +1 and –1). What is your opinion about it?"

The students had been introduced to the idea of an infinite set, but they had no prior experience with infinite series. They were given ten minutes without books or calculators. The 88 responses were categorized as follows:

:(26) the result is 0
:(18) the result can be either 0 or 1
:(5) the result does not exist
:(4) the result is <sup>1</sup>⁄<sub>2</sub>
:(3) the result is 1
:(2) the result is infinite
:(30) no answer

The researcher, Giorgio Bagni, interviewed several of the students to determine their reasoning. Some 16 of them justified an answer of 0 using logic similar to that of Grandi and Riccati. Others justified <sup>1</sup>⁄<sub>2</sub> as being the average of 0 and 1. Bagni notes that their reasoning, while similar to Leibniz's, lacks the probabilistic basis that was so important to 18th-century mathematics. He concludes that the responses are consistent with a link between historical development and individual development, although the cultural context is different.<ref>Bagni pp.&nbsp;6–8</ref>

===Prospects===
Joel Lehmann describes the process of distinguishing between different sum concepts as building a bridge over a conceptual crevasse: the confusion over divergence that dogged 18th-century mathematics.

:"Since series are generally presented without history and separate from applications, the student must wonder not only "What are these things?" but also "Why are we doing this?" The preoccupation with determining convergence but not the sum makes the whole process seem artificial and pointless to many students—and instructors as well."

As a result, many students develop an attitude similar to Euler's:
:"…problems that arise naturally (i.e., from nature) do have solutions, so the assumption that things will work out eventually is justified experimentally without the need for existence sorts of proof. Assume everything is okay, and if the arrived-at solution works, you were probably right, or at least right enough. …so why bother with the details that only show up in homework problems?"

Lehmann recommends meeting this objection with the same example that was advanced against Euler's treatment of Grandi's series by Callet.{{Clarify|date=October 2012}}

==Summability==
{{main|Summation of Grandi's series}}

==Related problems==
{{main|Occurrences of Grandi's series}}
Find the value of ''S'' if ''S'' = 1 − 2 + 3 − 4 + 5 − 6 + 7 − 8 +&nbsp;.... ([[up to]] infinity)

==See also==
* [[1 − 1 + 2 − 6 + 24 − 120 + · · ·]]
* [[1 + 1 + 1 + 1 + · · ·]]
* [[1 − 2 + 3 − 4 + · · ·]]
* [[1 + 2 + 3 + 4 + · · ·]]
* [[1 + 2 + 4 + 8 + · · ·]]
* [[1 − 2 + 4 − 8 + ⋯]]
* [[Ramanujan summation]]
* [[Cesàro summation]]
* [[Thomson's lamp]]
* [[Eilenberg–Mazur swindle]]

==Notes==
{{Reflist|2}}

==References==
{{refbegin}}
*{{cite journal |last=Bagni |first=Giorgio T. |title=Infinite Series from History to Mathematics Education |journal=International Journal for Mathematics Teaching and Learning |date=2005-06-30 |url=http://www.cimt.plymouth.ac.uk/journal/bagni.pdf |url-status=dead |archiveurl=https://web.archive.org/web/20061229024056/http://www.cimt.plymouth.ac.uk/journal/bagni.pdf |archivedate=2006-12-29 }}
*{{cite book |last=Davis |first=Harry F. |title=Fourier Series and Orthogonal Functions |date=May 1989 |publisher=Dover |isbn=978-0-486-65973-2}}
*{{cite book |last=Devlin |first=Keith |authorlink=Keith Devlin |title=Mathematics, the science of patterns: the search for order in life, mind, and the universe |url=https://archive.org/details/mathematicsscien0000devl |url-access=registration |year=1994 |publisher=Scientific American Library |isbn=978-0-7167-6022-1}}
*{{cite journal |doi=10.2307/2690371 |last=Kline |first=Morris |title=Euler and Infinite Series |journal=Mathematics Magazine |volume=56 |issue=5 |date=November 1983 |pages=307–314 |jstor=2690371|bibcode=1975MathM..48...12G |citeseerx=10.1.1.639.6923 }}
*{{cite book |last=Knopp |first=Konrad |authorlink=Konrad Knopp |title=Theory and Application of Infinite Series |year=1990 |origyear=1922 |publisher=Dover |isbn=978-0-486-66165-0}}
*{{cite book|first1=E. W.|last1=Hobson|title=The theory of functions of a real variable and the theory of Fourier's series|url=https://archive.org/details/theoryfunctionsr00hobs|publisher=[[Cambridge University Press]]|year=1907|at=section 331|location=[http://www.hti.umich.edu/u/umhistmath/ The University of Michigan Historical Mathematics Collection]}}
*{{cite conference |last=Lehmann |first=Joel |title=Converging Concepts of Series: Learning from History |booktitle=Learn from the Masters |year=1995 |isbn=0-88385-703-0}}
*{{cite journal |last=Sierpińska |first=Anna |title=Humanities students and epistemological obstacles related to limits |journal=Educational Studies in Mathematics |volume=18 |issue=4 |date=November 1987 |pages=371–396 |doi=10.1007/BF00240986 |jstor=3482354}}
*{{cite book|first1=E. T.|last1=Whittaker|first2=G. N.|last2=Watson|title=A course of modern analysis|edition=4th, reprinted|publisher=[[Cambridge University Press]]|year=1962|at={{Section-sign|alt=Section}} 2.1}}

{{refend}}

==External links==
*[https://www.youtube.com/watch?v=PCu_BNNI5x4 One minus one plus one minus one – Numberphile], Grandi's series
{{Series (mathematics)}}
{{Grandi's series}}

[[Category:Divergent series]]
[[Category:Geometric series]]
[[Category:Grandi's series]]
[[Category:1 (number)]]
[[Category:Mathematics paradoxes]]
[[Category:Parity (mathematics)]]