Super congruences and Euler numbers
Zhi-Wei Sun
DOI: https://doi.org/10.1007/s11425-011-4302-x
2011-01-01
Science China Mathematics
Abstract:Let p > 3 be a prime. A p -adic congruence is called a super congruence if it happens to hold modulo some higher power of p . The topic of super congruences is related to many fields including Gauss and Jacobi sums and hypergeometric series. We prove that ∑_k = 0^p - 1( _k^2k)/2^k ≡( - 1)^( p - 1)/ . - 2 - p^2 E_p - 3( p^3 ), ∑_k = 1^( p - 1)/ . - 2( _k^2k)/k≡( - 1)^( p + 1)/ . - 28/3pE_p - 3( p^2 ), ∑_k = 0^( p - 1)/ . - 2( _k^2k)^2 /16^k ≡( - 1)^( p - 1)/ . - 2 + p^2 E_p - 3( p^3 ), where E 0 , E 1 , E 2 , ... are Euler numbers. Our new approach is of combinatorial nature. We also formulate many conjectures concerning super congruences and relate most of them to Euler numbers or Bernoulli numbers. Motivated by our investigation of super congruences, we also raise a conjecture on 7 new series for π 2 , π −2 and the constant K: = ∑_k = 1^∞( k3)/ . -k^2 (with (−) the Jacobi symbol), two of which are ∑_k = 1^∞( 10k - 3)8^k /k^3 ( _k^2k)^2 ( _k^3k) = π ^2 /2 and ∑_k = 1^∞( 15k - 4)( - 27)^k - 1/k^3 ( _k^2k)^2 ( _k^3k) = K.