Skip to main content
1 of 3
Andrey Rekalo
  • 22.3k
  • 12
  • 89
  • 122

This is one of those precious cases when Ramanujan himself provided (a sketch of) a proof. The identity was published in his paper "Some definite integrals" (Mess. Math. 44 (1915), pp. 10-18) together with several related formulae.

It might be instructive to look first at the simpler identity which appears at the same paper: $$\int\limits_{0}^{\infty} \prod_{k=0}^{\infty}\frac{1}{ 1 + x^{2}/(a+k)^{2}}dx = \frac{\sqrt{\pi}}{2} \frac{ \Gamma(a+\frac{1}{2})}{\Gamma(a)},\quad a>0.\qquad\qquad\qquad(1)$$ Ramanujan derives (1) essentially by using a partial fraction decomposition of a certain product of gamma functions and integrating term-wise (the identity mentioned in the original question can be obtained by a similar approach).

There is a nice paper "Wallis-Ramanujan-Schur-Feynman" by Amdeberhan et al (American Mathematical Monthly 117 (2010), pp. 618-632) that discusses interesting combinatorial aspects of formula (1) and its generalizations.

Andrey Rekalo
  • 22.3k
  • 12
  • 89
  • 122