Forum de mathématiques - Bibm@th.net

Bonjour, j'essaie de prouver que la somme des inverses des carrés est \(\frac{\pi^2}{6}\).

Pour cela, on me donne la fonction \( f(z) = \frac{\mathrm{cotan}(z)}{z^2} \).

On voit immédiatement deux pôles : un en \( 0 \) et un en \( n\pi \). 
Il est assez direct de calculer le résidu en chaque pôle : 
\[
\operatorname{Res}(f(z),0) = -\frac{1}{3}
\]
\[
\operatorname{Res}(f(z),n\pi) = \frac{1}{n^2\pi^2}
\]
Ainsi, il ne reste plus qu'à prouver que l'intégrale de contour s'annule. Pour cela, on peut prendre un contour carré de longueur \( (2N+1) \) centré à l'origine.

Mon idée était d'utiliser le lemme d'estimation :
\[
\left| \int_\gamma f(z) dz \right| \leq M l(\gamma)
\]
où \( l(\gamma) = 4(2N+1) \).

Cependant, je suis bloqué pour déterminer \( M := \sup_{z\in\gamma} \left| f(z) \right| \). 
Quelqu'un pourrait-il m'aider ?