(For those who missed them, the first day was about π, and the the second day was about ζ(2); what will the third day reveal… read on!).

According to Hadamard’s factorization for the “completed” zeta function

(which is an entire function of *s*, and is invariant under the replacement of *s* by *1-s*), we can write

where the product runs over all non-trivial zeros of the Riemann zeta function (those in the critical strip), and *a* and *b* are some constants.

Now, as in Euler’s original definition of the Gamma function, it is tempting to replace the exponential terms by

which leads to

with

(All these products converge absolutely for all *s* since the series with general term *|ρ| ^{2}* converges). Now, since

,

(easily remembered because the zeta function has a simple pole with residue 1 at *s=1*), we can plug in the value *s=0* and *s=1* to get

which leads to what may be anachronistically called *Euler’s second product* for the Riemann zeta function:

(I have never seen this formula before, but of course it is very unlikely to be new!)

One may even mix this with Euler’s gamma formula

and the well-known value *Γ(1/2)=π ^{1/2}*, which together give the nice expression

from which we can incorporate the trivial zeros of the zeta function at -2, -4, -6, etc, in the product, and deduce

where the product runs now over trivial and non-trivial zeros!

Now, it is more than tempting to specialize the value of *s*; the first formula, for *s=2*, leads to

or in other words to the relation

where the product is — once more — over non-trivial zeros. Again, I would bet this has already appeared somewhere, but I had never seen it.

Using the table of the first 10000 positive ordinates of zeros of zeta (found here), one gets (putting in the complex conjugates, of course) the values

with the first 10, 100, 1000 and 10000 zeros, respectively, compared with *π/3=1.04720*.

Very cute!

moonface12 Dec 09 at 3:21