# Why is $\frac{\pi^2}{12}=\ln(2)$ not true?

This question may sound ridiculous at first sight, but let me please show you all how I arrived at the aforementioned 'identity'.

Let us begin with (one of the many) equalities established by Euler:

$$f(x) = \frac{\sin(x)}{x} = \prod_{n=1}^{\infty} \Big(1-\frac{x^2}{n^2\pi^2}\Big)$$

as $(a^2-b^2)=(a+b)(a-b)$, we can also write: (EDIT: We can not write this...)

$$f(x) = \prod_{n=1}^{\infty} \Big(1+\frac{x}{n\pi}\Big) \cdot \prod_{n=1}^{\infty} \Big(1-\frac{x}{n\pi}\Big)$$

We now we arrange the terms with $(n = 1 \land n=-2)$, $(n = -1 \land n=2$), $( n=3 \land -4)$ , $(n=-3 \land n=4)$ , ..., $(n = 2n \land n=-2n-1)$ and $(n=-2n \land n=2n+1)$ together. After doing so, we multiply the terms accordingly to the arrangement. If we write out the products, we get:

$$f(x)=\big((1-x/2\pi + x/\pi -x^2/2\pi^2)(1+x/2\pi-x/\pi - x^2/2\pi^2)\big) \cdots$$ $$\cdots \big((1-\frac{x}{(2n)\pi} + \frac{x}{(2n-1)\pi} -\frac{x^2}{(2n(n-1))^2\pi^2})(1+\frac{x}{2n\pi} -\frac{x}{(2n-1)\pi} -\frac{x^2}{(2n(2n-1))^2\pi^2)})\big)$$

Now we equate the $x^2$-term of this infinite product, using Newton's identities (notice that the '$x$'-terms are eliminated) to the $x^2$-term of the Taylor-expansion series of $\frac{\sin(x)}{x}$. So,

$$-\frac{2}{\pi^2}\Big(\frac{1}{1\cdot2} + \frac{1}{3\cdot4} + \frac{1}{5\cdot6} + \cdots + \frac{1}{2n(2n-1)}\Big) = -\frac{1}{6}$$

Multiplying both sides by $-\pi^2$ and dividing by 2 yields

$$\sum_{n=1}^{\infty} \frac{1}{2n(2n-1)} = \pi^2/12$$

That (infinite) sum 'also' equates $\ln(2)$, however (According to the last section of this paper).

So we find $$\frac{\pi^2}{12} = \ln(2) .$$

Of course we all know that this is not true (you can verify it by checking the first couple of digits). I'd like to know how much of this method, which I used to arrive at this absurd conclusion, is true, where it goes wrong and how it can be improved to make it work in this and perhaps other cases (series).

Max Muller

(note I: 'ln' means 'natural logarithm) (note II: with 'to make it work' means: 'to find the exact value of)

-
Wouldn't it be cool if it were true, though! – Nate Eldredge Jun 9 '10 at 16:03
This forum is aimed at research-level mathematicians, but the topic of this question lies firmly in the domain of undergraduate mathematics. I think that "Ask Dr. Math" and "Art of Problem Solving" would be more appropriate venues for this question. – Ian Morris Jun 9 '10 at 17:41
@ Ian Morris: I guess you're right. I didn't expect my 'proof' to be torn apart that quickly. I thought that if the infinite product could be expressed by a product of two infinite products, I could produce documented mathematical thought on open problem(s) at research level. – Max Muller Jun 9 '10 at 17:56
Well, we all are safe once again. I'm a bit worried that young Max may eventually succeed in finding an inner contradiction in the building of Mathematics. Then, everybody go home, and this site will be terminated too :-( – Pietro Majer Jun 9 '10 at 21:09
@Ian Morris: Understanding when this type of calculation is valid is very definitely research-level. Most (valid) calculations of this type are actually short-hand for manipulating meromorphic functions, and it is often easier to guess the calculation first and then check it (this is why Euler was such a great mathematician). One place where these calculations turn up in spades is in analytic number theory, at least if the two weeks of the course I took form R. Borcherds is any indication. Another place is quantum field theory, where there are outstanding problems to define certain integrals. – Theo Johnson-Freyd Jun 12 '10 at 16:38

You cannot split (1-(x/n)^2) into (1 -x/n) (1 + x/n), since the products no longer converge.

-
Could you please elaborate on that? Why is it necessary for these prodcucts to converge? – Max Muller Jun 9 '10 at 16:21
– efq Jun 9 '10 at 16:31
The statements: - The product of (1 + a_n) converges - The sum of a_n converges are equivalent. So we know that prod (1 + a_n), where a_2n = (1 + x/n) and a_2n = (1 - x/n) does not converge unconditionally. So by reordering it can achieve any positive value by the same argument as for sums. Just rewrite product (1 + a_n) = exp(sum log(1 + a_n)) to show this. – Helge Jun 9 '10 at 16:50
Yes, you treated divergent infinite products as convergent. You get the same sort of problems as you do with treating divergent series as convergent, like $$0 = (1 - 1) + (1 - 1) +\cdots=1-(1-1)+(1-1)\cdots =1.$$ – Robin Chapman Jun 9 '10 at 17:40
(@Qiaochu: My apologies for misspelling your name.) – Harald Hanche-Olsen Jun 9 '10 at 23:54

Eisenstein defined elliptic functions by working with conditionally convergent series. In particular he studied how a series changes when you rearrange the terms in a specific way. You can find a lot about his work in this direction in Weil's beautiful book Elliptic Functions according to Eisenstein and Kronecker. An analogous question would be what happens to your product formula when you use a different way of pairing positive and negative indices. I do not know whether this has been studied before . . . A look into Weil's book will convince you (if you didn't know that already) that some functions are most interesting at those places where convergence fails.

-
Thank you for the reference! As for the different pairing methods, that was what I was thinking about as well... An infinite amount of different (infinite) sum series would all converge to the same value! By the way, do you think there's a way to describe my double product formula in a closed form? I know it diverges, so perhaps it could be an exponential function? Like sin(x)^x? – Max Muller Jun 10 '10 at 13:31
P.S. I'm not sure why (some) functions are most interesting at those places where convergence fails... could you please explain? I am very interested in transforming divergent to convergent series, though, to make the double product equal the single product (and sin(x)/x). Do you think this is possible, one way or another? Or do you know any texts/papers on this subject matter? – Max Muller Jun 10 '10 at 13:44
values for divergent series ... see Hardy's book, DIVERGENT SERIES – Gerald Edgar Jun 10 '10 at 15:17
I was of course thinking of zeta functions, L-series and theta functions. For methods of assigning finite values to interesting divergent sums (as well as for plenty of other reasons as well), I strongly advise you to read <em>Euler through time: a new look at old themes</em> by Varadarajan. – Franz Lemmermeyer Jun 10 '10 at 17:52
I thank both of you for the references! I think I'll have some good reading for the summer holidays... – Max Muller Jun 10 '10 at 18:30

It is a common trick, found in many elementary calculus texts: take a conditionally convergent series, and rearrange it to have any sum you like.

-
Ok, thanks mister Edgar. Please look at the comments I posted to Franz Lemmermeyer's answer, I'd like to know if you have some answers on the questions I posed there as well! – Max Muller Jun 10 '10 at 13:45
You probably already know this Edgar, but this is usually called the Riemann rearrangement theorem, or the Riemann series theorem – Daniel Barter Jun 13 '10 at 3:55