On an integral identity

25 Feb 2020 · Bostan Alin, Chamizo Fernando, Sundqvist Mikael P. ·

We give three elementary proofs of a nice equality of definite integrals, which arises from 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.