Algumas Provas de que $ \sum_{n=1}^{\infty} \frac{1}{n^2} = \frac{\pi^2}{6} $
Matemática

Algumas Provas de que $ \sum_{n=1}^{\infty} \frac{1}{n^2} = \frac{\pi^2}{6} $


Nosso objetivo de hoje será calcular a soma dos inversos dos quadrados dos naturais de algumas maneiras distintas, obtendo assim uma pequena coleção de belas provas de tal fato. 

Teorema: 

$$ \sum_{k=1}^{\infty} \frac{1}{k^2} = \frac{\pi^2}{6} $$

Prova 1: Essa prova será feita com uso de Séries de Fourier. Seja $\psi : [0,1] \rightarrow \mathbb{R}$ dada por $\psi(x) = x - \frac{1}{2}$. Veremos $\psi$ como uma função periódica de período 1. 

Assim, esta admite uma transformada de Fourier discreta. Um cálculo simples mostra que 

$$ \hat{\psi}(n) = \int_{[0,1]} e^{-2\pi i t \cdot n} \psi(t) dt = -\frac{1}{2\pi i n} $$

Se $n \ne 0$, e $\hat{\psi} (0) = 0$. 

Pelo Teorema de Plancherel-Parseval, temos que 

$$ \|\psi\|_2^2 =  \sum_{k\in \mathbb{Z}} \frac{1}{4 \pi^2 n^2} $$

Mas $\int_0^1 \psi(t)^2 dt = 2 \int_0^{1/2} t^2 dt = \frac{1}{12} $ 

Isto implica que $\frac{4 \pi^2}{12} = \sum_{k\in \mathbb{Z}} \frac{1}{k^2} = 2 \sum_{k=1}^{\infty} \frac{1}{k^2} \Rightarrow \sum_{k=1}^{\infty} \frac{1}{k^2} = \frac{\pi^2}{6}$, terminando nossa primeira prova.                                       
                        $\square$.

Prova 2:  Esta prova utiliza Análise Complexa não-trivial. Mais especificamente, usamos a Teoria de Resíduos. 

Seja $P_n$ O retângulo de lados paralelos aos eixos coordenados que intersecta o eixo horizontal nos pontos $\pm (n + \frac{1}{2})$, e o eixo vertical nos pontos $ni$, e $f(z) = \cot (\pi z) \frac{1}{z^2}$. Sabemos já que $f$ é meromorfa neste retângulo, e um cálculo direto mostra que $f$ restrita ao bordo de $P_n$ satisfaz que $|f(z)|\le \frac{2}{n^2}$. Assim, 

$$ \left| \int_{P_n} f(z) dz \right| \le \frac{C}{n} \rightarrow 0 $$

Mas, do Teorema dos Resíduos, temos que a integral é igual a 

$$ 2\pi i \sum_{|k|<n+1} \text{Res}(f,k) $$

Utilizando a série de potências da cotangente, temos que 

$$ \text{Res}(f,0) = -\frac{\pi}{3} $$ 

Além, como $\cot$ é periódica de período $\pi$, então $\cot(\pi z) = \cot(\pi (z-k))$. Isto implica que $\text{Res}(f,k) = \frac{1}{\pi k^2}$. Portanto, sumarizando o que fizemos, temos que 

$$ 4 i \left(\sum_{k=1}^n \frac{1}{k^2}\right) - \frac{2 \pi^2 i}{3} \rightarrow 0 $$

Ou seja, 

$$ \sum_{k=1}^{\infty}\frac{1}{k^2} = \frac{\pi^2}{6} $$
$\square$

Prova 3: Talvez a mais elementar as provas apresentadas aqui. 

Começamos observando que basta calcular a soma 

$$\sum_{k=1}^{\infty} \frac{1}{(2k+1)^2} $$

Pois esta é igual a $3/4$ da soma original. Mas sabemos também que 

$$ \frac{1}{2k+1} = \int_0^1 x^{2k} dx \Rightarrow \frac{1}{(2k+1)^2} = \int_{[0,1]^2} (xy)^{2k}dxdy$$

Assim, somando as identidades acima e usando o Teorema de Fubini para trocar as ordens de integrais (pois o integrando é positivo), temos que 

$\sum_{k=1}^{\infty} \frac{1}{(2k+1)^2} = \int_{[0,1]^2} \sum_{k=1}^{\infty} (xy)^{2k} dxdy = \int_{[0,1]^2} \frac{1}{1-x^2y^2} dxdy $$

