On an Integral Identity
Abstract
We give three elementary proofs of a nice equality of definite integrals, recently proven by Ekhad, Zeilberger and Zudilin. The equality arises in the theory of bivariate hypergeometric functions, and has connections with irrationality proofs in number theory. We furthermore provide a generalization together with an equally elementary proof and discuss some consequences.
Origin : Files produced by the author(s)