Table of Contents
Fetching ...

A simple computation of $ζ(2k)$ by using Bernoulli polynomials and a telescoping series

Ó. Ciaurri, L. M. Navas, F. J. Ruiz, J. L. Varona

TL;DR

This work presents an elementary, calculus-based proof of Euler's formula for even zeta-values $\zeta(2k)$ by exploiting the defining properties of Bernoulli polynomials and a telescoping integral trick. It introduces auxiliary integrals $I(k,m)$, derives recurrences via integration by parts, and uses a trigonometric telescope to convert a cosine series into a limit that yields $\zeta(2k)=\frac{(-1)^{k-1}2^{2k-1}\pi^{2k}}{(2k)!} B_{2k}$. The same framework yields an integral representation for odd zeta-values $\zeta(2k+1)$, namely $\zeta(2k+1)=\frac{(-1)^{k-1}2^{2k}\pi^{2k+1}}{(2k+1)!}\int_0^1 B_{2k+1}(t)\cot\left(\frac{\pi t}{2}\right)\,dt$, and discusses connections to harmonic numbers and Ramanujan-type formulas. The paper also clarifies the Fourier-analytic perspective on Bernoulli polynomials and highlights a broadly applicable telescope-based approach that yields a transparent path to zeta-values while illustrating the role of Bernoulli polynomials in these classic identities.

Abstract

We present a new proof of Euler's formulas for $ζ(2k)$, where $k = 1,2,3,...$, which uses only the defining properties of the Bernoulli polynomials, obtaining the value of $ζ(2k)$ by summing a telescoping series. Only basic techniques from Calculus are needed to carry out the computation. The method also applies to $ζ(2k+1)$ and the harmonic numbers, yielding integral formulas for these.

A simple computation of $ζ(2k)$ by using Bernoulli polynomials and a telescoping series

TL;DR

This work presents an elementary, calculus-based proof of Euler's formula for even zeta-values by exploiting the defining properties of Bernoulli polynomials and a telescoping integral trick. It introduces auxiliary integrals , derives recurrences via integration by parts, and uses a trigonometric telescope to convert a cosine series into a limit that yields . The same framework yields an integral representation for odd zeta-values , namely , and discusses connections to harmonic numbers and Ramanujan-type formulas. The paper also clarifies the Fourier-analytic perspective on Bernoulli polynomials and highlights a broadly applicable telescope-based approach that yields a transparent path to zeta-values while illustrating the role of Bernoulli polynomials in these classic identities.

Abstract

We present a new proof of Euler's formulas for , where , which uses only the defining properties of the Bernoulli polynomials, obtaining the value of by summing a telescoping series. Only basic techniques from Calculus are needed to carry out the computation. The method also applies to and the harmonic numbers, yielding integral formulas for these.

Paper Structure

This paper contains 9 sections, 34 equations.

Theorems & Definitions (1)

  • Remark