Para calcular esta última integral, basta efetuar a substituição $x = \sin u / \cos v, y = \sin v/\cos u$, que mapeia a região $\{(u,v);0<u,v, u+v < \pi/2\}$ homeomorficamente no quadrado $(0,1)^2$. Calculando, vemos que $\frac{1}{1-x^2y^2}dxdy = dudv$, i.e., a integral que desejamos calcular é apenas a área de um triângulo, e está é igual a $\frac{\pi^2}{8}$. Isto implica que 

$3S/4 = \pi^2/8 \Rightarrow S = \frac{\pi^2}{6}$, como desejado. 
$\square$.


Prova 4: Mais uma prova por Análise Complexa. Desta vez, vamos observar a fatoração de Weierstrass de $\sin$: 

$$ \sin(\pi z) = e^{Az+B} \pi z \prod_{n\ne 0}\left(1 - \frac{z}{n}\right)e^{z/n}$$

Como $\sin(\pi z)/\pi z \rightarrow 1$ quando  $z \rightarrow 0$, então podemos tomar $B=0$. Se $f(z) = \frac{\sin \pi z}{\pi z}$, então 

$$ \frac{f'(z)}{f(z)} = A + \sum_{n\ne 0} \left(\frac{1}{n} +  \frac{1}{(z-n)}\right) $$ 

Quando $z \rightarrow 0$, como $f|_{\mathbb{R}}$ é real e assume máximo local em $x=0$, então $f'(0) = 0$, e isso implica que $A=0$. Assim, podemos escrever a expressão de $f'/f$ como

$$ \frac{\frac{\pi^2 z \cos \pi z - \pi \sin \pi z}{\pi^2 z^2}}{\frac{\sin \pi z}{\pi z}} = \lim_{N \rightarrow \infty} \sum_{n=-N, n \ne 0}^{N} \frac{1}{z-n}$$ 

Que equivale a 

$$ \frac{\pi}{ \tan \pi z} - \frac{1}{z} = \lim_{N \rightarrow \infty} \sum_{n=-N, n \ne 0}^{N} \frac{1}{z-n} \iff $$

$$ \frac{\pi}{ \tan \pi z} = \lim_{N \rightarrow \infty} \sum_{n=-N} ^N \frac{1}{z-n} := \sum_n \frac{1}{z-n} $$ 

Diferenciando ambos os lados em $z$ acima, obtemos que 

$$ \left(\frac{\pi}{\sin \pi z}\right)^2 = \sum_n \frac{1}{(z-n)^2} $$ 

Mas, fazendo $z \rightarrow 0$ em $\left(\frac{\pi}{\sin \pi z}\right)^2 - \frac{1}{z^2}$, obtemos que (após fazer as contas com a série de Laurent de $\frac{1}{\sin \pi z}^2$, as quais omitimos aqui) 

$$ \frac{\pi^2}{3} = 2 \sum_{n=1}^{\infty} \frac{1}{n^2} $$ 

Que é o desejado. 
$\square$.

Há muitas outras provas deste fato. Se você conhece alguma que não está aqui, ficaremos contentes em vê-la! 

Dúvidas? Sugestões? Críticas? Comente! Todos são encorajados a comentar aqui. Para uma melhor avaliação nossa do trabalho que estamos fazendo, marque o que achou dessa postagem nas caixinhas abaixo, é instantâneo!
  






- Especial De Natal (solução)
Na postagem ESPECIAL DE NATAL perguntamos o que nos diz a a seguinte expressão: É isto o que veremos agora: Colocando z = 0 + 1i = 1i = i e calculando a série: Aplicando a distributiva, reordenando alguns fatores e cancelando outros:...

- Irracionalidade Do Número "e"
Na postagem anterior mostramos a existência do número de Euler, agora prosseguiremos avançando nosso estudo desse número tão fascinante, e iremos mostrar que o número é irracional, começaremos definindo irracionalidade. Definição: Um número...

- A Existência De "e"
   Nesse post iremos tratar do famoso número de Euler , assim chamado em homenagem ao matemático suiço Leonard Euler, e o mesmo é a base dos logaritmos naturais. Iremos mostrar sua existência e que é limitado, . Definimos como sendo...

- Teste Da Integral Para Convergência De Séries
O teorema conhecido como teste da integral (ou teste de Leibniz) para verificar convergências de séries, faz uso da teoria de integrais impróprias. Teorema $1$:Se $f(n)$ representa o termo geral $u_n$ de uma série numérica infinita de termos positivos,...

- Demonstração Do Limite Fundamental Exponencial
O número e tem grande importância em diversos ramos das ciências, pois está presente em vários fenômenos naturais como por exemplo: crescimento populacional, crescimento de população de bactérias, datação por carbono, circuitos elétricos,...



Matemática








.