A refinement of a congruence result by van Hamme and Mortenson

From MaRDI portal
Publication:2441071



Abstract: Let p be an odd prime. In 2008 E. Mortenson proved van Hamme's following conjecture: sum_{k=0}^{(p-1)/2}(4k+1)�inom{-1/2}k^3equiv (-1)^{(p-1)/2}ppmod{p^3}. In this paper we show further that �egin{align*}sum_{k=0}^{p-1}(4k+1)�inom{-1/2}k^3equiv &sum_{k=0}^{(p-1)/2}(4k+1)�inom{-1/2}k^3 \equiv & (-1)^{(p-1)/2}p+p^3E_{p-3} pmod{p^4},end{align*}where E0,E1,E2,ldots are Euler numbers. We also prove that if p>3 then sum_{k=0}^{(p-1)/2}frac{20k+3}{(-2^{10})^k}�inom{4k}{k,k,k,k}equiv(-1)^{(p-1)/2}p(2^{p-1}+2-(2^{p-1}-1)^2)pmod{p^4}.





Cited in
(29)








This page was built for publication: A refinement of a congruence result by van Hamme and Mortenson

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2441071)