Euler's identities for the values of \(\zeta(2n)\) (Q951760)

Verf. beweist die im Titel genannten Identitäten rekursiv wie folgt. Erst wird \(\zeta(2)=\pi^2/6\) durch Quadrieren der Leibniz-Reihe für \(\pi/4\) und anschließendem ``Extrahieren der Hauptdiagonalen'' \(\sum_{k\geq0}(2k+1)^{-2}\) gewonnen, ein Gedanke, der auf N. Bernoulli (1747) zurückgeht. Dabei wird das Problem lediglich bedingter Konvergenz der Leibniz-Reihe mit einem eleganten Kunstgriff via Abelschem Grenzwertsatz gelöst. Auch der Beweis der für \(n=1,2,\dots\) gültigen Rekursionsformel \[ (4^{n+1}-1)\zeta(2n+2)=\pi^2(4^n-2)\zeta(2n)- 2\sum_{j\leq n}(2j-1)(4^{n+1-j}-1)\zeta(2j)\zeta(2n+2-2j) \] ist elementar; diese Formel ist äquivalent zur bekannten Rekursion für die Bernoulli-Zahlen.