We prove hypergeometric type identities for a function defined in terms of quotients of the p-adic gamma function. We use these identities to prove a supercongruence conjecture of Rodriguez-Villegas between a truncated F-4(3) hypergeometric series and the Fourier coefficients of a certain weight four modular form.
展开▼