Proof of two supercongruences by the Wilf-Zeilberger method
arXiv:1911.01790 · doi:10.1016/j.jsc.2021.04.001
Abstract
In this paper, we prove two supercongruences by the Wilf-Zeilberger method. One of them is, for any prime , \begin{align*} \sum_{n=0}^{(p-1)/2}\frac{3n+1}{(-8)^n}\binom{2n}n^3\equiv p\left(\frac{-1}p\right)+\frac{p^3}4\left(\frac2p\right)E_{p-3}\left(\frac14\right)\pmod{p^4}, \end{align*} where stands for the Legendre symbol, and are the Euler polynomials. This congruence confirms a conjecture of Sun \cite[(2.18)]{sun-numb-2019} with .
13 pages. arXiv admin note: substantial text overlap with arXiv:1910.09983