"The number $\frac 16 \pi^2$ turns up surprisingly often and frequently in unexpected places." - Julian Havil, Gamma: Exploring Euler's Constant.


It is well-known, especially in 'pop math,' that $$\zeta(2)=\frac1{1^2}+\frac1{2^2}+\frac1{3^2}+\cdots = \frac{\pi^2}{6}.$$ Euler's proof of which is nice. I would like to know where else this constant appears non-trivially. This is a bit broad, so here are the specifics of my question:

  1. We can fiddle with the zeta function at arbitrary even integer values to eek out a $\zeta(2)$. I would consider these 'appearances' of $\frac 16 \pi^2$ to be redundant and ask that they not be mentioned unless you have some wickedly compelling reason to include it.
  2. By 'non-trivially,' I mean that I do not want converging series, integrals, etc. where it is obvious that $c\pi$ or $c\pi^2$ with $c \in \mathbb{Q}$ can simply be 'factored out' in some way such that it looks like $c\pi^2$ was included after-the-fact so that said series, integral, etc. would equal $\frac 16 \pi^2$. For instance, $\sum \frac{\pi^2}{6\cdot2^n} = \frac 16 \pi^2$, but clearly the appearance of $\frac 16\pi^2$ here is contrived. (But, if you have an answer that seems very interesting but you're unsure if it fits the 'non-trivial' bill, keep in mind that nobody will actually stop you from posting it.)

I hope this is specific enough. This was my attempt at formally saying 'I want to see all the interesting ways we can make $\frac 16 \pi^2$.' With all that being said, I will give my favorite example as an answer below! :$)$


There used to be a chunk of text explaining why this question should be reopened here. It was reopened, so I removed it.


Solution 1:

Let $I(n)$ be the probability that two integers chosen randomly from $[1,n]$ are coprime. Then, $$\lim_{n \to \infty} I(n)=\frac{6}{\pi^2}.$$ So, you could say the odds that two randomly-chosen positive integers are coprime is $1$ in $\frac{\pi^2}6$.

Solution 2:

Define a continuous analog of the binomial coefficient as

$$\binom{x}{y}=\frac{\Gamma(x+1)}{\Gamma(y+1)\Gamma(x-y+1)}.$$

While exploring integrals of the form

$$\int_{-\infty}^\infty\prod_{n=1}^m\binom{x_n}{t}\,\mathrm dt$$

I was surprised the first time I saw

$$\int_{-\infty}^\infty\binom{1}{t}^3\,\mathrm dt=\frac{3}{2}+\frac{6}{\pi^2}$$

show up.

Solution 3:

Unexpected at first glance is $$2\sum_{m\ge1}\sum_{n\ge1}\frac{(-1)^n}{n^3}\sin(\tfrac{n}{m^{2k}})=\frac{1}{6}\zeta(6k)-\frac{\pi^2}{6}\zeta(2k).$$ A generalization may be found here.

Perhaps more unexpected is $$\sqrt3 \int_0^\infty \frac{\arctan x}{x^2+x+1} \, dx=\frac{\pi^2}{6},$$ which is proven here.

Even nicer is $$\frac1{12}\int_0^{2\pi}\frac{x\,dx}{\phi-\cos^2 x}=\frac{\pi^2}6,$$ which can be seen here. Here $\phi=\frac{1+\sqrt5}2$ is the golden ratio.

A pleasing logarithmic integral is $$\frac83\int_1^{1+\sqrt2}\frac{\ln x}{x^2-1}dx=\frac{\pi^2}6-\frac23\ln^2(1+\sqrt2),$$ proven here.

Another nice trigonometric integral: $$2\int_0^{\pi/2}\cot^{-1}\sqrt{1+\csc x}\, dx=\frac{\pi^2}{6},$$ from here.


Edit: as was stated in the comments of this answer, it's the $\pi^2$ that counts, though un-scaled integrals evaluating to $\pi^2/6$ are best. With this in mind, I present a nice $\zeta$-quotient integral involving $\pi^2$: $$\int_0^\infty \left(\frac{\tanh(x)}{x^3}-\frac{1}{x^2\cosh^2(x)}\right)\, dx=\frac{7\zeta(3)}{\pi^2}=\frac{7\zeta(3)}{6\zeta(2)},$$ shown here.


I just derived another identity: $$\int_0^\infty\frac{(x^2+1)\arctan x}{x^4+\tfrac14x^2+1}dx=\frac{\pi^2}{6}.$$ Since I just found this identity I present the proof. In the link I provided after the second identity it is shown that $$f(a)=\int_0^\infty \frac{\arctan x}{x^2+2ax+1}dx=\frac{\pi}{4\sqrt{1-a^2}}\left(\frac\pi2-\phi(a)\right)\qquad |a|<1$$ where $\phi(a)=\arctan\frac{a}{\sqrt{1-a^2}}$. First off, notice that $\phi(-a)=-\phi(a)$. Thus $$j(a)=\frac12(f(a)+f(-a))=\int_0^\infty\frac{(x^2+1)\arctan x}{x^4+2(1-2a^2)x^2+1}dx=\frac{\pi^2}{8\sqrt{1-a^2}}.$$ Hence $$j(\sqrt{7}/4)=\int_0^\infty\frac{(x^2+1)\arctan x}{x^4+\tfrac14x^2+1}dx=\frac{\pi^2}{6}.$$


Expect more nice examples as I gather the best ones.