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.