Proof of a formula of Mr. \textit{Ramanujan}. (Q1474528)

R. beweist u. a, die Formeln \[ \int_0^\infty \frac {\cos 2mx}{\prod_{k=0}^\infty \left(1+\frac {x^2}{a^2+k^2}\right)} dx=\frac {\sqrt 2}{2}\;\frac {\varGamma (a+\frac 12)}{\varGamma(a)}\;\text{sech}^{2a}m \quad (m, a > 0), \] \[ \int_0^\infty \frac {(1+arx)(1+ar^2x)\dots}{(1+x)(1+rx)(1+r^2x)\dots}\;x^{n-1} dx=\frac \pi{\sin n\pi}\;\prod_{m=1}^\infty\;\frac {(1-r^{m-n})(1- ar^m)}{(1-r^m)(1-ar^{m-n})} \] \[ (0<r<1,\;n>0,\;0<a<r^{n-1}). \] Für die zweite Formel gibt auch H. einen Beweis.