Comments by "Ra Ra" (@RaRa-eu9mw) on "ASTOUNDING: 1 + 2 + 3 + 4 + 5 + ... = -1/12" video.
-
312
-
77
-
45
-
45
-
38
-
35
-
35
-
33
-
30
-
22
-
21
-
18
-
18
-
17
-
@rogercline5377 I don't agree. In no context is it correct to say 1+1=45 without said context being given.
However, 1+1 DOES equal something, and because we are the ones in charge we give that something a symbol: 2. You could give it a different symbol if you wanted, but this would be pointless.
What you are doing, however, is the equivalent of saying "no, 1+1 doesn't equal anything. It can't equal anything. You can say you assign it the value 2, or rewrite it as 2, but you aren't allowed to say it equals 2."
Of course, saying 1+1=2 is useful, and consistent, and meaningful, and so that's why we say it.
Similarly, you are saying "no, 1-1+1-1... doesn't equal anything. You aren't allowed to say it equals anything." In actual fact, saying it equals 1/2 is useful, consistent, and meaningful. This is why mathematicians all agree that it equals 1/2. We are in charge, and we are steered by logical consistency and utility, and this result passes both tests.
13
-
13
-
13
-
11
-
11
-
10
-
10
-
10
-
10
-
9
-
9
-
@benaissa9684 There's a lot of mistakes in that comment. Most of this was cleared up by Cauchy.
The limit of partial sums is ONLY available as a technique for convergent series. Divergent series, like 1-1+1-1... and 1+2+3+4... cannot use this definition.
A sequence cannot "converge to infinity" as infinity is not a real number. If a sequence approaches infinity it does not converge to anything - it diverges.
In your third paragraph, you are confusing "illogical" and "irrational" with "unintuitive." The result -1/12 goes against intuition, but it doesn't go against any logic. There is no logic saying "if something is true in the finite case it must be true in the infinite case."
In the final paragraph, I agree. All mathematics must be logically consistent. However, its study and the definitions we use are driven by utility. It would be logically consistent to say "no series has a value, even convergent ones like 1+1/2+1/4..." This would not logically contradict anything (pre-Cauchy, many mathematicians held this view), but it would be useless. Whereas giving these series values, defining it as the limit of partial sums, is extremely useful, so that's what we go with.
It is logically fine to say "1+2+3... doesn't equal anything. No divergent series have values" but it is useless. We go with the useful value of -1/12. Indeed it is the only useful value which is logical and consistent throughout mathematics.
9
-
8
-
8
-
8
-
8
-
7
-
7
-
6
-
6
-
6
-
6
-
6
-
6
-
6
-
6
-
6
-
5
-
5
-
5
-
5
-
5
-
5
-
5
-
5
-
5
-
4
-
4
-
4
-
4
-
4
-
4
-
4
-
4
-
4
-
4
-
4
-
4
-
3
-
3
-
3
-
3
-
3
-
3
-
3
-
3
-
3
-
3
-
S-S2=4S working term by term. S=1+2+3+4... and S2=1-2+3-4... so subtracting term by term we get S-S2=0+4+0+8... and 4+8+12+16...=4S
Looking at the partial sums of S2 we don't get 1,-1,2,-2,3,-3.... but 1,-1,2,-1,3,-1....
3
-
3
-
3
-
3
-
3
-
3
-
3
-
2
-
2
-
2
-
2
-
2
-
2
-
2
-
2
-
2
-
2
-
2
-
2
-
2
-
2
-
2
-
2
-
2
-
2
-
2
-
2
-
2
-
2
-
2
-
2
-
2
-
2
-
2
-
2
-
2
-
2
-
2
-
2
-
2
-
2
-
2
-
2
-
2
-
2
-
2
-
2
-
2
-
2
-
2
-
2
-
2
-
2
-
2
-
2
-
2
-
2
-
2
-
2
-
2
-
2
-
2
-
@Gunno77 People said the same thing about Cauchy's work with convergent series! That it was different concept and not right to call it summation.
The fact is that we're in charge here. We get to decide what is called summation, and it is most useful and tidy to define it in the most generalised way possible. As a result, summation includes adding integers, and adding complex numbers, even though the latter were not known about for thousands of years.
Cauchy gave us methods for summing convergent series, even though this was out of bounds for thousands of years (and many mathematicians considered it impossible). It seems you are happy up to this point, but not going any further.
Dirichlet, Riemann, Cesaro and Ramanujan, among many others, gave us methods for summing divergent series, as well as alternative methods for summing convergent series. Importantly, all these methods agree on known results from finite sums or convergent series.
You are essentially saying that our understanding of summation is allowed to grow and evolve up to about 1840, but must stop there and we're not allowed to use anything that came since (or must "call it something else"). This is illogical, and needless.
2
-
@Gunno77 I don't mean to patronise at all! I am here to educate, and I think anyone engaging on here will be intelligent and fully able to grasp the concepts. Apologies for coming off as patronising.
I don't know how often you read mathematical papers, as the thing you say you've never seen happen happens all the time. You couldn't really get very far in automorphic forms, L-functions, class groups, or related topics without routinely utilising summation methods for divergent series. If ever I see a value given for a divergent series, I won't think "which method did they use?" as any will do!
When you talk about it "not being a sum" but just "assigning a value", this is semantics. People said the same thing about Cauchy's work on convergent series. The thing to remember is that we are in charge. We get to say that 1+1/2+1/4+1/8... really does "equal" 2, and really is a valid sum, even though nobody could perform it on an abacus.
Our mathematical knowledge and understanding evolves and grows over time. It used to be that we had no method for performing the above summation, but thanks to Cauchy, now we do. It was subsequently the case that we had no method for performing the summation of divergent series, but thanks to the work of many great mathematicians, now we do.
2
-
2
-
1
-
1
-
1
-
1
-
1
-
1
-
1
-
1
-
@bradwavemb All the series here diverge, but I don't think it's right to say they are manipulated "as if convergent." Convergent series are just one of many things which can be manipulated in the ways shown here. Finite sums, obviously, can also be handled like this. Importantly, though, is that all the steps here are valid for L-functions.
Divergent series can be written as L-functions whenever the terms are multiplicative, which is the case for every series here - everything is, under the hood, an Euler product, and so all the steps are valid.
I don't see how the video "misleads" or "deceives" the audience. They state outright that they don't want to get into the weeds with Euler products and L-functions and Dirichlet series and so on, and I think that's the right call. The justification as to why each step is valid is way too high level for a popular mathematics video like this. All the audience needs to know is that the steps are indeed valid (which they are) and that the result is interesting (which it definitely is).
1
-
1
-
1
-
1
-
@kepe7323 The square root of a number is the same as the number if and only if the number is 1 or 0. The square root of a function (as in, the composition of square root with f) is the same as f if the image of f is a subset of {0,1}. In other cases, the square root will not equal the function itself.
The analytic continuation of f, on the other hand, is the same as f if f is meromorphic, which all Dirichlet series are.
As for the second question, there is no such thing as the "domain of convergence". The two concepts of "domain" and "radius of convergence" are very different. The domain of a function is the set of points on which it has been defined. The radius of convergence is a concept which applies to power series, not all functions, and is the radius of the maximal disc where the series converges. I can change the domain of a function easily. For instance, if f is constant 0 and the domain is positive real numbers, then there is a very obvious way to extend this domain to all real numbers. Note that this doesn't change the function - it's still constant 0 - but extended to a bigger domain. The radius of convergence, on the other hand, is set in stone. A power series has a radius of convergence and this cannot be changed without changing the function.
1
-
1
-
1
-
1
-
1
-
1
-
1
-
1
-
1
-
1
-
1
-
1
-
1
-
1
-
1
-
1
-
1
-
1
-
1
-
1
-
1
-
1
-
Hi. I am not involved with the video, but am a mathematician, so feel qualified to answer your points.
1 - Yes, we must be. Of course. There are many examples of finite results not generalising to the infinite case. In mathematics this is called "failing the local-global principle." In the video, I believe they exercised sufficient care. However, some of your subsequent arguments do not show this care.
2 - The sum of 1-1+1-1 is defined for finite, or infinite number of terms. You can see, for example by Cesaro summation, that the infinite series is equal to 1/2, as stated in the video.
3 - A sum cannot tend to anything. The sequence of partial sums can, and in this case the sequence of partial sums tends to infinity. However, this doesn't tell us anything about the value of the infinite series, because that value only equals the limit of the sequence of partial sums in cases where the sequence is convergent. For example, 1+1/2+1/4+1/8... has the sequence of partial sums 1, 3/2, 7/4, 15/8... which converges to 2, and so the series equals 2. In this case, the sequence of partial sums diverges, and so we need to use other methods (such as the method in this video) to find the value of the series.
The second paragraph reiterates that the sequence of partial sums tends to infinity. This is again an attempt to use a local-global principle where one does not exist. Your quoted formula is correct, but only correct for finite n, and there are many cases where we cannot generalise such a result to the infinite case, of which this is one.
With regards the use of an equal sign, this is the correct sign to use, because the two things really are equal. 1+2+3+4... has a value, and it is -1/12. In mathematical writing, if I wanted to say that one element was "associated" with another I would probably use the tilde symbol (~) and define what that meant in context. There are conventions for certain common equivalences. For example, we can associate 6 with 11 by the fact they have the same remainder after dividing by 5, and this would be written with three horizontal lines, as 6≡11. Of course, the most common "association" is equality, where we use the = symbol, as in this case.
Finally, I can't respond to your integral argument as that's something I've never come across before.
1
-
1
-
1
-
1
-
1
-
1
-
1
-
1
-
1
-
1
-
1
-
1
-
1
-
1
-
1
-
1
-
1