Finding congruences with the WZ method

TL;DR

This paper uses the Wilf-Zeilberger method to prove new congruences related to truncated Ramanujan-type series, confirming some conjectures and deriving results modulo primes and their squares.

Contribution

It introduces a systematic approach using the WZ method to establish congruences for Ramanujan-type series, advancing the understanding of their modular properties.

Findings

Proved congruences modulo p and p^2 for specific series

Confirmed conjectures by Sun on series congruences

Derived novel congruences for hypergeometric series

Abstract

We utilize the Wilf-Zeilberger (WZ) method to establish congruences related to truncated Ramanujan-type series. By constructing hypergeometric terms $f(k, a, b, \ldots)$ with Gosper-summable differences and selecting appropriate parameters, we derive several congruences modulo $p$ and $p^2$ for primes $p > 2$. For instance, we prove that for any prime $p > 2$, \[ \sum_{n=0}^{p-1} \frac{10n+3}{2^{3n}}\binom{3n}{n}\binom{2n}{n}^2 \equiv 0 \pmod{p},\] and \[ \sum_{n=0}^{p-1} \frac{(-1)^n(20n^2+8n+1)}{2^{12n}}\binom{2n}{n}^5 \equiv 0 \pmod{p^2}. \] These results partially confirm conjectures by Sun and provide some novel congruences.